Pappus’s theorem and the modular group
A series of lectures with a common theme: moduli spaces of geometric objects. The geometric objects change from lecture to lecture.
Deforming a representation into a larger space . Examples: , .
2. Projective geometry
Projective plane is the union of a plane and a line at infinity, can be viewed as nonzero vectors in mod proportionnality. Hence a group acting on it, simply transitively on projective frames, i.e. quadrilaterals.
The space of lines in is a dual projective space. A duality is a map fom the plane to its dual that preserves the incidence relation (i.e. composition of the duality given by a scalar product and an arbitrary projective mapping).
The flag space is the space of incident pairs of a point and a line. Topologically, it is a finite quotient of the 3-sphere.
3. Pappus’s theorem
Given 2 line, each carrying 3 points. Connect them as a complete bi-partite graph. Diagonals intersect in 3 points. Pappus state that these points belong to a line.
It is a self-dual theorem: the dual version, with points replaced with lines, is Pappus’s theorem again.
It is a special case of Pascal’s theorem on conics, which is in turn a special case of Cayley-Bacharach’ theorem on cubics.
4. The modular group
Pappus’s theorem is related to the Farey addition of fractions,
where the modular group enters. Indeed, start with the planar box with vertices . Apply Pappus to vertical sides, get vertical segment at abcissa , which is the Farey sum of and . Iterate on both sides, get successively all rational abcissae in Farey order.
Each Farey addition corresponds to a directed edge of the Farey graph (sides of the tesselation of the disk by ideal triangles). The symmetry group of the tiling is generate by (switching orientation), and (horospherical translations), subject to , , ,
5. Marked boxes
Next I describe the operations related to Pappus’s theorem corresponding to generators of modular group.
A box is a convex quadrilateral with two marked points on two opposite side, one called bottom and the other top (this makes sense over any ordered fields). Applying Pappus splits the initial box into two boxes, called and . switches the two opposite sides.
On the standard box defined above, the operation has the same effect as the modular group acting on rationals.
A marked box depends on 2 parameters, specifying the positions of marked points on respective sides. These parameters are unchanged under , and .
Lemma 1 For all marked boxes there exists an order 3 projective transformation mapping to to to cyclically.
Next I describe the corresponding element of order 2 of the modular group (viewed as a free product of and ).
Lemma 2 For all marked boxes there exists a duality mapping to to cyclically.
Changing box parameters amounts to perturbing the initial representation of the modular group in the group of automorphisms of the flag variety (group of dualities), which is a semi-direct product of with .
Barbot-Lee-Valerio (2016) show that these representations are limits of Anosov representations of pairs of pants groups. Kapovich shows that these representations are relatively Anosov.
I show that these representations are discrete, they have a domain of discontinuity, whose quotient is the trefoil knot complement.
Fix a vertex of the Farey tesselation. Join it to rational points of the projective line. To each such segment, there corresponds a flag, obtained by iterating Pappus box division. This map from a dense subset of the projective line to a subset of the flag manifold extends by continuity. Indeed, this amounts to showing that certain diamonds (quadrilaterals) get small.
One gets a fractal curve in the flag manifold, carrying a fractal line field. When projected to projective plane, each line of the line field intersects the curve at a single point (this is the only line field with this property). Experiments indicate that the box dimension can be as large as 1.3.
The domain of discontinuity is the set of pairs where does not belong to the curve and does not belong to the line field. The topology does not depend on parameters and .
Curt McMullen has been able to compute the dimension of certain self-affine carpets. Maybe one can compute the dimension here. One cannot expect a connection with a Poincare series.
Probably, there are more parabolic preserving representations of the modular group in .