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.
OK, something very, very strange is happening in the Latex converter for this post. Where I wrote the formula $R’ = \Delta R + 2|\text{Ric}_0|^2 + \frac 2 3 R(R-r)$ where
in the post, it appears instead as
. What is going on here????
OK, it seems to have fixed itself now . . . bizarre.
Hello,
I was wondering if you could answer a question for me: I have a non-orientable Haken 3-Manifold that i would like to have the JSJ-decomposition of. I am guessing one could decompose the oriented double cover? Would you know how this is exactly done or give me a reference?
cheers,