Enumerative geometry via the moduli space of super Riemann surfaces
Abstract.
In this paper we relate volumes of moduli spaces of super Riemann surfaces to integrals over the moduli space of stable Riemann surfaces . This allows us to prove via algebraic geometry a recursion between the volumes of moduli spaces of super hyperbolic surfaces previously proven via super geometry techniques by Stanford and Witten. The recursion between the volumes of moduli spaces of super hyperbolic surfaces is proven to be equivalent to the fact that a generating function for the intersection numbers of a natural collection of cohomology classes with tautological classes on is a KdV tau function. This is analogous to Mirzakhani’s proof of the Kontsevich-Witten theorem regarding a generating function for the intersection numbers of tautological classes on using volumes of moduli spaces of hyperbolic surfaces.
2010 Mathematics Subject Classification:
32G15; 14H81; 58A501. Introduction
Mumford initiated a systematic approach to calculating intersection numbers of tautological classes on the moduli space of stable Riemann surfaces in [47]. Witten conjectured a recursive structure on a collection of these intersection numbers [66] and Kontsevich proved the conjecture in [35], now known as the Kontsevich-Witten theorem. Other proofs followed in [34, 45, 51]. The proof by Mirzakhani [45] deduced the Kontsevich-Witten theorem by proving recursion relations between Weil-Petersson volumes of moduli spaces of hyperbolic surfaces, defined using the top power of the Weil-Petersson symplectic form . Wolpert had proven earlier in [67, 68] that extends from the non-compact moduli space of hyperbolic surfaces to the compact moduli space of stable curves, and related it to a tautological cohomology class, , which was studied by Mumford in [47]. This enabled Mirzakhani to relate volume integrals over to cohomological calculations over .
Stanford and Witten [60] proved recursion relations between volumes of moduli spaces of super hyperbolic surfaces using methods analogous to those of Mirzakhani. In this paper we prove these recursion relations, given by (8) below, via algebro-geometric methods. We achieve this by expressing volumes of moduli spaces of super hyperbolic surfaces in terms of cohomology classes over the moduli space of stable curves, analogous to Wolpert’s results. The volumes are expressed in terms of classes previously studied by the author [50].
Super Riemann surfaces have been studied over the last thirty years [9, 23, 36, 56, 60, 65]. Underlying any super Riemann surface is a Riemann surface equipped with a spin structure. The moduli space of super Riemann surfaces can be defined algebraically, complex analytically and using hyperbolic geometry, building on the same approaches to the moduli space of Riemann surfaces. The last of these approaches, used in the work of Stanford and Witten [60], regards a super Riemann surface as a super hyperbolic surface, which is a quotient of super hyperbolic space defined in 4.3.5. In this paper we consider Riemann surfaces of finite type where is a compact curve containing distinct, labeled points that define a divisor . A boundary component of is defined to be a punctured open disk embedded in which is a deleted disk neighbourhood in of any given .
A Riemann surface equipped with a spin structure, or spin surface, has a well-defined square root bundle, , of the tangent bundle, so that , which is also a real subbundle of the rank two bundle of spinors . It is a flat -bundle, and the flat structure defines the sheaf of locally constant sections of with sheaf cohomology . We require that the trace of the holonomy of the flat -bundle around any boundary component is negative, known as a Neveu-Schwarz (NS) boundary component, although we will occasionally also need to consider general boundary components—see Definition 3.1. The deformation theory of a super Riemann surface with underlying spin surface defines a natural bundle
over the moduli space of smooth genus spin Riemann surfaces with only Neveu-Schwarz boundary components. The moduli spaces of spin curves, or Riemann surfaces, and spin hyperbolic surfaces , together with the natural diffeomorphisms between them, are defined in Definitions 2.1, 3.2 and (23). The vector in the subscript denotes the condition that all boundary components are Neveu-Schwarz. More generally, vectors denote different connected components of the moduli space, defined in Definition 3.2. The bundle can be defined over each of these connected components however we will not consider that case in this paper.
The sheaf of smooth sections of the exterior algebra of the dual bundle defines the moduli space of super Riemann surfaces as a smooth supermanifold.111Donagi and Witten proved in [15] that the moduli space of super Riemann surfaces as a complex supermanifold cannot be represented as the sheaf of holomorphic sections of an exterior algebra of a bundle over the moduli space of Riemann surfaces. The group can be calculated via the cohomology of the twisted de Rham complex defined by the flat connection that defines the flat bundle .
The volume of the moduli space of super hyperbolic surfaces is defined via integration of a top power of a super symplectic form. It reduces via a rather general super integration argument, [60], to integration of the Euler form of a canonical connection on combined with the Weil-Petersson symplectic form over the moduli space of spin hyperbolic surfaces with NS geodesic boundary components of lengths . For the purposes of this paper, we take this to be the definition of the volume of the moduli space of super hyperbolic surfaces.
(1) |
where is a differential form given by the Euler form of the bundle with respect to a canonical connection on defined in Section 3.4 using the hyperbolic metric.
One key result of this paper is a construction of a natural extension of the bundle to the moduli space , of genus stable spin curves with NS labeled points, on which the natural Euler form extends to represent the Euler class of a bundle. The extension of the bundle and its Euler form to a compactification is a crucial ingredient for enumerative methods such as the calculation of volumes via intersection theory of cohomology classes, and in particular leads to the recursion in Theorem 2 below.
A stable spin curve is a stable orbifold curve with labeled points , equipped with a spin structure which is an orbifold line bundle satisfying
The points of , and nodal points of are orbifold points with isotropy group —see Section 2. The bundle defines a representation at each point and each nodal point, and we require that it is the unique non-trivial representation at each point , which is known as a Neveu-Schwarz point, and any representation at nodal points. There is a map from to its underlying coarse curve which forgets the orbifold structure. When is smooth, is a Riemann surface and there is an isomorphism of vector bundles , where as usual denotes the dual bundle. Using a theorem of Simpson [58, 59] applied to the rank two spinor bundle equipped with a natural Higgs field we prove in Section 3.3 a canonical isomorphism when is smooth and the spin structure has only NS boundary components/labeled points:
(2) |
The isomorphism (2) is non-trivial even in the case where as vector bundles. The left hand side of (2) uses the sheaf of locally constant sections while the right hand side uses the sheaf of locally holomorphic sections, and we take the sheaf cohomology in both cases. The difference between the sheaf structures on each side of (2) is demonstrated most clearly in the non-compact case, where the sheaf of locally holomorphic sections of is trivial, whereas the sheaf of locally constant sections of is non-trivial, detected by . The push-forward of from to is , since the non-trivial representation induced by at each point of forces the local sections to vanish on , and embeds in a parabolic bundle, as described in 3.3.5. In particular, we can express (2) in terms of the coarse curve via . One particularly satisfying aspect of applying Simpson’s parabolic Higgs bundles techniques to the pair is that it naturally gives rise to the orbifold curve . Parabolic bundles over the coarse curve correspond to the push-forward of bundles over , [4, 24].
The cohomology groups are well-defined on any stable spin curve and is locally constant on , hence the bundle is the restriction of a bundle with fibres . The sheaf of smooth sections of the exterior algebra of gives the compactification of the moduli space of super Riemann surfaces studied by Witten in [65, Section 6].
Under the forgetful map , define the push-forward classes
for , and . These classes are shown in [50] to pull back naturally under the gluing maps
and the forgetful map as follows.
(3) |
(4) |
where is a tautological class, defined in (13) in Section 2. Properties (3), (4) and a single calculation are enough to uniquely determine the intersection numbers
via a reduction argument—see (14) for the definition of and Section 2 for further details. In particular, we restrict to the case of only classes.
Wolpert [67, 68] proved that extends from to defined on , with cohomology class . More generally, over the moduli space of hyperbolic surfaces with geodesic boundary components of lengths , Mirzakhani [45] proved that the extension of the Weil-Petersson form to a natural compactification of by nodal surfaces, which is homeomorphic to , has cohomology class In particular, the Weil-Petersson volumes coincide with intersection numbers:
This relationship between the integral of a measure over a non-compact moduli space on the left hand side and the evaluation of cohomology classes defined over a compactification of the moduli space via algebraic geometry on the right hand side proves to be powerful. In this paper we produce an analogous relationship involving super volumes. Define the polynomials
(5) |
Theorem 1.
The proof of Theorem 1 requires an extension of and its natural Euler form to , proven in Section 3, combined with Wolpert’s extension of to which naturally lifts to . The polynomial is of degree and its top degree terms store the intersection numbers involving only classes with .
The following theorem gives recursion relations satisfied by the polynomials hence also by . Introduce the kernel
(6) |
and the associated kernels
(7) |
Let for any set of positive integers , and write any symmetric polynomial of the variables by or allow more variables via, say .
Theorem 2.
is uniquely determined by and the recursion
(8) | ||||
where and
The recursion relations (8) are equivalent to recursion relations between intersections numbers over involving the classes and the tautological classes . Furthermore, the recursion relations restrict to the top degree terms of producing recursion relations between the numbers .
Theorems 1 and 2 combine to produce a recursion between the volumes of moduli spaces of super hyperbolic surfaces which coincides with a recursion by Stanford and Witten in [60]. Stanford and Witten worked over the moduli space of smooth super hyperbolic surfaces, avoiding the need for a compactification and intersection theory, using techniques analogous to those of Mirzakhani applied to the super setting. There are still some rigorous steps missing from the proof in [60]. Nevertheless, Theorem 2 shows that the recursion between volumes of moduli spaces of super hyperbolic surfaces is rigorous.
Theorem 2 enables one to calculate for whereas the definition (5) makes sense also for and . The case can be calculated from the polynomial as follows. For ,
Note that the polynomial allows any complex argument, although to make sense of them as volumes, we require . The formula for is a special case of the following more general relation which is proven in 6.2.1
(9) |
The recursion (8) resembles the recursion between volumes of moduli spaces of hyperbolic surfaces—see (59)—by Mirzakhani [44]. Moreover, Stanford and Witten [60] adapted Mirzakhani’s proof to produce their proof of (8). Mirzakhani used the recursion between volumes to give a new proof that a generating function for intersection numbers of classes on is annihilated by a collection of Virasoro operators. Together with the initial conditions, this is equivalent to the following famous theorem conjectured by Witten and proven by Kontsevich.
Similar to Mirzakhani’s proof of Theorem 3, the recursion (8) can be used to produce another set of Virasoro operators that annihilate a generating function for intersection numbers of classes and the classes . This, together with its converse, is summarised in the following theorem. Assemble the intersection numbers involving and classes in the following generating function:
(10) |
Theorem 4.
The Virasoro constraints in Theorem 4 produce recursion relations between the numbers and the proof of the theorem uses the fact that the intersection numbers are uniquely determined by the intersection numbers involving only the classes. The Brézin-Gross-Witten tau function of the KdV hierarchy which comes from a matrix model [5, 28] is uniquely determined by the initial condition
This initial condition is also satisfied by due to . The equality (11) was conjectured in [50] and proven in [8]. The function is a specialisation of a more general tau function of the KdV hierarchy involving all of the classes , which is analogous to the higher Weil-Petersson volumes. This appears as Theorem 5.7 in Section 5.
Eynard and Orantin [20] proved that Mirzakhani’s volume recursion, given by (59) in Section 4, can be neatly expressed in terms of topological recursion, defined in Section 6, applied to the spectral curve
The following theorem describes a similar spectral curve on which topological recursion is equivalent to the recursion (8) in Theorem 2. Essentially the spectral curve efficiently encodes the kernels and defined in (7). Let
denote the Laplace transform.
Theorem 5.
Topological recursion applied to the spectral curve
produces correlators
The proof of Theorem 5 uses the algebro-geometric definition in (5) together with deep relations between topological recursion and Givental type factorisations of partition functions. A more direct, but not yet rigorous, proof due to Stanford and Witten [60] uses the differential geometric definition (1) of . They produced a matrix model related to super JT gravity which gives rise to the spectral curve in Theorem 5, and loop equations which coincide with topological recursion.
Theorem 2 is a consequence of Theorems 4 and 5 which essentially follows a converse to Mirzakhani’s proof of Theorem 3. The converse argument uses an elegant relationship between translations of and the introduction of classes to the integrands, analogous to the result of Manin and Zograf [38] for the Kontsevich-Witten tau function . It is achieved via topological recursion applied to the spectral curve given in Theorem 5.
Outline: In Section 2 we define the classes required for the definition of the polynomials . In Section 3 spin structures on hyperbolic surfaces are studied from a gauge theoretic viewpoint which brings in Higgs bundles techniques to achieve a number of goals: it relates the sheaf cohomologies arising from a flat structure and a holomorphic structure on a bundle; it relates hyperbolic metrics on a non-compact Riemann surface to bundles on the compact pair ; it naturally produces bundles on the orbifold curve which makes a connection with the construction of in Section 2. The proof in Section 3 of the isomorphism (2) does not directly follow from Simpson’s theorem. Instead, we embed the rank one bundle on the right hand side of (2) inside a rank two bundle to which Simpson’s theorem is applied. The main outcome of Section 3 is the proof that the bundle naturally extends to , and the proof that the natural Euler form on also extends, which is given in Theorem 6. Together these lead to the proof of Theorem 1. In Section 4 we recall details of Mirzakhani’s techniques and the recursion of Stanford and Witten between volumes of moduli spaces of super hyperbolic surfaces analogous to Mirzakhani’s recursions between volumes of moduli spaces of hyperbolic surfaces. Section 5 follows Mirzakhani’s methods to show that the top degree terms in the recursion (8) are equivalent to a collection of Virasoro operators annihilating , which is necessary for the proof of Theorem 2. Section 6 contains the final details of the proof of Theorem 2 as a consequence of Theorems 4 and 5. The main technique used in the proof of Theorem 2, via Theorem 5, is topological recursion which conveniently encodes the Givental factorisation [25] of partition functions of CohFTs, defined in (22), into a complex curve equipped with extra structure, known as a spectral curve. The appearance of topological recursion is extremely natural in this case, since it turns out to be directly related to the Laplace transform of the recursion (8), which is stated in Theorem 6.9.
Acknowledgements. I would like to express my deep gratitude to Edward Witten for his numerous patient explanations of many aspects of this paper. I would also like to thank Quentin Guignard, Ran Tessler and Anton Zeitlin for useful conversations, and the Max Planck Insitute for Mathematics, Bonn, and LMU, Munich where part of this work was carried out. This work was partially supported under the Australian Research Council Discovery Projects funding scheme project number DP180103891.
2. The classes
Let be the moduli space of genus stable curves—curves with only nodal singularities and finite automorphism group—with labeled points disjoint from nodes. In this section we define the cohomology classes via a construction over the moduli space of stable twisted spin curves . The class will be defined as a multiple of the push-forward of the top Chern class of a natural bundle, given in Definition 2.3 below, over a component of . The volume polynomials defined in (5) and the partition function defined in 11, Theorem 2 will be shown to depend only on the characterisation (3), (4) of and . In other words, and can be characterised purely in terms of without reference to .
The following definition which uses twisted, or orbifold, curves is taken from [1].
Definition 2.1.
The moduli space of spin curves is defined by
where is a line bundle over a twisted curve with group , each labeled point has isotropy group and all other points have trivial isotropy group.
There is a natural compactification of by twisted, stable, spin curves.
Definition 2.2.
The moduli space of stable spin curves is defined by
where is a line bundle over a stable, twisted curve with group , each nodal point and labeled point has isotropy group , and all other points have trivial isotropy group.
A stable twisted curve is equipped with a map which forgets the orbifold structure where is a stable curve known as the coarse curve of . The map induces a map
In fact, the map is a composition of with the to 1 map to the moduli space of twisted curves , where the latter moduli space is defined as above without the spin structure, and consists of twisted curves . There are choices of for each twisted curve in , and after fixing representation data at each , described below, there are different spin structures. See [21] for further details.
The bundles and are line bundles over , i.e. locally equivariant bundles over the local charts such that at each nodal point there is an equivariant isomorphism of fibres. On each fibre over an orbifold point the equivariant isomorphism associates a representation of which is either trivial or the unique non-trivial representation. The equivariant isomorphism at nodes guarantees that the representations agree on each local irreducible component at the node, known as the balanced condition. The representation associated to at and nodal points is trivial since locally . The representations associated to at each define a vector , where , respectively , in corresponds to the unique non-trival, respectively trivial, representation . The assignment of to the non-trivial representation looks more natural when viewed cohomologically via an associated quadratic form defined in 3.1.5. As described in the introduction, a labeled point is known as a Neveu-Schwarz point when the associated representation is non-trivial, and a Ramond point otherwise. The representations at labeled points define a decomposition into connected components
(12) |
and an analogous decomposition of the moduli space of smooth curves. We will see a decomposition of the character variety analogous to (12) in Definition 3.2.
The construction of the classes use only the component with non-trivial representations at labeled points, or Neveu-Schwarz points, denoted
Nevertheless, other components arise in lower strata of the compactification since at nodal points, both types—trivial and non-trivial representations can occur.
We have and which may be a half-integer since the orbifold points allows for such a possibility. In particular , and for any irreducible component since is stable so its log canonical bundle has negative degree. Thus so has constant dimension and defines a vector bundle . By the Riemann-Roch theorem . More formally, denote by the universal spin structure defined over the universal curve .
Definition 2.3.
Define the bundle with fibre .
Definition 2.4.
Define
(13) |
to be the first Chern class of the line bundle with fibre above . Using the forgetful map , define
(14) |
It is proven in [50] that satisfies the pull-back properties (3) and (4) and . These properties uniquely determine the intersection numbers of with classes and classes as shown in the following proposition. A consequence is that the polynomial and the partition function , can be characterised purely in terms of without reference to .
Proposition 2.5 ([50]).
Sketch of proof.
For , since for and
then
When there are no classes.
so we have reduced an intersection number over to an intersection number over . In the presence of classes, replace by and repeat the push-forward as above on all summands. By induction, we see that
i.e. the intersection number (15) reduces to an intersection number over of times a polynomial in the classes. Since we may assume the polynomial consists only of terms of homogeneous degree . Any homogeneous degree monomial in the classes is equal in cohomology to the sum of boundary terms, [37, 53]. By (3) the pull-back of to these boundary terms is for so we have expressed (15) as a sum of integrals of against and classes. By induction, one can reduce to the integral and the proposition is proven. ∎
2.0.1. Cohomological field theories
The classes pair with any cohomological field theory, such as Gromov-Witten invariants, to give rise to new invariants. Recall that a cohomological field theory is a pair composed of a finite-dimensional complex vector space equipped with a nondegenerate, bilinear, symmetric form which we call a metric (although it is not positive-definite) and for a sequence of -equivariant maps.
that satisfy pull-back properties with respect to the gluing maps defined in the introduction, that generalise (3).
(16) | ||||
(17) |
where is dual to the metric .
There exists a vector satisfying
(18) |
which is essentially a non-degeneracy condition. A CohFT defines a product on using the non-degeneracy of by
(19) |
and is a unit for the product. Such CohFTs were classified by Teleman [63]. We will also consider sequences of -equivariant maps that satisfy (16) and (17), but do not satisfy (18) which we call a CohFT without unit.
The CohFT is said to have flat unit if
(20) |
for . A CohFT without unit may still possess a distinguished element which, in place of (20), may satisfy the following:
(21) |
The product (19) is semisimple if it is diagonal , i.e. there is a canonical basis such that . The metric is then necessarily diagonal with respect to the same basis, for some , .
For a one-dimensional CohFT, i.e. , identify with the image , so we write . An example of a one-dimensional CohFT is
The classes define a one-dimensional CohFT without unit.
The partition function of a CohFT is defined by:
(22) |
where is a basis of , and .
For any CohFT on define to be the CohFT without unit given by .
Apply this to the example above to get which has a partition function that stores all of the volume polynomials
Note that the substitution requires one to take the highest power of in each monomial, and importantly, to substitute when is missing from a monomial of . See 6.0.3 for further details.
3. Hyperbolic geometry and spin structures
In this section we construct the bundle over the moduli space of smooth spin curves via hyperbolic geometry and prove that it coincides with the restriction of the bundle defined in Definition 2.3. The importance of the two constructions via hyperbolic geometry and via algebraic geometry is that they give rise to the definitions of in (1), respectively in (5).
We begin with a description of spin hyperbolic structures on a topological surface via Fuchsian representations of into . On a spin hyperbolic surface the representation produces the associated flat -bundle which is used to construct the bundle from the cohomology of the locally constant sheaf of sections of . Using Higgs bundles defined over a smooth curve with labeled points we prove a canonical isomorphism between fibres of and fibres of over smooth . Higgs bundles appear naturally here due to a proof by Hitchin [29] of uniformisation—a Riemann surface possesses a unique representative, in its conformal class, by a complete finite area hyperbolic surface—which requires parabolic Higgs bundles on for when is non-compact.
3.1. Fuchsian representations
A hyperbolic metric on an oriented topological surface is defined via a Fuchsian representation
The natural constant curvature metric defined on hyperbolic space
is invariant and induces a metric on via the quotient .
A boundary class represents a homotopy class of simple, closed, separating curves such that one component of is an annulus. It determines a class which we also call a boundary class. A boundary class represents a conjugacy class in which maps under to a conjugacy class in . A conjugacy class in is parabolic if any representative satisfies and hyperbolic if any representative satisfies . Boundary classes with parabolic, respectively hyperbolic, images under correspond to cusps, respectively geodesic boundary components. In the latter case, the hyperbolic surface is the interior of a compact hyperbolic surface with geodesic boundary component, and we sometimes abuse notation and also denote this compact surface with boundary by .
We used above because we will instead consider representations
such that the composition of with the map is Fuchsian. Any closed curve corresponds to a conjugacy class in and we write for any representative of the conjugacy class associated to . A Fuchsian representation satisfies the property that for all simple closed curves and it equals 2 only when is a boundary class. The geometric meaning of the Fuchsian property uses the fact that for any closed curve there exists a unique closed geodesic in its free homotopy class and determines its hyperbolic length . The Fuchsian property of can be determined via its circle bundle over defined via the action of on the circle at infinity . If the Euler class of this circle bundle is equal to then is a Fuchsian representation, [26, 29].
3.1.1.
A Riemannian metric, in particular the hyperbolic metric, on an orientable surface determines a principal bundle given by the orthonormal frame bundle of . A spin structure on a Riemannian surface is a principal bundle that is a double cover of the orthonormal frame bundle which restricts to a non-trivial double cover on each fibre. Any spin structure is naturally identified with an element of . The non-trivial double-cover condition on each fibre is captured by the exact sequence in cohomology
by requiring that is non-zero, [42]. The rightmost arrow is defined by the vanishing second Stiefel-Whitney class which take values in and guarantees the existence of a spin structure. The exact sequence shows that the set of spin structures on is an affine space.
3.1.2.
The bundle of spinors is the associated bundle
where acts by the natural representation on (which is the unique irreducible representation of the complexified Clifford algebra ). The represention of decomposes into irreducible representations of weights and so the spinor bundle decomposes into complex line bundles where . Since the weight of the tangent bundle is ,
is holomorphic hence and are holomorphic.
3.1.3.
The orthonormal frame bundle and any spin structure of a hyperbolic surface arise naturally via representations of as follows. The group acts freely and transitively on , the orthonormal frame bundle of , hence the two are naturally identified:
The double cover is a non-trivial double cover on each fibre since a path from to in lives above the fibre . Hence is the unique spin structure. When is hyperbolic, descends to the orthonormal frame bundle of :
A representation that lives above produces a double cover
which is a non-trivial double cover on each fibre since it locally resembles . Hence defines a spin structure on .
There is an action of on representations living above a given representation obtained by multiplying any representation by the representation associated to an element of . Since the set of spin structure on is an affine space, this shows that all spin structures on arise via representations once we know that at least one lift of exists.
For a given representation , the existence of a lift is elementary in the case that is non-compact. Choose a presentation
Choose any lifts of , and in to , and in , for and . Then which is the fibre over . Since , by possibly replacing we get the existence of a single lift. When is compact, cut it into two pieces along a simple closed curve containing the basepoint used to define , say a genus 1 piece and a genus piece ( is hyperbolic so ). Now induces representations , for . As above choose lifts of of . The lifts and necessarily agree on their respective boundary components because they come from and both traces are negative by a homological argument given by Corollary 3.4 in 3.1.6. Hence we can glue to get a lift .
3.1.4.
The disk possesses a unique spin structure. Its bundle of frames is trivial, i.e. , for any Riemannian metric on . Hence a spin structure over a disk is unique and given by the non-trivial double cover of or equivalently the non-trivial element . An annulus , possesses two spin structures corresponding to the trivial and non-trivial double covers of . One of these spin structures extends to the disk and one does not.
Definition 3.1.
Given a spin structure over , a boundary class is said to be Neveu-Schwarz if the restriction of the spin structure to is non-trivial, or equivalently if the spin structure extends to a disk glued along . The boundary class is Ramond if the restriction of the spin structure to is trivial.
On a surface , the boundary component at is Neveu-Schwarz exactly when the spin structure extends over the completion at . It is Ramond if the spin structure does not extend over the completion there.
3.1.5.
A quadratic form on is a map satisfying
where is the mod 2 intersection form on . Quadratic forms are called Arf functions in [17, 48]. The set of quadratic forms is clearly an affine space. A quadratic form naturally associated to any spin structure due to Johnson [31] is defined as follows. Represent by a finite sum of disjoint, embedded, oriented closed curves and define a map
by where is the image of the generator of in under the natural inclusion of the fibre, and is the lift of to using its tangential framing. The map is well-defined on homology since it is invariant under isotopy, trivial on the boundary of a disk which lifts via its tangential framing to , and invariant under replacement of crossings by locally embedded curves. Identify a given spin structure with an element satisfying , and define
It is routine to check that is a quadratic form, and that defines an isomorphism of affine spaces between spin structures and quadratic forms.
Neveu-Schwarz and Ramond boundary classes of a spin structure defined in Definition 3.1 can be stated efficiently in terms of the quadratic form of a spin structure. Equip the disk with its unique spin structure. The tangential framing of the boundary has winding number 1 with respect to the trivialisation hence its lift to satisfies . Thus the quadratic form is given by .
Definition 3.1*. Given a spin structure over with associated quadratic form , a boundary class is said to be Neveu-Schwarz if and Ramond if .
The boundary type of a spin structure consists of the quadratic form applied to each of the boundary classes, hence 0, respectively 1, for Neveu-Schwarz, respectively Ramond, boundary classes. Since a quadratic form is a homological invariant, the number of Ramond boundary classes is necessarily even. Thus there are boundary types for a given topological surface , . The Teichmüller space of spin hyperbolic surfaces is the same as usual Teichmüller space despite the extra data of a spin structure. It is the action of the mapping class group that differs which is explained as follows. Fix a topological type of a spin structure, i.e. its boundary type and its Arf invariant. Given any point of Teichmüller space, equip it with a spin structure of the given topological type. This choice determines a spin structure, of the same topological type, on any other point in Teichmüller space, by continuity and discreteness of the choice. Thus, the same Teichmüller space is used when the hyperbolic surfaces are equipped with spin structures and its quotient by the mapping class group defines the moduli space of spin hyperbolic surfaces.
Definition 3.2.
For and , define
Vanishing boundary lengths correspond to hyperbolic cusps around which the hyperbolic metric is complete. A spin Riemann surface possesses a unique hyperbolic spin structure in its conformal class which defines a diffeomorphism
(23) |
When , the notation for the moduli space of spin hyperpolic surfaces and spin Riemann surfaces coincides, which is okay due to the natural isomorphism (23). The unique hyperbolic spin structure in a conformal class can be proven via gauge theory techniques due to Hitchin, described in 3.3.2. It is also a consequence of usual uniformisation combined with a proof of existence of a lift of any hyperbolic representation to , followed by adjustments of the representation by to achieve any desired spin structure. As usual, we denote the Neveu-Schwarz components of the moduli space by for .
The Mayer Vietoris sequence for where is a union of disks around gives the exact sequence . When all boundary classes of a spin structure are Neveu-Schwarz, the associated quadratic form vanishes on hence it is the pull-back of a quadratic form defined on the symplectic vector space , which reflects the fact that the spin structure extends to . The Arf invariant of a quadratic form defined on a symplectic vector space over is a -valued invariant defined by
for any standard symplectic basis of , so , . (More generally, the intersection form is replaced by the symplectic form.) This is independent of the choice of . A spin structure is even if its quadratic form has even Arf invariant and odd if its quadratic form has odd Arf invariant. Of the spin structures with only Neveu-Schwarz boundary classes, the number of even, respectively odd, spin structures is given by , respectively . In particular both odd and even spin structures exist for .
By analysing the action on spin structures of the mapping class group of a genus surface (consisting of isotopy classes of homeomorphisms that fix each ), it is proven in [48] that the monodromy of the bundle acts transitively, except in the case of only Neveu-Schwarz boundary classes where there are exactly two orbits. This uses the symplectic action of the mapping class group on . To see this, equivalently consider the action of the mapping class group on quadratic forms. The idea is that one can choose a basis of , where and are boundary classes, with the following prescribed values of the given quadratic form . One can arrange for and . Finally, the Arf invariant of which is set to be zero if . This is achieved first algebraically, then geometrically. It is perhaps best understood in the following example. Suppose , which necessarily has Neveu-Schwarz boundary value. Consider two distinct quadratic forms and , both with Arf invariant zero, defined on a basis of by , and , . Consider a second basis . Then . Hence an element of the mapping class group that sends and pulls back to .
Since the set of spin structures with fixed boundary type is an affine space, this proves connectedness of components with given boundary type and Arf invariant. Each boundary type determines a connected component of the moduli space of Fuchsian representations , except in one case—when all boundary classes are Neveu-Schwarz there are two connected components distinguished by the Arf invariant.
3.1.6.
The quadratic form associated to a spin structure defined by a Fuchsian representation has a convenient description. We have renamed where is the cohomology class defined by the spin structure of . By the decomposition of homology classes into simple closed curves used in the definition of above, it is enough to consider the quadratic form evaluated only on simple closed curves. We say that is simple if it can be represented by a simple closed curve in .
Lemma 3.3.
Given a Fuchsian representation , and any simple
(24) |
where is the image of under .
Proof.
Note that the right hand side of (24) depends only on the homology class since uniquely determines up to conjugation and trace is conjugation invariant.
Evaluation of the quadratic form depends only on a neighbourhood of a simple loop in representing since it uses only the tangential lift. By continuity, the discrete-valued quadratic form does not change in a continuous family. The sign of the trace separates the hyperbolic elements of into two components hence it does not change in a continuous family. To prove (24), we may first deform the representation to any Fuchsian representation in the same connected component. Moreover, we can use deformations of the representation defined only in a neighbourhood of a simple closed geodesic, that do not necessarily extend to .
The dependence on a neighbourhood of a simple closed geodesic and deformation invariance of both sides of (24) reduces the lemma to a single calculation. We can take any simple closed geodesic in any hyperbolic surface. The geodesic boundary of a one-holed torus is a well-studied example. Given a Fuchsian representation and the image of the generators of , the trace of the commutator is well-defined independently of the lift of to . The following explicit calculation shows that . Conjugate and so that is diagonal:
The invariant geodesic of is given by in . The invariant geodesics of and must meet since they lift from generators of of the torus. The two fixed points of are the roots and of , hence . They must lie on either side of on the real axis, hence their product is negative so . By direct calculation, since . By assumption, is hyperbolic, so , hence we must have .
The homology class represented by is trivial hence and we have just shown which agrees with (24). Actually it proves (24) since an element that is non-trivial on a homology class, say , sends and which flips the sign of the trace, proving the equivalence of the negative and positive trace cases of (24). Although a general element of a fundamental group is not a commutator, the neighbourhood of any simple closed geodesic is canonical hence behaves as in the calculated example and the lemma is proven.
The reduction of (24) to the single calculation above is convenient, but one can also see the relationship to the sign of the trace directly as follows. Since depends only on a neighbourhood of a simple loop we may assume that and is a hyperbolic annulus with a unique simple closed geodesic . The spin structure is the double cover . We may deform the generator of to any given element, for example a diagonal element, with trace of the same sign. The tangential lift of the simple closed geodesic defines an element of . If we start upstairs at and move around the loop downstairs, then the lift of the loop is again a loop in precisely when because can be deformed to . In other words . The holonomy is non-trivial when , or . Since then we have when and when as required. ∎
The set of hyperbolic and parabolic elements of satisfy , hence it has two components determined by the sign of the trace. Given a Fuchsian representation , Definition 3.1 and Lemma 3.3 show that a boundary class is Neveu-Schwarz if and Ramond if .
A consequence of Lemma 3.3 and the homological nature of the quadratic form is the following property.
Corollary 3.4.
Let be a surface with boundary classes . Any Fuchsian representation satisfies
This property of the product of traces of Fuchsian representations into has been studied particularly in the 2-generator free group case—as the negative trace theorem in [39]—proving that for the pair of pants and the once-punctured torus, the product of the traces of the boundary classes is negative.
3.2. Flat bundles
In this section we realise the spinor bundle of a hyperbolic surface equipped with a spin structure as a flat bundle. Equivalently, there exists a flat connection on , which must differ from the lift of the Levi-Civita connection by cohomological considerations—see Remark 3.5. The flat structure is visible via representations of into .
3.2.1.
The right action of on (where acts on the left of ) is used to define the associated spinor bundle
(25) |
The flat real bundle is obtained by replacing with in (25). The right hand side of (25) defines a flat bundle over associated to the representation where the action is given by . The map defines the isomorphism in (25). It is well-defined on orbits , and descends to the quotient by on both sides.
The spinor bundle is flat hence holomorphic. We show below that is a subbundle of in two different ways, compatible with the flat, respectively holomorphic, structure of . It is the underlying flat real bundle which is the fixed point set of the real involution on . It is also a holomorphic subbundle which is an eigenspace of the action of . The images of and intersect trivially.
The weights , defined in 3.1.1, of the representation of defines a decomposition of into holomorphic line bundles . With respect to this decomposition, acts via , i.e. the matrix of any , with respect to a basis of eigenvectors of , lives in . With respect to the decomposition , the real structure on (which is complex conjugation with respect to a complex structure different to that on ) is given by . The real structure commutes with the actions of the structure groups of the bundle, on the left hand side of (25) and on the right hand side of (25). (Note that commutes with complex conjugation and commutes with which is the same group action and real structure with respect to different bases.) Hence the bundle is equipped with a real structure with fixed point set the underlying flat real bundle , obtained by replacing with on both sides of (25). In 3.2.3 the real structure on will involve the Hermitian metric used to reduce the structure group to .
Remark 3.5.
Note that the flat bundle has non-zero Euler class. The Euler class can be obtained via a metric connection on as described in 3.4.1, so in particular if the metric connection were flat, the Euler class would vanish. There is no contradiction here because admits no metric invariant under , so we cannot find a metric on which is preserved by its flat connection. This example is discussed by Milnor and Stasheff in [43, p.312].
3.2.2.
A Hermitian metric on a line bundle defines an isomorphism by , where is the conjugate bundle, defined via conjugation of transition functions. For example, a metric on a Riemann surface compatible with its conformal structure is equivalent to a Hermitian metric on , and moreover it is equivalent to a Hermitian metric on any power such as a choice of spin structure . Hence
where the isomorphism depends on the Hermitian metric on via .
3.2.3.
The real structure defined on the spinor bundle in 3.2.1 is induced by the isomorphism , from the Hermitian metric on which is the square root of the hyperbolic metric on . It is defined on local sections by
The underlying real bundle is the subbundle of fixed points of which is locally given by . In particular defines a natural isomorphism between the flat real subbundle and the holomorphic subbundle given by an eigenspace of the action of , both isomorphic to .
3.2.4.
A flat bundle over a surface defines a locally constant sheaf given by its sheaf of locally flat sections which we also denote by . We denote its sheaf cohomology by . We will apply this to the spinor bundle and its underlying real bundle . The sheaf cohomology can be calculated in different ways, and the label for de Rham, following Simpson [58], refers to its calculation via the following complex which uses the covariant derivative defined by the flat connection on :
(26) |
Here denotes global differential -forms with coefficients in . It defines a complex because is given by the curvature which vanishes in this case. Define for to be the cohomology of the complex. We rarely use the complex (26) directly and instead mainly use Čech cohomology to calculate .
3.2.5.
The sheaf cohomology can be calculated using Čech cohomology applied to an open cover of obtained from a triangulation. A triangulation of is a simplicial complex where denotes -simplices , and we further require the regularity condition that each 2-simplex is a homeomorphism onto its image. The regularity condition ensures that 2-simplices incident at an edge or vertex are distinct. We identify simplices with their images in and refer to them as faces, edge and vertices of the triangulation. To each simplex of the triangulation associate the open set given by the union of the interiors of all simplices whose closure contains . Hence, to each vertex of the triangulation , associate the open set given by the union of the interiors of all simplices whose closure meets , as in Figure 1, so it includes the vertex , no other vertices, and the interiors of all incident edges and faces.
This produces an open cover:
(27) |
We allow more general cell decompositions where faces of the triangulation can be polygons, not only triangles. For and vertices of an edge , and the vertices of a face we have
Note that or is empty if there is no edge containing and , or face containing , and . For example, given a triangulation, where faces are indeed triangles, for more than three distinct vertices the intersection is empty . On a compact surface, one can define the open cover using only the vertices so that the sets associated to edges and faces are not part of the cover, and instead arise as intersections. This results in fewer coboundary maps in the construction of 3.2.6.
We allow a generalisation of triangulations, where some of the vertices are missing (from both and the triangulation) which is particularly useful for non-compact . In this case, the regularity condition on a face is required only in its domain which is a 2-simplex with some vertices removed. Hence and may not arise as intersections of for justifying the open cover (27). The set of vertices may be empty, as is the case for ideal triangulations, in which case there are no open sets .
3.2.6.
The Čech cochains with respect to the open cover (27) of the sheaf of locally constant sections of are defined by
The coboundary map is given by restriction and Čech cohomology is defined to be the cohomology of the complex
(28) |
Note that for since these correspond to empty intersections. If we allow more general cell decompositions where faces of the triangulation can be polygons, not only triangles, then there are non-trivial for , but still for .
Since the cohomology of (28) defines the sheaf cohomology it is independent of the choice of cell decomposition of . It follows that duality of triangulations gives duality of cohomology groups.
3.2.7.
Čech cohomology was calculated in 3.2.6 using a good open cover, meaning that intersections of open sets in the cover are contractible, which is achieved from the regularity condition on triangulations.
If we relax the regularity condition in 3.2.5 on a triangulation of so that a 2-simplex is not necessarily one-to-one onto its image, we describe a construction, used in [60], of the sheaf cohomology of as follows. It coincides with the dual of the construction in 3.2.6 when the triangulation satisfies the regularity condition.
For , let denote the covariant constant sections of over . Here we identify with its image. Define
and boundary maps
where as oriented simplices. A section is well-defined on the pull-back of to the cell, but possible multiply-defined on the boundary of , and we use the extension from the interior in the definition of . This ambiguity arises precisely due to the relaxation of the regularity condition in 3.2.5.
It is clear that since the contribution at any vertex of a 2-cell essentially gives the covariant constant section extended to the vertex, appearing with opposite sign due to orientations, or vanishing of the square of the usual boundary map on simplices. The same argument applies to higher dimensional simplices and their codimension two cells. One can approach the vertex along two edges, and the vanishing then reflects the trivial local holonomy of the flat connection.
Denote by the homology of the complex
3.2.8.
There is a natural symplectic structure on and arising from the symplectic form on and preserved by the action. Hence there is a natural isomorphism which gives a natural isomorphism
Moreover, since both sides use the symplectic form applied to the extension of and or and the restriction of which is the same. Thus we see that
and the same isomorphism holds for .
3.2.9.
An ideal triangulation of a non-compact surface is a triangulation with no vertices, and all faces triangles. The number of faces and edges is , respectively for of genus . Dual to an ideal triangulation is a trivalent fatgraph which is a triangulation of a retract of with only vertices and edges , and no faces.
With respect to an ideal triangulation, is conveniently calculated using the dual fatgraph. The complex is rather simple since there are only 2-cochains and 1-cochains. Or dually, using the fatgraph there are only 0-chains and 1-chains. We can equally work with the restriction of the flat bundle which we also denote by . Following 3.2.7, for , let denote the covariant constant sections of over , and for , let denote the covariant constant sections of over . Define
and boundary maps
where are the vertices bounding the oriented edge .
The sheaf cohomology is given by the homology of the complex
(29) |
We have and . The vanishing of uses the ideal triangulation so in particular there are no -cochains.
Theorem 3.6.
For any hyperbolic spin surface with NS geodesic boundary components of lengths
and this defines a vector bundle
with fibres .
Proof.
First consider the case when is non-compact hence admits an ideal triangulation. A hyperbolic spin surface is equivalent to a flat connection over the dual fatgraph of the (truncated) ideal triangulation of . Arbitrarily orient each edge of . The flat connection is equivalent to associating an element to each oriented edge of . The holonomy around any oriented loop is the product of the elements along edges of the loop with determined by whether the orientation of the edge agrees with the orientation of the loop. The holonomy around any oriented loop satisfies .
An element of in (29) is a collection of vectors assigned to each oriented edge, satisfying a condition at each vertex. We choose the convention that the trivialisation of over an oriented edge is induced from the trivialisation of over its source vertex . Hence
The condition at a vertex is the vanishing of the sum of contributions from the three oriented edges adjacent to the given vertex, such as for a vertex with only incoming edges, or more generally each summand is or .
Choose an ideal triangulation of with dual fatgraph that admits a dimer covering which is a collection of edges such that each vertex of is the boundary of a unique edge in the dimer. Such an ideal triangulation always exists, for example one can always choose an ideal triangulation with bipartite dual fatgraph [54], then any perfect matching is a dimer covering. We will prove that for all edges of the vectors can be arbitrarily and independently assigned, and they uniquely determine the vectors on all other edges, hence they produce a basis of vectors for . In Remark 3.7 below we show how to produce a basis of vectors for for any dual fatgraph , not necessarily admitting a dimer covering.
Given , choose an arbitrary non-zero and set for all other dimer edges . Since is trivalent, is a collection of embedded loops. Along an oriented loop , the vertex condition on elements of uniquely determines each vector on an edge from the preceding edge. For example, if the orientation on each edge agrees with the orientation on , then where and are consecutive oriented edges in .
If a loop avoids , then we must have where is an edge of and is the holonomy around the loop starting from . But is invertible, or equivalently does not have eigenvalue 1, since non-boundary loops satisfy and boundary loops satisfy by the Neveu-Schwarz requirement. Hence for all edges .
If a loop meets , then we now have
(or and since is invertible this uniquely determines and all vectors along .
Hence a choice of non-zero uniquely determines a vector in . Clearly elements of associated to different dimer edges are linearly independent because each vanishes on the other dimer edges. We also see that if an element of vanishes on all dimer edges then it vanishes identically. Hence each edge determines two independent vectors in , and the union over the edges in produces a basis of vectors for .
We have proved which is the first part of the Theorem. In fact we have a canonical isomorphism between and , for a dimer covering. But this gives a local trivialisation over the moduli space since a choice of ideal triangulation defines the Teichmüller space of the moduli space. A choice of is well-defined on the Teichmüller space producing a trivial bundle , from which we get a local trivialisation over the moduli space.
When is compact it has genus , and we choose a decomposition into genus and genus 1 surfaces glued along boundary annuli. We have for by hyperbolicity of the holonomy as follows. For , the sequence (28) becomes
with boundary map where is the holonomy around a loop . But is hyperbolic so it satisfies and in particular is invertible, and the cohomology groups vanish.
Hence the Mayer-Vietoris sequence gives
We have shown above that and and they define local trivialisations over the respective moduli spaces of bundles and . This gives a local decomposition proving that is indeed a vector bundle. The decomposition does not make sense over the moduli space since the mapping class group does not preserve the decomposition, and is only well-defined over Teichmüller space. Nevertheless, it does make sense locally which is enough to prove that is a rank vector bundle.
∎
Remark 3.7.
In Theorem 3.6, one can drop the assumption that the dual fatgraph of the ideal triangulation of must admit a dimer covering. On any dual fatgraph , there exists a collection of edges of on which the vectors can be independently assigned, and which uniquely determine the vectors on all other edges. We call such a collection a base of edges of . Each edge determines two independent vectors in , and the union over the edges in produces a basis of vectors for .
To prove the existence of a base of edges, begin with a bipartite dual fatgraph, which always admits a dimer covering. Any ideal triangulation of can be transformed by Whitehead moves to an ideal triangulation with bipartite dual [54].
Under a Whitehead move, neither the bipartite property nor the existence of a dimer covering is preserved. However, there is a natural bijection of edges under Whitehead moves, and a base of edges is sent to a base of edges under this bijection. Since we compute cohomology of , which is independent of the choice of , there is a natural isomorphism when and are related by a Whitehead move. In particular, the image of a base of edges under the Whitehead move inherits the following two properties of —for the vectors can be independently assigned, and uniquely determine the vectors on all edges in —and thus is also a base of edges.
3.3. Higgs bundles
In this section we will prove that the restriction of the bundle defined in Definition 2.3 to the smooth moduli space gives the bundle defined by Theorem 3.6 combined with the isomorphism . The constructions of the bundles and over the moduli spaces of stable and smooth spin curves respectively use the cohomology of different sheaves. We will prove that over smooth spin curves the following sheaf cohomology groups are isomorphic
(30) |
when the spin structure has NS boundary components. The natural way to prove the isomorphism (30) relating flat and holomorphic structures on bundles over uses Higgs bundles. More precisely, there is a natural identification of any flat structure on a bundle , with an extension of to equipped with a holomorphic structure, Higgs field and parabolic structure. Applied to the spinor bundle , this gives a natural way to realise uniformisation of which naturally associates a unique hyperbolic metric on in the conformal class defined by . Furthermore, it gives an isomorphism between the respective moduli spaces. We will see that the sheaves on both sides of (30) arise naturally from this proof of uniformisation.
The use of Higgs bundles achieves two goals. It relates the sheaf cohomologies arising from a flat structure and a holomorphic structure on a bundle. It also relates cohomological constructions on a non-compact Riemann surface and on the compact pair . We will start with the case when is compact, i.e. . This will simplify the exposition and focus only on the first goal. Then we will consider the general case, which requires parabolic structures on bundles over . The general proof essentially follows the proof in the compact case with some technical adjustments.
3.3.1.
Higgs bundles over a compact Riemann surface with canonical bundle were defined by Hitchin in [29] as follows.
Definition 3.8.
A Higgs bundle over a compact Riemann surface is a pair where is a holomorphic vector bundle over and .
The pair is stable if for any -invariant subbundle , i.e. , we have . When , every subbundle is -invariant and the definition of stable reduces to the usual definition of stable for a holomorphic bundle .
A Hermitian structure on is a Hermitian metric defined on with respect to its complex structure. It defines a reduction of the structure group of from to . The holomorphic structure and Hermitian metric on together define a unitary connection on via , where is the natural operator on and is the adjoint of with respect to . The curvature of a unitary connection on is a unitary endomorphism valued two-form . Since is also a unitary endomorphism valued two-form, they can be compared. The connection (or equivalently the Hermitian metric ) is said to satisfy the Higgs bundle equations if
(31) |
Importantly, (31) is equivalent to the connection being a flat connection. This relation between holomorphic and flat structures will be used to relate those structures on .
One can consider a broader class of sections , allowing them to be smooth endomorphism valued one-forms and add to (31) the equation
which is the condition that is holomorphic. This makes the invariance of the equations under the unitary gauge group clear but now . Note that constant unitary gauge transformations are both holomorphic gauge transformations and smooth gauge transformations, and in particular they preserve .
3.3.2.
Apply Theorem 3.9 to the spinor bundle with Higgs field
(32) |
where is the natural section of which gives a linear map . The only -invariant subbundle of is and for we have , so the pair is stable. (More generally, one can choose for for , a quadratic differential. We will not consider this here.)
Hitchin [29], showed that the two sides of Theorem 3.9 applied to naturally correspond to a hyperbolic metric and a conformal structure, leading to a proof of uniformisation as follows. The key idea is to show that is reducible so the associated Hermitian metric on is also reducible and defines a Hermitian metric on . Theorem 3.9 produces a unique unitary connection on . For a constant , also satisfies (31). We can act by a constant unitary gauge transformation, which preserves (31) and holomorphicity of , to get
Since and satisfy (31), by the uniqueness of we must have for each so the connection is reducible.
Corresponding to the reducible connection is a reducible Hermitian metric on where is defined on so defines a Hermitian metric on with real part a Riemannian metric. Write where is a locally defined real-valued function. The curvature of the connection on , is given by and satisfies (31). This yields
or . Hence the Gaussian curvature of the associated Riemannian metric is
which proves uniformisation for a compact Riemann surface —it possesses a hyperbolic metric in its conformal class. The holonomy of the flat connection lives above the holonomy of the developing map of the hyperbolic metric on .
3.3.3.
We are now in a position to compare and . The flat connection on coming out of Theorem 3.9 is given in terms of its and parts by
where, as above, the upper right term is a linear map and the lower left term is its adjoint . Note that is an -valued form, so a Hermitian metric naturally lives in the lower left position, rather than a quadratic differential which would yield an -valued form.
The connection is compatible with the real structure
and it is enough to prove :
Hence it defines a flat connection on the bundle .
3.3.4.
The Higgs field defines a complex
Simpson [58] defined the Dolbeault cohomology of to be the hypercohomology of this complex and proved the following relation with the sheaf cohomology of the flat bundle .
Theorem 3.10 (Simpson [58]).
When is compact, there is a canonical isomorphism
An application of this theorem is the following crucial canonical isomorphism.
Theorem 3.11.
When is compact, there is a canonical isomorphism
(33) |
where represents the sheaf of locally holomorphic sections on the left hand side, and the sheaf of locally constant sections on the right hand side.
Proof.
The first step is to evaluate the hypercohomology in Simpson’s theorem. Hypercohomology is an invariant of the quasi-isomorphism class of a complex of sheaves. For given by (32), the map has kernel and cokernel and defines an isomorphism . Hence the natural inclusions given by the vertical arrows below define a quasi-isomorphism:
Thus where and the arrow is the zero map. The hypercohomology can be calculated from a long exact sequence
Thus
for since , and
for since . We see that (33) is proven for and 2 by Theorem 3.10 and the injection .
It remains to prove the case. The sequence
splits giving
which uses the isomorphism . The complex vector space is equipped with a Hermitian metric induced from the Hermitian metric on —see 3.4.2. Hence its dual vector space is isomorphic to its complex conjugate. Equivalently
which completes the calculation of the hypercohomology.
We have by construction. So Simpson’s theorem proves that there is a canonical isomorphism
To see the real structure of the isomorphism, we need to understand the proof of the canonical isomorphism in [58] which uses a quasi-isomorphism between the complexes
for and and the identity map on . The kernel of naturally produces representatives in since is diagonal and when , the sequence is
which has vanishing cohomology. The map to the kernel of is described as follows. Given a -valued holomorphic 1-form then and in fact takes its values in the real part (using the antidiagonal embedding which differs from the first factor embedding—see 3.2.1).
For ,
(40) | ||||
(47) |
where the first equality uses the fact that is a form and the second equality uses and . The final equality uses the holomorphicity of . Hence is a cocycle in .
Thus we have defined a natural map
(48) |
which indeed defines an isomorphism by the following lemma.222The author is grateful to Edward Witten for explaining the proof of this lemma.
Lemma 3.12.
Given a cocycle so , there exists a unique such that
(49) |
Proof.
Let and decompose into its and parts.
It is enough to solve since sends to a -form. Hence
Here is a real linear elliptic operator acting on a rank 2 real vector bundle. It has trivial kernel because if then its complex conjugate equation is hence
where the second implication uses the fact that the operator is negative definite which follows from the following standard argument that the operator is negative semi-definite.
The replacement of by in the second equality, which leads to vanishing of the integral, uses the three facts: , is a form, and the space of forms is zero. Hence is invertible, and we can solve uniquely.
By the reality condition, the vanishing of the first coefficient of guarantees the vanishing of the second coefficient of as required. ∎
Lemma 3.12 shows that we may assume any cocycle in is of the form in the right hand side of (49) hence we can use (40), which only needs the given and decomposition of the right hand side of (49), to deduce that the part is holomorphic, i.e. lives in . By the reality condition the cocycle lives in the image of (48). Thus the map in (48) is surjective onto equivalence classes of cocycles representing classes in . It is injective since if is exact, by the invertibility of the elliptic operator , i.e. the uniqueness statement in Lemma 3.12, .
Hence we have proven
∎
We have proved that the fibres over a point represented by a smooth compact hyperbolic surface of the bundles defined in Definition 2.3 and defined in Theorem 3.6 are canonically isomorphic. The importance of the canonical isomorphism is that the bundles are isomorphic over the moduli space of smooth spin curves. An analogous canonical isomorphism exists for the usual moduli space using and where is the flat -bundle associated to a representation .
3.3.5.
We now consider general , dropping the earlier assumption that is compact. The arguments in 3.3.1, 3.3.2, 3.3.3 and 3.3.4 generalise. When is not compact, the bundle can have different extensions to . We will use the extension of given by
The bundle naturally possesses a parabolic structure which we now define, following Mehta and Seshadri [41].
Definition 3.13.
Let be a compact surface containing and a holomorphic vector bundle over . A parabolic structure on is a flag at each point , , with attached weights .
Define the multiplicity of to be , and . The parabolic degree of is defined to be
A parabolic Higgs bundle generalises Definition 3.8 where the Higgs field has poles on and preserves the flag structure.
Definition 3.14.
A parabolic Higgs bundle over is a pair where is a holomorphic vector bundle over equipped with a parabolic structure and which satisfies .
Note that some authors also write where the two coincide over a curve but differ on higher dimensional varieties.
The following pair is a parabolic Higgs bundle generalising the construction in 3.3.2.
Following [3], at each point of , is equipped with the trivial flag of weight . Note that does indeed have a pole at each point of and we take its residue to test for stability. We see the pole in the upper right element of which gives a map , or an element of
Locally, the upper right element of produces which is the residue of . For the same reason as described in 3.3.2, the pair is stable, which now means that for any -invariant sub-parabolic bundle , we have . Note that the weights at each point correspond to the NS boundary components which is necessary here. In [3], the choice of a NS spin structure is not stated explicitly but it is implicit due to the choice of parabolic weights. Such a choice is arbitrary since that paper is concerned only with the underlying hyperbolic surface, or equivalently the reduction of the representation from to .
Theorem 3.15 (Simpson [59]).
The connection must preserve the weight spaces of the parabolic structure on the bundle. This condition is automatic for our application since the weight space is the entire fibre. A regular singularity means a pole of order 1 of an algebraic connection—see [59, p.724] for details. Biswas, Gastesi and Govindarajan [3] applied Theorem 3.15 to the stable parabolic bundle to prove uniformisation of by a complete hyperbolic metric analogous to the argument of Hitchin presented in 3.3.2.
Simpson proved in [59] that there is a natural quasi-isomorphism between the de Rham complex of forms with coefficients in the flat bundle, and the Dolbeault complex with coefficients in the corresponding Higgs bundle. A consequence is the equality of cohomology groups.
Theorem 3.16 ([14, 59]).
For a spin structure with NS boundary components, there is a canonical isomorphism
Remark 3.17.
When the spin structure has NS boundary components, we have an isomorphism
where is an orbifold curve as described in Section 2 with non-trivial isotropy group at , and its coarse curve is . The push-forward of a bundle over to the coarse curve is a bundle on equipped with a parabolic structure [4, 24]. We find that
equipped with the trivial flag of weight at each point of .
Theorem 3.18.
There is a canonical isomorphism
(50) |
for spin structures with NS boundary components.
3.3.6.
In 3.3.5 the sheaf cohomology of a flat bundle over non-compact was related to the sheaf cohomology of a bundle over a compactification of . A conformal structure on a punctured surface can compactify in different ways and we show here that it naturally compactifies to an orbifold curve with orbifold structure at . This is important to relate to the bundle constructed in Section 2
As in Remark 3.17, we push forward bundles over using the map that forgets the orbifold structure at . For Neveu-Schwarz divisor , as explained in the introduction, the non-trivial representation induced by along makes the local sections vanish on hence:
and in particular
Hence by Theorem 3.18, over a smooth spin complete hyperbolic surface with NS boundary components, there is a canonical isomorphism of cohomology groups which allows us to prove the following.
3.4. Euler form of
A canonical Euler form of is constructed by using the natural hyperbolic metric associated to each curve of the moduli space. More precisely, an Euler form is constructed on the dual bundle which is equivalent to an Euler form on via . It is used in the definition of the volume of the moduli space of super hyperbolic surfaces.
3.4.1.
Let be a real oriented bundle of rank . An Euler form
is uniquely determined by a choice of Riemannian metric on together with a metric connection , meaning that for sections and of . The curvature of the connection is an endomorphism-valued 2-form . The endomorphism preserves the metric hence is locally -valued. The Pfaffian defines a map rather like the determinant. It vanishes for odd and for even is defined using (but independent of the choice of) an orthonormal basis by
It satisfies . It is invariant under conjugation by , i.e. for , hence makes sense on the associated bundle, and in particular on . The Euler form is defined as a polynomial in the curvature using the Pfaffian [52]
(52) |
The Bianchi identity implies that is closed, i.e. . When is compact, the cohomology class of the Euler form is independent of the choice of metric and connection, and represents the Euler class of which is defined via the Thom class of , [43].
A complex bundle equipped with a Hermitian metric is naturally a real oriented bundle of even rank with a Riemannian metric. Furthermore, if is holomorphic then the Hermitian metric induces a unique natural Hermitian connection compatible with both the holomorphic structure and the Hermitian metric, and this is a metric connection with respect to the underlying Riemannian metric on . In this case, since , where is the image of in , then (52) coincides with the Chern-Weil construction of the top Chern form of realising .
3.4.2.
Here we define a canonical Euler form for the bundle . It uses a canonical Hermitian metric on , defined similarly to the definition of the Weil-Petersson metric. For a smooth, spin, complete hyperbolic surface with NS divisor , via Theorem 3.18 and Serre duality we have
The differentials give the analogue of holomorphic quadratic differentials used to define the Weil-Petersson metric. Now
define a Hermitian metric
(53) |
where is the hyperbolic metric on . If is compact the integral clearly exists. When is non-compact, i.e. , to see that the integral exists, consider a local coordinate with corresponding to a point of and a cusp of the metric. Locally, the hyperbolic metric is given by and the differentials are given by and where and are holomorphic at . The local contribution to the metric exists since
(54) |
For a hyperbolic metric, is a metric on the spin bundle . It is worth pointing out that the proof described in 3.3.2 of the existence of a complete hyperbolic metric in a conformal class due to Hitchin [29] (and more generally for cusped surfaces in [3]), produces the Hermitian metric on the bundle directly without requiring a square root.
The metric (53) arises from the super generalisation of the Weil-Petersson Hermitian metric—see for example [55, eq.(24)]. The super Weil-Petersson Hermitian metric in local coordinates uses in place of which appears in the usual Weil-Petersson Hermitian metric since locally. The expansion of produces the term which, after integrating out the fermionic directions, corresponds to the factor of in (53), and the term which corresponds to the usual factor of in the Weil-Petersson Hermitian metric. This appears in [55] in equation (25) in terms of , a function locally representing a quadratic differential plus a differential, as
where the second summand locally represents the Hermitian metric (53).
The bundle is holomorphic and its complex structure, given by for , is compatible with the Hermitian metric on constructed above. This uniquely determines a metric connection on satisfying , the natural operator defining the holomorphic structure on . Then is defined to be the Pfaffian of the curvature of via (52).
Remark 3.20.
The Euler form is defined above for the bundle over the moduli space of complete hyperbolic metrics . Using the diffeomorphism , we define the Euler form of to be the pull back of the Euler form . In the formula for the volume defined in (1), we can consider the entire integral via its pull-back to , and we see that the Euler form does not change while the pull-back of depends explicitly on following Mirzakhani’s sympletcic reduction argument in [45].
3.4.3.
In the following theorem we prove that the Euler form defined in 3.4.2 extends to the compactification and defines a cohomology class in . We do this by proving that the Hermitian metric that defines extends smoothly from to its extension . This enables us to conclude that the cohomology class defined by the extension of coincides with the Euler class of .
Theorem 6.
The extension of the Euler form to defines a cohomology class which coincides with the Euler class of the extension bundle .
Proof.
The Hermitian metric (53) on extends to a Hermitian metric on the bundle due to behaviour of the poles of the differentials representing fibres of as follows. An element of is a pair consisting of a line bundle over a stable twisted curve and an isomorphism . Labeled points are orbifold points with isotropy subgroup and is an orbifold bundle which defines a representation at each . When is a nodal curve, the nodes also have isotropy subgroup and again defines a representation at each node. The pull-back of to the normalisation of is an orbifold bundle on each component. In particular, points in the fibre of given by elements of have the same simple pole behaviour at nodes and at labeled points. The pole at a node is present if the behaviour at the node is Neveu-Schwarz and removable if the behaviour at the node is Ramond. Thus the estimate (54) applies also at nodes to prove that the Hermitian metric on is well-defined when is nodal. The conclusion is that the Hermitian metric on extends to a Hermitian metric on . Furthermore, it extends to a smooth Hermitian metric on because the hyperbolic metric varies smoothly outside of nodes and has a canonical form around nodes, and the Hermitian metric is defined via an integral over times smooth sections.
We conclude that the Euler form , constructed from the curvature of the natural metric connection , which is determined uniquely from the Hermitian metric and the holomorphic structure on , extends to . The Euler class of is determined by a choice of any connection on , so we choose the metric connection of the extension of the Hermitian metric on , to conclude that the cohomology class defined by the extension of coincides with the Euler class . ∎
Remark 3.21.
The Weil-Petersson form is the imaginary part of the natural Hermitian metric on the (co)tangent bundle over defined by
(55) |
for
This Hermitian metric does not extend to since it blows up as a cusp forms in a family of hyperbolic metrics. This contrasts with the behaviour of the Hermitian metric defined on which does extend to .
The explanation for the difference in behaviour lies in the singularities of a meromorphic quadratic differential —it has simple poles near labeled points and double poles near nodes. This is explained as follows. Locally, a holomorphic quadratic differential is the tensor square of a holomorphic differential. As a node forms in a family of curves, a holomorphic differential gains simple poles on each side, with residues summing to zero. This can be seen by considering the relative dualising sheaf of a family that deforms a nodal curve. Thus, as a node forms in a family of curves, a holomorphic quadratic differential gains double poles on each side, with equal biresidues. The condition of simple poles at labeled points is a consequence of the local deformation theory of a curve containing a labeled point which leads to elements of .
In a local coordinate near a labeled point, the hyperbolic metric is given by , the quadratic differentials are and for and holomorphic at , and the analogue of (54) giving the local contribution to the metric becomes
which prove that the Weil-Petersson metric is well-defined. Whereas, near a node and , so the local contribution to the metric diverges:
showing that the Weil-Petersson metric does not extend to . In contrast, the proof of Theorem 6 shows that the Hermitian metric on does extend to which relies on the fact that the order of the pole of an element of is simple both at a labeled point and at a node.
The different behaviour is reflected quite simply via the calculation of dimensions of and on a stable curve. For simplicity, consider the case of an irreducible genus curve with exactly one node:
where the right hand side is calculated on the normalisation of using simple poles on labeled points and double poles at the two extra points minus the one condition of a common biresidue. In contrast,
where the right hand side is calculated on the normalisation of using simple poles on labeled points and at the two extra points. (The calculation above shows the case of NS nodal points. For Ramond nodal points, the section is holomorphic at the two extra points.)
3.4.4.
Proof of Theorem 1..
We must show that
where and has the following equivalent expressions:
where the first equality is the definition (1). The second equality uses the pull-back of the diffeomorphism where as discussed in Remark 3.20 the Euler form pulls back to the canonical Euler form. The third equality uses the extension of to the compactification proven in Theorem 6 together with Mirzakhani’s expression for the pull-back of the Weil-Petersson form, prove in [45] via symplectic reduction. Thus can be calculated cohomologically over the moduli space of stable curves using the Euler class . The push-forward of this cohomological calculation under the forgetful map leads to the relation
where the first equality uses the fact the classes and pull back from to (reflecting the fact that the Weil-Petersson form pulls back from the smooth moduli space to ) and the second equality uses
4. Moduli space of super hyperbolic surfaces
In this section we describe Mirzakhani’s recursion relations between volumes of moduli spaces of hyperbolic surfaces [44] and the generalisation of Mirzakhani’s argument by Stanford and Witten [60] who derive the recursion (68) via the volumes of moduli spaces of super hyperbolic surfaces. We also describe Mirzakhani’s proof of the Kontsevich-Witten theorem since the proof of Theorem 2 follows Mirzakhani’s arguments closely.
4.1. Moduli space of hyperbolic surfaces
Define the moduli space of complete oriented hyperbolic surfaces
where the quotient is by isometries preserving each cusp. Note that (generically) a hyperbolic surface appears twice in equipped with each of its two orientations. Define the moduli space of oriented hyperbolic surfaces with fixed length geodesic boundary components by
where again the quotient is by isometries preserving each . Any non-trivial isometry must rotate each non-trivially. The moduli spaces are all diffeomorphic and we will see below that the varying parameters give a family of deformations of a natural symplectic structure on .
4.1.1.
The hyperbolic metric on induces a Hermitian metric on the vector space of meromorphic quadratic differentials via (55), hence a Hermitian metric on known as the Weil-Petersson metric. The Weil-Petersson symplectic form on is the imaginary part of the Weil-Petersson metric. It defines a volume form on with finite integral known as the Weil-Petersson volume of :
4.1.2.
Teichmüller space gives a way to realise via local coordinates on . Fix a smooth genus oriented surface . A marking of a genus hyperbolic surface is an orientation preserving homeomorphism . Define the Teichmüller space of marked hyperbolic surfaces of type to be
where the equivalence is given by if is isotopic to an isometry. The mapping class group of isotopy classes of orientation preserving diffeomorphisms of the surface that preserve boundary components acts on by its action on markings. The quotient of Teichmüller space by this action produces the moduli space
4.1.3.
Global coordinates for Teichmüller space, known as Fenchel-Nielsen coordinates, are defined as follows. Choose a maximal set of disjoint embedded isotopically inequivalent simple closed curves on the topological surface . The complement of this collection is a union of pairs of pants known as a pants decomposition of the surface . Each pair of pants contributes Euler characteristic , so there are pairs of pants in the decomposition, and hence closed geodesics (not counting the boundary classes.) A marking of a hyperbolic surface with cusps induces a pants decomposition on from . The isotopy classes of embedded closed curves can be represented by a collection of disjoint embedded simple closed geodesics which cuts into hyperbolic pairs of pants with geodesic and cusp boundary components. Their lengths give half the Fenchel-Nielsen coordinates, and the other half are the twist parameters which we now define. Any hyperbolic pair of pants contains three geodesic arcs giving the shortest paths between boundary components, or horocycles around cusps. The simple closed geodesic intersects the geodesic arcs on the pair of pants on one side of at a pair of (metrically opposite) points on , and similarly intersects the geodesic arcs on the pair of pants on the other side of at a pair of (metrically opposite) points on . The oriented distance between these points lies in and after a choice that fixes the ambiguity arising from choosing one out of a pair of points the oriented distance lies in which defines . A further lift is obtained by continuous paths in which amount to rotations around . The coordinates for give rise to an isomorphism
4.1.4.
The Fenchel-Nielsen decomposition induces an action of along each simple closed geodesic by rotation. In local coordinates for . This action defines a vector field, given locally by . Wolpert proved that is a Hamiltonian vector field with respect to with Hamiltonian given by . In other words are Darboux coordinates for . This is summarised in the following theorem.
Theorem 4.1 (Wolpert [68]).
(56) |
Since is defined over it follows that this expression for is invariant under the action of the mapping class group . There are a finite number of pants decompositions up to the action of the mapping class group, each class consisting of infinitely many geometrically different types. Thus once a topological pants decomposition of the surface is chosen a given hyperbolic surface has infinitely many geometrically different pants decompositions equivalent under . Each different decomposition associates different lengths and twist parameters, hence different coordinates, to the same hyperbolic surface.
Wolpert proved that the Weil-Petersson symplectic form extends from to and coincides with defined in (14). His proof extends to and importantly gives
4.1.5.
Wolpert’s local formula (56) generalises below in (57) to define a symplectic form on which pulls back under the isomorphism
to define a family of deformations of the Weil-Petersson symplectic form, depending on the parameters . The pairs of pants decomposition of an oriented hyperbolic surface with cusps naturally generalises to an oriented hyperbolic surface with geodesic boundary components. The lengths and twist parameters of the interior geodesics gives rise to Fenchel-Nielsen coordinates on the Teichmüller space
of marked genus oriented hyperbolic surfaces with geodesic boundary components of lengths and an isomorphsim Wolpert’s local formula (56) can be used to define a symplectic form
(57) |
again known as the Weil-Petersson symplectic form, on . It is invariant under the mapping class group and descends to the moduli space
Wolpert’s result [67] generalises to show that extends to .
Mirzakhani [45] proved that arises as a symplectic quotient of a symplectic manifold with action and moment map . Each level set of the moment map or equivalently each choice of gives a symplectic quotient. Quite generally, the symplectic form on the quotient is a deformation by first Chern classes of line bundles related to the action. In this case it is where are defined in 13 which produces:
(58) |
The extension of to uses Wolpert’s theorem together with the extensions of the classes from to . In particular the volumes depend non-trivially on proving that is a non-trivial deformation of .
4.2. Mirzakhani’s volume recursion
Mirzakhani proved the following recursion relations between the volumes .
Theorem 4.2 (Mirzakhani [44]).
(59) | ||||
where
for .
The kernels in (59) are defined by
which uniquely determine and via
and the initial conditions . Explicitly
(60) |
and is given by the relation
(61) |
which follows from
(62) |
Mirzakhani used the recursion (59) to prove that the top coefficients of the polynomial satisfy Virasoro constraints which proves Theorem 3 of Witten-Kontsevich. See the Proof of Theorem 5.1 in Section 5.
The proof of Theorem 4.2 uses an unfolding of the volume integral to an integral over associated moduli spaces. This allows the integral to be related to volumes over simpler moduli spaces. A non-trivial decomposition of the constant function on the moduli space is used to achieve the unfolding. This is explained in this section, particularly because the same ideas are required in the super moduli space case.
4.2.1.
The functions , and the identity (61) have the following geometric interpretation. Given there exists a unique hyperbolic pair of pants with geodesic boundary components , and of respective lengths , and .
![[Uncaptioned image]](https://cdn.awesomepapers.org/papers/4cc4a4a8-78dd-4df2-9aaf-7100f4697836/pants2.png)
Consider geodesics orthogonal to the boundary component . Travel along any such geodesic beginning at and stop if the geodesic meets itself or a boundary component. Such geodesics have four types of behaviour and their initial points partition .
(i) The geodesic meets itself, or for a second time;
(ii) the geodesic meets ;
(iii) the geodesic meets ;
(iv) the geodesic remains embedded for all time.
The initial points of geodesics of types (i), (ii), (iii) and (iv) lie in , respectively , respectively , respectively . The subset is a disjoint union of two open intervals while each of and is a single open interval. The subset given by initial points of geodesics of types (iv) consist of the four points given by the intersection of the closures of , and .
The kernels and arise from this partition of . We have where is the length of using the hyperbolic metric, and . Hence so in particular
which is (61).
4.2.2.
Mirzakhani [44] proved the following non-trivial sum of functions of lengths of geodesics on a hyperbolic surface, known as a McShane identity because it generalises an identity of McShane [40]. Given a hyperbolic surface with geodesic boundary components , define , respectively , to be the set of isometric embeddings of hyperbolic pairs of pants with geodesic boundary, which meet the boundary of precisely at , respectively at and . Denote by the length of the th geodesic boundary component of . Define for defined in (60), and for defined in (61).
Theorem 4.3 (Mirzakhani [44]).
Given a genus hyperbolic surface with geodesic boundary components ,…, of lengths we have:
(63) |
The proof of Theorem 4.3 partitions into a countable collection of disjoint interval associated to embedded pairs of pants , together with a measure zero subset, using geodesics perpendicular to . The length of each interval is determined by a pair of pants, as in 4.2.2. The identity (63) sums these lengths to get .
The sum over pairs of pants is topological, so it depends only on the topology of , since an isometrically embedded pair of pants in is uniquely determined by a topological embedding of a pair of pants into . The left hand side of (63) is independent of the hyperbolic metric on , whereas each summand on the right hand side dependends on the hyperbolic metric of . The importance of (63) is that it allows one to integrate the constant function over the moduli space.
4.2.3.
Mirzakhani used the identity (63) to integrate functions of a particular form over the moduli space [44]. Applied to the constant function, this yields the volume of the moduli space. Given a closed curve in a topological surface surface , its mapping class group orbit gives a well-defined collection of closed geodesics in any hyperbolic surface . Define a function over of the form
where is an arbitrary function and the length of the geodesic shows the dependence on the hyperbolic surface . When decays fast enough the sum is well-defined on the moduli space. More generally, one can consider an arbitrary (decaying) function on collections of geodesics and sum over orbits of the mapping class group acting on the collection. Mirzakhani unfolded the integral of to an integral over a moduli space of pairs consisting of a hyperbolic surface and a collection of geodesics .
The unfolded integral
can be expressed in terms of an integral over the simpler moduli space obtained by cutting along the geodesic .
The identity (63) is exactly of the right form for Mirzakhani’s scheme since it expresses the constant function as a sum of functions of lengths over orbits of the mapping class group. In this case,
expresses the volume recursively in terms of the simpler volumes where which gives Theorem 4.2.
The polynomiality of is immediate from its identification with intersection numbers on via (58). Polynomiality also follows from the following property of the kernel proven in [44]. Define
Then
so is a degree polynomial in with leading coefficient . We prove analogous properties in Section 6.2 for kernels arising out of super hyperbolic surfaces which we will need when proving the Virasoro constraints in Section 5. Polynomiality of the double integrals uses the same result. By the change of coordinates , one can prove
(64) |
4.3. Super hyperbolic surfaces
A locally ringed space is a pair given by a sheaf of rings over a topological space such that all stalks of are local rings. A fundamental example is given by the sheaf of locally smooth functions on open sets of . The fundamental super commutative example is
A supermanifold is a locally ringed space locally isomorphic to . Similarly, we define for where is the sheaf of locally holomorphic functions. A complex supermanifold is a locally ringed space locally isomorphic to . A morphism between two supermanifolds is a pair consisting of a continuous map between the two underlying topological spaces and a graded sheaf homomorphism . A family of supermanifolds is realised via a supermanifold defined over a base supermanifold which is a morphism between and .
4.3.1.
A super Riemann surface is a complex supermanifold of dimension with a dimension subbundle that is everywhere non-integrable. Equivalently, and are linearly independent or . The transition functions are superconformal transformations of locally given by:
(65) |
The dimension subbundle is locally generated by the super vector field given locally in superconformal coordinates by
A vector field generates a superconformal transformation if the Lie derivative with respect to of preserves , i.e. where is the commutator on even elements and anti-commutator on odd elements. For example,
satisfies and generates the scaling for .
The restriction of the tangent bundle of a super Riemann surface to its underlying Riemann surface can be identified with , where the second factor gives fermionic directions. Analogous to the deformation theory of the moduli space of Riemann surfaces, the tangent space to the moduli space of super Riemann surfaces is given by the cohomology group of the log-tangent bundle
for . The component is tangent along the bosonic directions which is isomorphic to the tangent space of the usual moduli space and is tangent along the fermionic directions—see [23, 36, 65]. More generally it is shown in [56] that for any holomorphic line bundle , is naturally a superspace with its even part and its odd part, and similarly for , which can be identified with the cohomology of a holomorphic line bundle over a super Riemann surface.
4.3.2.
In order to make contact with the work of Stanford and Witten [60], we consider the functor of points of a supermanifold defined to be the set of morphisms from any supermanifold to :
This produces a rather concrete description of (the points of) a supermanifold as a set. We mainly take where is the Grassmann algebra, defined below.
4.3.3.
Define to be the Grassmann algebra over with generators . We can similarly define by replacing the field by . An element is a sum of monomials
in the dimensional vector space . The element is the body of . Define and . The Grassmann algebra decomposes into even polynomials , and odd polynomials :
also known as the bosonic (even) and fermionic (odd) parts.
4.3.4.
Denote by points of the supermanifold , which are represented by
Define similarly. Linear maps on are given by matrices
with even blocks and blocks and , and odd and blocks and . The super transpose is defined by:
and the Berezinian, a generalisation of the determinant is defined by:
which is invariant under the super transpose due to oddness of and . Define
and define (the label has switched) to be those elements of Berezinian equal to one that preserve the following bilinear form :
The conditions and lead to the following form of any element :
(66) |
where .
4.3.5.
Super hyperbolic space is the complex supermanifold with sheaf where is the sheaf of locally holomorphic functions. The inclusion defines a natural map from the real super hyperbolic space to the (complex) super hyperbolic space. Denote by the points of the family . It is realised by:
There is an action of on which extends the action of the group of conformal transformations of , given by:
where and . A discrete subgroup of is Fuchsian if its image is Fuchsian under the map defined by
The quotient of by a Fuchsian subgroup defines (the points of) a super hyperbolic surface. The action by on is of the form (65) hence the quotient super hyperbolic surface defines a super Riemann surface.
4.3.6.
The Teichmüller space of super hyperbolic surfaces has analogous constructions to those of usual Teichmüller space. Coordinates on the Teichmüller space of super hyperbolic surfaces are constructed via representations, see Crane-Rabin [9] and Natanzon [48], via ideal triangulations, see Penner and Zeitlin [54], and via pairs of pants decompositions, see Stanford and Witten [60]. The bosonic part of the Teichmüller space is the same as usual Teichmüller space despite the extra data of a spin structure as explained in 3.1.5. The quotient of the Teichmüller space of super hyperbolic surfaces by the mapping class group of the underlying hyperbolic surface gives rise to a well-defined moduli space.
4.4. Recursion for super volumes
Stanford and Witten [60] proved a generalisation of Mirzakhani’s volume recursion using a generalisation of the identity (63) to super hyperbolic surfaces. They used torsion of the complex associated to the local system of a representation to define the super volume measure, and via a generalisation of arguments of Mirzakhani reduced the calculation of the volume to an analysis of super hyperbolic pairs of pants.
Given a super hyperbolic surface with geodesic boundary components denoted , define , respectively , to be the set of isometric embeddings of super hyperbolic pairs of pants with geodesic boundary, which meet the boundary of precisely at , respectively at and . A pair of pants now depends on three boundary lengths and two odd moduli , . As before is the length of the th geodesic boundary component of , and are its odd moduli. Using a similar argument to the derivation of and in 4.2.1, Stanford and Witten derived
which restricts to (60) when . Using , we can expand to get:
(67) |
and
where the moduli space the vector space spanned by the two odd moduli , . Integration is over the measure which includes the odd variables and a factor from the torsion of the circle as described in [60]. This gives a geometric meaning to the kernel
for defined in (7).
If we instead write as
then it emphasises its similarities with Mirzakhani’s kernel:
and hence the resemblance of and with Mirzakhani’s kernels and .
Define where is an unspecified transformation of which is unimportant after integration over the odd variables:
For a super pair of pants, define and .
Theorem 4.4 ([60]).
For any super hyperbolic surface with geodesic boundary components of lengths
In [30] Huang, Penner and Zeitlin prove a super McShane identity in the case in a different way using a generalisation of Penner coordinates.
Following Mirzakhani’s methods, Stanford and Witten applied Theorem 4.4 to produce the following recursion using the kernels and defined in (7).
Theorem 4.5 ([60]).
(68) | ||||
where and
Note that Stanford and Witten use a different normalisation of the volume in [60]:
Multiply (68) by and absorb this into each volume, which replaces the coefficients and of the and terms by and , so that (68) now agrees with [60, (5.42)]. One can substitute into (68) to retrieve (8). The proof of (68) by Stanford and Witten uses supergeometry and currently has some non-rigorous aspects, which when made rigorous would produce a new proof of (11) in the spirit of Mirzakhani’s proof of Theorem 3.
5. Virasoro constraints
In this section we will represent recursion relations between polynomials via Virasoro constraints satisfied by associated partition functions. Corollary 5.4 shows that the top degree part of the recursion (8) can be represented by explicit Virasoro constraints. Moreover, the whole recursion (8) can be indirectly represented by Virasoro constraints, which we express via topological recursion in the next section.
5.1. KdV tau functions
A tau function of the KdV hierarchy (equivalently the KP hierarchy in odd times ) gives rise to a solution of the KdV hierarchy
(69) |
The first equation in the hierarchy is the KdV equation (69), and later equations for determine uniquely from , [46].
5.1.1.
5.1.2.
The Kontsevich-Witten tau function given in Theorem 3 is defined by the initial condition
for . The low genus terms of are
For each integer , define the differential operator
(71) | ||||
where the sum over is empty when or and is the zero operator. The Brézin-Gross-Witten and Kontsevich-Witten tau functions satisfy the following equations [10, 27, 35].
These are known as Virasoro constraints when we write them instead as
(72) |
and
(73) |
for
(74) |
The set of operators satisfy the Virasoro commutation relations
Similarly satisfy .
5.1.3. Intersection numbers
Kontsevich proved the conjecture of Witten that the KdV tau function stores the intersection numbers of classes in the following generating function:
Weil-Petersson volumes satisfy the recursion (59) and arise as intersection numbers over the moduli space of stable curves
Together these imply relations among intersection numbers over the moduli space of stable curves equivalent to Kontsevich’s theorem which we state here in its Virasoro form.
Theorem 5.1 (Kontsevich [35]).
We only sketch the proof due to Mirzakhani [45] using Weil-Petersson volumes since we will give the similar proof of the analogous result used to prove Theorem 2 in detail.
Proof.
The top degree terms of satisfy the homogeneous recursion:
(75) | ||||
where . We skip the proof of this since it is similar to the proof of Proposition 5.3 below.
Write where is intrinsic on the left hand side via . Then (75) implies
which is equivalent to:
This coincides with the Virasoro contraints satisfied by and they have the same initial condition so coincide. ∎
5.2. Recursion relations and Virasoro operators
We now derive Virasoro operators from the top degree terms of (8) analogous to those produced in the proof of Theorem 5.1. The Virasoro operators derived from (8) coincide with Virasoro operators that annihilate . Following Mirzakhani’s method, we express Virasoro constraints in terms of integral recursion relations satisfied by the top degree terms. This is equivalent to the recursion (78) below which first appeared in [12].
First we need to prove how the linear transformations defined by the kernels and in (8) act on polynomials analogous to a result of Mirzakhani. Define
where the kernel defined in (6) is used to define and via (7).
Lemma 5.2.
is a degree monic polynomial in .
Proof.
where is defined by In particular giving the final equality above. ∎
Analogous to (64), by the change of coordinates , , we have the following identity:
Since and we have
(76) |
and
(77) |
where the right hand sides of (76) and (77) are polynomial and means the top degree terms are homogeneous of degree in and . We see that the recursion (8) (and (68)) produces polynomials since the initial condition is a polynomial and it sends polynomials to polynomials. So, for example,
and
Proposition 5.3.
Proof.
From the properties (76) and (77), the top degree terms of a solution to (8) only depend on the top degree terms of the solution for . Moreover,
By (76), the double integral in (68) is a linear operator with input monomials of and output . This linear operator can be realised via the following integral for input :
(79) |
which is immediate when and proven by induction for via differentiation of both sides by . Hence
and the proposition is proven. ∎
The polynomial is homogeneous of degree . Note that (78) indeed produces a degree polynomial inductively starting from the initial condition constant.
Corollary 5.4.
Proof.
Define the coefficient of the monomial in by
and for a set of positive integers write . Since is a degree symmetric homogeneous polynomial, the coefficient is symmetric in the and it vanishes when .
Take times the coefficient of in (78) to get:
(81) | ||||
where . The first term on the right hand side takes the coefficient of in
and the second first term on the right hand side uses (79) with , and .
Define and put
so the partition function defined in (80) is and
The recursion (81) in terms of becomes
(82) | ||||
and (82) for is equivalent to
where is defined in (71). This coincides with the Virasoro constraints satisfied by . Furthermore, the initial condition is equivalent to the initial condition
via . Hence and
∎
Corollary 5.5.
Proof.
In the remainder of the paper, we will show that the top degree part of the recursion (8) implies the full recursion. We will describe here why this is to be expected, via the analogous story in the non-super case. The Weil-Petersson volumes are stored in a partition function, denoted in 5.2.1, and the top degree terms of correspond to . It was proven by Manin and Zograf [38] that is a translation via (83) of , which satisfies Virasoro constraints, and hence inherits its own Virasoro constraints, which give another way to express Mirzakhani’s recursion. In other words, the top degree part of the recursion implies the full recursion.
The same structure occurs in the super case—the partition function , defined in (84) and equivalent to the collection of polynomials , is obtained by translation of , given in (84), which induces Virasoro constraints satisfied by . This is a special case of Theorem 5.7. The Virasoro constraints satisfied by are equivalent to recursion relations satisfied by and restrict, via , to the Virasoro constraints satisfied by . The implementation of this idea to prove the recursion (8) is achieved via topological recursion in the next section.
5.2.1. Translation
The partition function
is built out of the Weil-Petersson volumes
and was proven by Manin and Zograf [38] to be related to the Kontsevich-Witten tau function via translation
(83) |
Similarly, the Weil-Petersson super-volumes build a partition function
which is a translation of the Brézin-Gross-Witten tau function. We have
(84) | ||||
which is proven as a special case of a more general result involving all classes in Theorem 5.7 below. Note that the translation in (84) is shifted by 1 compared to the translation in (83).
5.2.2. Higher Weil-Petersson volumes
Define the generating function
for integrals involving all classes, known as higher Weil-Petersson volumes. Define the weighted homogeneous polynomials of degree by
Theorem 5.6 ([38]).
The KdV hierarchy is invariant under translations, so an immediate consequence of Theorem 5.6 is that is a tau function of the KdV hierarchy in the variables, and the same is true of defined analogously by
Theorem 5.7.
Proof.
When , the equality of the theorem coincides with which is proven in [8]. The proof of the general case will follow from showing that it is obtained by translation of the case.
The class pulls back under the forgetful map by
which gives push-forward relations
This is a shift by 1 of the usual pushforward relation .
We will first prove the case for , which is (84). The proof in [38] of (83) uses the following push-forward relation from [33] for involving a sum over ordered partitions of .
(85) |
where is an ordered partition of of length and . The factor in (85) essentially does not participate since it can be replaced by its pull-back in the right hand side of (85), using , and then brought outside of the push-forward.
Integrate (85) to get
which is easily seen to be equivalent to the translation (83) on generating functions. Notice that hence the first variable that is translated is .
When is present, there is a shift by 1 in the pushforward relations, hence in the right hand side of (85) is replaced by
which leads to the translation (84) on generating functions. Notice now that and the first variable that is translated is . This also explains the shift by 1 between the translations (83) and (84).
We have proven that via translation, one can remove the term from , leaving which coincides with the Brézin-Gross-Witten tau function . Thus is indeed a translation of .
The proof of the general case, when all are present, is similar, albeit more technical. The following relation is proven in [33].
(86) |
where , , and is a partition into parts, i.e. , , , , . As in the special case above, on the level of generating functions (86) leads to the translation in Theorem 5.6
Again, when is present, there is a shift by 1 in the pushforward relations, hence in the right hand side of (85) is replaced by
which has the effect of a shift by 1 of the translation in Theorem 5.6. By the proof of the case , we see that is translation of the Brézin-Gross-Witten tau function given in the statement of the theorem. ∎
Corollary 7.
The polynomials satisfy a recursion that uniquely determines them from .
Proof.
The partition function is equivalent to the collection of polynomials via . Furthermore, satisfies Virasoro constraints induced from the Virasoro constraints (72) satisfied by due to their relation via translation (84) proven in Theorem 5.7. The structure of the Virasoro operators shows that the constraints uniquely determine from . Hence this induces recursion relations between the polynomials that uniquely determines them from . ∎
The recursion from Corollary 7 is not yet explicit, and will turn out to coincide with the recursion (8), using results from Section 6, but more is needed to show this. The top degree part of the recursion of Corollary 7 uses only the specialisation of (84), which is hence it coincides with the top degree part of the recursion (8) by Corollary 5.4 which is consistent with Corollary 5.5. A full proof of the recursion (8) and Theorem 2 will use Theorem 5.7 together with an efficient method to encode translation of partition functions, and Virasoro constraints achieved via topological recursion.
6. Topological recursion
Topological recursion produces a collection of correlators , for , from a spectral curve consisting of a compact Riemann surface , a symmetric bidifferential defined on , and meromorphic functions . It arose out of loop equations satisfied by matrix models and was developed by Chekhov, Eynard and Orantin [6, 19]. A technical requirement is that the zeros of are simple and disjoint from the zeros of [19]. In many cases the bidifferential is taken to be the fundamental normalised differential of the second kind on , [22], and given by the Cauchy kernel when is rational with global rational parameter .
The correlators are a collection of symmetric tensor products of meromorphic 1-forms defined on where , for integers and . They are defined recursively from for satisfying . The recursion can be represented pictorially via different ways of decomposing a genus surface with labeled boundary components into a pair of pants containing the first boundary component and simpler surfaces.
For and , define
(87) | ||||
where the outer summation is over the zeros of and the over the inner summation means that we exclude terms that involve . The point is defined to be the unique point close to such that . It is unique since each zero of is assumed to be simple, and (87) needs only consider close to . The recursion takes as input the unstable cases
![[Uncaptioned image]](https://cdn.awesomepapers.org/papers/4cc4a4a8-78dd-4df2-9aaf-7100f4697836/x1.png)
The kernel is defined by
which is well-defined in a neighbourhood of each zero of . Note that the quotient of a differential by the differential is a meromorphic function. For , the correlator is symmetric, with poles only at the zeros of and vanishing residues.
The poles of the correlator occur at the zeros of . A zero of is regular, respectively irregular, if is regular, respectively has a simple pole, at . A spectral curve is regular if all zeros of are regular and irregular otherwise. The order of the pole in each variable of at a regular, respectively irregular, zero of is , respectively , [11, 19].
Two cases of interest in this paper use , is the Cauchy kernel and , respectively . The recursion (87) allows for functions that are not algebraic as in these two examples. Moreover, the recursive definition of uses only local information of , and around zeros of . In particular, and need to be only defined in a neighbourhood of the zeros of and topological recursion generalises to local curves in which is an open subset of a compact Riemann surface [18].
6.0.1.
In many examples gives the coefficients in the large expansion of expected values of multiresolvents in a matrix model
where is the size of the matrix and indexes the order in the expansion. The subscript means cumulant, or the connected part in a graphical expansion. In such cases, topological recursion follows from the loop equations satisfied by the resolvents. Saad, Shenker and Stanford [57] introduced a matrix model corresponding to the spectral curve , . Stanford and Witten [60] used these ideas to produce the spectral curve , .
6.0.2.
Define up to an additive constant by . For , the correlators satisfy the dilaton equation [19]
(88) |
where the summation is over the zeros of . The relation (88) is invariant under where is a constant, since the poles of are residueless. The dilaton equation enables the definition of the so-called symplectic invariants
6.0.3.
The correlators are normalised differentials of the second kind in each variable—they have zero -periods, and poles only at the zeros of of zero residue. Their principal parts are skew-invariant under the local involution . The correlators are polynomials in a basis of normalised differentials of the second kind, which have poles only at the zeros of with skew-invariant principal part, constructed from and as follows.
Definition 6.1.
For a Riemann surface equipped with a meromorphic function we define evaluation of any meromorphic differential at a simple zero of by
and we choose a square root of to remove the ambiguity.
Definition 6.2.
For a Riemann surface equipped with a meromorphic function and bidifferential define the auxiliary differentials on as follows. For each zero of , define
(89) |
where evaluation at is given in Definition 6.1.
From any spectral curve , one can define a partition function by assembling the polynomials built out of the correlators [16, 18].
Definition 6.3.
Theorem 6.4 ([16]).
Given any semisimple CohFT with flat unit, there exists a local spectral curve whose topological recursion partition function coincides with the partition function of the CohFT:
for linearly related to .
The following converse to Theorem 6.4 allows for CohFTs without unit, and in particular a CohFT is not required to have flat unit.
Theorem 6.5 ([7]).
Consider a spectral curve with possibly irregular zeros of . There exist a CohFT , possibly without unit, such that
Theorem 6.5 is a consequence of the following more technical result from [7]. Given a spectral curve with irregular zeros of at which has simple poles, and regular zeros, there exist operators , and determined explicitly by such that the partition function built from the topological recursion correlators satisfies the following factorisation formula:
(90) |
where are explicit linear combinations of . The operators , and can be used to construct a CohFT with partition function given by the right hand side of (90). The equality
proven in [8] allows us to replace factors of in (90) by factors of . In particular, this will allow us to produce a spectral curve which stores the polynomials in its topological recursion correlators . To explain this, we will first describe the spectral curve which stores the polynomials .
The CohFT (without flat unit) has partition function
Its relation to topological recursion, given in the following theorem, was proven by Eynard and Orantin. It is also a consequence of Theorem 6.5.
Theorem 6.6 ([20]).
Topological recursion applied to the spectral curve
has partition function
6.1. The spectral curve
In this section we prove Theorems 2 and 5. The following theorem is a restatement of Theorem 5 in terms of the partition function which collects all of the correlators .
Theorem 6.8.
Topological recursion applied to the spectral curve
has partition function
Proof.
We use the following result from [49]. Given any regular spectral curve form the irregular spectral curve . It is irregular because necessarily has poles at the zeros of . The factorisation of given by (90)
is related to the factorisation of by:
where is the shift by 1 between the translations explained in Theorem 5.7. Moreover, due to (11), if the partition function comes from a CohFT, i.e. , then . This relation is simplified when has a single zero, since and it essentially reduces to the shift by one between the translations, which is clearly visible in (83) and (84).
The correlators of the spectral curve are polynomials in the same auxiliary differentials as for , hence Remark 6.7 again applies to show that the expression for in Theorem 6.8 is equivalent to the expression for correlators given in Theorem 5:
Theorem 5 enables us finally to prove Theorem 2, using the recursion between the polynomials produced via topological recursion satisfied by .
In preparation, we require the following property of the principal part of a rational function. The principal part of a rational function at a point , denoted by , is the negative part of the Laurent series of at . It has the integral expression
since the right hand side is analytic for and
![[Uncaptioned image]](https://cdn.awesomepapers.org/papers/4cc4a4a8-78dd-4df2-9aaf-7100f4697836/x2.png)
so that is analytic in the region enclosed by in the diagram. For , the even and odd parts of the principal part under are denoted by , respectively .
In the following theorem, we use to denote symmetric polynomials which will turn out to coincide with .
Theorem 6.9.
The Laplace transform of the recursion (8) satisfied by symmetric polynomials with is equivalent to topological recursion applied to the spectral curve
with correlators
Proof.
The proof is analogous to the proof of Theorem 7.6 by Eynard and Orantin in [20]. It is rather technical so we will give the key idea here. Topological recursion applied to the spectral curve is related to the recursion (8) by the Laplace transform, and in particular there is a one-to-one correspondence between terms in each of the two recursions. Lemmas 6.10 and 6.11 are the main new ideas in the proof, enabling the calculation of the Laplace transform of the recursion (8), while the last part of the proof uses techniques which have arisen previously to relate topological recursion to a variety of recursive structures in geometry.
The Laplace transform of a polynomial which is defined by
for , is a polynomial in hence it extends to a meromorphic function on with poles along the divisors .
The recursion (8) involves the following two linear transformations
from the spaces of odd (in each variable) polynomials in one and two variables to the spaces of polynomials in two and one variable. These linear transformations induce linear transformations of the Laplace transforms. Lemmas 6.10 and 6.11 below calculate the Laplace transform of these linear transformations.
Lemma 6.10.
For an odd polynomial in and :
Proof.
By linearity we may choose which has Laplace transform . From Lemma 5.2 we have
where is defined by Then and a change of coordinates gives:
Hence its Laplace transform is
which coincides with the even principal part of
where means the Laurent series at . Note that the principal part is even so we can replace by in the statement. ∎
Lemma 6.11.
For an odd polynomial:
Proof.
Recall that and choose . Hence
Hence its Laplace transform is:
which coincides with the even principal part in of
where means the Laurent series at for fixed , hence .
∎
Continuing with the proof of Theorem 6.9, apply Lemmas 6.10 and 6.11 to the recursion (8).
(91) | ||||
The principal part of the term involving coincides with its even principal part, as explained in the note at the end of the proof of Lemma 6.10, so we have written it as the even part.
Define
We will prove that and the correlators satisfy the same recursion relations and initial values, and in particular conclude that .)
Take (91), noting that is already present since , to get
(92) | ||||
The even part of the principal part becomes the odd part due to the factor of . The factors , and on the right hand side of (91) supply derivatives such as .
Topological recursion for the spectral curve is
where is a rational function given explicitly in (87) by
where we have used skew-symmetry of under , except for . Hence
where we have used for odd.
The rational differentials and are uniquely determined by their respective recursions and the initial value
which both coincide, hence as required. ∎
Remark 6.12.
Rewrite the expression for due to Mirzakhani as:
where is defined by . Using this, one can replace and by and and replace with in the statements of Lemmas 6.10 and 6.11. The proofs of these statements appear in the appendix of [20], using a different approach. The viewpoint here shows that the spectral curve , studied by Eynard and Orantin in [20] is implicit in Mirzakhani’s work.
6.2. Calculations
We demonstrate here how to use the recursion (8) and equivalently the recursion (68). It is clear from its definition (5) that the function is a degree polynomial in (and degree polynomial in ). A consequence of Lemma 5.2 and a change of coordinates shows that this polynomial behaviour also follows from the recursion (8) and elegant properties of the kernels and .
The recursion (8) leads to the following small genus calculations. The 1-point genus one volume can be calculated using an integral closely related to (8).
(93) |
Using (8) we calculate:
Remark 6.13.
6.2.1. Hyperbolic cone angles
One can relax the hyperbolic condition on a representation and allow the image of boundary classes to be elliptic. The trace of an elliptic element is , hence such a boundary class corresponds to a cone of angle . A hyperbolic element with trace corresponds to a closed geodesic of length . Since , one can interpret a point with cone angle in terms of an imaginary length boundary component, and some formulae generalise by replacing positive real parameters with imaginary parameters. Explicitly, a cone angle appears by substituting the length in the volume polynomial. Mirzakhani’s recursion uses a generalised McShane formula [40] on hyperbolic surfaces, which was adapted in [62] to allow a cone angle that ends up appearing as a length in such a formula, and hence in the volume polynomial. The importance of hyperbolic monodromy is that it gives invertibility of used, for example, in the calculation of the cohomology groups of the representation. Perhaps this condition is required only on the interior and not on the boundary classes. Regardless of the mechanism of the proofs when cone angles are present, one can evaluate the volume polynomials at imaginary values, and find good behaviour.
Theorem 6.14.
(94) |
Proof.
Using
the coefficient of in is
which is exactly times the coefficient of in .
∎
For , the integrals
which give the super volumes
do not arise out of the recursion (8). Nevertheless, setting in (94) allows one to calculate these integrals from which do arise out of the recursion (8)
Analogous results were proven in [13] for the Weil-Petersson volumes.
Theorem 6.15 ([13]).
For
and
It is interesting that (94) does not require a derivative whereas the analogous result in Theorem 6.15 involves a derivative. This feature resembles the relations between the kernels for recursions between super volumes , and between Weil-Petersson volumes , and similarly for and , where the Weil-Petersson volumes again require a derivative.
6.2.2.
For a given genus , determines all the polynomials as follows. When use (94) to produce from . When , , which is a degree symmetric polynomial in , is uniquely determined by evaluation at , and this is determined by via Theorem 88. This follows from the elementary fact that a symmetric polynomial of degree less than is uniquely determined by evaluation of one variable at any , . To see this, suppose otherwise. Any symmetric of degree less than that evaluates at as does, satisfies
but the degree is less than so the difference is identically 0.
References
- [1] Abramovich, D. and Jarvis, T. J. Moduli of twisted spin curves. Proc. Amer. Math. Soc. 131 (2003), 685-699.
- [2] Adem, A. and Milgram, R.J. Cohomology of Finite Groups. Grundlehren der mathematischen Wissenschaften 309, Springer-Verlag, Berlin (1994).
- [3] Biswas, I.; Gastesi, P. and Govindarajan, S. Parabolic Higgs bundles and Teichmüller spaces for punctured surfaces. Trans. Amer. Math. Soc. 349 (1997), 1551-1560.
- [4] Boden, H. Representations of orbifold groups and parabolic bundles. Comment Math Helvetici 66 (1991) 389-447.
- [5] Brézin, E. and Gross, D.J. The external field problem in the large limit of QCD. Phys. Lett. B97 (1980) 120.
- [6] Chekhov, L. and Eynard, B. Hermitian matrix model free energy: Feynman graph technique for all genera. J. High Energy Phys., 03014, (2006).
- [7] Chekhov, L. and Norbury, P. Topological recursion with hard edges. Inter. Journal Math. 30, (2019) 1950014 (29 pages).
- [8] Chidambaram, N.; Garcia-Failde, E. and Giacchetto, A. Relations on and the negative -spin Witten conjecture. arXiv:2205.15621
- [9] Crane, L. and Rabin, J. Super Riemann Surfaces: Uniformization and Teichmüller Theory. Comm. Math. Phys. 113 (1988), 601-623.
- [10] Dijkgraaf, R,; Verlinde, E. and Verlinde, H. Loop equations and Virasoro constraints in non- perturbative 2d quantum gravity. Nucl. Phys. B 348 (1991), 435-456.
- [11] Do, N. and Norbury, P. Topological recursion for irregular spectral curves. Journal of the London Mathematical Society 97 (2018), 398-426
- [12] Do, N. and Norbury, P. Topological recursion on the Bessel curve. Comm. Number Theory and Physics 12 (2018), 53-73.
- [13] Do, N. and Norbury, P. Weil-Petersson volumes and cone surfaces. Geom. Dedicata 141 (2009), 93-107.
- [14] Donagi, R.; Pantev T. and Simpson, C. Direct Images in Non Abelian Hodge Theory. arXiv:1612.06388
- [15] Donagi, R. and Witten, E. Supermoduli Space Is Not Projected. Proc. Symp. Pure Math. 90 (2015) 19-72.
- [16] Dunin-Barkowski, P.; Orantin, N.; Shadrin, S. and Spitz, L. Identification of the Givental formula with the spectral curve topological recursion procedure. Comm. Math. Phys. 328, (2014), 669-700.
- [17] Dubrovin, B. A.; Fomenko, A. .T. and Novikov, S. .P. Modern geometry–methods and applications. Part II. The geometry and topology of manifolds. Translated from the Russian by Robert G. Burns. Graduate Texts in Mathematics, 104. Springer-Verlag, New York, 1985.
- [18] Eynard, B. Invariants of spectral curves and intersection theory of moduli spaces of complex curves. Commun. Number Theory Phys. 8 (2014), 541–588.
- [19] Eynard, B. and Orantin, N. Invariants of algebraic curves and topological expansion. Commun. Number Theory Phys. 1 (2), (2007), 347-452.
- [20] Eynard, B. and Orantin, N. Weil-Petersson volume of moduli spaces, Mirzakhani’s recursion and matrix models. arXiv:0705.3600
- [21] Fan, H.; Jarvis, T. J.; Ruan, Y. Quantum singularity theory for and -spin theory. Ann. Inst. Fourier (Grenoble) 61 (2011), 2781-2802.
- [22] Fay, J. D. Theta functions on Riemann surfaces. Springer Verlag, 1973.
- [23] Felder, G.; Kazhdan, D. and Polishchuk, A. Regularity of the superstring supermeasure and the superperiod map. Sel. Math. 28 (2022), 17.
- [24] Furuta, M. and Steer, B. Seifert fibred homology 3-spheres and the Yang-Mills equations on Riemann surfaces with marked points. Advances in Mathematics 96 (1992), 38-102.
- [25] Givental, A. Gromov-Witten invariants and quantization of quadratic hamiltonians. Moscow Math. Journal 4, (2001), 551-568.
- [26] Goldman, W. M. Topological components of spaces of representations. Invent. Math. 93 (1988), 557-607.
- [27] Gross, D. J. and Newman, M. J. Unitary and Hermitian matrices in an external field. 2: The Kontsevich model and continuum Virasoro constraints. Nucl. Phys. B 380 (1992), 168-180.
- [28] Gross, D. J. and Witten, E. Possible third-order phase transition in the large- lattice gauge theory. Phys. Rev. D21 (1980) 446.
- [29] Hitchin, N. J. The self-duality equations on Riemann surfaces. Proc. Lond. Math. Soc. 55 (1987), 59-126.
- [30] Huang, Y., Penner, R.C. and Zeitlin, A. Super McShane identity To appear: J. Diff. Geom.
- [31] Johnson, D. Spin Structures and Quadratic forms on Surfaces. J. Lond. Math. Soc. s2-22 (1980), 365-373.
- [32] Jost, J., Keßler, E. and Tolksdorf, J. Super Riemann surfaces, metrics and gravitinos. Adv. Theor. Math. Phys. 21 (2017), 1161-1187.
- [33] Kaufmann, R.; Manin, Y. and Zagier, D. Higher Weil-Petersson volumes of moduli spaces of stable -pointed curves. Comm. Math. Phys. 181 (1996), 763-787.
- [34] Kazarian, M. E. and Lando, S. K. An algebro-geometric proof of Witten’s conjecture. Journal of the American Mathematical Society bf 20 (2007), 1079-1089.
- [35] Kontsevich, M. Intersection theory on the moduli space of curves and the matrix Airy function. Comm. Math. Phys. 147, (1992), 1-23.
- [36] LeBrun, C. and Rothstein, M. Moduli of super Riemann surfaces. Comm. Math. Phys. 117 (1988),159-176.
- [37] Looijenga, E. On the tautological ring of . Invent. Math. 121 (1995), 411-419.
- [38] Manin, Yu. and Zograf, P. Invertible cohomological field theories and Weil-Petersson volumes. Ann. Inst. Fourier (Grenoble) 50 (2000), 519-535.
- [39] Maskit, B. Matrices for Fenchel-Nielsen coordinates. Ann. Acad. Sci. Fenn. Math. 26 (2001), 267-304.
- [40] McShane, Greg A remarkable identity for lengths of curves. Ph.D. Thesis, University of Warwick, 1991.
- [41] Mehta, V. B. and Seshadri, C. S. Moduli of Vector Bundles on Curves with Parabolic Structures. Math. Ann. 248 (1980), 205-239.
- [42] Milnor, J. Spin structures on manifolds. Enseign. Math. (2) 9 (1963), 198-203.
- [43] Milnor, J. and Stasheff, J. Characteristic Classes. Annals of mathematics studies 76, Princeton University Press, Princeton, NJ, 1974.
- [44] Mirzakhani, M. Simple geodesics and Weil-Petersson volumes of moduli spaces of bordered Riemann surfaces. Invent. Math. 167 (2007), 179-222.
- [45] Mirzakhani, Maryam Weil-Petersson volumes and intersection theory on the moduli space of curves. J. Amer. Math. Soc., 20 (2007), 1-23.
- [46] Miwa, T.; Jimbo, M.; Date, E. Solitons. Differential equations, symmetries and infinite-dimensional algebras. Cambridge Tracts in Mathematics, 135 Cambridge University Press, Cambridge, 2000.
- [47] Mumford, D. Towards an enumerative geometry of the moduli space of curves. Arithmetic and geometry, Vol. II, Progr. Math. 36, Birkhäuser Boston, (1983), 271-328.
- [48] Natanzon, S. Moduli of Riemann Surfaces, Real Algebraic Curves, and Their Superanalogs. Transl. Math. Monographs 225, AMS, 2004.
- [49] Norbury, P. Gromov-Witten invariants of coupled to a KdV tau function. Adv. Math. 399 (2022), 108227.
- [50] Norbury, P. A new cohomology class on the moduli space of curves. To Appear Geom. Top.
- [51] Okounkov, A and Pandhariapande, R. Gromov-Witten theory, Hurwitz theory, and completed cycles. Ann. of Math. (2) 163 (2006), 517-560.
- [52] Osborn, H. Representations of Euler classes. Proc. AMS 31 (1972), 340-346 .
- [53] Pandharipande, R.; Pixton, A. and Zvonkine, D. Relations on via 3-spin structures. J. Amer. Math. Soc. 28 (2015), 279-309.
- [54] Penner, R. and Zeitlin, A. Decorated super-Teichmüller space. Journ. Diff. Geom. 111 (2019), 527-566.
- [55] Rabin, J. Teichmüller deformations of super Riemann surfaces. Phys. Lett. B 190 (1987), 40-46.
- [56] Rosly, A. A.; Schwarz, A. S. and Voronov, A. A. Geometry of Superconformal Manifolds. Comm. Math. Phys. 119 (1988), 129-152.
- [57] Saad, P., Shenker, S.H. and Stanford, D. JT gravity as a matrix integral. arXiv:1903.11115
- [58] Simpson, C. T. Higgs bundles and local systems. Pub. Math. IHES 75 (1992), 5-95.
- [59] Simpson, C. T. Harmonic Bundles on Noncompact Curves. JAMS, 3, (1990), 713-770.
- [60] Stanford, D. and Witten, E. JT gravity and the ensembles of random matrix theory. Adv. Theor. Math. Phys. 24, (2020), 1475-1680.
- [61] Steenrod, N. E. Homology with local coefficients. Ann. of Math. (2) 44 (1943), 610-627.
- [62] Tan, S. P.; Wong, Y. L. and Zhang, Y. Generalizations of McShane’s identity to hyperbolic cone-surfaces. J. Diff. Geom. 72 (2006), 73-112.
- [63] Teleman, C. The structure of 2D semi-simple field theories. Invent. Math. 188 (2012), 525-588.
- [64] Uehara, S. and Yasui, Y. The Weil-Petersson Kähler form on the super Teichmüller space. Phys. Lett. B 250 (1990), 72-78.
- [65] Witten, E. Notes On Super Riemann Surfaces And Their Moduli. Pure Appl. Math. Q. 15 (2019), 57-211.
- [66] Witten, E. Two-dimensional gravity and intersection theory on moduli space. Surveys in differential geometry (Cambridge, MA, 1990), 243–310, Lehigh Univ., Bethlehem, PA, 1991.
- [67] Wolpert, Scott On the homology of the moduli space of stable curves. Ann. of Math. (2) 118 (1983), 491-523.
- [68] Wolpert, S. On the Weil-Petersson geometry of the moduli space of curves. Amer. J. Math. 107 (1985), 969-997.