Perspectivities
Perspectivities
Perspectivities
TIMOTHY VIS
1. Fixed Structures
The study of geometry has three main streams:
(1) Incidence Geometry: the study of what points are incident with what lines
and what can be derived about a geometry.
(2) Analytic Geometry: the study of coordinates of a geometry and the algebra
derived, as well as geometric properties involving this algebra.
(3) Transformational Geometry: the study of collineations of a geometry and
the way structures can be moved around.
All three areas have been covered so far in class. Incidence Geometry was used
to give axiomatic descriptions of projective planes and projective spaces, and to
prove results such as the fact that all lines in a finite projective space are incident
with a constant number of points. Analytic Geometry was used in our study of field
planes and in the development of coordinates when we coordinatized an arbitrary
plane. Transformational Geometry was used when we developed the Fundamental
Theorem of Field Planes. We are now going to study Transformational Geometry
in an arbitrary plane and see what we can say about collineations in general.
Definition 1. A collineation of a projective plane π is a bijective map on the points
such that the images of collinear points are collinear. That is, P , Q, R are collinear
if and only if P σ , Qσ , Rσ are collinear.
Given a line l and points P , Q on l, we define lσ to be the line P σ Qσ .
One of the most fundamental properties studied about collineations is the prop-
erty of which points and lines are mapped to themselves.
Definition 2. If σ is a collineation of a projective plane π,
(1) A point P is a fixed point if and only if P σ = P .
(2) A line l is a fixed line if and only if lσ = l.
(3) A line l is fixed pointwise if and only if P σ = P for all points P ∈ l.
(4) A point P is fixed linewise if and only if lσ = l for all lines l containing P .
Obviously any line that is fixed pointwise is a fixed line and any point that is
fixed linewise is a fixed point, but the converse is not necessarily true.
Example 1. Consider the collineation of the Fano plane shown in Figure 1. Notice
that the points A, F , and G are fixed and that the lines ABC, ADE, and AF G
are fixed. Since all points on the line AF G are fixed, AF G is fixed pointwise, and
since all lines through A are fixed, A is fixed linewise.
A A
B F C F
D E
C G B G
E D
Figure 1
We’ll focus somewhat on the applications of these ideas to field planes; however
they apply equally well to arbitrary projective planes. Recall the Fundamental
Theorem of Field Planes, which states that every collineation of a field plane is
the product of an automorphic collineation and a homography. That is, if σ is a
collineation, we have
σ : X 7→ AX α
where α is an automorphism of the underlying field. We also have for lines
σ : L 7→ Lα A−1 .
Suppose that α is the identity collineation. We then have X σ = AX and Lσ =
T T
LA−1 or (Lσ ) = A−1 LT . If a point X is fixed by σ, we then have AX = λX,
T
while if a line L is fixed by σ, we have A−1 LT = µLT . Thus the eigenvectors
T
of A are the fixed points of σ, while the eigenvectors of A−1 are the fixed lines
of σ.
Example 5. Consider the homography determined by the matrix A and its inverse
T
transpose A−1 as given.
1 0 1 1 0 0
T
A= 0 1 1 A−1 = 0 1 0 .
0 0 1 −1 −1 1
The characteristic polynomial of both matrices is (λ − 1)3 and the only eigenvalue
T
of either is 1. A has eigenvectors (x, y, 0) and A−1 has eigenvectors [x, −x, z]
Thus, the fixed points are the points of the form (x, y, 0), while the fixed lines are
the lines of the form [x, −x, z]. Notice that the fixed points all lie on the line [0, 0, 1]
so that this line is fixed pointwise. Similarly, the fixed lines all contain the point
(1, 1, 0). Since (1, 1, 0) ∈ [0, 0, 1], this homography defines an elation.
A significant property of central collineations is that they are very easily deter-
mined.
Theorem 8. A central collineation is completely and uniquely determined by its
axis l, center V , and the image P σ of any point P distinct from V not lying on l.
A word of warning here: this theorem applies only when a central collineation
actually exists with the appropriate property. There may not be any collineations
(other than the identity) with a particular axis, with a particular center, with a
particular axis, center pair, or mapping a given point to any other. This theorem
does not state that such a collineation exists; it only states that when one exists, it
is unique. In order to show that one exists, we need particular properties of a plane.
For example, in a field plane, every possible central collineation exists, although we
will not prove this.
Proposition 9. If σ is a (V, l)-perspectivity and τ a collineation, then τ −1 στ is a
(V τ , lτ )-perspectivity.
by σ.
−1 σ τ
mτ στ = mτ
−1
−1 τ
= mτ
= m.
6 TIMOTHY VIS
−1 σ τ
P τ στ = P τ
−1
−1 τ
= Pτ
= P.
So P is fixed by τ −1 στ and lτ is an axis of τ −1 στ . So τ −1 στ is a (V τ , lτ )-
perspectivity.
Example 6. Suppose in a field plane there is a ((1, 0, 0) , [1, 0, 0])-perspectivity σ
σ
such that (1, 1, 1) = (1, b, b). What is the equation of this perspectivity? We know
that as a collineation, σ must be the product of an automorphic collineation and a
homography. We also know that every automorphic collineation fixes every point
of the fundamental quadrangle.
Notice now that the points of the triangle of reference are all fixed by σ, and
thus by the associated homography A ((1, 0, 0) is the center and both (0, 1, 0) and
(0, 0, 1) are on the axis). Thus,
a00 a01 a02 1 0 0 ρx 0 0
a10 a11 a12 0 1 0 = 0 ρy 0 .
a20 a21 a22 0 0 1 0 0 ρz
Since (1, 1, 1) is fixed by automorphic collineations, we must have (up to scalar
multiples) ρx = 1, ρy = ρz = b. So the homography of this collineation is
1 0 0
A = 0 b 0 .
0 0 b
Now notice that for any point X on [1, 0, 0], X = (0, y, z). But AX = bX then,
so that X is fixed by A. Further, notice that for any line L through (1, 0, 0),
L = [0, y, z] and LA−1 = 1b L, so that L is fixed by A. So A is the desired
((1, 0, 0) , [1, 0, 0])-perspectivity.
In the last example, we did not need any automorphic collineation to obtain the
appropriate perspectivity. In fact, in a finite field plane, every (V, l)-perspectivity
is a homography; that is, every (V, l)-perspectivity has the identity as associated
automorphic collineation.
Theorem 10. Every (V, l)-perspectivity of a finite field plane is a homography.
That is, every (V, l)-perspectivity of a finite field plane has the identity as the asso-
ciated automorphic collineation.
Proof. By Proposition 9 and the transitivity of homographies on ordered quadran-
gles in P G (2, q), we need only show the result holds for all perspectivities with
a given axis. Other axes are then obtained by conjugation by an appropriate
homography. Suppose then that l = [1, 0, 0]. Let α be the associated automor-
phic collineation and A = (aij ) be the associated homography, and let σ be the
collineation in question.
Now since both (0, 1, 0) and (0, 0, 1) are fixed both by σ and α, we know that
σ
a01 = a02 = a12 = a21 = 0. Let a11 = ρy and let a22 = ρz . Now consider (0, 1, u) .
COLLINEATIONS OF PROJECTIVE PLANES 7
σ
Since this point lies on the axis, it must be fixed. But (0, 1, u) = A (0, 1, uα) =
(0, ρy , uα ρz ). It follows that
ρz
u = uα
ρy
α ρz
0=u −u
ρy
∗
for all values of u in GF (q) . If q = ph , we need ph − 1 zeroes to a polynomial of
degree α. But α ≤ ph−1 , a contradiction unless uα ρρyz − u is the zero polynomial.
But this can only be the zero polynomial if α = 1, so we necessarily have α = 1,
and σ is a homography.