A *geometric structure* on a manifold is an atlas of charts with values in some kind of “model space”, and transformation functions taken from some pseudogroup of transformations on the model space. If is the model space, and is the pseudo-group, one talks about a -structure on a manifold . One usually (but not always) wants to be homogeneous with respect to . So, for instance, one talks about smooth structures, conformal structures, projective structures, bilipschitz structures, piecewise linear structures, symplectic structures, and so on, and so on. Riemannian geometry does not easily fit into this picture, because there are so few (germs of) isometries of a typical Riemannian metric, and so many local invariants; but Riemannian metrics modeled on a locally symmetric space, with a Lie group of symmetries of , are a very significant example.

Sometimes the abstract details of a theory are hard to grasp before looking at some fundamental examples. The case of geometric structures on -manifolds is a nice example, which is surprisingly rich in some ways.

One of the most important ways in which geometric structures arise is in the theory of ODE’s. Consider a first order ODE in one variable, e.g. an equation like . If we fix an “initial” value , then we are guaranteed short time existence and uniqueness of a solution (providing the function is nice enough). But if we do not fix an initial value, we can instead think of an ODE as a -parameter family of (perhaps partially defined) maps from to itself. For each fixed , the function defines a vector field on . We can think of the ODE as specifying a path in the Lie algebra of vector fields on ; solving the ODE amounts to finding a path in the Lie group of diffeomorphisms of (or some partially defined Lie pseudogroup of diffeomorphisms on some restricted subdomain) which is tangent to the given family of vector fields. It makes sense therefore to study special classes of equations, and ask when this family of maps is conjugate into an interesting pseudogroup; equivalently, that the evolution of the solutions preserves an interesting geometric structure on . We consider some examples in turn.

- Indefinite integral . The group in this case is , acting on by translation. The equation is solved by integrating: .
- Linear homogeneous ODE . The group in this case is , acting on by multiplication (notice that this group action is
*not*transitive; the point is preserved; this corresponds to the fact that is always a solution of a homogeneous linear ODE). The Lie algebra is , and the ODE is “solved” by*exponentiating*the vector field, and integrating. Hence is the general solution. In fact, in the previous example, the Lie algebra of the group of translations is also identified with , and “exponentiating” is the identity map. - Linear inhomogeneous ODE . The group in this case is the affine group where the first factor acts by dilations and the second by translation. The affine group is not abelian, so one cannot “integrate” a vector field directly, but it is
*solvable*: there is a short exact sequence . The image in the Lie algebra of the group of dilations is the term , which can be integrated as before to give an*integrating factor*. Setting gives which is an indefinite integral, and can be solved by a further integration. In other words, we do one integration to change the structure group from to (“integrating out” the group of dilations) and then what is left is an abelian structure group, in which we can do “ordinary” integration. This procedure works whenever the structure group is*solvable*; i.e. whenever there is a finite sequence where each surjects onto an abelian group, with kernel , and after finitely many steps, the last kernel is trivial. - Ricatti equation . In this case, it is well-known that the equation can blow up in finite time, and one does not obtain a group of transformations of , but rather a group of transformations of the projective line ; another point of view says that one obtains a pseudogroup of transformations of subsets of . The group in this case is the projective group , acting by projective linear transformations. Let be a -parameter family of matrices in , say , with . Matrices act on by fractional linear maps; that is, for . Differentiating at one obtains which is the general form of the Ricatti equation. Since the group is not solvable, the Ricatti equation cannot be solved in terms of elementary functions and integrals. However, if one knows
*one*solution , one can find all other solutions as follows. Do a change of co-ordinates, by sending the solution “to infinity”; i.e. define . Then as a function of , the Ricatti equation reduces to a linear inhomogeneous ODE. In other words, the structure group reduces to the subgroup of fixing the point at infinity (i.e. the solution ), which is the affine group . One can therefore solve for , and by substituting back, for .

The Ricatti equation is important for the solution of *second order* linear equations, since any second order linear equation can be transformed into a system of two first order linear equations in the variables and . A system of first order ODEs in variables can be described in terms of pseudogroups of transformations of (subsets of) . A system of linear equations corresponds to the structure group , hence in the case of a system, to . The determinant map is a homomorphism from to with kernel ; hence, after multiplication by a suitable integrating factor, one can reduce to a system which is (equivalent to) the Ricatti equation.

Having seen these examples, one naturally wonders whether there are any other interesting families of equations and corresponding Lie groups acting on -manifolds. In fact, there are (essentially) no other examples: if one insists on (finite dimensional) simple Lie groups, then is more or less the only example. Perhaps this is one of the reasons why the theory of ODEs tends to appear to undergraduates (and others) as an unstructured collection of rules and tricks. Nevertheless, recasting the theory in terms of geometric structures has the effect of clearing the air to some extent.

Geometric structures on -manifolds arise also in the theory of

*foliations*, which may be seen as a geometric abstraction of certain kinds of PDE. Suppose is a manifold, and is a codimension one foliation. The foliation determines local charts on the manifold in which the leaves of the foliation intersect the chart in the level sets of a co-ordinate function. In the overlap of two such local charts, the transitions between the local co-ordinate functions take values in some pseudogroup. For certain kinds of foliations, this pseudogroup might be analytically quite rigid. For example, if is tangent to the kernel of a nonsingular -form on , then integrating determines a metric on the leaf space which is preserved by the co-ordinate transformations, and the pseudogroup is conjugate into the group of translations. There are also some interesting examples where the pseudogroup has no interesting local structure, but where structure emerges on a macroscopic scale, because of some special features of the topology of and . For example, suppose is a -manifold, and is a foliation in which every leaf is dense. One knows for topological reasons (i.e. theorems of Novikov and Palmeira) that the universal cover is homeomorphic to in such a way that the pulled-back foliation is topologically a foliation by planes. One important special case is when any two leaves of are a finite Hausdorff distance apart in . In this case, the foliation is topologically conjugate to a product foliation, and acts on the leaf space (which is ) by a group of homeomorphisms. The condition that pairs of leaves are a finite Hausdorff distance away implies that there are intervals in the leaf space whose translates

*do not nest*; i.e. with the property that there is no for which is properly contained in . Let denote the two endpoints of the interval . One defines a function by defining to be the supremum of the set of values over all for which . The non-nesting property, and the fact that every leaf of is dense, together imply that is a strictly increasing (i.e. fixed-point free) homeomorphism of which commutes with the action of . In particular, the action of is conjugate into the subgroup of homeomorphisms that commute with integer translation. One says in this case that the manifold

*slithers over a circle*; it is possible to deduce a lot about the geometry and topology of and from this structure. See for example Thurston’s paper, or my book.

A third significant way in which geometric structures arise on circles is in the theory of conformal

*welding*. Let be a Jordan curve in the Riemann sphere. The image of the curve decomposes the sphere into two regions homeomorphic to disks. Each open disk region can be uniformized by a holomorphic map from the open unit disk, which extends continuously to the boundary circle. These uniformizing maps are well-defined up to composition with an element of the Möbius group , and their difference is therefore a coset in called the

*welding*homeomorphism. Conversely, given a homeomorphism of the circle, one can ask when it arises from a Jordan curve in the Riemann sphere as above, and if it does, whether the curve is unique (up to conformal self-maps of the Riemann sphere). Neither existence nor uniqueness hold in great generality. For example, if the image has positive (Hausdorff) measure, any quasiconformal deformation of the complex structure on the Riemann sphere supported on the image of the curve will deform the curve but not the welding homeomorphism. One significant special case in which existence and uniqueness is assured is the case that is a

*quasicircle*. This means that there is a constant with the property that if two points are contained in the quasicircle, and the spherical distance between the two points is , then at least one arc of the quasicircle joining to has spherical diameter at most . In other words, there are no

*bottlenecks*where two points on the quasicircle come very close in the sphere without being close in the curve. Welding maps corresponding to quasicircles are precisely the

*quasisymmetric*homeomorphisms. A homeomorphism is quasisymmetric if for every sufficiently small interval in the circle, the image of the midpoint of the interval under the homeomorphism is not too far from being the midpoint of the image of the interval; i.e. it divides the image of the interval into two pieces whose lengths have a ratio which is bounded below and above by some fixed constant. Other classes of geometric structures can be detected by welding: smooth Jordan circles correspond to smooth welding maps, real analytic circles correspond to real analytic welding maps, round circles correspond to welding maps in , and so on. Recent work of Eero Saksman and his collaborators has sought to find the correct idea of a “random” welding, which corresponds to the kinds of Jordan curves generated by stochastic processes such as SLE. In general, the precise correspondence between the analytic quality of and of the welding map is given by the

*Hilbert transform.*

This list of examples of geometric structures on -manifolds is by no means exhaustive. There are many very special features of -dimensional geometry: oriented -manifolds have a natural

*causal structure*, which may be seen as a special case of contact/symplectic geometry; (nonatomic) measures on -manifolds can be integrated to metrics; connections on -manifolds are automatically flat, and correspond to representations. It would be interesting to hear other examples, and how they arise in various mathematical fields.

Pingback: Schwarz-Christoffel transformations, Schwarzian derivatives, and Schwarz’s minimal surface « Geometry and the imagination