You are currently browsing the tag archive for the ‘projective structure’ tag.
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.
Quadratic forms (i.e. homogeneous polynomials of degree two) are fundamental mathematical objects. For the ancient Greeks, quadratic forms manifested in the geometry of conic sections, and in Pythagoras’ theorem. Riemann recognized the importance of studying abstract smooth manifolds equipped with a field of infinitesimal quadratic forms (i.e. a Riemannian metric), giving rise to the theory of Riemannian manifolds. In contrast to more general norms, an inner product on a vector space enjoys a big group of symmetries; thus infinitesimal Riemannian geometry inherits all the richness of the representation theory of orthogonal groups, which organizes the various curvature tensors and Weitzenbock formulae. It is natural that quadratic forms should come up in so many distinct ways in differential geometry: one uses calculus to approximate a smooth object near some point by a linear object, and the “difference” is a second-order term, which can often be interpreted as a quadratic form. For example:
- If is a Riemannian manifold, at any point one can choose an orthonormal frame for , and exponentiate to obtain geodesic normal co-ordinates. In such local co-ordinates, the metric tensor satisfies and . The second order derivatives can be expressed in terms of the Riemann curvature tensor at .
- If is an immersed submanifold of Euclidean space, at every point there is a unique linear subspace that is tangent to at . The second order difference between these two spaces is measured by the second fundamental form of , a quadratic form (with coefficients in the normal bundle) whose eigenvectors are the directions of (extrinsic) principal curvature. If has codimension one, the second fundamental form is easily described in terms of the Gauss map taking each point on to the unique unit normal to at that point, and using the flatness of the ambient Euclidean space to identify the normal spheres at different points with “the” standard sphere. The second fundamental form is then defined by the formula . For higher codimension, one considers Gauss maps with values in an appropriate Grassmannian.
- If is a smooth function on a manifold , a critical point of is a point at which (i.e. at which all the partial derivatives of in some local coordinates vanish). At such a point, one defines the Hessian , which is a quadratic form on , determined by the second partial derivatives of at such a point. If is a Levi-Civita connection on (determined by an Riemannian metric on compatible with the smooth structure) then . The condition that the Levi-Civita connection is torsion-free translates into the fact that the antisymmetric part of is equal to for any -form ; in this context, this means that the antisymmetric part of the Hessian vanishes — i.e. that it is symmetric (and therefore a quadratic form). If is a different connection, then for some -form , and therefore their values at agree, and is well-defined, independent of a choice of metric.
By contrast, cubic forms are less often encountered, either in geometry or in other parts of mathematics; their appearance is often indicative of unusual richness. For example: Lie groups arise as the subgroups of automorphisms of vector spaces preserving certain structure. Orthogonal and symplectic groups are those that preserve certain (symmetric or alternating) quadratic forms. The exceptional Lie group is the group of automorphisms of that preserves a generic (i.e. nondegenerate) alternating -form. One expects to encounter cubic forms most often in flavors of geometry in which the local transformation pseudogroups are bigger than the orthogonal group.
One example is that of -dimensional complex projective geometry. If is a domain in the Riemann sphere, one can think of as a geometric space in at least two natural ways: by considering the local pseudogroup of all holomorphic self-maps between open subsets of the Riemann sphere, restricted to (i.e. all holomorphic functions), or by considering only those holomorphic maps that extend to the entire Riemann sphere (i.e. the projective transformations: ). The difference between these two geometric structures is measured by a third-order term, called the Schwarzian derivative. If is homeomorphic to a disk, then we can think of as the image of the round unit disk under a uniformizing map . At every point there is a unique projective transformation that osculates to to second order at (i.e. has the same value, first derivative, and second derivative as at the point ); the (scaled) third derivative is the Schwarzian of at . In local co-ordinates, . Actually, although the Schwarzian is sensitive to third-order information, it should really be thought of as a quadratic form on the (one-dimensional) complex tangent space to .
Real projective geometry gives rise to similar invariants. Consider an immersed curve in the (real projective) plane. At every point, there is a unique osculating conic, that agrees with the immersed curve to second order. The projective curvature (really a cubic form) measures the third order deviation between these two immersed submanifolds at this point. See e.g. the book by Ovsienko and Tabachnikov for more details.
Another example is the so-called symplectic curvature. Let be a flat symplectic space; this could be ordinary Euclidean space with its standard symplectic form, or a quotient of such a space by a discrete group of translations. A linear subspace of through the origin is a Lagrangian subspace if it has (maximal) dimension , and the restriction of the symplectic form to is identically zero. A smooth submanifold of dimension is Lagrangian if its tangent space at every point is a Lagrangian submanifold. A Lagrangian submanifold of a flat symplectic space inherits a natural cubic form on the tangent space at every point, which can be defined in any of the following equivalent ways:
- If is a symplectic manifold and is a Lagrangian submanifold, then near any point one can find a neighborhood and choose symplectic coordinates so that is symplectomorphic to a neighborhood of some point in . Moreover, every other Lagrangian submanifold sufficiently close (in ) to can be taken in some possibly smaller neighborhood to be of the form , where is a smooth function on (well-defined up to a constant), thought of as a section of . In the context above, choose local symplectic coordinates (by a linear symplectic transformation) for which the flat space looks locally like and looks locally like . The condition that and are tangent at the origin means that the -jet of vanishes. The first nonvanishing term are the third partial derivatives of , which can be thought of as the coefficients of a (symmetric) cubic form on .
- If we choose a Euclidean metric on compatible with the flat symplectic structure, the second fundamental form of at some point is a quadratic form on with coefficients in the normal bundle to . The symplectic form identifies the normal to with the dual , so by contracting indices, one obtains a cubic form on . This form does not depend on the choice of Euclidean metric, since a different metric skews the normal bundle replacing it with . But since is Lagrangian, the identification of this normal bundle with is insensitive to the skewed term, and therefore independent of the choices.
- The space of all Lagrangian subspaces of is a symmetric space, homeomorphic to , sometimes called the Shilov boundary of the Siegel upper half-space. If and is a tangent vector to in , then one obtains a symmetric quadratic form on in the following way. If is a transverse Lagrangian to , and is a -parameter family of Lagrangians starting at , then for small the Lagrangians and are transverse, and span . For any there is a unique decomposition . Define . Then is a symmetric bilinear form that vanishes on , and therefore descends to a form on that depends only on . A Lagrangian submanifold maps to by the Gauss map . One obtains a cubic form on associated to as follows: if then is a tangent vector to in , and therefore determines a quadratic form on ; this form is then evaluated on the vectors .
One application of symplectic curvature is to homological mirror symmetry, where the symplectic curvature associated to a Lagrangian family of Calabi-Yau -folds in determines the so-called “Yukawa 3-differential”, whose expression in a certain local coordinate gives the generating function for the number of rational curves of degree in a generic quintic hypersurface in . This geometric picture is described explicitly in the work of Givental (e.g. here). In another more recent paper, Givental shows how the topological recursion relations, the string equation and the dilaton equation in Gromov-Witten theory can be reformulated in terms of the geometry of a certain Lagrangian cone in a formal loop space (the geometric property of this cone is that it is overruled — i.e. each tangent space is tangent to the cone exactly along , where is a formal variable). This geometric condition translates into properties of the symplectic curvature of the Lagrangian cone, from which one can read off the “gravitational descendents” in the theory (let me add that this subject is quite far from my area of expertise, and that I come to this material as an interested outsider).
Cubic forms occur naturally in other “special” geometric contexts, e.g. holomorphic symplectic geometry (Rozansky-Witten invariants), affine differential geometry (related to the discussion of the Schwarzian above), etc. Each of these contexts is the start of a long story, which is best kept for another post.