central collineations
Definitions and general properties
Definition 1.
A collineation of a finite dimensional projective geometry
is a central collineationif there is a hyperplane
of points fixed by the collineation.
Recall that collineations send any three collinear points to three collinear points. Thusif a collineation fixes more than a hyperplane of points then it in fact fixes all the pointsof the geometry and so it is the identity map
. Therefore a central collineation can beviewed the simplest of the non-identity collineations.
Theorem 2.
Every collineation of a finite dimensional projective geometry of dimension isa product
of at most central collineations. In particular, the automorphism group
of a projective geometry of dimension is generated by central collineations.
Suppose that a central collineation is not the identity. Then the hyperplane of fixed pointsis unique and receives the title of the axis of the central collineation. There isone further important result which justifies the name “central”.
Proposition 3.
Given a non-identity central collineation , there is aunique point such that for all other points , it follows that , and arecollinear.
The point determined by Proposition 3 is called the centerof the non-identity central collineation. It is possible for the center to lie on the axis.
Central collineations in coordinates
Suppose we have a projective geometry of dimension , that is, we exclude nowthe case of projective lines and planes. The the geometry can be coordinatized throughso that we may regard the projective geometry as the latticeof subspaces
of a vector space
of dimension over a division ring .Following the fundamental theorem of projective geometry
we further know thatevery collineation is induced by a semi-linear transformation of . So it is possibleto explore central collineations as semi-linear transformations.
Every hyperplane is a kernel of some linear functional, so we let be a linear functional of with . Furthermore, we fix so that (which implieas also that ). Hence, for each , where and .
Let such that induces a central collineation on withaxis . As every scalar multiple of induces the same collineation of , wemay assume that is the identity on . Using the decomposition given by we have
Hence
Suppose instead that is any linear functional of . Then select some such that . Then
fixes all the points of so induces a central collineation.
If we wish to do the same without appealing to linear functionals, we may select a basis such that and. As is selected to be the identity on we have so far specified by the matrix:
in the basis .