You are currently browsing the category archive for the ‘3-manifolds’ category.
I recently uploaded a paper to the arXiv entitled Knots with small rational genus, joint with Cameron Gordon. The genesis of this paper was a couple of nice (and related) talks at Caltech by Matthew Hedden and Jake Rasmussen in 2007. They both talked about potential applications of the theory of knot Floer homology to the Berge conjecture. A Berge knot is a (tame) knot in the 3-sphere which lies on a genus two Heegaard surface, and with the property that on each side of the Heegaard surface there is a meridian disk that the knot intersects exactly once. Equivalently, the inclusion of the knot into each (closed) handlebody sends the generator of to a generator of . Note that since the 3-sphere admits a unique (up to isotopy) Heegaard splitting of any genus, one may think of such a knot as lying on a specific genus 2 surface in . Such knots were classified by Berge; they admit (Dehn) surgeries which result in (nontrivial) Lens spaces. The Berge conjecture is the converse; i.e.:
Berge Conjecture: Let be a knot in which admits a nontrivial Lens space surgery; i.e. there is a Lens space and a knot in for which is homeomorphic to . Then is a Berge knot.
An equivalent formulation (of course) is to try to classify knots in Lens spaces which admit an surgery, i.e. to identify the knots as in the formulation of the conjecture above. The equivalent formulation says that these knots should be 1-bridge. The strategy of Hedden-Rasmussen (building on work of Ken Baker and Eli Grigsby) to approach the Berge conjecture depends on characterizing such knots by properties which can be detected by topological invariants that behave well under surgery. An example of such a topological invariant is the Casson invariant , a -valued invariant of integer homology spheres which satisfies the surgery formula where denotes the result of surgery on some integral homology sphere along a fixed knot , and is the Arf invariant. For more sophisticated invariants like knot Floer homology, the surgery formula is replaced by an exact triangle. One important piece of topological information that is detected by knot Floer homology is the genus of a knot. The approach to the Berge conjecture thus rests on Ken Baker’s impressive paper showing that small genus knots (in a sense to be made precise) in Lens spaces have small bridge number.
Hedden remarked in his talk that his work, and that of his collaborators “gave the first examples of an infinite family of knots that were characterized by their knot Floer homology”. Though technically true, I think this overstates the role of knot Floer homology in this case, since the knots (1-bridge knots in Lens spaces) are entirely characterized (up to isotopy) by their genus (and therefore by any topological invariant which detects genus). My immediate instinct was to think that knots with small genus in any 3-manifold should always be quite special, and that a complete classification might even be feasible. My paper with Cameron confirms this suspicion, and gives such a classification. Let me admit at this point that I am not especially interested in the Berge conjecture per se, although I find it interesting that new ideas in 3-manifold topology are starting to have something meaningful to say about it. In any case, I shall not have anything else to say about it (meaningful or otherwise) in this post.
First I should say that I have been using the word “genus” in a somewhat sloppy manner. For an oriented knot in , a Seifert surface is a compact oriented embedded surface whose boundary is . The genus of such a surface is a non-negative integer, and the least such genus over all Seifert surfaces is (said to be) the genus of , denoted . Such a surface represents the generator in the relative homology group which equals since has vanishing homology in dimensions 1 and 2. This relative homology group is dual to , which is parameterized by homotopy classes of maps from to a circle (which is a ). The preimage of a regular value under a smooth map dual to the homology class is a smooth proper surface in whose closure is a Seifert surface. It is immediate that if and only if is an unknot; in other words, the unknot is “characterized” by its genus. There are infinitely many knots of any positive genus in ; on the other hand, there are only two fibered genus 1 knots — the trefoil and the figure 8 knot (three if you distinguish the left-handed from the right-handed trefoil), and it is worth remarking (from the point of view of the motivation of characterizing knots by topological invariants) that a theorem of Yi Ni says that fiberedness of knots can be detected by knot Floer homology.
For knots in integral homology -spheres, the situation is very similar: every knot admits a Seifert surface, and the least genus of such a surface is the genus of a knot. The unknot is (always) characterized by the fact that it has genus , but there are infinitely many knots of every positive genus. For a knot in a general -manifold it is not so easy to define genus. A necessary and sufficient condition for to bound an embedded surface in its complement is that in . However, if has finite order, one can find an open properly embedded surface in the complement of whose “boundary” wraps some number of times around . Technically, let be a compact oriented surface, and a map which restricts to an embedding from the interior of into , and which restricts to an oriented covering map from to (note that we allow to have multiple boundary components). If is the degree of the covering map , we call a -Seifert surface, and define the rational genus of to be , where denotes Euler characteristic, and (for a connected surface ). The reason to use Euler characteristic instead of genus is that Euler characteristic is multiplicative under coverings (unlike genus), and behaves well with respect to “local” operations on surfaces like cut-and-paste. Moreover, (negative) Euler characteristic, unlike genus, is a good measure of complexity for surfaces with possibly many boundary components. The coefficient of in the denominator reflects the fact that genus is “almost” times Euler characteristic. With this definition, we say that the rational genus of , for any knot with of finite order in , is the infimum of over all -Seifert surfaces for and all . The purpose of our paper is to give a complete classification of knots with sufficiently small rational genus, and to show that such knots are always “geometric” — i.e. they can be isotoped into a normal form which is sensitive to the geometric decomposition of the ambient -manifold . Thus the concept of rational genus makes contact between the homological world of the Thurston norm, knot Floer homology and such invariants, and the geometric world of hyperbolic structures, JSJ decompositions and so on.
It is worth pointing out at this point that knots with small rational genus are not special by virtue of being rare: if is any knot in (for instance) of genus , and in is obtained by Dehn surgery on , then the knot has order in , and . Since for “most” coprime the integer is arbitrarily large, it follows that “most” knots obtained in this way have arbitrarily small rational genus.
There is a precise connection between rational genus and the Thurston norm. There is an exact sequence in homology, which contains the fragment . Since , the kernel of is generated by some class , and one can define the affine subspace . By excision, we identify with where is a tubular neighborhood of . Under this identification, the rational genus of is equal to where denotes the (relative) Thurston norm, and the infimum is taken over classes in in the affine subspace corresponding to . Since the Thurston norm is a convex piecewise rational function, this infimum is realized at some rational point. In other words, rational genus of any knot is rational, and is realized by some -Seifert surface, where as above divides (note: if is a rational homology sphere, then necessarily , but if the rank of is positive, this is not necessarily true, and might be arbitrarily large). This relationship to the Thurston norm also gives a straightforward algorithm to compute rational genus, since one can compute Thurston norm e.g. by linear programming in normal surface space relative to any triangulation.
The precise statement of results depends on the geometric decomposition of the ambient manifold . By the geometrization theorem (of Perelman), a closed, orientable -manifold is either reducible (i.e. contains an embedded sphere that does not bound a ball), or is a Lens space, or is hyperbolic, or is a small Seifert fiber space, or is toroidal (i.e. contains an essential (-injective) embedded torus). For the record, the complete “classification” is as follows:
Reducible Theorem: Let be a knot in a reducible manifold . Then either
- ; or
- there is a decomposition , and either
- is irreducible, or
Lens Theorem: Let be a knot in a lens space . Then either
- ; or
- lies on a Heegaard torus in ; or
- is of the form and lies on a Klein bottle in as a non-separating orientation-preserving curve.
Hyperbolic Theorem: Let be a knot in a closed hyperbolic -manifold . Then either
- ; or
- is trivial; or
- is isotopic to a cable of the core of a Margulis tube.
Small SFS Theorem: Let be an atoroidal Seifert fiber space over with three exceptional fibers and let be a knot in . Then either
- ; or
- is trivial; or
- is a cable of an exceptional Seifert fiber of ; or
- is a prism manifold and is a fiber in the Seifert fiber structure of over with at most one exceptional fiber.
Toroidal Theorem: Let be a closed, irreducible, toroidal 3-manifold, and let be a knot in . Then either
- ; or
- is trivial; or
- is contained in a hyperbolic piece of the JSJ decomposition of and is isotopic either to a cable of a core of a Margulis tube or into a component of ; or
- is contained in a Seifert fiber piece of the JSJ decomposition of and either
- is isotopic to an ordinary fiber or a cable of an exceptional fiber or into , or
- contains a copy of the twisted bundle over the Möbius band and is contained in as a fiber in this bundle structure;
- is a -bundle over with Anosov monodromy and is contained in a fiber.
The constant is presumably not optimal, but reflects the coarseness of certain geometric estimates at a particular step in the argument. Broadly speaking, there are two cases to consider: when the knot complement is hyperbolic, and when it is not. The complement is hyperbolic unless it contains an essential subsurface of non-negative Euler characteristic.
The case that is hyperbolic is conceptually easiest to analyze. Let be a surface, embedded in and with boundary wrapping some number of times around , realizing the rational genus of . The complete hyperbolic structure on may be deformed, adding back as a cone geodesic. Just as a cone can be obtained from a wedge of paper by gluing the two edges together, the geometry of a cone geodesic is locally modeled on the quotient space obtained from a (3-dimensional hyperbolic) wedge by gluing the two flat faces together. The thinner the wedge, the smaller the cone angle along the geodesic. For all sufficiently small angles , Thurston proved that there exists a unique hyperbolic metric on which is singular along a cone geodesic, isotopic to , with cone angle . Call this metric space . The cone angle can be increased, deforming the geometry in a family of spaces, until one of the following three things happens:
- The cone angle is increased all the way to , resulting in the complete hyperbolic structure on , in which is isotopic to an embedded geodesic; or
- The volume of the family of manifolds goes to zero (and either converges after rescaling to a Euclidean cone manifold, or converges after rescaling to have fixed diameter and injectivity radius going to zero everywhere); or
- The cone locus bumps into itself (this can only happen for ).
As the cone angle along increases, so does the length of the cone geodesic. Simultaneously, the diameter of an embedded tube about this diameter decreases. While the diameter of the tube is big, the deformation can continue. Hodgson-Kerckhoff analyzed the kinds of degenerations that can occur, and obtained universal geometric control on how fast the tube diameter can shrink, or the length of the cone geodesic grow. They showed that the cone angle can be increased (giving rise to a family of singular hyperbolic structures ) either until , or until the product , where is the length of the cone geodesic, is at least , at which point the diameter of an embedded tube about this cone geodesic is at least . Since in the latter case, one obtains a lower bound on both the length of the cone geodesic and the diameter of an embedded tube, independent of or .
Now, one would like to use this big tube to conclude that is large. This is accomplished as follows. Geometrically, one constructs a -form which agrees with the length form on the cone geodesic, which is supported in the tube, and which satisfies pointwise for some (universal) constant . Then one uses this -form to control the topology of . By Stokes theorem, for any surface homotopic to in one has an estimate
In particular, the area of divided by can’t be too small. However, it turns out that one can find a surface as above with ; such an estimate is enough to obtain a universal lower bound on . Such a surface can be constructed either by the shrinkwrapping method of Calegari-Gabai, or the (related) PL-wrapping method of Soma. Roughly speaking, one uses the cone geodesic as an “obstacle”, and finds a surface of least area homotopic to (rel. boundary) subject to the constraint that it cannot cross the geodesic. Away from the cone geodesic, looks like an ordinary minimal surface. In particular, its intrinsic curvature is no more than the extrinsic curvature of hyperbolic space, which is everywhere. Along the geodesic, looks like a bedsheet hanging on a clothesline; in particular, it does not accumulate any corners or atoms of positive curvature along this singularity, so the Gauss-Bonnet theorem gives the desired bound on .
This leaves the case that is not hyperbolic to analyze. As remarked above, this only occurs when contains an essential surface (which might be closed or proper) of non-negative Euler characteristic, i.e. a sphere, a disk, an annulus or a torus. In this case, one tries to make the intersection of with this essential surface as simple as possible; if one arranges this just right, every intersection contributes a definite amount to the topology of , and one can conclude either that is complicated (in which case is large), or that the intersection is simple, and therefore draw some topological conclusion.
To actually do this in practice is quite complicated, but fortunately it relies on (largely combinatorial) methods developed at length by Gabai, Scharlemann, Gordon and others over the last 30 years to analyze (so-called) “exceptional surgeries”. Of course, the argument is still complicated, and this analysis takes up most of the length of the paper. It is also worth pointing out that every case provided for by the classification above actually occurs, with examples of arbitrarily small rational genus.
This paper raises several natural questions, the most obvious of which is whether the explicit (but quite small) constants can be improved in any way. The constant in the statement of the Toroidal Theorem is really only there to take care of a knot sitting inside a hyperbolic piece in the decomposition; a knot that interacts in a meaningful way with an essential torus necessarily has rational genus at least (for a precise statement, see the paper). As remarked above, knots of (ordinary) genus are very plentiful, even in , and do not “see” any of the ambient geometry, so the wildest and most optimistic guess might be that there is a chance of classifying knots of rational genus at most . There are some (very weak) reasons to think that this fraction is critical, at least in some cases, not least of which is the papers of Hedden and Ni mentioned above. But in the hyperbolic case, it is probably not easy to get a better estimate using purely geometric arguments.
Another approach might be to try to substitute another conclusion (again in the hyperbolic case) than that be isotopic to the cable of a core of a Margulis tube. For instance, one might ask for to admit an insulator family (of the kind Gabai used here), or one might merely ask that be unknotted in the universal cover, or satisfy some other condition. This goes to the heart of a very, very difficult and important question, namely how to identify geometric features of codimension 2 objects in (especially hyperbolic) geometric 3-manifolds from purely topological properties. If I am optimistic, then I can imagine that this paper makes a contribution, however small, to this ongoing project.
Last week, Michael Brandenbursky from the Technion gave a talk at Caltech on an interesting connection between knot theory and quasimorphisms. Michael’s paper on this subject may be obtained from the arXiv. Recall that given a group , a quasimorphism is a function for which there is some least real number (called the defect) such that for all pairs of elements there is an inequality . Bounded functions are quasimorphisms, although in an uninteresting way, so one is usually only interested in quasimorphisms up to the equivalence relation that if the difference is bounded. It turns out that each equivalence class of quasimorphism contains a unique representative which has the extra property that for all and . Such quasimorphisms are said to be homogeneous. Any quasimorphism may be homogenized by defining (see e.g. this post for more about quasimorphisms, and their relation to stable commutator length).
Many groups that do not admit many homomorphisms to nevertheless admit rich families of homogeneous quasimorphisms. For example, groups that act weakly properly discontinuously on word-hyperbolic spaces admit infinite dimensional families of homogeneous quasimorphisms; see e.g. Bestvina-Fujiwara. This includes hyperbolic groups, but also mapping class groups and braid groups, which act on the complex of curves.
Michael discussed another source of quasimorphisms on braid groups, those coming from knot theory. Let be a knot invariant. Then one can extend to an invariant of pure braids on strands by where , and the “hat” denotes plat closure. It is an interesting question to ask: under what conditions on is the resulting function on braid groups a quasimorphism?
In the abstract, such a question is probably very hard to answer, so one should narrow the question by concentrating on knot invariants of a certain kind. Since one wants the resulting invariants to have some relation to the algebraic structure of braid groups, it is natural to look for functions which factor through certain algebraic structures on knots; Michael was interested in certain homomorphisms from the knot concordance group to . We briefly describe this group, and a natural class of homomorphisms.
Two oriented knots in the -sphere are said to be concordant if there is a (locally flat) properly embedded annulus in with and . Concordance is an equivalence relation, and the equivalence classes form a group, with connect sum as the group operation, and orientation-reversed mirror image as inverse. The only subtle aspect of this is the existence of inverses, which we briefly explain. Let be an arbitrary knot, and let denote the mirror image of with the opposite orientation. Arrange in space so that they are symmetric with respect to reflection in a dividing plane. There is an immersed annulus in which connects each point on to its mirror image on , and the self-intersections of this annulus are all disjoint embedded arcs, corresponding to the crossings of in the projection to the mirror. This annulus is an example of what is called a ribbon surface. Connect summing to by pushing out a finger of each into an arc in the mirror connects the ribbon annulus to a ribbon disk spanning . A ribbon surface (in particular, a ribbon disk) can be pushed into a (smoothly) embedded surface in a -ball bounding . Puncturing the -ball at some point on this smooth surface, one obtains a concordance from to the unknot, as claimed.
The resulting group is known as the concordance group of knots. Since connect sum is commutative, this group is abelian. Notice as above that a slice knot — i.e. a knot bounding a locally flat disk in the -ball — is concordant to the unknot. Ribbon knots (those bounding ribbon disks) are smoothly slice, and therefore slice, and therefore concordant to the trivial knot. Concordance makes sense for codimension two knots in any dimension. In higher even dimensions, knots are always slice, and in higher odd dimensions, Levine found an algebraic description of the concordance groups in terms of (Witt) equivalence classes of linking pairings on a Seifert surface; (some of) this information is contained in the signature of a knot.
Let be a knot (in for simplicity) with Seifert surface of genus . If are loops in , define to be the linking number of with , which is obtained from by pushing it to the positive side of . The function is a bilinear form on , and after choosing generators, it can be expressed in terms of a matrix (called the Seifert matrix of ). The signature of , denoted , is the signature (in the usual sense) of the symmetric matrix . Changing the orientation of a knot does not affect the signature, whereas taking mirror image multiplies it by . Moreover, if are Seifert surfaces for , one can form a Seifert surface for for which there is some sphere that intersects in a separating arc, so that the pieces on either side of the sphere are isotopic to the , and therefore the Seifert matrix of can be chosen to be block diagonal, with one block for each of the Seifert matrices of the ; it follows that . In fact it turns out that is a homomorphism from to ; equivalently (by the arguments above), it is zero on knots which are topologically slice. To see this, suppose bounds a locally flat disk in the -ball. The union is an embedded bicollared surface in the -ball, which bounds a -dimensional Seifert “surface” whose interior may be taken to be disjoint from . Now, it is a well-known fact that for any oriented -manifold , the inclusion induces a map whose kernel is Lagrangian (with respect to the usual symplectic pairing on of an oriented surface). Geometrically, this means we can find a basis for the homology of (which is equal to the homology of ) for which half of the basis elements bound -chains in . Let be obtained by pushing off in the positive direction. Then chains in and chains in are disjoint (since and are disjoint) and therefore the Seifert matrix of has a block form for which the lower right block is identically zero. It follows that also has a zero lower right block, and therefore its signature is zero.
The Seifert matrix (and therefore the signature), like the Alexander polynomial, is sensitive to the structure of the first homology of the universal abelian cover of ; equivalently, to the structure of the maximal metabelian quotient of . More sophisticated “twisted” and signatures can be obtained by studying further derived subgroups of as modules over group rings of certain solvable groups with torsion-free abelian factors (the so-called poly-torsion-free-abelian groups). This was accomplished by Cochran-Orr-Teichner, who used these methods to construct infinitely many new concordance invariants.
The end result of this discussion is the existence of many, many interesting homomorphisms from the knot concordance group to the reals, and by plat closure, many interesting invariants of braids. The connection with quasimorphisms is the following:
Theorem(Brandenbursky): A homomorphism gives rise to a quasimorphism on braid groups if there is a constant so that , where denotes -ball genus.
The proof is roughly the following: given pure braids one forms the knots , and . It is shown that the connect sum bounds a Seifert surface whose genus may be universally bounded in terms of the number of strands in the braid group. Pushing this Seifert surface into the -ball, the hypothesis of the theorem says that is uniformly bounded on . Properties of then give an estimate for the defect; qed.
It would be interesting to connect these observations up to other “natural” chiral, homogeneous invariants on mapping class groups. For example, associated to a braid or mapping class one can (usually) form a hyperbolic -manifold which fibers over the circle, with fiber and monodromy . The -invariant of is the signature defect where is a -manifold with with a product metric near the boundary, and is the first Pontriagin form on (expressed in terms of the curvature of the metric). Is a quasimorphism on some subgroup of (eg on a subgroup consisting entirely of pseudo-Anosov elements)?
If is a smooth function on a manifold , and is a critical point of , recall that the Hessian is the quadratic form on (in local co-ordinates, the coefficients of the Hessian are the second partial derivatives of at ). Since is symmetric, it has a well-defined index, which is the dimension of the subspace of maximal dimension on which is negative definite. The Hessian does not depend on a choice of metric. One way to see this is to give an alternate definition where and are any two vector fields with given values and in . To see that this does not depend on the choice of , observe
because of the hypothesis that vanishes at . This calculation shows that the formula is symmetric in and . Furthermore, since only depends on the value of at , the symmetry shows that the result only depends on and as claimed. A critical point is nondegenerate if is nondegenerate as a quadratic form.
In Morse theory, one uses a nondegenerate smooth function (i.e. one with isolated nondegenerate critical points), also called a Morse function, to understand the topology of : the manifold has a (smooth) handle decomposition with one -handle for each critical point of of index . In particular, nontrivial homology of forces any such function to have critical points (and one can estimate their number of each index from the homology of ). Morse in fact applied his construction not to finite dimensional manifolds, but to the infinite dimensional manifold of smooth loops in some finite dimensional manifold, with arc length as a “Morse” function. Critical “points” of this function are closed geodesics. Any closed manifold has a nontrivial homotopy group in some dimension; this gives rise to nontrivial homology in the loop space. Consequently one obtains the theorem of Lyusternik and Fet:
Theorem: Let be a closed Riemannian manifold. Then admits at least one closed geodesic.
In higher dimensions, one can study the space of smooth maps from a fixed manifold to a Riemannian manifold equipped with various functionals (which might depend on extra data, such as a metric or conformal structure on ). One context with many known applications is when is a Riemannian -manifold, is a surface, and one studies the area function on the space of smooth maps from to (usually in a fixed homotopy class). Critical points of the area function are called minimal surfaces; the name is in some ways misleading: they are not necessarily even local minima of the area function. That depends on the index of the Hessian of the area function at such a point.
Let be a (compactly supported) -parameter family of surfaces in a Riemannian -manifold , for which is smoothly immersed. For small the surfaces are transverse to the exponentiated normal bundle of ; hence locally we can assume that takes the form where are local co-ordinates on , and is contained in the normal geodesic to through the point ; we call such a family of surfaces a normal variation of surfaces. For such a variation, one has the following:
Theorem (first variation formula): Let be a normal variation of surfaces, so that where is the unit normal vector field to . Then there is a formula:
where is the mean curvature vector field along .
Proof: let denote the image under of the vector fields . Choose co-ordinates so that are conformal parameters on ; this means that and at .
The infinitesimal area form on is which we abbreviate by , and write
Since are the pushforward of coordinate vector fields, they commute; hence , so and therefore
and similarly for . At we have , and so the calculation reduces to
Now, , and so the conclusion follows. qed.
As a corollary, one deduces that a surface is a critical point for area under all smooth compactly supported variations if and only if the mean curvature vanishes identically; such a surface is called minimal.
The second variation formula follows by a similar (though more involved) calculation. The statement is:
Theorem (second variation formula): Let be a normal variation of surfaces, so that . Suppose is minimal. Then there is a formula:
where is the Jacobi operator (also called the stability operator), given by the formula
where is the second fundamental form, and is the metric Laplacian on .
This formula is frankly a bit fiddly to derive (one derivation, with only a few typos, can be found in my Foliations book; a better derivation can be found in the book of Colding-Minicozzi) but it is easy to deduce some significant consequences directly from this formula. The metric Laplacian on a compact surface is negative self-adjoint (being of the form for some operator ), and is obtained from it by adding a th order perturbation, the scalar field . Consequently the biggest eigenspace for is -dimensional, and the eigenvector of largest eigenvalue cannot change sign. Moreover, the spectrum of is discrete (counted with multiplicity), and therefore the index of (thought of as the “Hessian” of the area functional at the critical point ) is finite.
A surface is said to be stable if the index vanishes. Integrating by parts, one obtains the so-called stability inequality for a stable minimal surface :
for any reasonable compactly supported function . If is closed, we can take . Consequently if the Ricci curvature of is positive, admits no stable minimal surfaces at all. In fact, in the case of a surface in a -manifold, the expression is equal to where is the intrinsic curvature of , and is the scalar curvature on . If has positive genus, the integral of is non-negative, by Gauss-Bonnet. Consequently, one obtains the following theorem of Schoen-Yau:
Corollary (Schoen-Yau): Let be a Riemannian -manifold with positive scalar curvature. Then admits no immersed stable minimal surfaces at all.
On the other hand, one knows that every -injective map to a -manifold is homotopic to a stable minimal surface. Consequently one deduces that when is a -manifold with positive scalar curvature, then does not contain a surface subgroup. In fact, the hypothesis that be -injective is excessive: if is merely incompressible, meaning that no essential simple loop in has a null-homotopic image in , then the map is homotopic to a stable minimal surface. The simple loop conjecture says that a map from a -sided surface to a -manifold is incompressible in this sense if and only if it is -injective; but this conjecture is not yet known.
Update 8/26: It is probably worth making a few more remarks about the stability operator.
The first remark is that the three terms , and in have natural geometric interpretations, which give a “heuristic” justification for the second variation formula, which if nothing else, gives a handy way to remember the terms. We describe the meaning of these terms, one by one.
- Suppose , i.e. consider a variation by flowing points at unit speed in the direction of the normals. In directions in which the surface curves “up”, the normal flow is focussing; in directions in which it curves “down”, the normal flow is expanding. The net first order effect is given by , the mean curvature in the direction of the flow. For a minimal surface, , and only the second order effect remains, which is (remember that is the second fundamental form, which measures the infinitesimal deviation of from flatness in ; the mean curvature is the trace of , which is first order. The norm is second order).
- There is also an effect coming from the ambient geometry of . The second order rate at which a parallel family of normals along a geodesic diverge is where is the curvature operator. Taking the average over all geodesics tangent to at a point gives the Ricci curvature in the direction of , i.e. . This is the infinitesimal expansion of area of a geodesic plane under the normal flow, and has second order. The interactions between these terms have higher order, so the net contribution when is .
- Finally, there is the contribution coming from itself. Imagine that is a flat plane in Euclidean space, and let be the graph of . The infinitesimal area element on is . If has compact support, then differentiating twice by , and integrating by parts, one sees that the (leading) second order term is . When is not totally geodesic, and the ambient manifold is not Euclidean space, there is an interaction which has higher order; the leading terms add, and one is left with .
The second remark to make is that if the support of a variation is sufficiently small, then necessarily will be large compared to , and therefore will be positive definite. In other words all variations of a (fixed) minimal surface with sufficiently small support are area increasing — i.e. a minimal surface is locally area minimizing (this is local in the surface itself, not in the “space of all surfaces”). This is a generalization of the important fact that a geodesic in a Riemannian manifold is locally length minimizing (though typically not globally length minimizing).
One final remark is that when is big enough at some point , and when the injectivity radius of at is big enough (depending on bounds on in some neighborhood of ), one can find a variation with support concentrated near that violates the stability inequality. Contrapositively, as observed by Schoen, knowing that a minimal surface in a -manifold is stable gives one a priori control on the size of , depending only on the Ricci curvature of , and the injectivity radius of the surface at the point. Since stability is preserved under passing to covers (for -sided surfaces, by the fact that the largest eigenvalue of can’t change sign!) one only needs a lower bound on the distance from to . In particular, if is a closed stable minimal surface, there is an a priori pointwise bound on . This fact has many important topological applications in -manifold topology. On the other hand, when has boundary, the curvature can be arbitrarily large. The following example is due to Thurston (also see here for a discussion):
Example (Thurston): Let be an ideal simplex in with ideal simplex parameter imaginary and very large. The four vertices of come in two pairs which are very close together (as seen from the center of gravity of the simplex); let be an ideal quadrilateral whose edges join a point in one pair to a point in the other. The simplex is bisected by a “square” of arbitrarily small area; together with four “cusps” (again, of arbitrarily small area) one makes a (topological) disk spanning with area as small as desired. Isotoping this disk rel. boundary to a least area (and therefore stable) representative can only decrease the area further. By the Gauss-Bonnet formula, the curvature of such a disk must get arbitrarily large (and negative) at some point in the interior.
Jeremy Kahn kindly sent me a more detailed overview of his argument with Vlad Markovic, that I blogged earlier about here (also see Jesse Johnson’s blog for other commentary). With his permission, this is reproduced below in its entirety.
Editorial note: I have latexified Jeremy’s email; hence “dhat-mu” becomes , “boundary-hat” becomes , and “boundary-tilde” becomes . I also linkified the link to Caroline Series’ paper.
I was busy with the conference on Thursday and Friday, and taking a break on Saturday, and now I’ve finally had a chance to read your blog, and reply to your message. I decided (especially as Jesse had requested it) to write out a complete outline of the theorem. I’m sending a copy of this message to you, Jesse Johnson, Ian Agol, and Francois Labourie: you are all welcome to reproduce it, as long as it is reproduced in its entirety, and states clearly that this is joint work with Vladimir Markovic. Of course, time and energy permitting, I’ll be happy to answer any questions.
Here is an outline of the argument, working backwards to make it clearer:
1. We want to construct a surface made out of skew pants, each of which has complex half-length close to , and which are joined together so that the complex twist-bends are within of . Using a paper of Caroline
Series (published in the Pacific J. of Mathematics) we show that these surfaces are quasi-isometrically embedded in the universal cover of the three-manifold.
2. Consider the following two conditions on two Borel measures and on a metric space with the same (finite) total measure:
A. For every Borel subset of , is less than or equal to the -measure of an neighborhood of .
B. There is a measure space and functions and such that and are the push-forwards by and respectively of the measure , and the distance in between and is less than for almost every .
It is easy to show that B implies A (also that A is symmetric in and !). In the case where and are discrete and integral measures (the measure of every point is a non-negative integer), we can show that A implies B (and will be a finite set with the counting measure) using Hall’s marriage theorem. In fact, the statement that A implies B for discrete and integral measures is easily shown to be equivalent to Hall’s marriage theorem. I don’t know if A implies B in general because I don’t know how to replace the inductive algorithm for Hall’s marriage theorem with a method that works for a relation between two general measure spaces.
We call and -equivalent if they satisfy condition A, and note that the condition is additively transitive: if is -equivalent to , and is -equivalent to , then and are -equivalent.
3. Suppose that is one boundary component of a pair of skew pants . We can form the common orthogonals in from to each of other other two cuffs. For each common orthogonal, at the point where it meets , we can find a unit normal vector to that points along this common orthogonal. The two resulting normal vectors are related by a translation along the half-length of (the suitable square root of the loxodromic element for ), so we will call them a pair of opposite unit normal vectors (or pounv for short) and they live in the live in the bundle of pounv’s which is conformally equivalent to the complex plane mod the lattice generated by the half-length of and . We give the bundle of pounv’s the Euclidean metric inherited from the complex plane, and also the Lebesgue measure.
4. Given a measure on pants we can produce a measure on the union pounv bundles of the boundary geodesics as follows: if the measure is a unit atom on one pair of skew pants, the resulting measure on pounv bundles is a unit atom on the pounv bundle of each the cuffs, at the pounv described in step 3. We extend to a general measure by linearity. This produces a linear operator we will call the operator.
If we are given a positive integral formal sum of pants (or a multi-set of pants) we can think of it as an integral measure on the space of pants.
5. On the pounv bundle for each closed geodesic we can apply a translation of ; we will call this translation . We can think of as a map from the union of the pounv bundles to itself.
6. Let be an integral measure on pants with cuff half-lengths close to . We can apply the operator described in step 4 to obtain a measure on the union of pounv bundles of all the boundary geodesics; we will call the measure . If and the translation of by are equivalent, then we can take two oriented pants for each pair of pants in our multi-set (taking each of the two possible orientations) and then fit all of these oriented pants into an oriented surface of the type described in step 1. We use Hall’s marriage theorem as described in step 2, and a very small amount of combinatorics.
If the measure , restricted to a given pounv bundle, is equivalent to a rescaling of Lebesgue measure on that torus, then and of are -equivalent, which is what we wanted.
This is as far as I got in the first talk at Utah, so it would be best to stop and take a breath for a moment. We haven’t really done anything, but we’ve reformulated the problem: the type of surface we want has been well-defined, and the problem of finding this surface has been reformulated as finding a measure on pairs of pants that satisfies a given criterion.
7. A two-frame for will comprise a tangent vector and a normal vector both at the same point, unit length and orthogonal. Given a two-frame we can rotate the tangent vector 120 degrees around the normal vector, using the right-hand rule; the orbit of this action is an ordered triple of two-frames, which will call a tripod. We can also rotate 120 degrees in the opposite direction, and obtain an anti-tripod.
8. A connected pair of two-frames is a pair of two frames along with a geodesic segment connecting them. Given and , with large in terms of , we can find a weighting function on connected two-frames such that the following properties hold whenever the weight is non-zero:
A. The length of the connecting segment is within of .
B. If the normal vector of one two-frame is parallel translated along the connecting segment, then it forms an angle of less then with the normal vector of the other two-frame.
C. The angle between the the tangent vector of the two frame and (the tangent vector to) the connecting geodesic segment is exponentially small in .
D. Given a pair of two-frames, the sum of the weights of the connecting geodesic segments is exponentially close (in ) to 1.
E. The weighting is geometrically natural, in that it depends only the length of the connecting segment, the angle between the parallel translated normal vectors, and the angles between the connecting segment and the tangent vectors.
We will describe the (relatively simple) weighting function in the end; we will use the exponential mixing of geodesic flow to obtain property D.
9. Given a tripod and an anti-tripod, we can form three pairs of two-frames by pairing the frames in order, and then we can measures (or weightings) on the connected pairs of two-frames, and then form the product measure (or weighting) by multiplying the weights of the three connections. This gives us a weighting on “connected pairs of tripods” (really a tripod and an anti-tripod) that is supported on connections that satisfy properties A, B, and C.
10. We call a perfect connection between two two-frames a geodesic segment that has a length of , and angle of zero between the segment and the tangent vectors, and translates one normal vector to the other. If a tripod and an anti-tripod were connected by three perfect connection, then they would be a 1-dimensional retract of a flat pair of pants with three cuffs of equal length , where is approximately when is large. If the tripod and anti-tripod are connected by arcs that satisfy properties A and B, then the connected pair of tripods is still a retract of a skew pair of pants, whose cuffs have half-length within (or ) of . Thus there is a map from good connected pairs of tripods to good pairs of pants, which we will denote by .
11. We can let be the measure on connected pairs of tripods, given by integrating the weighting of steps 8 and 9 with respect to the Liouville measure on pairs of tripods (or pairs of two-frames). We then push this measure forward by to obtain a measure on pairs of pants; after finding a rational approximation and clearing denominators, it will be the that was asked for in step 6. We will show that (taking the original irrational ) is -equivalent to a rescaling of Lebesgue measure on each pounv bundle and thereby complete the proof.
12. A partially connected pair of tripods is a pair of tripods where we have connected two out of the three pairs of two-frames. To a partially connected pair of tripods we can assign a single closed geodesic that is homotopic to the concatenation (at both ends) of the two connecting segments. If we connect the third pair of two-frames and apply we obtain a pair of pants , and we can then find a pair of opposite unit normal vectors for gamma pointing to the two cuffs of (as described in step 3). We will describe a method for predicting the pounv for and knowing only the partially connected tripod : First, lift to the solid torus cover of determined by , and then follow geodesic segments from the tangent vectors of the two unconnected two frames of (the lift of) to the ideal boundary of this -cover. We can connect these two points in the boundary by two geodesics, each of which goes about half-way around this solid torus cover. We can then find the common orthogonals from each of these geodesics to (the lift of) , and then obtain two normal vectors to pointing along these common orthogonals; it is easy to verify that these are half-way along from each other (in the complex sense) and hence form a pounv. Property C of the connections between two-frames (and hence tripods) implies that this predicted pounv will be exponentially close (in ) to the actually pounv of any pair of pants .
To summarize: given a good connected pair of tripods, we get a good pair of pants , and taking one cuff gamma of , we get a pounv for as described in step 3. But we only need two out of the three connecting segments to get , and using the third pair of two frames, without even knowing the third connecting segment, we can predict the pounv for and to very high accuracy.
13. We can then define the operator from measures on partially connected pairs of tripods to measures on the pounv bundles for the associated geodesics; this operator is just the linear extension of the operation in step 12. Given a connected pair of tripods, we can get three partially connected pairs of tripods in the obvious way; we can thereby extend to map measures on connected pairs of tripods to measures on the bundles of pounv’s; because the predicted pounv described in step 12 is exponentially close to the actual pounv described in step 3, the two measures and are -equivalent, by the B => A of step 2.
14. For each closed geodesic , we can lift all the partially connected tripods that give to the cover of described in step 12. There is a natural torus action on the normal bundle of , and this extends to an action on all of the solid torus cover associated to . Moreover, it acts on the (lifts of) partially connected tripods, and it does not change the weightings of the two established connecting segments, because of property E of the weighting function.
This is the crucial point: the effective weighting on a partially connected pair of tripods is not just the product of the weights of the two established connections, but that product times the sum of the weights of all possible third connections. By property D of the weighting function, this sum, while not constant, is exponentially close to being constant, so the effective weighting is exponentially close to being invariant under the torus action. Because the predicted pounv for a partially connected pair of tripods is equivariant for the torus action, the measure is exponentially close to a torus invariant measure on the pounv bundle (which is necessary a rescaling of Lebesgue measure), in the sense that the Radon-Nikodym derivative is exponentially close to 1. It is then an easy lemma that the two measures are exponentially close in the sense of step 2. And then we’re finished: is exponentially close to , which is exponentially close to a rescaling of Lebesgue measure, which is what we wanted (with
overkill) in step 6.
15. It remains only to define the weighting function described in step 8, which is surprisingly simple: We take some left-invariant metric on , and hence on the two-frame bundle for and its universal cover. Given a connected pair of two-frames in , we lift to the universal cover, to obtain two two-frames and . We then flow and forward by the frame flow for time to obtain and . We let be the neighborhood of , and be the neighborhood of , with the tangent vector of replaced by its negation. Then the weighting of the connection is the volume of the intersection of with the image of under the frame flow for time .
Properties A, B, and C are not difficult to verify. Property D follows immediately from exponential mixing: If we have and downstairs without any connection, and similarly define , , and , then the sum of the weights of the possible connections will just be the volume of the intersection of the downstairs with the frame flow of . By exponential mixing, this converges at the rate to the square of the volume of an neighborhood, divided by the volume of .
We can normalize the weights by dividing by this constant.
I will try to add comments as they occur to me.
One obvious comment to make is that the argument is remarkably short, and does not depend on any very delicate or complicated analytic estimates (maybe the argument that the glued up surfaces are quasi-geodesic is the most delicate part). It is fair to say that it defies the conventional wisdom in that respect — I was personally very surprised that the general method could be made to work, especially in light of the failure of Bowen’s program. Kudos to Jeremy and Vlad for their boldness and ingenuity.
Another comment to make is that the matching argument is surprisingly robust and general, and I expect it to have many broader applications. One thing I was confused about in my last post seems to be resolved by Jeremy’s sketch above — if I understand it correctly, one first (almost) pairs continuous measures, and only then approximates them by discrete integral measures (with a little bit of combinatorics at the end). And one really does need exponential mixing rather than just mixing.
Incidentally, apropos the matching argument, there are some interesting and well-known variations where things go haywire. For example, papers by Burago-Kleiner and (Curt) McMullen show that there are examples of separated nets in Euclidean space which are not bilipschitz to a lattice (though, interestingly, Curt shows that they are Holder equivalent). No such examples exist in hyperbolic space, because of — nonamenability and Hall’s marriage theorem! Roughly, when trying to match up points in two nets in hyperbolic space, one doesn’t need to look very far because the number of options grows exponentially. This is one reason why Kahn-Markovic need to control the matchings of their measures carefully, because it must be done on a very small scale (where the exponential growth does not kick in).
I thought I would also mention that in case my previous comments lead one to believe otherwise, exponential mixing of the geodesic flow on a hyperbolic manifold is somewhat delicate. Exponential mixing under a flow on a space preserving a probability measure means that for all (sufficiently nice) functions and on , the correlations are bounded in absolute value by an expression of the form for suitable constants (which might depend on the analytic quality of and ). For example, one takes to be the unit tangent bundle of a hyperbolic manifold, and the geodesic flow (i.e. the flow which pushes vectors along the geodesics they are tangent to, at constant speed). Exponential mixing should be contrasted with the much slower mixing of the horocycle flow on a hyperbolic surface, for which the correlation is bounded by an expression like . The geodesic flow on a hyperbolic manifold is an example of what is called an Anosov flow; i.e. the tangent bundle splits equivariantly under the flow into three subbundles where is -dimensional and tangent to the flow, is contracted uniformly exponentially by the flow, and is expanded uniformly exponentially by the flow. The best one knows for (certain) Anosov flows (by Chernov) is that the flow is stretched exponentially mixing, i.e. with an estimate of the form . One knows exponential mixing for the geodesic flow on variable negative curvature surfaces by Dolgopyat, and on certain locally symmetric spaces, using representation theory. See Pollicott’s lecture notes here for more details. I don’t know if exponential mixing for geodesic flows is known on manifolds of variable negative curvature in high dimensions. Also I’d appreciate it if any reader who knows some ergodic theory can confirm/deny/clarify this paragraph . . .
(Update 8/12): Jeremy tells me that he and Vladimir only need “sufficiently high degree polynomial” mixing, so perhaps there is a decent chance the methods can be extended to variable negative curvature.
(Update 10/29): The paper is now available from the arXiv.
I just learned from Jesse Johnson’s blog that Vlad Markovic and Jeremy Kahn have announced a proof of the surface subgroup conjecture, that every complete hyperbolic -manifold contains a closed -injective surface. Equivalently, contains a closed surface subgroup. Apparently, Jeremy made the announcement at an FRG conference in Utah. This answers a long-standing question in -manifold topology, which is a variation on some problems originally posed by Waldhausen. If one further knew that hyperbolic -manifold groups were LERF, one would be able to deduce that all hyperbolic -manifolds are virtually Haken, and (by a recent theorem of Agol), virtually fibered. Dani Wise (and others) have programs to show that hyperbolic -manifold groups are LERF; if successful, this would therefore resolve some of the most important outstanding problems in -manifold topology (in fact, I would say: the most important outstanding problems, by a substantial margin).
In fact, the argument appears to work for hyperbolic manifolds of every dimension , and possibly more generally still. Details on the argument of Markovic-Kahn are scarce (Vlad informs me that they expect to have a preprint in a few weeks) but the sketch of the argument presented by Kahn is compelling. Roughly speaking, the argument (as summarized by Ian Agol in a comment at Jesse’s blog) takes the following form:
- Given , for a sufficiently big constant , one can find “many” immersed, almost totally-geodesic pairs of pants (i.e. thrice-punctured spheres) with geodesic boundary components (i.e. “cuffs”) of length very close to . In fact, one can further insist that the complex length of the boundary geodesic is very close to (i.e. holonomy transport around this geodesic does not rotate the normal bundle very much).
- Conversely, given any geodesic of complex length very close to , one can find many such pairs of pants that it bounds, and moreover one can find them so that the normal to the geodesic pointing in to the surface is prescribed.
- If one takes a sufficiently big collection of such geodesic pairs of pants, one has enough of them in oppositely-aligned pairs along each boundary component, that they can be matched up (by some version of Hall’s marriage theorem), and furthermore, matched up with a definite prescribed “twist” along the boundary components
- One checks that the resulting (closed) surface is sufficiently close to totally geodesic that the ambient negative curvature certifies it is -injective
Many aspects of this argument have a lot in common with some previous attempts on the surface subgroup conjecture, including one recent approach by Bowen (note: Bowen’s approach is known to have some fatal difficulties; the “twist” in 3. above specifically addresses some of them). All of these points deserve some comments.
First, where do the pairs of pants come from? If is a totally geodesic pair of pants with boundary components of length close to , the pants retract onto a geodesic spine, i.e. an immersed totally geodesic theta graph, whose edges all have length close to , and which meet at angles very close to degrees. One can cut this spine up into two pieces, which are obtained by exponentiating the edges of an infinitesimal (almost)-planar tripod for length .
Given a tripod in some plane in the tangent space at some point of , one can exponentiate the edges for length to construct such a half-spine; if and are a pair of tripods for which the exponentiated endpoints nearly match up, with almost opposite tangent vectors, then the resulting half-spines can be glued up to make a spine, and thickened to make a pair of pants. One key idea is to use the exponential mixing property of the geodesic flow on a hyperbolic manifold, e.g. as proved by Pollicott. Given some tolerance , once is sufficiently large, the mixing result shows that the set of such pairs of tripods for which such a matching occurs have a definite density in the space of all pairs (and in fact, are more and more equidistributed in this space, in probability). In fact, one may even insist that two of the pairs of prongs join up to make some specific closed geodesic of length almost , and vary the pair of third prongs a very small amount so that they glue up. This takes care of the first two points; this seems quite uncontroversial (exponential mixing comes in, I suspect, to know that one doesn’t need to wiggle the pair of third prongs much, having paired the first two pairs).
The matching (i.e. the gluing up of opposite pant cuffs) apparently is done by some variant of Hall’s marriage theorem. One needs to know (I think) that for any finite set of cuffs to be glued, the set of other cuffs that they could potentially be glued to is at least as big in cardinality. This probably needs some thought, but it is plausibly true: given a cuff, it can be glued to any cuff which is almost oppositely aligned to it, and since there is some tolerance in the angle of gluing — this is where dimension at least is necessary — and moreover, since oriented cuffs are almost equidistributed, one can always find “more” cuffs that are opposite, up to a bit of tolerance, to any given subset of cuffs (of course, more details are necessary here). There is an extra wrinkle to the argument, which is that the gluing must be done with a “twist” of a definite amount, so that cuffs are not glued up in such a way that the perpendicular geodesic arcs joining pairs of cuffs match up.
(Update 8/8: I think there must necessarily be more details to the matching argument, as very loosely described above. There are at least two additional issues that must be dealt with in order to perform a matching: a parity issue (since each pants has an odd number of cuffs) and a homology issue (if the argument relativizes, so that one fixes some collection of cuffs in advance and glues up everything else, one concludes a posteriori that the union of the unglued cuffs is homologically inessential). Probably the parity issue (and more subtle divisibility issues) can be solved by gluing with real-valued weights, then approximating a real solution by a rational solution, and multiplying through to clear denominators. Maybe the homology issue does not arise, if in fact the argument doesn’t relativize.) Both these issues suggest that one does not specify in advance a collection of pants to be glued up, but rather wants to glue up a definite number of pants from some subset.)
This issue of a twist is important for the 4th point, which is perhaps the most delicate. In order to know that the resulting surface is -injective, one must use geometry. A closed (immersed) surface in a hyperbolic manifold which is (locally) very close to being totally geodesic is -injective. One way to see this is to observe that a geodesic loop in the surface is almost geodesic in the manifold; the ambient negative curvature means that the geodesic can be shrunk (by the negative of the gradient of length in the space of loops) to become geodesic in the ambient manifold; if it is close to being geodesic at the start, it very quickly becomes totally geodesic, without getting much shorter. Any closed geodesic in a hyperbolic manifold is essential.
If one builds a surface by gluing up almost totally geodesic pieces in such a way that there is almost no angle along the gluing, the resulting surface is almost geodesic, and therefore injective. However, one must be very careful to control the geometry of the pieces that are glued, and this is hard to do if the injectivity radius is very small. A geodesic pair of pants has area no matter how long its boundary components are. So if the boundary components have length , then at the points where they are thinnest, they are only across. If cuffs are glued where the pants are thinnest, even if the gluing angle is very small, the surfaces themselves might twist through a big angle in a very short time. So one needs to make sure that the thinnest part of one pants are glued up to a thicker part of the next, which is glued to a thicker part of the next . . . and so on. This is the point of introducing the twist before gluing: the twists accumulate, and before one has glued pieces together, one has entered the thick part of some pants, where the injectivity radius is bounded below by some universal constant.
Anyway, this seems like a really spectacular development, with an excellent chance of working out. Some of the ingredients — e.g. the exponential mixing of the geodesic flow — work just as well in variable negative curvature. In fact, some version of it should work for arbitrary hyperbolic groups (using Mineyev’s flow space). Without knowing more details of the argument, one can’t say how delicate the last part of the argument is, and how far it generalizes (but readers are invited to speculate . . .)
I recently made the final edits to my paper “Positivity of the universal pairing in 3 dimensions”, written jointly with Mike Freedman and Kevin Walker, to appear in Jour. AMS. This paper is inspired by questions that arise in the theory of unitary TQFT’s. An -dimensional TQFT (“topological quantum field theory”) is a functor from the category of smooth oriented -manifolds and smooth cobordisms between them, to the category of (usually complex) vector spaces and linear maps, that obeys the (so-called) monoidal axiom . The monoidal axiom implies that . Roughly speaking, the functor associates to a “spacelike slice” — i.e. to each -manifold — the vector space of “quantum states” on (whatever they are), denoted . A cobordism stands in for the physical idea of the universe and its quantum state evolving in time. An -manifold bounding can be thought of as a cobordism from the empty manifold to , so is a linear map from to , or equivalently, a vector in (the image of ).
Note that as defined above, a TQFT is sensitive not just to the underlying topology of a manifold, but to its smooth structure. One can define variants of TQFTs by requiring more or less structure on the underlying manifolds and cobordisms. One can also consider “decorated” cobordism categories, such as those whose objects are pairs where is a manifold and is a submanifold of some fixed codimension (usually ) and whose morphisms are pairs of cobordisms (e.g. Wilson loops in a -dimensional TQFT).
In realistic physical theories, the space of quantum states is a Hilbert space — i.e. it is equipped with a nondegenerate inner product. In particular, the result of pairing a vector with itself should be positive. One says that a TQFT with this property is unitary. In the TQFT, reversing the orientation of a manifold interchanges a vector space with its dual, and pairing is accomplished by gluing diffeomorphic manifolds with opposite orientations. It is interesting to note that many -dimensional TQFTs of interest to mathematicians are not unitary; e.g. Donaldson theory, Heegaard Floer homology, etc. These theories depend on a grading, which prevents attempts to unitarize them. It turns out that there is a good reason why this is true, discussed below.
Definition: For any -manifold , let denote the complex vector space spanned by the set of -manifolds bounding , up to a diffeomorphism fixed on . There is a pairing on this vector space — the universal pairing — taking values in the complex vector space spanned by the set of closed -manifolds up to diffeomorphism. If and are two vectors in , the pairing of these two vectors is equal to the formal sum where overline is complex conjugation on numbers, and orientation-reversal on manifolds, and denotes the closed manifold obtained by gluing to along .
The point of making this definition is the following. If is a vector with the property that (i.e. the result of pairing with itself is zero), then for any unitary TQFT . One says that the universal pairing is positive in dimensions if every nonzero vector pairs nontrivially with itself.
Example: The Mazur manifold is a smooth -manifold with boundary . There is an involution of that does not extend over , so denote distinct elements of . Let , their formal difference. Then the result of pairing with itself has four terms: . It turns out that all four terms are diffeomorphic to , and therefore this formal sum is zero even though is not zero, and the universal pairing is not positive in dimension .
More generally, it turns out that unitary TQFTs cannot distinguish -cobordant -manifolds, and therefore they are insensitive to essentially all “interesting” smooth -manifold topology! This “explains” why interesting -dimensional TQFTs, such as Donaldson theory and Heegaard Floer homology (mentioned above) are necessarily not unitary.
One sees that cancellation arises, and a pairing may fail to be positive, if there are some unusual “coincidences” in the set of terms arising in the pairing. One way to ensure that cancellation does not occur is to control the coefficients for the terms appearing in some fixed diffeomorphism type. Observe that the “diagonal” coefficients are all positive real numbers, and therefore cancellation can only occur if every manifold appearing as a diagonal term is diffeomorphic to some manifold appearing as an off-diagonal term. The way to ensure that this does not occur is to define some sort of ordering or complexity on terms in such a way that the term of greatest complexity can occur only on the diagonal. This property — diagonal dominance — can be expressed in the following way:
Definition: A pairing as above satisfies the topological Cauchy-Schwarz inequality if there is a complexity function defined on all closed -manifolds, so that if are any two -manifolds with boundary , there is an inequality with equality if and only if .
The existence of such a complexity function ensures diagonal dominance, and therefore the positivity of the pairing .
Example: Define a complexity function on closed -manifolds, by defining to be equal to the number of components of . This complexity function satisfies the topological Cauchy-Schwarz inequality, and proves positivity for the universal pairing in dimension.
Example: A suitable complexity function can also be found in dimensions. The first term in the complexity is number of components. The second is a lexicographic list of the Euler characteristics of the resulting pieces (i.e. the complexity favors more components of bigger Euler characteristic). The first term is maximized if and only if the pieces of and are all glued up in pairs with the same number of boundary components in ; the second term is then maximized if and only if each piece of is glued to a piece of with the same Euler characteristic and number of boundary components — i.e. if and only if .
Positivity holds in dimensions below , and fails in dimensions above . The main theorem we prove in our paper is that positivity holds in dimension , and we do this by constructing an explicit complexity function which satisfies the topological Cauchy-Schwarz inequality.
Unfortunately, the function itself is extremely complicated. At a first pass, it is a tuple where treats number of components, treats the kernel of under inclusion, treats the essential -spheres, and treats prime factors arising in the decomposition.
The term is itself very interesting: for each finite group Witten and Dijkgraaf constructed a real unitary TQFT (i.e. one for which the resulting vector spaces are real), so that roughly speaking is the vector space spanned by representations of into up to conjugacy, and is the vector that counts (in a suitable sense) the number of ways each such representation extends over . The value of on a closed manifold is roughly just the number of representations of the fundamental group in , up to conjugacy. The complexity is obtained by first enumerating all isomorphism classes of finite groups and then listing the values of in order. If the kernel of is different from the kernel of , this difference can be detected by some finite group (this fact depends on the fact that -manifold groups are residually finite, proved in this context by Hempel); so is diagonal dominant unless these two kernels are equal; equivalently, if the maximal compression bodies of in and are diffeomorphic rel. . It is essential to control these compression bodies before counting essential -spheres, so this term must come before in the complexity.
The term has a contribution from each prime summand. The complexity itself is a tuple where treats Seifert-fibered pieces, treats hyperbolic pieces, and treats the way in which these are assembled in the JSJ decomposition. The term is quite interesting; evaluated on a finite volume hyperbolic -manifold it gives as output the tuple where denotes hyperbolic volume, and is the geodesic length spectrum, or at least those terms in the spectrum with zero imaginary part. The choice of the first term depends on the following theorem:
Theorem: Let be an orientable surface of finite type so that each component has negative Euler characteristic, and let be irreducible, atoroidal and acylindrical, with boundary . Then admit unique complete hyperbolic structures, and either or else and is totally geodesic in .
This theorem is probably the most technically difficult part of the paper. Notice that even though in the end we are only interested in closed manifolds, we must prove this theorem for hyperbolic manifolds with cusps, since these are the pieces that arise in the JSJ decomposition. This theorem was proved for closed manifolds by Agol-Storm-Thurston, and our proof follows their argument in general terms, although there are more technical difficulties in the cusped case. One starts with the hyperbolic manifold , and finds a least area representative of the surface . Cut along this surface, and double (metrically) to get two singular metrics on the topological manifolds and . The theorem will be proved if we can show the volume of this singular metric is bigger than the volume of the hyperbolic metric. Such comparison theorems for volume are widely studied in geometry; in many circumstances one defines a geometric invariant of a Riemannian metric, and then shows that it is minimized/maximized on a locally symmetric metric (which is usually unique in dimensions ). For example, Besson-Courtois-Gallot famously proved that a negatively curved locally symmetric metric on a manifold uniquely minimizes the volume entropy over all metrics with fixed volume (roughly, the entropy of the geodesic flow, at least when the curvature is negative).
Hamilton proved that if one rescales Ricci flow to have constant volume, then scalar curvature satisfies where denotes the traceless Ricci tensor, and denotes the spatial average of the scalar curvature . If the spatial minimum of is negative, then at a point achieving the minimum, is non-negative, as are the other two terms; in other words, if one does Ricci flow rescaled to have constant volume, the minimum of scalar curvature increases (this fact remains true for noncompact manifolds, if one substitutes infimum for maximum). Conversely, if one rescales to keep the infimum of scalar curvature constant, volume decreases under flow. In dimensions, Perelman shows that Ricci flow with surgery converges to the hyperbolic metric. Surgery at finite times occurs when scalar curvature blows up to positive infinity, so surgery does not affect the infimum of scalar curvature, and only makes volume smaller (since things are being cut out). Consequently, Perelman’s work implies that of all metrics on a hyperbolic -manifold with the infimum of scalar curvature equal to , the constant curvature metric is the unique metric minimizing volume.
Now, the metric on obtained by doubling along a minimal surface is not smooth, so one cannot even define the curvature tensor. However, if one interprets scalar curvature as an “average” of Ricci curvature, and observes that a minimal surface is flat “on average”, then one should expect that the distributional scalar curvature of the metric is equal to what it would be if one doubled along a totally geodesic surface, i.e. identically equal to . So Perelman’s inequality should apply, and prove the desired volume estimate.
To make this argument rigorous, one must show that the singular metric evolves under Ricci flow, and instantaneously becomes smooth, with . A theorem of Miles Simon says that this follows if one can find a smooth background metric with uniform bounds on the curvature and its first derivatives, and which is -bilipschitz to the singular metric. The existence of such a background metric is essentially trivial in the closed case, but becomes much more delicate in the cusped case. Basically, one needs to establish the following comparison lemma, stated somewhat informally:
Lemma: Least area surfaces in cusps of hyperbolic -manifolds become asymptotically flat faster than the thickness of the cusp goes to zero.
In other words, if one lifts a least area surface to a surface in the universal cover, there is a (unique) totally geodesic surface (the “osculating plane”) asymptotic to at the fixed point of the parabolic element corresponding to the cusp, and satisfying the following geometric estimate. If is the horoball centered at the parabolic fixed point at height (for some horofunction), then the Hausdorff distance between and is . One must further prove that if a surface has multiple ends in a single cusp, these ends osculate distinct geodesic planes. Given this, it is not too hard to construct a suitable background metric. Between ends of , the geometry looks more and more like a slab wedged between two totally geodesic planes. The double of this is a nonsingular hyperbolic manifold, so it certainly enjoys uniform control on the curvature and its first derivatives; this gives the background metric in the thin part. In the thick part, one can convolve the singular metric with a bump function to find a bilipschitz background metric; compactness of the thick part implies trivially that any smooth metric enjoys uniform bounds on the curvature and its first derivatives. Hence one may apply Simon, and then Perelman, and the volume estimate is proved.
The Seifert fibered case is very fiddly, but ultimately does not require many new ideas. The assembly complexity turns out to be surprisingly involved. Essentially, one thinks of the JSJ decomposition as defining a decorated graph, whose vertices correspond to the pieces in the decomposition, and whose edges control the gluing along tori. One must prove an analogue of the topological Cauchy-Schwarz inequality in the context of (decorated) graphs. This ends up looking much more like the familiar TQFT picture of tensor networks, but a more detailed discussion will have to wait for another post.