Gromov Witten invariants of exploded manifolds
Abstract.
This paper describes the structure of the moduli space of holomorphic curves and constructs Gromov Witten invariants in the category of exploded manifolds. This includes defining Gromov Witten invariants relative to normal crossing divisors and proving the associated gluing theorem which involves summing relative invariants over a count of tropical curves.
1. Introduction
In this paper, we shall define Gromov Witten invariants of a basic, complete exploded manifold with an almost complex structure and a taming form . Definitions for exploded manifolds can be found in [12].
Section 2 describes the structure of the equation on a moduli stack of curves in , then uses multiperturbations on a neighborhood of the substack of holomorphic curves to define a virtual moduli space . Similar results are obtained for a family of exploded manifolds. As this section is quite technical, the results are described in separate sections before they are proved.
Section 3 is concerned with integrating differential forms over the virtual moduli space to obtain Gromov Witten invariants. To do this we first restrict to a compact component of the virtual moduli space. Convenient notation is as follows:
Definition 1.1.
Given a family of exploded manifolds, almost complex structures and taming forms, choose a genus , a tropical curve in a nonnegative real number and a linear map where is the DeRham cohomology of as defined in [14].
-
•
is the moduli stack of curves in with genus , and with tropical part isotopic to , so that integration over the curve gives the map .
-
•
-
•
and are the virtual moduli spaces of holomorphic curves in and respectively.
-
•
is the Deligne Mumford space of genus curves with punctures labeled by the infinite ends of .
We shall use in place of where no ambiguity is present.
Definition 1.2.
Say that Gromov compactness holds for if the substack of holomorphic curves in is compact (in the topology on described in [13]), and there are only a finite number of with so that there is a holomorphic curve in .
Say that Gromov compactness holds for a family if the following holds: given any compact exploded manifold with a map , let be the pullback of our original family . Then the substack of holomorphic curves in is compact and there are only a finite number of with so that there is a holomorphic curve in .
Suppose that Gromov Compactness holds for . Given any map
where is an exploded manifold (or orbifold), and a closed differential form , the integral
is well defined independent of the choices used in defining . The same result holds for refined differential forms . (See [14] for a thorough discussion of the different types of differential forms on exploded manifolds.) In fact, Theorem 3.6 on page 3.6 implies that there is a closed differential form
Poincare dual to in the sense that given any closed differential form ,
Theorem 3.6 also shows that the class of in the homology of is an independent of choices made in its construction. The same results hold for because for any fixed and , there are only a finite number of with nonempty and .
For example, section 3.1 describes a complete exploded manifold which parametrizes the location of the ends of curves in . There is a natural evaluation map
In the case that is a compact symplectic manifold, is just the usual DeRham cohomology of , and is just where is the number of ends of . In this case is a version of the familiar Gromov Witten invariants of . These Gromov Witten invariants satisfy all of Kontsevich and Mannin’s axioms of Gromov Witten invariants stated in [7] apart from the ‘Motivic’ axiom which does not make sense outside of the algebraic context.
In some cases, the Gromov Witten invariants defined in this paper can be verified to coincide with previously defined Gromov Witten invariants of symplectic manifolds defined by Fukaya and Ono in [3], McDuff in [10], Ruan in [16], Liu and Tian in [9], Siebert in [17], and Li and Tian in [8]. In particular, Theorem 5.7 on page 5.7 states roughly that if the moduli space of holomorphic curves in is an orbifold with a nice obstruction bundle, then integration of the pullback of a closed form on is equal to integration of the wedge product of the Euler class of the obstruction bundle with the corresponding pullback of to the moduli space of holomorphic curves. Our invariants do not depend on a choice of tamed almost complex structure , so if may be chosen so that Theorem 5.7 holds and a similar theorem holds for the above constructions, then the different definitions of Gromov Witten invariants will agree. A special case is the case of ‘transversality’ when there is no obstruction bundle required, and all definitions of Gromov Witten invariants agree. I expect that in the algebraic case, the definition of Gromov Witten invariants given here will agree with the algebraic definition given by Behrend and Fantechi in [1], however this is not proved in this paper.
The fact that Gromov Witten invariants do not change in families for which Gromov compactness holds is proved in Theorem 3.7 on page 3.7. (In fact, just as cohomology does not change locally in a family, but there may be monodromy, Gromov Witten invariants do not change locally, but there may be monodromy in a family with smooth part that is not simply connected.) This invariance allows Gromov Witten invariants of a compact symplectic manifold to be calculated by deforming the symplectic manifold in a connected family of exploded manifolds to an exploded manifold in which the calculation is easier.
Gromov Witten invariants of an exploded manifold with nontrivial tropical part are often easier to calculate because of Theorem 4.7 on page 4.7, which is a generalization of the symplectic sum formula for Gromov Witten invariants. In particular, we may break up Gromov Witten invariants into contributions coming from tropical curves.
Definition 1.3.
Given some moduli stack or virtual moduli space of curves, define to be the subset of consisting of curves with tropical part isomorphic to .
Then the integral over the virtual moduli space breaks up into a sum of contributions from each tropical curve,
where only a finite number of tropical curves have a nonzero contribution to the sum. If is a closed differential form generated by functions in the sense of definition 3.3, then this integral is well defined independent of the choices in the construction of . (All differential forms on a smooth manifold are generated by functions. Examples of interesting differential forms generated by functions on an exploded manifold are the Poincare duals to points, symplectic taming forms and Chern classes constructed using the Chern-Weyl construction.)
Theorem 4.6 describes the cobordism class of in terms of a fiber product of moduli spaces corresponding to each vertex of . In particular, in the case that , Theorem 4.6 implies a generalization of the symplectic sum formula for Gromov Witten invariants, Theorem 4.7 on page 4.7. In that case,
where:
-
•
The sum is over choices of and for each vertex of so that and is equal to minus the genus of . Gromov compactness assumptions give that only a finite number of terms in this sum will be nonzero.
-
•
indicates a multiplicity of each internal edge of (and is if an edge is sent to a point).
-
•
For each edge of , is a manifold parametrizing the possible maps of into which have tropical part equal to .
-
•
on the right hand side of the equation indicates the pullback of under a map .
-
•
To the strata of containing each vertex of , an exploded manifold called a tropical completion of the strata is associated. For this gluing formula to hold, Gromov compactness is assumed to hold for . There is a tropical curve in with one vertex (corresponding to ) and one edge corresponding to each end of an edge of attached to .
-
•
is the Poincare dual to the map
pulled back under a map
These can be regarded as relative Gromov Witten invariants. The exploded manifold has tropical part equal to a cone. In the case that the corners of the polytopes in are standard, the smooth part of is a symplectic manifold with a tamed almost complex structure , and each strata of is a (pseudo)holomorphic submanifold. If is integrable, is a complex manifold with normal crossing divisors, and is some bundle over the explosion of .
Given a compact complex manifold with normal crossing divisors given by embedded complex codimension submanifolds which intersect each other transversely and a symplectic taming form , [13] implies that Gromov compactness holds for the explosion of described in [12]. The Gromov Witten invariants of relative to its normal crossing divisors can be defined as the Gromov Witten invariants of . Given bundles over , there is a natural corresponding bundle over . Appendix C implies that given any lift of the complex structure on to an almost complex structure on , Gromov Compactness will hold on . The Gromov Witten invariants of do not depend on this lift of almost complex structure, so we may define the relative Gromov Witten invariants of the bundles over with its normal crossing divisors to be the Gromov Witten invariants of .
The symplectic analogue of explosion described in [13] allows Gromov Witten invariants of (some number of bundles over) symplectic manifolds relative to orthogonally intersecting codimension symplectic submanifolds to be defined analogously. The gluing formula from Theorem 4.7 gives a lot of structure to these relative Gromov Witten invariants, which makes their computation easier. Other relationships between relative Gromov Witten invariants follow from Theorem 5.2 on page 5.2 which implies that Gromov Witten invariants do not change under refinement of exploded manifolds. For example, this means that the Gromov Witten invariants of all toric manifolds of a given dimension relative to their toric boundary divisors can be viewed as being the same.
2. Structure of the equation on
, (defined more precisely shortly) is the moduli stack of curves for which the integral of some two form is positive on each smooth component equal to a sphere with at most one puncture and nonnegative on all other smooth components. We shall describe the structure of using the notion of a core family below, and describe the equation on using the notion of an obstruction model.
2.1. the functors and
This paper studies families of holomorphic curves in a smooth family of targets in the exploded category,
where each fiber is a complete, basic exploded manifold with a civilized almost complex structure tamed by a symplectic form (using terminology from [12] and [13]). We will often talk about families of curves in which will correspond to commutative diagrams
where is a family of curves (as defined in [12]). Where no ambiguity is present, this family is just referred to as , however, we shall also think of and as functors in the following way: As noted in [12], families of curves in form a category with morphisms given by commutative diagrams
so that restricted to each fiber of and , is a holomorphic isomorphism. In this way, and can be regarded as functors from the category of families of curves to the category of exploded manifolds. Use the notation for the moduli stack of curves, which is the category of families of curves together with the functor . When no ambiguity is present, simply use the notation .
2.2. -positive curves
Definition 2.1.
Call a curve -positive if for each smooth strata of which is a sphere with at most one puncture, the integral of over that strata is positive, and the integral of over every smooth strata of is non-negative.
Let be the substack of consisting of families of -positive curves.
Note that if is a symplectic form that tames the almost complex structure on , every stable holomorphic curve is -positive. Restricting to positive curves is a technical assumption chosen for the property that given any -positive curve which is transverse to some other complete map to , then there exists a neighborhood of in so that all curves in that neighborhood are also transverse to this map.
2.3. evaluation maps and adding extra marked points to families
The following theorem will be proved on page 2.25. The notation refers to the usual Deligne Mumford space considered as a complex orbifold with normal crossing divisors given by its boundary components, and is the explosion of this discussed in [12]. The map is the explosion of the usual forgetful map from the moduli space of curves with one extra marked point to the moduli space of curves forgetting that extra marked point. The following theorem implies that represents the moduli stack of stable curves, and that the map is a universal family of stable curves.
Theorem 2.2.
Consider a family of exploded curves so that each curve has where is the genus and is the number of punctures. Then there exists a unique fiber-wise holomorphic map
so that the map on each fiber factors into a degree one holomorphic map to a stable exploded curve and a holomorphic map from to a fiber of given by quotienting by its automorphism group.
The above maps all have regularity .
In what follows, we define an ‘evaluation map’ for a family of curves using a functorial construction of a family of curves with extra punctures from a given family of curves .
Definition 2.3.
Given a submersion , use the following notation for the fiber product of over with itself times:
Definition 2.4.
Given a family of curves in and , the family is a family of curves with extra punctures
satisfying the following conditions
-
(1)
The family of curves is .
-
(2)
The base of the family is the total space of the family .
-
(3)
The fiber of over a point is equal to the fiber of containing with an extra puncture at the point .
-
(4)
The family of curves is
-
(5)
There exists a fiberwise holomorphic degree map
so that the following diagram commutes.
It is shown in appendix A on page A that exists and is smooth or if is. The above conditions imply that the map factors as
where the second map is given by the -fold product of , and the first map is a degree one map.
The construction of is functorial, so given a map of families of curves , there is an induced map . This map is compatible with the naturally induced map .
Combining with the map given by Theorem 2.2 when is large enough, we get the evaluation map
2.4. core families
The following notion of a core family gives a way of locally describing the moduli stack of -positive curves. A notion such as this is necessary, as the ‘space’ of -positive curves with in of a given regularity can not in general be locally modeled on even an orbifold version of a Banach space - this is because the domain of curves that we study are not fixed, and because of phenomena which would be called bubble and node formation in the setting of smooth manifolds. (The moduli stack of curves satisfying a slightly stronger -positivity condition could be described as a ‘space’ by using an adaption to the exploded setting of the theory of polyfolds being developed by Hofer, Wysocki and Zehnder in a series of papers including [4]. An adaption of the theory of polyfolds to the exploded setting is a worthwhile direction for further research which is not explored in this paper.)
Definition 2.5.
A core family of curves, for an open substack of is:
-
•
a basic family of -positive, stable curves with a group of automorphisms,
-
•
a nonempty finite collection of ‘marked point’ sections which do not intersect each other, and which do not intersect the edges of the curves in .
-
•
a invariant map,
where indicates the vertical tangent space of the family .
so that
-
(1)
For all curves in , there are exactly maps , and the action of on the set of maps of into is free.
-
(2)
For all curves in , the smooth part of the domain with the extra marked points from has no automorphisms.
-
(3)
The action of preserves the set of sections , so there is some action of as a permutation group on the set of indices so that for all and ,
where the action of is on , or the set of indices as appropriate.
-
(4)
-
(a)
There exists a neighborhood of the image of the section
defined by the sections so that
restricted to is an equi-dimensional embedding
-
(b)
The tropical part of is a complete map, and restricted to any polytope in is an isomorphism onto a strata of the image of in under .
-
(a)
-
(5)
-
(a)
restricted to the zero section is equal to ,
-
(b)
restricted to the natural inclusion of over the zero section is equal to the identity,
-
(c)
restricted to the vertical tangent space at any point of is injective.
-
(a)
-
(6)
given any family in , there exists a unique fiber-wise holomorphic map
and unique section
which vanishes on the pullback of marked points, so that
The last condition can be roughly summarized by saying that a family in is equivalent to a map to and a sufficiently small section of some vector bundle associated to this map. Theorem 2.26 on page 2.26 states that if the first five conditions hold, there exists some so that the condition holds. Proposition 2.27 stated on page 2.27 constructs a core family containing any given stable holomorphic curve with at least one smooth component.
Theorem 2.6.
Given any stable holomorphic with at least one smooth component in a basic family of exploded manifolds, , there exists an open neighborhood of in and a core family for containing .
Given any core family there is a canonical orientation of given as follows. The sections define a section
so that in a neighborhood of the image of this section , the map
is an equi-dimensional embedding. There is a canonical orientation of relative to given by the orientation from the complex structure on and the almost complex structure on the fibers of . Therefore, there is a canonical orientation of relative to so that preserves orientations in a neighborhood of the above section . This in turn gives a natural orientation of relative to , because the fibers of each of the maps are complex.
2.5. trivializations and (pre)obstruction models
Now we shall start describing the equation on the moduli stack of curves.
Definition 2.7.
Given a smooth (or ) family,
-
(1)
Use the notation
Let be the dual of . Of course, may also be described as
-
(2)
Define
to be restricted to the vertical tangent space, .
-
(3)
Define
Consider
As the above bundle is cumbersome to write out in full, and can be considered as the pull back of a vector bundle over the moduli stack of curves, use the following notation:
Definition 2.8.
Use the notation to denote , which is the sub vector bundle of consisting of vectors so that the action of on the second factor is equal to times the action of on the first factor.
Note that given any map of families of curves , there is a corresponding map of vector bundles .
Definition 2.9.
Given a family,
a choice of trivialization is
-
(1)
a map
so that
-
(a)
restricted to the zero section is equal to ,
-
(b)
restricted to the natural inclusion of over the zero section is equal to the identity,
-
(c)
restricted to the vertical tangent space at any point of is injective.
-
(a)
-
(2)
A isomorphism from the bundle to the vertical tangent bundle of which preserves , and which restricted to the zero section of is the identity.
In other words, if denotes the vector bundle projection, a isomorphism between and which preserves the almost complex structure on . This can be written as a vector bundle map
which is the identity when the vector bundle is restricted to the zero section of .
A trivialization allows us to define of a section as follows: is a family of maps , so is a section of . Applying the map to the second component of this tensor product gives an identification of with , so we may consider to be a section of . Define to be this section of .
For example, we may construct a trivialization by extending to a map satisfying the above conditions (for instance by choosing a smooth connection on and reparametrising the exponential map on a neighborhood of the zero section in ), and letting be given by parallel transport along a linear path to the zero section using a smooth preserving connection on .
Given a choice of trivialization for and a section of , there is an induced choice of trivialization for the family , described in [15].
Definition 2.10.
A pre obstruction model , is given by
-
(1)
a family
-
(2)
a choice of trivialization for in the sense of definition 2.9.
-
(3)
a finite collection of extra marked points on corresponding to sections , so that restricted to any curve in , these marked points are distinct and contained inside the smooth components of .
-
(4)
a vector bundle over
-
(5)
a smooth or map of vector bundles over
which vanishes on the edges of curves in . The above map must be non trivial in the sense that for any nonzero vector in , there exists a choice of lift to a vector in which is not sent to . (Said differently, a point corresponds to a section of over the curve over . This section is sent by the above map to a section of the bundle . This section is the zero section if and only if is .)
Note that a section corresponds to a section . Call such a section ‘a section of ’. We shall usually use the notation for a pre obstruction bundle.
Definition 2.11.
Given any family , with a collection of extra marked points on , let indicate the space of sections of which vanish on the extra marked points on , and let indicate the space of sections of which vanish on edges of curves in .
Note that both and are complex vector spaces because they consist of sections of complex vector bundles.
We may restrict any pre obstruction bundle to a single curve in . The restriction of to this curve can be regarded as a finite dimensional linear subspace .
Let indicate the (directional) derivative of at . We are most interested in pre obstruction bundles containing curves that is injective and has image complementary to .
In what follows, we define obstruction models which can be regarded as giving a kind of Kuranishi structure to the moduli stack of holomorphic curves. Roughly speaking, an obstruction model is a -invariant pre obstruction model so that is a core family, can be regarded as a section , and so that perturbing the equation can locally be modeled on perturbing this section of .
Definition 2.12.
An obstruction model is core family together with a compatible -invariant trivialization and obstruction bundle making a pre obstruction model so that:
-
•
is a section of .
-
•
is injective and has image complementary to for all in .
Say that an obstruction model is extendible if it is the restriction of some larger obstruction model to a compactly contained sub family of .
In Definition 2.15 below, we shall say what it means for to be an obstruction model for a substack . The existence of obstruction models is proved on page 2.28. It follows from the existence of core families and the results of [15].
To describe the importance of obstruction models, we shall need the notion of a simple perturbation below.
Definition 2.13.
A simple perturbation parametrized by a family
is a section of the bundle over with the same regularity as which vanishes on all edges of the curves which are the fibers of .
The topology on the space of simple perturbations parametrized by is the corresponding topology on the space of sections. Say that a simple perturbation has compact support if the corresponding section has compact support on .
Let be a simple perturbation parametrized by a family of curves in with a trivialization . So is a section of over . A section of defines a map . Pulling back the section over this map gives a section of , which we can identify as a section of using the map from our trivialization. Therefore, we get a modification of the usual equation on sections given by the trivialization
This modification of was what was referred to as a simple perturbation of in [15].
The following theorem is the main theorem of [15].
Theorem 2.14.
Suppose that is a pre obstruction model containing the curve , so that , and
is injective and has image complementary to .
Then the restriction of to some open neighborhood of satisfies the following:
There exists a neighborhood of in the space of perturbations of and a neighborhood of in so that
-
(1)
Given any curve in , section , and simple perturbation of in ,
is injective and has image complementary to .
-
(2)
For any , there exists some and a section of so that
The sections and are unique in the following sense: Given any curve in , let and be the relevant restrictions of and to . Then is the unique element of so that .
The map which sends to the corresponding solution is continuous in the topologies on and .
In particular, Theorem 2.14 above tells us how the solutions of equation behave in an open neighborhood of an obstruction model when the equation is perturbed by a simple perturbation. In light of this, we make the following definition:
Definition 2.15.
An obstruction model for an open substack is an obstruction model so that is a core family for , and there exists a neighborhood of in the space of simple perturbations of so that items 1 and 2 of Theorem 2.14 hold for and the open neighborhood of the zero section in defined so that if and only if is in .
Theorem 2.14 implies that every obstruction model is an obstruction model for some open neighborhood of in . The following theorem is proved on page 2.28.
Theorem 2.16.
Given any stable holomorphic curve with at least one smooth component in a basic family of targets , there exists an obstruction model for an open substack so that is isomorphic to a member of the family .
Theorem 2.14 is also useful for proving Theorem 2.29 on page 2.29 which describes the solutions of the equation when perturbed using multiple simple perturbations parametrized by different obstruction models.
The following theorem, proved in [15] implies that for any simple perturbation of , we may treat like it is a Fredholm operator, and that we may define orientations on the kernel and cokernel of by choosing a homotopy of to a complex map.
Theorem 2.17.
Given any family of curves with a trivialization, a set of extra marked points and a simple perturbation of , the following is true:
-
(1)
for every curve in ,
is a linear map which has a closed image and finite dimensional kernel and cokernel.
-
(2)
The dimension of the kernel minus the dimension of the cokernel of is a topological invariant
where is the integral of the first Chern class of over the curve , is the relative dimension of , is the genus of the domain of , and is the number of extra marked points on which sections in must vanish.
-
(3)
If is injective, then for all in an open neighborhood of in , is injective.
-
(4)
If is injective for all in , then there is a vector bundle over with an identification of the fiber over with the dual of the cokernel of ,
so that given any section in , the corresponding section of is .
The set of maps
equal to some for some simple perturbation of is convex and contains the complex map
for any connection on which preserves .
The set of all such is independent of choice of trivialization for .
Remark 2.18.
The kernel of is oriented relative to the cokernel by choosing a homotopy of to a complex operator as follows:
Let be the trivial family consisting of times , and let be chosen so that is equal to a complex map when and when . The properties of the kernel of given in Theorem 2.17 imply that we may choose a finite set of marked points so that the kernel of restricted to sections which vanish at those marked points is zero for in some neighborhood of . Let denote this set of sections vanishing at these marked points. Theorem 2.17 tells us that cokernel of restricted to gives a finite dimensional smooth vector bundle over . Give this vector bundle the relative orientation defined by its complex structure when . This defines an orientation for the cokernel of restricted . The quotient is finite dimensional and complex, and comes with a canonical map to , which is the dual to the cokernel of restricted to , and hence oriented by the homotopy above. We may identify the kernel and cokernel of with the kernel and cokernel of this map
As both the domain and target of this map are finite dimensional and oriented, this defines an orientation of the kernel relative to the cokernel, which we may take as the orientation of the kernel of relative to its cokernel.
To see that this construction does not depend on the choice of extra marked points, let denote set of sections in which vanish on some more chosen marked points. Then the following is a short exact sequence for all :
At , the inclusion of into is complex, so the orientation on given by our construction using this larger set of marked points is the same as the orientation determined by the above short exact sequence giving its complex orientation and the orientation defined above. The orientation of given by its complex structure is also compatible with the orientation on and given by their complex structures in the sense that the following short exact sequence is oriented
Therefore the relative orientation of the kernel and cokernel of using this larger set of marked points is the same as the relative orientation using the original set of marked points. The orientation determined using any other set of marked points is equivalent, because it is equivalent to the orientation obtained using the union of our two sets of marked points.
Note that the orientation of the kernel of relative to its cokernel thus determined does not depend on the trivialization used to define , as with any choice of trivialization, we may still use the linear homotopy between and a complex operator. Note also that this orientation does not depend on the choice of complex operator, because the set of complex operators we may use is convex.
For any obstruction model , is injective and is equal to the dual of the cokernel of , and is therefore oriented as above. In fact, the properties of the kernel and cokernel of in families given by items 3 and 4 of Theorem 2.17 imply that this gives an orientation of the vector bundle .
Therefore, any obstruction model has a canonical orientation which is an orientation of relative to and an orientation of relative to . This gives an orientation relative to for the transverse intersection of any two sections of .
2.6. weighted branched sections of sheaves
Obstruction models give a local model for the behavior of on the moduli stack of curves. For the construction of the virtual moduli space of holomorphic curves, we need some way of dealing with the usual orbifold issues that arise when dealing with moduli spaces of holomorphic curves. I think that the best way of defining the virtual moduli space probably involves the use of Kuranishi structures, first defined by Fukaya and Ono in [3]. A generalization of the Kuranishi homology developed by Joyce in [6] should extend to the exploded setting, however this is not done in this paper. Instead, we shall work with weighted branched objects. There are a few approaches to weighed branched manifolds - our definition below only allows the definition of weighted branched sub objects, and is subtly different from the definition given by Cieliebak, Mundet i Rivera and Salamon in [2] or the intrinsic definition given by Mcduff in [11], because our definition has the notion of a ‘total weight’ and allows for the possibility of an empty submanifold being given a positive weight. I do not know which approach is better.
Definition 2.19.
The following is a construction of a ‘weighted branched’ version of any sheaf of sets or vector spaces.
Given a vector space , consider the group ring of over . This is the free commutative ring generated as a module by elements of the form where and is a dummy variable used to write addition on multiplicatively. Multiplication on this group ring is given by
where , is a dummy variable, and . Denote by the sub semiring of the group ring of over consisting of elements of the form where .
There is a homomorphism
Similarly, if is a set, consider the free module generated by elements of the form for . Define to be the ‘ submodule’ consisting of elements in the form of finite sums where . The homomorphism is defined similarly to the case of vector spaces: .
Given a sheaf with stalks , define the corresponding weighted branched sheaf to be the sheaf with stalks . Call a section of a weighted branched section of . The Weight homomorphism gives a sheaf homomorphism of onto the locally constant sheaf with stalks equal to . (The weight of a section of is a locally constant, valued section.) We shall usually just be interested in weighted branched sections of with weight .
This construction allows us to talk of the following weighted branched objects:
-
(1)
A smooth weighted branched section of a vector bundle over a manifold is a global section of where indicates the sheaf on of smooth sections of . In particular, such a weighted branched section is locally of the form
where is a smooth section. This section has weight if .
-
(2)
Given a vector bundle over the total space of a family of curves , a weighted branched section of is defined as follows: consider the sheaf over the topological space which assigns to each open set , the vector space of sections of the vector bundle restricted to the inverse image of in . Then a weighted branched section of is a global section of . Such a weighted branched section is equal to restricted to sufficiently small open subsets of , where indicates a section of . Note that considering sections of as a sheaf over different topological spaces allows different branching behavior.
-
(3)
Suppose that we have an obstruction model . Define a weighted branched section of as follows: Consider the sheaf of sections of and the sheaf of sections of as sheaves of vector spaces over . Let be the product of these two sheaves. A weighted branched section of is a global section of .
-
(4)
Given exploded manifolds and , consider the sheaf of sets so that is the set of maps of to . A weighted branched map of into is a global section of .
-
(5)
For any topological space , consider the sheaf of sets , where is the set of subsets of . A weighted branched subset of is a global section of . (As an example of what is meant by ‘branching’ in this context if , the global section , , but .)
-
(6)
For any smooth manifold , consider the sheaf of sets where is the set of smooth submanifolds of . Then a smooth weighted branched submanifold of is a global section of . Locally such a weighted branched submanifold is equal to
where each is a submanifold. Note that might intersect , and might be equal to an empty submanifold.
Similarly, one can talk of weighted branched submanifolds which are proper, oriented, or have a particular dimension.
-
(7)
An -dimensional substack of the moduli stack of -positive curves is a substack equal to where is an -dimensional family of curves. (In other words, a family in this substack is equivalent to a map .) Define a sheaf of sets over by setting to be the set of complete oriented -dimensional substacks of . A complete oriented weighted branched -dimensional substack of is a global section of with weight 1. The support of such a weighted branched substack is the set of curves so that there is no neighborhood of in which our weighted branched substack is equal to the empty substack with weight 1.
2.7. multiperturbations
Definition 2.20.
A multi-perturbation on a substack is an assignment to each family of curves in , a choice of weighted branched section of with weight so that given any map of families of curves in , , the weighted branched section of is the pull back of the weighted branched section of .
Example 2.21 (The multiperturbation defined by a simple perturbation).
A simple perturbation parametrized by where is a core family for defines a multi-perturbation on which is a weighted branched section of for all families of curves in as follows:
Recall from the definition of the core family that given any family in , there exists a unique map satisfying certain conditions
Given such a map, around any point , there exists a neighborhood of so that restricted to the lift of to lifts to exactly maps
Recall that the simple perturbation is some section of the bundle over . We can pull this section back over the maps to obtain sections of the bundle restricted to . Define our weighted branched section of over to be
This construction is clearly compatible with any map of families in , so the above local construction glues together to a global weighted branched section of , and we get a multi-perturbation defined over all families in . Note that is not just , but the weighted branched section which is where indicates the map given by the group action.
To extend a multiperturbation on defined as above to some other substack of , we need to meet properly as defined below.
Definition 2.22.
Say that a family of curves meets a substack with a core family properly if the following holds. Let indicate the sub family of consisting of all curves contained in , let indicate the natural inclusion, and let indicate the projection from the definition of a core family. Then the map
is proper.
Say that a substack meets properly if every family in meets properly.
Example 2.23.
Let be a compactly supported simple perturbation parametrized by a core family for , and let meet properly. Define a multi-perturbation on as follows: If is a family in , and indicates the sub family of all curves contained in , let indicate the weighted branched section of which when restricted to equals the multi perturbation from example 2.21, and which is equal to the zero section with weight everywhere else. As meets properly and is compactly supported, is a weighted branched section if is .
More generally, given a finite collection of compactly supported simple perturbations parameterized by core families for substacks which meet properly, we may define a multiperturbation on by multiplying together all the multiperturbations from example 2.23, so given a family in , the multiperturbation on is . (Note that a product of weighted branched sections as defined in definition 2.19 involves adding sections and multiplying weights.) Theorem 2.29 on page 2.29 describes the solution to the equation within an obstruction model when perturbed by a multiperturbation constructed in this way.
2.8. Summary of construction of virtual moduli space
The following theorem proved beginning on page 2.10 should be thought of as outlining the construction of a ‘virtual class’ for a component of the moduli stack of holomorphic curves. This virtual class is a cobordism class of finite dimensional weighted branched substacks of , oriented relative to . Other approaches such as those used in [3], [6], [5], [8], [9], [16], [10] and [17] should also generalize to the exploded setting. The existence of obstruction models imply that given any compact basic family of targets on which Gromov compactness holds, the stack of holomorphic curves in may be covered by a finite number of extendible obstruction models. The following theorem constructs a virtual moduli space using these obstruction models.
Theorem 2.24.
Given
-
•
a compact, basic family of targets in which Gromov compactness holds in the sense of definition 1.2.
-
•
a genus , a tropical curve in and a linear map ,
-
•
and any finite collection of extendible obstruction models covering the moduli stack of holomorphic curves in ,
each obstruction model may be modified by restricting to an open subset covering the same set of holomorphic curves, and satisfying the following: There exists an open neighborhood of in the space of collections of compactly supported simple perturbations parametrized by these obstruction models so that for any collection of such perturbations, the following is true
-
(1)
There is some open neighborhood of the set of holomorphic curves in which meets each of the our obstruction models properly. On there is a multi-perturbation defined by
where each multi-perturbation is as defined in example 2.23. (Note that the notation of a product of the weighted branched sections involves adding sections and multiplying weights. See definition 2.19 on page 2.19.)
-
(2)
For each of our obstruction models there exists a unique -invariant weighted branched section of with weight (see example 3 below definition 2.19) so that
-
(a)
locally on ,
where the sections vanishes on the image of the marked point sections and correspond to families in
-
(b)
and
-
(c)
Given any curve in the above subset of where is defined, if is a section of vanishing on so that is in and the multi-perturbation , then times the number of the above so that is the restriction of is equal to the sum of so that is in V.
-
(a)
-
(3)
Say that the multi perturbation is transverse to on a sub family if the sections of are transverse to the zero section on .
Given any compact subfamily of one of our obstruction models , the subset of the space of collections of simple perturbations discussed above so that the corresponding multi-perturbation is transverse to is open and dense in the topology.
-
(4)
Say that the multi-perturbation is fixed point free on a sub family if none of the curves in restricted to have smooth part with nontrivial automorphism group.
If the relative dimension of is greater than , then given any compact subfamily of one of our obstruction models , the subset of the space of collections of simple perturbations discussed above so that is fixed point free is open and dense in the topology.
-
(5)
There exists an open substack which contains the holomorphic curves in and a collection of compact sub families of our obstruction models so that
-
(a)
if is a stable curve in , then there exists some curve in one of these sub families and section of vanishing on marked points so that ,
-
(b)
if is any curve in so that for any collection of perturbations in , where , then is in .
-
(a)
-
(6)
Say that is transverse to and fixed point free if it is transverse to and fixed point free on each from item 5 above. Given any such , there is a unique complete weighted branched finite dimensional substack , oriented relative to which is the solution to in the following sense:
-
(a)
Given a curve in in the region where the equations from item 2 hold, and given so that is in , restricted to some neighborhood of in , is locally equal to
where is the empty substack if or , and otherwise, is given by the restriction of to some neighborhood of in the intersection of with the zero section, oriented using the orientation of relative to and the orientation of relative to .
-
(b)
If is locally equal to then .
-
(c)
If , then the sum of weights so that is in is equal to the sum of weights so that .
-
(d)
If a family in containing a curve satisfies
then if is equal to on a neighborhood of , then the sum of the so that there is a map from some neighborhood of in to is at least .
-
(a)
-
(7)
The support of is a compact subset of .
-
(8)
Given any construction of virtual moduli space defined using another small enough multi-perturbation which is fixed point free and transverse to , defined on some other open neighborhood of the holomorphic curves in using different choices of obstruction models, is cobordant to in the following sense:
Let be the product of our original family with a circle. We can regard as a tropical curve in and as a map . Then we may construct so that the map
is transverse to two points and in , and the restriction of to is equal to and the restriction of to is equal to .
-
(9)
Given any compact exploded manifold and map , the virtual moduli space can be constructed so that the map
is transverse to the map .
Suppose that this is the case and let be the pullback of . Suppose also that there are tropical curves in and maps so that a curve is in if and only if its composition with is a curve in .
Then so long as the perturbations used to define are small enough, may be constructed as the inverse image of , and may be considered as the fiber product of with .
2.9. proofs
The following theorem states roughly that the explosion of Deligne Mumford space, (discussed in [12]) represents the moduli stack of families of stable exploded curves. A similar theorem probably holds over the complex version of the exploded category with ‘smooth and holomorphic’ replacing ‘’.
Theorem 2.25.
Consider any family of exploded curves so that each exploded curve is connected and has where is the genus and is the number of punctures. Then there exists a unique fiber wise holomorphic map
so that the map on each fiber factors into a degree one holomorphic map to a stable exploded curve and a map from to a fiber of given by quotienting by its automorphism group.
The above maps all have regularity .
Proof:
We first construct this map for the fiber over a single point of . The first stage of this is to construct a stable curve with a holomorphic degree one map . The idea is to ‘remove’ all unstable components using a series of maps of the following two types:
-
(1)
If a smooth component of is a sphere attached to only one edge, put holomorphic coordinates on a neighborhood of the edge modeled on an open subset of with coordinate so that gives coordinates on the smooth component of attached to the other end of the edge. Replace this coordinate chart with the corresponding open subset of with coordinate . There is an obvious degree one holomorphic map from our old curve to this new one that is given in this coordinate chart by , and sends our unstable sphere and the edge attached to it to the point where . (This map is the identity everywhere else.)
-
(2)
If a smooth component of is a sphere attached to exactly two edges, there exists a holomorphic identification of a neighborhood of this smooth component with a refinement of an open subset of . Replace this open set with the corresponding open subset of . The degree one holomorphic map from the old exploded curve to the new one is this refinement map. (Refer to [12] for the definition of refinements.)
Each of the above types of maps removes one smooth component, so after applying maps of the above type a finite number of times, we obtain a connected exploded curve with no smooth components which are spheres with one or two punctures. Our theorem’s hypotheses then imply that the resulting exploded curve must be stable. It is not difficult to see that the stable curve obtained this way is unique.
The smooth part of this stable exploded curve is a stable nodal Riemann surface with punctures, . This nodal Riemann surface determines a point in Deligne Mumford space , and a corresponding map of to the fiber of over this point . Note that is the smooth part of and is the smooth part of . The smooth part of our map must correspond with this map . We must now determine the remaining information.
If we give Deligne Mumford space its usual holomorphic structure, there is a holomorphic uniformising chart containing this point , where is some subset of so that the boundary strata of correspond to where coordinates , and is a finite group with a holomorphic action on which preserves the boundary strata. is constructed so that it has a corresponding uniformising coordinate chart where is an open subset of which corresponds to the set where , and the action of on induces the action of on the smooth part . The inverse image of in is some exploded manifold quotiented by , and the smooth part of this is the inverse image of in , which is equal to some smooth complex manifold quotiented by . There are identifications of with a fiber of , which are permuted by the action of , (so together they correspond to a unique map to ). Choose one of these maps.
Each of the nodes of now correspond to some coordinate on which is equal to . We must determine the value of the corresponding . (All other coordinates are nonzero so is given by .) There is a chart on containing this node which is equal to a convex open subset of with coordinates , and , so that the map is given by and . The identification of a neighborhood of this node with a fiber of means that we can use and respectively to parametrize the two discs that make up the neighborhood of the node. The open subset of with smooth part equal to this neighborhood can then be covered by an open subset of with coordinates and so that . These coordinate are related by the equation
In the above, is the length of our edge, and is canonically determined by our choice of holomorphic coordinate chart on . Our coordinate must be equal to . To see this consider the corresponding coordinate chart with coordinates and so that and . The map is given by and . The smooth part of the intersection of our curve with must be as described above, and the parametrization of the smooth part by must also be as above. The fiber is over a point where has two coordinates related by the equation . This fiber is equal to the corresponding open subset of our curve and parametrized correctly if and only if .
We have shown that after choosing any one of the holomorphic maps there is a unique holomorphic map onto a fiber of with smooth part equal to this. Therefore, there is a unique holomorphic map which factors as an inclusion as a fiber of followed by quotiententing by the action of the group . In particular, there is a unique holomorphic map satisfying the required conditions of our theorem. This completes the construction of our map for each individual fiber. We must now verify that the resulting map on the total space has regularity .
To verify the regularity of the map we’ve constructed, we need only to work locally around a fiber. As this is local, we may assume that the base of our family is covered by a single standard coordinate chart. Start with the map on a single fiber constructed above. We shall prove that this extends to a fiberwise holomorphic map from a neighborhood of the fiber. The uniqueness of our map on fibers shall then imply that this map must agree with the map constructed above, proving the required regularity. We shall consider to give a family of targets, to which we shall first construct a smooth map from a neighborhood of the fiber, and then apply Theorem 2.14 to correct this to a fiber wise holomorphic map.
Construct a smooth extension of using local coordinate charts as follows. Cover with a finite number of charts of the following three types: the charts mentioned earlier which cover edges of the image of ; charts covering punctures of the image of , which are all of the form of some open subset of ; and charts containing only smooth parts of the image of , which can all be identified with some open subset of times . On , consider a single coordinate chart on which we may assume (without losing generality in this part of the construction) is equal to some subset of containing all strata of . ( If this is not the case, and our coordinate chart on is a subset of , we may construct our smooth map to be independent of the coordinates.) Cover the inverse image of this coordinate chart in with a finite number of coordinate charts which project to in one of the standard forms for coordinate charts on families discussed in [12]. Construct these charts small enough so that the portion of contained in any one of these coordinate charts is contained well inside one of the coordinate charts on . In this case say that is ‘sent to’ the corresponding chart on .
Consider a chart on which is sent to a chart corresponding to the th node of . We may assume that if any two of these coordinate charts intersect, then the tropical part of the intersection is equal to .
Define valued integral affine functions and on as follows: If the tropical part of intersecting this chart is sent to a single point in , then set all three of these functions equal to . If not, define at to be the length of the inverse image of in , and define on to be the distance to either end of the fibers of , choosing the relevant ‘ends’ so that on the intersection with these are equal to the pull back of times some constant. Now define the function on by multiplying together all the functions from each of the coordinate charts above. Note that on the intersection with , this integral affine function is equal to . We now define integral affine functions which correspond to . Define a partial order on these charts as follows: if is greater on the part of in chart 1 than on the part of in chart 2, and at some point strictly greater, then say that chart 1 is greater than chart 2. Define on to be equal to the product of with for all greater that . Similarly define . Define the function on to be equal to the unique monomial so that and restricted to is equal to the pull back of from . Doing the same for all other nodes and setting the other coordinates constant gives our smooth map from our subset of to .
Now choose functions on each coordinate chart so that
-
(1)
-
(2)
-
(3)
Restricted to , is equal to the pull back of from .
Because the tropical part is compatible with coordinate changes, and because is compatible with coordinate changes, these functions are compatible with coordinate changes on any fiber with smooth part equal to the smooth part of , and are almost compatible with coordinate changes in a small neighborhood of . We can therefore modify them to obey all the above conditions, and be compatible with coordinate changes, defining smooth exploded functions on the union of all coordinate charts which are sent to . These together with the map from our subset of to defined above define smooth maps from these coordinate charts to which are compatible with coordinate changes.
We must also define our map on coordinate charts which are sent to coordinates charts on which are a product of with some open subset of . As we already have our map to , this amounts to constructing a map into , which we shall give a coordinate . The construction of this map is entirely analogous to the construction of the function above. Once we have done this, we have smooth maps from each of our coordinate charts into which are compatible with coordinate changes on any fiber with smooth part equal to the smooth part of , and which agree with the map constructed earlier on . There is no obstruction to modifying these maps to give a smooth map which is compatible with all coordinate changes and satisfies the required conditions.
We have now shown that there exists a smooth map
so that the restriction to the fiber is holomorphic. (We proved this under the assumption that is covered by a single coordinate chart.) We now wish to show that this can be modified to a fiber wise holomorphic map on a neighborhood of . We shall show below that if the above is considered as a map into a family of targets , the cokernel of the relevant linearized operator is naturally identified with the cotangent space of . To deal with this cokernel within the framework of this paper, we shall extend our map to a smooth map
where the tangent space of is identified with , and the derivative of this map on the factor at is the identity.
Consider the corresponding linearized operator at restricted to our curve . This is just the standard operator on sections of the pullback of to . Standard complex analysis tells us that as is stable, this operator is injective, and has a cokernel which we may identify with ‘quadratic differentials’, which are holomorphic sections of the pull back to of the symmetric square of the holomorphic cotangent bundle of which vanish at punctures. (This actually corresponds to allowing a simple pole at punctures viewed from the smooth perspective as quadratic differentials on look like holomorphic functions times ). This is proved by showing that the quadratic differentials are the kernel of the adjoint of . All we shall use is that the relationship is as follows: the wedge product of with gives a two form which is equal to . This vanishes at all edges and punctures because does, so the integral is well defined. Therefore, as it equals , and is a one form which vanishes on punctures, the integral of the wedge product of with over must vanish. As holomorphic sections of the pullback to of any bundle on can be identified with holomorphic sections of the bundle on , we may identify the cokernel of our with the quadratic differentials on .
We can also identify the holomorphic cotangent space to at the image of the curve with the space of quadratic differentials as follows: Refine so that is the fiber over a smooth point, and trivialize a small neighborhood of in the corresponding refinement of . Given a tangent vector to , by differentiating the almost complex structures on fibers using our trivialization, we then obtain a tensor which is a section of . The derivative of using this trivialization at the curve in the direction corresponding to is . Then taking the wedge product of with a quadratic differential gives a two form on which we can then integrate over . The result of this integral does not depend on the choice of trivialization because of the above discussion identifying the cokernel of the restriction of to vertical vector fields with the quadratic differentials. It is a standard fact from Teichmuller theory that this will give an identification of quadratic differentials with the holomorphic cotangent space to when has no internal edges. It follows from this fact that restricting to quadratic differentials that vanish on edges, we get the holomorphic cotangent space to the appropriate strata of the smooth part of . Using this fact, it is not difficult to prove directly that the above gives an identification of the space of quadratic differentials with the holomorphic cotangent space to in general.
Add a bundle to our smooth map to get a smooth pre obstruction model so that the fibers of are dual to the space of quadratic differentials, and is injective and has image complementary to . Theorem 2.14 implies that we can modify on a neighborhood of to a pre obstruction model with a section of . Referring to this neighborhood as , we have
The differential of restricted to the factor at is surjective due to the identification of the cotangent space of with the space of quadratic differentials. Therefore, there is a map from a neighborhood of in to so that the composition with is . This constructs a map from a neighborhood of to which is fiber wise holomorphic, and which is equal to our chosen map on . The uniqueness proved above gives that this must agree with our map to , therefore this map must therefore actually be .
Recall the definition of a core family given on page 2.5. The following theorem gives criteria for when a given family with a collection of marked point sections is a core family:
Theorem 2.26.
A family of stable -positive curves with group of automorphisms, finite, nonempty set of disjoint sections which do not intersect the edges of the curves in and a map
is a core family for some open neighborhood of if and only if the following criteria are satisfied:
-
(1)
For all curves in , there are exactly maps of into and the action of on the set of maps of into is free and transitive.
-
(2)
For all curves in , the smooth part of the domain with the extra marked points from has no automorphisms.
-
(3)
The action of preserves the set of sections , so there is some action of as a permutation group on the set of indices so that for all and ,
where the action of is on , or the set of indices as appropriate.
-
(4)
-
(a)
There exists a neighborhood of the image of the section
defined by the sections so that
restricted to is an equi-dimensional embedding
-
(b)
The tropical part of is a complete map, and restricted to any polytope in is an isomorphism onto a strata of the image in under of some open neighborhood of in .
-
(a)
-
(5)
-
(a)
restricted to the zero section is equal to ,
-
(b)
restricted to the natural inclusion of over the zero section is equal to the identity,
-
(c)
restricted to the vertical tangent space at any point of is injective.
-
(a)
Proof: Throughout this proof, use to refer to . Consider the pullback of the family of curves under the map
This gives a family of curves over with extra punctures. For any individual curve, , criterion 1 implies that the family contains exactly curves which are contained in , and criterion 4 implies that intersects the image of the section under transversely at each of the points in corresponding to these curves. Therefore, for any curve in sufficiently close to in , intersects the image of transversely times so that the corresponding curves in are close in to curves in . In other words, there exists a neighborhood of in and a neighborhood of so that for any curve in , intersects the image of transversely exactly times, where indicates the restriction of to curves in .
It follows that for any family of curves in , the following fiber product comes with an equidimensional submersion of degree to .
| (1) |
Actually, criterion 4 implies that the above fiber product is locally equal to a subset of which is defined by the inverse image of some regular value of a , valued function, so the above submersion is actually a -fold cover of . We therefore get a map from this -fold cover of to . Criterion 3 implies that the action of on gives an action of on which does nothing apart from permuting the marked points. As the image of automatically contains all the results of a permutation of marked points, this action gives an action of on the above fiber product in (1). This makes the above -fold cover of into a -bundle because the action on simply permutes the marked points, so each -orbit is contained within the same fiber of . Therefore, the above map from our -bundle to is equivalent to a map from to . It follows from Theorem 2.25 that if is , this map is actually map.
There is a unique lift of this map to a fiberwise holomorphic map
so that is equal to when restricted to the pullback under of each of the sections . This map is constructed as follows: Consider the map
| (2) |
which is equal to composed with a projection forgetting the image of the st marked point and also equal on the second component to the composition of the projection with the map . Criteria 2 and 4 imply that this evaluation map is an equidimensional embedding in a neighborhood of , and the following is a pullback diagram of families of curves
Use the notation for the -bundle over featured above in (1)
The action of on is some permutation of marked points. This action extends to a action on permuting these marked points, and lifts to a action on which just permutes the same marked points. Let be the subset of over . The above mentioned action almost makes a -bundle over , except instead of locally being composed of copies of , the ‘bundle’ is locally equal to copies of with extra marked points.
There is a unique fiberwise holomorphic map from to so that on . The extra marked points on are just the pullback of the extra marked points on , and as all curves in are stable, and the extra marked points are distinct points in the smooth components of , for close enough to , the extra marked points on shall also correspond to distinct points in the smooth components of . It follows that we may forget the extra marked points in the domain and target of to obtain a fiberwise holomorphic map map from a bundle over to which corresponds to a map . The uniqueness of implies the uniqueness of such a holomorphic map so that restricted to the inverse image of the extra marked points, is equal to .
The fact that this map is means the composition of it with is . This is by construction close to our other family of curves , and is equal to on all the marked points coming from . Criterion 5 states that restricted to fibers of is an equidimensional embedding into fibers of . Therefore, there is a unique section of which vanishes at all marked points so that . Therefore is a core family for .
The following proposition constructs a core family containing a given stable holomorphic curve which has at least one smooth component (so it isn’t ).
Proposition 2.27.
Given a stable, connected, holomorphic curve with at least one smooth component in a basic family of exploded manifolds and a collection of marked points in the interior of the smooth components of , there exists a core family with a family containing so that the restriction of to contains the given marked points .
Proof: The automorphism group of shall be equal to the group of automorphisms of , the smooth part of .
By restricting to an open subset of our family containing the image of our curve, we may assume that is an integral affine polytope.
We shall enumerate the steps of this construction so that we can refer back to them
-
(1)
Choose extra marked points on the smooth components of so each smooth component of contains at least one marked point, the smooth part of has no automorphisms with these extra marked points, and so that that we can divide the marked points on into the following types:
-
(a)
On any smooth component of which is unstable, choose enough extra marked points at which is injective to stabilize the component. Note that has a well defined action on the smooth part of . Choose the set of marked points of this type to be preserved by the action of . (Note that the fact that is a stable holomorphic curve implies that each unstable smooth component of must contain a nonempty open set where is injective.)
-
(b)
Choose the set of remaining marked points to be preserved by the action of .
-
(a)
-
(2)
The tropical part of the family will be an integral affine polytope , or a disjoint union of some number of copies of this polytope . Construct this polytope as follows:
-
(a)
Construct a polytope as follows: The image of each marked point is contained in the interior strata of a coordinate chart with tropical part . Construct by taking the fiber product over of the polytopes , then take the product of this with a copy of for every internal edge of . The coordinates on record the tropical position of each marked point, and the length of each internal edge of the tropical curves in our family. Note that is a convex integral affine polytope.
-
(b)
Consider the tropical structure of the map discussed in [12]. Corresponding to each marked point , there is a point . Corresponding to each homotopy class of path between marked points and on a smooth component, there is a map . The requirement that is an integral affine condition. Similarly, there is an integral affine condition corresponding to an internal edge of as follows: The image of the edge is contained in a coordinate chart with tropical part . Given a path joining the marked points to the edge , there is an inclusion . If and are at opposite ends of the edge , the requirement that and are joined by an edge of the specified length and with the same velocity as the original edge of is an integral affine condition on . The polytope is the solution to these integral affine conditions. As was a convex integral affine polygon, is too. must be nonempty because it contains a point corresponding to .
-
(a)
-
(3)
Use equivariant coordinate charts on as constructed in [13]. Recall that a coordinate chart has a action which is given by multiplying the coordinates of with constants in . So
(This action is only sometimes defined.) A map is equivariant if there exists a homomorphism so that . Note that every map is equivariant restricted to the interior of . Coordinate charts on are equivariant if each transition map is either equivariant or its inverse is equivariant, and if the projection to in coordinates is equivariant.
-
(4)
Construct as follows: Coordinates on shall be given by the position of marked points and the complex structure of our curves. will be equal to some open subset of . First construct in analogy to which will have tropical part . will be an open subset of a refinement of corresponding to .
-
(a)
Construct using the following coordinates:
-
(i)
For each marked point from part 1a, as is injective, we can choose a coordinate chart on which identifies a neighborhood of with , so that the restriction of to a neighborhood of is equal to an inclusion where and is given by . We can also construct our coordinate chart above so that the slices are all contained in a fiber of , so that there is a well defined submersion . We can construct this coordinate chart by taking one of the equivariant coordinate charts from item 3 and reparametrising the factor, which will not affect the equivariance property. Use the same coordinate chart for each marked point in an orbit of . Include in our coordinates for the fiber product of for every marked point from part 1a.
- (ii)
-
(iii)
Each smooth component of can be regarded as a stable punctured Riemann surface with labeled punctures determined by the exploded structure of plus the extra marked points from part 1a. Take the product of the above coordinates from part 4(a)i and 4(a)ii with a uniformizing neighborhood of the corresponding point in Deligne Mumford space for each smooth component of . Do this so that the obvious action is well defined.
-
(iv)
Take the product of the above coordinates with a copy of for each internal edge of .
-
(i)
Observe that the tropical part of , is equal to . If is dimensional, there is a (sometimes defined) free action on given by multiplication on the correct coordinates from item 4(a)i, 4(a)ii and 4(a)iv. The (sometimes defined) action of a subgroup preserves where is dimensional. There is a corresponding action of on each of the coordinate charts referred to in item 4(a)ii (which of course is not necessarily free).
There is a distinguished point corresponding to our curve , which is the point in item 4(a)i and 4(a)ii, the point corresponding to the complex structure on the smooth components of in item 4(a)iii, and for item 4(a)iv, where the strata of corresponding to the internal edge in question is equal to . Roughly speaking, our family will be some neighborhood of orbit of this point under an action of and the above mentioned action.
-
(a)
-
(5)
Construct as follows:
-
(a)
Take any refinement of so that the includes a strata with closure equal to .
- (b)
-
(a)
-
(6)
We shall now construct . Roughly speaking, the coordinates 4(a)iii and 4(a)iv give a map from to which at corresponds to the complex structure on with the extra punctures mentioned in 1a. Pulling back gives with the sections corresponding to marked points from 1a, and we just need to extend the other marked points to appropriate sections to define with all its sections . We shall do this below in an explicit way to enable us to describe more explicitly the extension of the map to .
-
(a)
Choose holomorphic identifications of a neighborhood of each internal edge of with
so that these neighborhoods are disjoint, and all marked points are in the complement of these annuli . Do this so that the set of images of in the smooth part of are preserved by the action of . Also choose where is the constant mentioned in part 5b above. (Of course, to achieve this, we need to choose small enough.)
-
(b)
Use the notation to refer to the part of corresponding to . This is given as follows:
In the construction of , replace the factor of from item 4(a)iv corresponding to the edge with . If this has coordinates , then let be the subset of this so that and . The map is given by the map and is the identity on all other coordinates.
There is a natural action of on the union of these given as follows: On the coordinates corresponding to all coordinates on apart from part 4(a)iv, there is an obvious action of . If sends the smooth part of to , the pull back of smooth part of the coordinates on is equal to some constant times the smooth part of the corresponding coordinates on . Define the map from to by defining the pull back of and simply to be the corresponding coordinate multiplied by the above constant, and the pull back of other coordinate functions as given by the obvious action on coordinates from parts 4(a)i, 4(a)ii and 4(a)iii. This induces an action of on so that the map is equivariant.
We have chosen to be a equivariant subset of . Let be the restriction of to the inverse image of .
-
(c)
Label by the connected components of the complement of the sets . Again, use the notation to refer to the corresponding part of . This is simply given by the product
The map is simply projection onto the second component. Note that there is an action of on the union of these given by the action on defined at the end of item 6b above, and the action of on the union of as a subset of the smooth part of .
-
(d)
The transition maps between and induce in an obvious way transition maps between and , which defines the family . Note that the inverse image of our special point is equal to . Note also that these transition maps are compatible with the action of on the union of the and the union of the , so there is an action of on .
Remembering the positions of our marked points in gives the sections referred to in the statement of this proposition.
-
(e)
It remains to construct the complex structure on the fibers of . Recall that the coordinates on from item 4(a)iii are intended to give the almost complex structure on smooth components of . Choose a smooth family of complex structures on the smooth components of parameterised by these coordinates with the correct isomorphism class of complex stucture, so that at our special point is the original complex structure on , and restricted to the the subsets is also the original complex structure. Do this equivariantly with respect to the action of on the smooth part of and the action of on the coordinates from part 4(a)iii. This gives a family of complex structures on the fibers of . This is compatible with the standard holomorphic structure on , so using this gives us our globally defined . Note that the restriction of this to the curve corresponding to our special point will give with the original complex structure.
-
(a)
-
(7)
Construct the family of maps . This will involve translating around pieces of the original map , modifying this map near marked points as directed by the coordinates of , and gluing together the result. The last ‘gluing’ step only affects the map on , so we shall now perform the first two steps to construct on .
Construct on as follows:
-
(a)
Recall that there is a (sometimes defined) action of on and a corresponding action of on the coordinate charts on containing the marked points. As we chose our coordinate charts on equivariantly and is basic, this action of can be extended to a collection of coordinate charts which contain the image of a smooth part of . If , where is the special point corresponding to , then define
This defines on the part of which projects to the orbit of under the action of . Note that this map is preserved by the action of the subgroup of which sends to some . We may extend the definition of to be equivariant on the orbit of under the action and the action of .
-
(b)
We must make sure that each of the individual smooth curves in are contained in the correct fiber of . Note that this is automatically true so far, because of the compatibility of our and action with the map . (In fact, there is a (sometimes defined) action of on so that this map is equivariant.) We shall now extend the definition of to a subset of which is equal to times where it is already defined by ‘translating in directions coming from ’.
As constructed, the obvious map (trivial on all coordinates apart from those from items 4(a)i and 4(a)ii), is a submersion which is preserved by the action of . The image of the tropical part under this map is some polytope and the image of under this map is an open subset of some refinement of that has the interior of as a strata. If is chosen small enough, this open subset of the refinement of is isomorphic to . We can pull our family back to to be a family over . If was chosen small enough, this family will split into a product which is the identity on the component, and some family on the second component. We can choose this splitting so that it is compatible with our local actions of on coordinate charts . This also gives a splitting of into . We can choose this splitting so that the subset of where we have already defined is contained inside . Now we can define as a map to follows:
Here denotes coordinates on . This map is defined on a invariant subset, and is preserved by the action of .
-
(c)
Split further into an open subset of , so that our map is defined so far on the subset of which is over , and the splitting is preserved by the action of . Extend the map defined so far to a smooth map defined on all of so that
-
(i)
fits into the commutative diagram
-
(ii)
is preserved by the action of on .
-
(iii)
On the intersection of with and outside a small neighborhood of all marked points, . (This uses coordinates .)
- (iv)
- (v)
-
(i)
-
(a)
-
(8)
Now to define on . Consider the subset of obtained by taking the orbit of the point corresponding to under the previously mentioned action of and the action of .
Cut into two pieces. Translate each piece the same way as the it is attached to, and then use a smooth gluing procedure to glue together the result which only modifies on the region where does not intersect . ( Examples of such a smooth gluing procedure are given in [13] and [15].) Do this so that is compatible with , and is preserved by the action of . Note that modification is not necessary over the point corresponding to .
-
(9)
We have now constructed the required family of stable -positive curves.
This map is smooth or if is. The family with the sections satisfies criteria 1, 2 and 3 from Theorem 2.26 on page 2.26, and if is any map
given by exponentiation using some smooth family of connections on , then is if is, and satisfies the criterion 5 from Theorem 2.26. Therefore, it remains to check criterion 4 from Theorem 2.26.
In the remainder of this proof, let denote the number of our sections, so . We need to show that the evaluation map from to times the fiber product of with itself times
is an equidimensional embedding when restricted to some neighborhood of the section given by our sections , and to check a condition on the tropical part of . Coordinates on a neighborhood of the image of are given by coordinates on and coordinates on a neighborhood of each marked point. The evaluation map from this neighborhood splits into two equidimensional embeddings as follows: By construction, the coordinates from 4(a)iii and 4(a)iv together with the coordinates around all marked point not of type 1a describe an equidimensional embedding into . The coordinates from 4(a)ii, and the coordinates from 4(a)i plus the coordinates around marked points of type 1a describe an equidimensional embedding to restricted to a small enough neighborhood. (We should restrict to a suitably small equivariant subset so that this holds.)
Recall that the tropical part of is some number of copies of a polytope , which we constructed by subjecting a polytope in the tropical part of to the conditions that a tropical curve must satisfy, so is a polytope in the image of in the tropical part of under . By construction is an isomorphism from considered as a polytope in the tropical part of to considered as a a polytope in the image of in the tropical part of under . Therefore, criterion 4 holds.
We have now checked that satisfies the requirements of Theorem 2.26, and may construct the additional map required for criterion crit5 using a smooth connection and parallel transport then reparametrizing so that remains injective on fibers. Therefore is a core family for some open substack of .
We now prove the existence of obstruction models, defined on page 2.12.
Theorem 2.28.
Any stable holomorphic curve with at least one smooth component in a basic exploded manifold is contained inside some obstruction model .
Proof:
Proposition 2.27 tells us that the curve must be contained in a core family . We may choose this core family to include any collection of marked points on , so after choosing a ( invariant) trivialization, Theorem 2.17 implies that we may arrange that is injective. Theorem 2.17 implies that we may then choose a finite dimensional complement to consisting of sections of . Below, we check that we can make compatible with the action of and extend it to a invariant pre obstruction model .
Extend this to all curves in with the same smooth part as . Consider as giving a projection onto the (-invariant) image of . We may average this projection under the action of to obtain a -invariant projection corresponding to a different, invariant complement to , so far defined over the curves in with the same smooth part as . This is canonically a trivial bundle. The action of gives a linear action of on so that . In a neighborhood of , choose sections of so that restricted to , is close to the section of corresponding to the th standard basis vector of . Then consider the sections of defined by
Note that the action of will preserve the span of these sections:
Note also that if restricted to , each was chosen to be exactly equal to the section of corresponding to the th standard basis vector of , then . Therefore, close to , the span of the sections gives a -invariant pre obstruction model so that restricted to , is complementary to the image of . Then Theorem 2.14 gives that restricted to a small enough open neighborhood of , we may modify to a equivariant family so that is a section of , and is a obstruction model.
The following theorem describes the ‘solution’ to the equation perturbed by multiple simple perturbations parametrized by different obstruction models.
Theorem 2.29.
Given
-
•
a finite collection of core families for the substacks ,
-
•
an open substack which meets properly for all (definition 2.22),
-
•
an obstruction model for the substack
-
•
compactly contained invariant sub families ,
then given any collection of simple perturbations parametrized by which are compactly supported in and are small enough in , and a sufficiently small simple perturbation parametrized by there exists a solution mod on which is a equivariant weighted branched section of with weight (see example 3 below definition 2.19) so that the following holds:
Locally on (so restricted to a small enough equivariant neighborhood of any curve in ),
where is a section of , and is in so that is in and in the notation of example 2.23 on page 2.23
so that
The weighted branched section is the unique weighted branched section of with weight satisfying the following two conditions:
-
(1)
Given any curve in and choice of and , so that
if
and near ,
then the sum of the weights so that is in is equal to the sum of the weights so that is equal to .
-
(2)
For any locally defined section in , if the multi perturbation , and is a section of , then locally, .
This weighted branched section determines the solutions to the perturbed equation on in the following sense: Given any family in , if , then around each curve in which projects to the region where the above are defined, there is a connected open neighborhood in with at least different maps to .
If is another collection of simple perturbations satisfying the same assumptions as then the sections corresponding to , with the correct choice of indexing can be forced to be as close to as we like in by choosing close to in . If is a family of simple perturbations satisfying the same assumptions as , then the corresponding family of solutions mod , form a family of weighted branched sections.
Proof:
Use to denote the restriction of to the subset with core . As meets properly for all , and is compactly contained in , there is some neighborhood of in and some finite covering of by extendible obstruction models so that either
-
•
for all which are the restriction to of sections in , is contained inside
or
-
•
does not intersect for any which is the restriction to of some section in .
Let indicate the set of indices so that the first option holds, so is contained inside for small enough.
The main problem that must be overcome in the rest of this proof is that the simple perturbations are not parametrized by . We will extend to a family which can be regarded as parametrizing the simple perturbations for all and use the resulting unique solution to the corresponding perturbed equation over to construct the weighted branched section of which is our ‘solution’ with the required properties. This will involve reexamination of ideas that came up in the proof of Theorem 2.26.
Use the notation
for the map coming from the extra marked points on the core family .
The map has the property that it is an equidimensional embedding in a neighborhood of the section . There exists an open neighborhood of the family of curves so that given any curve in , if indicates the restriction of the family to , then intersects transversely exactly times, corresponding to the maps from into .
Consider the family . Use the notation to denote the vector bundle over which is the pullback under of the vertical tangent space of the family . The action on gives a action on . Any section of corresponds in an obvious way to a section of , and the map corresponds to a invariant map
so that
Use the notation to denote the restriction of to the subset
Define a map
so that is equal to the natural map coming from the complex structure of curves in on the first component, and on the second component. So
The map is and invariant.
Use the notation for the restriction of to the inverse image of a curve . For any section small enough in , the map restricted to intersects transversely in exactly points. Denote by the subset of which is the pullback of the image of the section :
is invariant, and close to the zero section in , has regularity , and for sections small enough in , is transverse to and is a -fold multisection .
Use the notation for the pullback along the map of the vector bundle , for the inverse image of in , and for the pullback of to a section of . Define a map
so that recalling the notation from (2) on page 2 in the proof of Theorem 2.26,
Note that
Of course, everything in the above construction is invariant. The fact that and are embeddings in a neighborhood of imply that there are natural maps
| (3) |
so that the map on the left is an isomorphism on each fiber, and the map on the right is the map that forgets the extra marked points. We can define a family of curves by forgetting the extra marked points in the family - so is equal to the domain of the pullback of the family over the map . The above map of families of curves (3) factors differently into the following diagram
| (4) |
Note that and are invariant. As discussed in the proof of Theorem 2.26, the right hand map above determines the maps from the definition of the core family in the following sense: For small enough, the intersection of with is transverse, and is a -fold cover of , which lifts to a -fold cover of which is a subset of . Then gives a map of our -fold cover of into , which corresponds to the map .
Denote by the fiber product of over for all , and denote by the fiber product of over for all ; so is a vector bundle over with a natural action. A section of corresponds in the obvious way to a section of which is equal to on each factor. Similarly, denote by the open subset of inside on each factor. Denote by the subset corresponding to all restricted to a neighborhood of the zero section small enough that is . We can choose small enough so that pulling back over the map gives an extendible invariant pre obstruction model . Note that is some open subset of the fiber product of over for all , so the maps from (4) induce invariant maps
Pulling a simple perturbation parametrized by back over the map gives a invariant simple perturbation parametrized by . Use the notation
If is any small enough section of , then the multi perturbation defined as in example 2.23 on page 2.23 can be constructed as follows: If is small enough, then is transverse to , and the intersection of with is a -fold cover of in which lifts to an -fold cover of inside (where ). Together these give the domain for a family of curves which is a -fold multiple cover of . Restricting to then gives a section of , which corresponds to a -fold multi section of . Locally, giving each of these sections a weight gives a weighted branched section of with total weight which is equal to the multi perturbation defined as in example 2.23.
As comes from an obstruction model, is injective and complementary to for all in and therefore all in , so Theorem 2.14 applies to and implies that there is some neighborhood of in the space of simple perturbations parametrized by so that for such any in this neighborhood, there is a unique small section of vanishing at the relevant marked points so that . The fact that is part of an obstruction model for implies the following uniqueness property for if is small enough: Given any curve in and section in so that is in , then if and only if is the restriction to of .
Denote by the pullback of over the map , and denote by the pullback of . Of course there is a natural action on and so that the following commutative diagram is equivariant.
This comes with two maps into : one the restriction of the map , and one the restriction of the map . Denote by the subset of on which these two maps agree. Because these two above maps agree when composed with the relevant maps to , can be regarded as the fiber product of with itself over and is the diagonal in this fiber product . Therefore, is and the map is an isomorphism. A section of defines a section of the vector bundle so that if is the pullback over the map of some section of , then is the pullback of . We can define similarly to the definition of .
As is transverse to for small enough and gives a -fold cover of , is transverse to for small enough, and also defines a -fold cover of with regularity . To see this, suppose that is the pullback of some . Then is transverse to , and is an fold cover of which is a pullback of over the map . These sections of are constant on fibers of the map , and are therefore transverse to the diagonal section , and when intersected with give an -fold section of . This transversality and the fact that defines a -fold cover of with regularity is stable under perturbations of , so it remains true for small which aren’t the pullback of some .
We may consider this multiple cover of as being a multi section of , which lifts to a -equivariant multi section of . Restricting our invariant to this multi section gives locally sections of with regularity . We may similarly pullback the sections to give locally sections . Then
| (5) |
is the invariant weighed branched solution which is our ‘solution mod ’. We shall now show that this weighted branched section has the required properties if is small enough. Note first that close by simple perturbations give close by solutions . Also note that if we have a family of simple perturbations , Theorem 2.14 implies that the corresponding family of solutions to is a family, so the corresponding weighted branched sections form a family.
If we choose small enough, then will not intersect for any . Therefore, the multi perturbation under study is given by
| (6) |
where is constructed as follows: is a -fold cover of the open subset of where is defined. By working locally, this -fold cover can be thought of as local sections of , which lift to local sections of . The restriction of to these local sections gives the sections of in the formula (6) above. As one of these sections of coincides with the multi section mentioned in the paragraph preceding equation (5) obtained using the solution to the equation , one of the sections of has the property that .
Suppose that is in the region of where these in formula (5) are defined and in is small enough so that is in . If the simple perturbations are chosen small enough, the fact that is an obstruction model will imply that if where and , then must be small - choose small enough that such must have intersecting transversely times and is not in for all . Then where the sections of are obtained as follows: The points of correspond to maps of into - the sections are given by pulling back the simple perturbation over these maps. Then if and only if is equal to the pullback under the relevant map of the solution to . Therefore, if is small enough, the number of so that is equal to the number of from formula (5) so that .
Similarly, if is locally a section of vanishing on the relevant marked points so that and where and , then so long as is small enough, is locally a -fold cover of corresponding to sections of which lift locally to sections of . Then must locally correspond to the pullback of under one of these local maps , and must locally be the pullback of the solution to . It follows that must coincide locally with one of these from formula (5), and the weighted branched section locally equal to is the unique weighted branched section with the required properties.
Suppose that is a family of curves in the subset of projecting to the region where our are defined so that and . Then using that is a core family, after locally choosing one of the maps from to we may pull back and to be bundles over . The corresponding bundles and may also be constructed in the same way as the original bundles using the induced trivialization on from . The section vanishing at the correct marked points so that corresponds to a section of this pulled back which is transverse to the pulled back and intersects this pulled back in an -fold cover of . This -fold cover of comes with a map to , corresponding to a map to which lifts to a fiberwise holomorphic map of a -fold cover of to so that is determined by pulling back over this map, then giving the simple perturbation from each branch of the cover a weight and summing the result. As , locally at least of these simple perturbations must be , and must be the pullback under each of the corresponding maps of the solution to , and its image must be contained in the subset where . It follows that around each curve in , there is a map of a neighborhood into at least of the with image contained in the subset where , and with the map corresponding to our local choice of lift of the map coming from the fact that is a core family. Without a choice resolving this -fold ambiguity, this corresponds to there being at least maps of into .
2.10. Construction of virtual moduli space
We now begin a construction of a virtual moduli space for the moduli stack of holomorphic curves which is an oriented weighed branched substack of . This will include the proof of Theorem 2.24 stated on page 2.24.
Any stable holomorphic curve with at least one smooth component in a basic family of targets is contained in some obstruction model , and any obstruction model covers an open neighborhood in the moduli stack of holomorphic curves. If is compact and Gromov Compactness holds for in the sense of Definition 1.2, then the substack of holomorphic curves in may be covered by a finite number of extendible obstruction models.
The rough idea of how the virtual class is constructed is that the equation is perturbed in some neighborhood of the holomorphic curves in to achieve ‘transversality’, and a solution set. ‘Transversality’ is easy to achieve locally with a simple perturbation parametrized by an obstruction model. For such a simple perturbation to be defined independent of coordinate choices, it must be viewed as a multi-perturbation in the sense of example 2.23 on page 2.23. One problem is that for a simple perturbation to give a multi-perturbation restricted to a particular family, that family must meet the domain of definition of the simple perturbation properly in the sense of Definition 2.22 on page 2.22.
Restrict our obstruction models to satisfy the requirements of Theorem 2.29 as follows. Each of the obstruction models we start off with has an extension on . This substack can be viewed as corresponding to a neighborhood of in . We may assume that this neighborhood is convex, and denote by the open substack corresponding to the above neighborhood multiplied by (i.e. sections so that is in the above neighborhood). The fact that is an obstruction model for implies that any holomorphic curves that are in are actually contained in the the family , so all holomorphic curves in are contained inside . We may assume that itself is an extendible obstruction model, and that the closure of contains no holomorphic curves. Define an open neighborhood of the part of the stack of holomorphic curves under study by
The substack meets with the core family properly in the sense of Definition 2.22. We may restrict our original obstruction model family to a invariant sub family which is compactly contained inside so that still contains the same set of holomorphic curves as our original obstruction model. Use the notation to refer to the restriction of to the subset with core given by this new family . meets all these new properly, so item 1 from Theorem 2.24 holds, and any compactly supported simple perturbation parametrized by defines a multi-perturbation on as in Example 2.23.
Theorem 2.29 holds for this collection of obstruction models when we use on the corresponding restriction of for the extensions of our obstruction models on . It follows that item 2 from Theorem 2.24 holds.
In particular, for a collection of compactly supported simple perturbations parametrized by , let denote the multi perturbation on so that
where is as in example 2.23. Then for some convex neighborhood of in the space of collections of compactly supported simple perturbations , for each of our obstruction models , there exists a unique weighted branched section of so that locally on ,
| (7) |
where vanishes on marked points, and is a family of curves in so that
| (8) |
where
Moreover, given any curve , if , then the sum of the weights so that is in is equal to times the number of the above so that is contained in the family .
Say that is transverse to on a sub family if each of the sections of are transverse to the zero section of on . If indicates the multi perturbation corresponding to a collection of simple perturbations close in to , then Theorem 2.29 implies that the sections corresponding to will be close to , and the corresponding sections of will also be close to the original sections. It follows that the subset of consisting of collections of perturbations so that is transverse to on any particular compact sub family is open in the topology. If we choose to consist of a simple perturbation which take values in and leave the other simple perturbations unchanged, then the sections from equation (7) will be equal to the sections , and will be modified by acted on by some element of the group . It follows that the subset of so that is transverse to on a given compact subset is dense and open in , so item 3 from Theorem 2.24 holds. Similarly, to prove item 9 later on, note that given a map of a compact exploded manifold into , the set of perturbations for which the map to from intersection of with the zero section restricted to is transverse to is open and dense.
Say that is fixed point free on the sub family if none of the curves in over have smooth parts with a non trivial automorphism group. If is compact, the set of such curves within some over is compact. If is the multi perturbation corresponding to a close collection of simple perturbations, then Theorem 2.29 implies that the set of corresponding curves in over are close to the original set, so if is fixed point free on , is fixed point free on if the new simple perturbations are chosen close enough in . If is compact, it is covered by a finite number of compact subsets on which the sections from equation (7) are defined. Theorem 2.29 implies that for any close by modification of , there exists a small modification of to so that is the solution corresponding to the modified multi perturbation . If the relative dimension of is greater that , may be chosen so that contains no curves who’s smooth parts have non trivial automorphism group. We may proceed with a finite number of modifications to make each fixed point free so that each modification is small enough that it doesn’t change the fact that the sections previously concentrated on are fixed point free. Therefore, item 4 from Theorem 2.24 holds and the subset of our space of perturbations so that is fixed point free is open and dense. (This is of course not the case when the relative dimension of is zero - in other words, is just a family of points; then all our perturbations are trivial, and the nature of the moduli space of holomorphic curves is easily deduced from Theorem 2.25.) Similarly, if the relative dimension of is not zero, then given any two perturbations , in the set under consideration which are fixed point free on , a generic family family of perturbations in the set under consideration joining to is fixed point free on .
As is compact, and Gromov compactness holds for , we may cover the moduli stack of holomorphic curves in by invariant open sub families with closures which are compact. Let denote the subset of with core . Let denote the union of . This is some open substack which contains the holomorphic curves in . Theorem 2.29 implies that if the collection of simple perturbations is small enough in , then if any curve in over satisfies where , then is in . So if we choose our open set of perturbations small enough, item 5 from Theorem 2.24 holds.
Say that is fixed point free and transverse to if is fixed point free and transverse to on all of the above subfamilies . The preceding argument implies that is fixed point free and transverse to in this sense for an open dense subset of perturbations in .
Suppose that is fixed point free and transverse to . Then define a weighted branched substack of as follows: Given a curve in the region where equation 7 holds and section in so that , on some open neighborhood of of in ,
where if and , then is the family which is the subset of given by the intersection of with the zero section, restricted to some neighborhood of , and if or , then is the empty substack. Note that as is fixed point free, and is a core family, restricting to small enough neighborhoods in the family , the family and therefore the family is a substack of the moduli stack of curves. In other words, given any family of curves consisting of curves in , there exists a unique map .
The weighted branched substack has the following three properties which make it well defined:
-
(1)
If around any curve in , is equal to and , then the sum of the weights so that is in is equal to the sum of the weights so that .
-
(2)
If locally is equal to , then .
-
(3)
If a family in containing a curve satisfies
then if is equal to on a neighborhood of , then the sum of the so that there is a map from some neighborhood of in to is at least .
Each of these properties follow from Theorem 2.29. Below we shall show that these three properties define uniquely as a complete weighted branched substack of with total weight . Suppose that we have two complete weighted branches substacks on a neighborhood of satisfying the above three properties. By choosing the neighborhood of sufficiently small, property 1 implies that we may write the two weighted branched substacks in the form of
so that each of the families and are connected and contain , and so that there is no map of any nonempty open subset of one of the into another or map of any nonempty open subset of into another . On the other hand, property 2 implies that , so property 3 implies that around every curve in , there is a neighborhood with a map into some number of so that the sum of the corresponding weights is at least . Suppose that there is a map of an open subset of into . Then the same properties imply that this may be composed with a map from some open subset of into some to get a map of an open subset of into , which implies that . Similarly, our open subset of must have a map only to , and as represents a substack, this map is unique. It follows that there are unique maps and . As and represent substacks these two maps must be inverses of one another, and . Property 3 then implies that . Similarly, all the other families and weights must be equal, so the two weighted branched substacks are equal.
We’ve seen that is a complete weighted branched substack of of some fixed dimension. also has a well defined orientation relative to . This orientation is determined as follows:
The core family comes with a collection of sections corresponding to marked points which when taken together give a section so that is an equidimensional embedding in a neighborhood of . The canonical orientation of relative to given by the almost complex structure, and the orientation of given by the complex structure give an orientation to relative to . Give the orientation relative to so that this map is oriented in a neighborhood of the image of , and give the corresponding orientation relative to so that the complex fibers of are positively oriented.
Recall that the vector bundle over is oriented relative to as follows: restricted to a curve in , we may identify with the cokernel of the injective operator , and orient this using a homotopy of to a complex map as in Remark 2.18 on page 2.18.
The orientation of relative to and the orientation of relative to give an orientation to the relative to by considering as the intersection of the section of with the zero section. (The order of intersection does not matter as is always an even dimensional vector bundle because the index of restricted to is even as noted in item 2 of Theorem 2.17.) We must see why this construction gives a well defined orientation for relative to - in other words why we will get the same orientation using a different obstruction model. As a first step, we may replace the family with the family which actually contains , and do our calculation of orientations at a curve in . This will not change the orientations constructed as above, as item 1 of Theorem 2.14 imply that will remain complementary to the image of . We may add a collection of extra marked points and extend to a family with extra parameters corresponding to the image of these extra marked points so that is an equidimensional embedding in a neighborhood of the section corresponding to all of these marked points. Denote by the complex subspace of consisting of sections which vanish at the extra marked points. The tangent space to the extra parameter space at the curve can also be identified with . The orientation of relative to given by agrees with the orientation from and the orientation from the almost complex structure on the extra parameter space. Again use the method of Remark 2.18 to orient of the cokernel of . As noted in Remark 2.18, the orientation of this cokernel is compatible with the short exact sequence
Therefore, the orientation on we obtain does not depend on the choice of marked points in our obstruction model. Theorem 2.14 implies that all obstruction models containing with the same set of marked points are homotopic in some neighborhood of as all other choices can be changed continuously. The orientation of and the orientation of given above do not change under homotopy, and the multisection of used to define must change continuously under homotopy, but remain transverse to the zero section (and always intersect the zero section at ). Therefore the orientation we obtain on on is well defined. Therefore item 6 from Theorem 2.24 holds.
It is clear from the construction of that that its support in is compact, as it is a finite union of compact subsets, so item 7 of Theorem 2.24 is true.
We must now verify item 8 of Theorem 2.24 which implies that that gives a well defined cobordism class of finite dimensional weighted branched substacks oriented relative to . In particular, given any construction of a virtual moduli space defined using another small enough multi-perturbation which is fixed point free and transverse to , defined on some other open neighborhood of the holomorphic curves in using different choices of obstruction models, we must construct so that its restriction to two different points and in give and respectively.
Choose disjoint open intervals and compactly contained open intervals containing . We may take the product of any obstruction model on with to obtain an obstruction model on . Multiply the obstruction models used to define and by and respectively, and choose a finite set of obstruction models to cover the rest of the holomorphic curves in which project to subsets of not intersecting . Any modification of these obstruction models required for item 1 may be chosen not to affect our product obstruction bundles on .
For each of our original simple perturbations parametrized by , we may choose a compactly supported simple perturbation parametrized by so that for in a neighborhood of , and so that the transversality and fixed point free conditions hold on the interval , and so that outside of is small enough for the rest of the construction of to proceed. We may carry out a similar procedure for the simple perturbations used to define . Then constructed using these perturbations restricts to be over and over .
To prove item 9 from Theorem 2.24, consider a map of a compact exploded manifold to . As noted above, for an open dense subset of the space of simple perturbations, the map is transverse to . Given any obstruction model for , the fiber product of with gives a family of curves in , the fiber product of with . This is the inverse image of under a natural map
given by composing families of curves in with the map . The action of on gives an action of on , and and the trivialization associated with the obstruction model pull back to similarly to give an obstruction model on which is the inverse image of . Note that as meets properly, the inverse image of in also meets properly. We can also pull back any compactly supported simple perturbation parametrized by to a compactly supported simple perturbation parametrized by . The multiperturbation defined on by the pullback of the simple perturbations used to define is the pullback of the multiperturbation used to define , so the virtual moduli space it defines is the pullback of , which can also be regarded as the fiber product of with . If the simple perturbations used to define are small enough, their pullback will also be small enough to define a virtual moduli space in , and their pullback will automatically satisfy the transversality and fixed point free requirements. Therefore, we may use the pullback of these simple perturbations to define the virtual moduli space within .
If there is some set of tropical curves in and maps so that the inverse image of is , then will be a neighborhood of the substack of holomorphic curves in . (A particular case of interest when more than one and is required is when is equal to two points but is connected.) Then each can be constructed using the pulled back obstruction models and simple perturbations, and is equal to the fiber product of with .
In the case of a single target , is a finite dimensional oriented weighted branched substack of . This should be thought of as giving a virtual class for a component of the moduli space of holomorphic curves in , which is a cobordism class of finite dimensional oriented weighted branched substacks of the moduli stack of curves in . The above discussion implies that this virtual class behaves well in a family of targets , so enumerative invariants of holomorphic curves such as Gromov Witten invariants behave well in connected families of targets in the exploded category.
3. Representing Gromov Witten invariants using differential forms
In this section, we define numerical Gromov Witten invariants by integrating differential forms over the virtual moduli space constructed in section 2.10.
If is an exploded manifold or orbifold, a map from the moduli stack of -positive curves to is a map from to considered as a stack. In particular, given any family of curves, it is a map so that given any map of families , the following is a commutative diagram.
For example, is a map. Given any obstruction model, , the projection from an open neighborhood of in to is also a map. Below, we shall construct a evaluation map on . Numerical invariants can be extracted from the virtual moduli space constructed in section 2.10 by integrating over differential forms pulled back from maps from to finite dimensional exploded manifolds or orbifolds.
3.1. The evaluation map EV
Given a punctured holomorphic curve in a manifold , evaluation at a puncture of gives a point in . If is instead a holomorphic curve in an exploded manifold , evaluation at a puncture of may not give a point in . To remedy this, we shall define the ‘ends’ of as follows:
Given an exploded manifold , let denote the moduli space of maps with the equivalence relation
for some constant . The above defines as a set. We can give the structure of an exploded manifold so that any smooth or map of a bundle over into is associated to a smooth or map .
In particular, let be a nonzero integer vector so that there is an infinite ray contained in the polytope in the direction of . To we may associate a connected component of as follows: By a coordinate change, we may assume that . Let be the image of under the projection which forgets the last coordinate. Then our connected component, is equal to . A map then corresponds to the point . Given any smooth or map of a bundle over to which is of the above type restricted to fibers, we can project to the first coordinates to get a smooth or map .
All connected components of are in the above form apart from the component which is equal to . A map from a bundle over into which is trivial on the fibers is associated to the same map from to .
Then
where the disjoint union is over all integer vectors so that there is an infinite ray in the direction of contained in .
We may similarly define to be , and given any open subset of , can be identified with the open subset of corresponding to maps to the open subset . This construction is clearly functorial, given any smooth map between open subsets of , there exists a smooth map
sending the point corresponding to to the point corresponding to . The functoriality of the construction of the exploded structure on open subsets of coordinate charts implies that we may give a well defined exploded structure by giving the subset of corresponding to a coordinate chart the structure of .
Given a curve in with labeled punctures, restricting to the copy of around a puncture gives a class of maps which specifies a point in . Together, this gives a point . Recall that is the moduli space of curves with genus , homology class and tropical part isotopic to a particular tropical curve in . If has infinite ends, we may define to be the connected component of which contains for any curve in .
Applying this construction to each curve in a family of curves in gives map
which defines a map
3.2. Integration of forms over virtual class
We can define numerical Gromov Witten invariants by pulling back differential forms on using and integrating over the virtual moduli space defined in section 2.10.
We shall use the following class of differential forms discussed in [14].
Definition 3.1 ().
Let be the vector space of differential forms on so that for all integral vectors , the differential form vanishes on , and for all maps , the differential form vanishes on all vectors in the image of .
Denote by the subspace of forms with complete support. (A form has complete support if the set where it is non zero is contained inside a complete subset of - in other words, a compact subset with tropical part consisting only of complete polytopes.)
Denote the homology of by , and the homology of by .
We use instead of all differential forms on in order to use a version of Stokes’ theorem proved in [14].
Definition 3.2 (Refined forms).
A refined form is choice for all so that given any point , there exists an open neighborhood of and a complete, surjective, equidimensional submersion
so that there is a form which is the pullback of in the sense that if is any vector on so that is a vector based at , then
A refined form is completely supported if there exists some complete subset of an exploded manifold with a map so that for all outside the image of . Use the notation for completely supported refined forms.
Denote the homology of by and by .
The Poincare dual to a map as defined in [14] is correctly viewed as a refined differential form.
Definition 3.3 (Differential forms generated by functions).
A differential form is generated by functions if it is locally equal to a form constructed from functions using the operations of exterior differentiation and wedge products. Use the notation for the set of refined forms on which are locally equal to some differential form which is generated by functions on a refinement. Similarly, let .
Differential forms generated by functions will be important in the gluing formula for Gromov Witten invariants from Theorem 4.7. Examples of differential forms generated by functions are the Poincare dual to a point, the Chern class defined using the Chern Weil construction, and any smooth differential form on a smooth manifold.
Our virtual moduli space is an oriented weighted branched substack of . Locally, restricted to an open substack it is equal to
| (9) |
where are finite dimensional families which are proper substacks of , are positive numbers, and is just a dummy variable.
Definition 3.4.
A partition of unity on subordinate to an open cover is a countable set of nonnegative functions locally given by the restriction to of functions on open subsets of so that is compactly supported inside some , and so that .
Assuming Gromov compactness holds for , construct a partition of unity on subordinate to an open cover in which has the form of equation 9 as follows. For any curve , the construction of using obstruction models implies that on some open substack we may choose some positive function so that , and restricted to is compactly supported. (In particular, if ) is the obstruction model used, we may choose to to come from a compactly supported -invariant function on ). We may choose some countable collection of these so that the supports of form a locally finite cover of . Extend each to be zero wherever it is not yet defined on . Then define
Each of these functions is locally given by the restriction of a function from an open substack of the stack of curves. As is a substack of , is a function on , and together form a partition of unity subordinate to . In the case that is compact, this is a finite partition of unity.
Let be a map (such as ). Given any form in or , we can define
| (10) |
And define
| (11) |
where restricted to the support of ,
The integrals on the right hand side of equation 11 are of forms in or , so [14] implies that these integrals are well defined. Clearly, if , then
so the definition of is defined independent of the particular local representation of chosen. As usual, the linearity of the integral implies independence of this definition of choice of partition of unity: in particular, if is another partition of unity appropriate for defining the integral, then
Therefore, is well defined for any in or .
Note that depends only on the cohomology class of in . In particular, vanishes, because linearity implies that it is equal to . Each of these integrals is some sum of integrals of compactly supported exact forms in coordinate charts, which vanish because of the version of Stokes’ theorem proved in [14].
More importantly, Theorem 3.5 below states that if is closed, is independent of the choices involved in defining .
If is closed and generated by functions, the contribution to the integral of from individual tropical curves is also well defined. Given a tropical curve mapping to , let be the restriction of to the subset consisting of curves with tropical part . It follows from the definition of integration given in [14] that the integral breaks up into a finite sum of integrals over for different . The following theorem proves that if is closed and generated by functions, then is well defined independent of the choices involved in defining . The gluing formula of Theorem 4.7 gives a way of calculating some of these integrals for particular using relative invarants.
Theorem 3.5.
If is a basic exploded manifold for which Gromov compactness holds, is any map, and is closed, then
is independent of the choices made in the definition of .
If is generated by functions, and is any tropical curve mapping to , the integral
is well defined independent of the choices made in defining .
Proof:
This follows directly from Stokes’ theorem and item 8 of Theorem 2.24. In particular, if is the result of other choices, then and are cobordant in the following sense: there exists a construction of in a trivial family of targets which restricts to our two different moduli spaces at two different points and of .
The projection forgetting gives a map . The form is a closed form on each coordinate chart. Denote the restriction of to curves over an interval joining and by . We may orient this interval so that the boundary of is . As argued above, we may construct a finite partition of unity over so that each is compactly supported within a subset of which is equal to . Then the version of Stokes’s theorem proved in [14] implies that
Therefore,
as required.
Now consider the case where is generated by functions. In this case, we can apply Stokes’ theorem to the integral over of . The integral over is a weighted sum of integrals over refinements of coordinate charts where is compactly supported; the integral over replaces each of these integrals with the integral restricted to a strata of with tropical part equal to a point. This in turn is equal to the integral of a form over the tropical completion of this strata (see definition 4.2 on page 4.2), where on the subset where our new and old coordinate charts agree, is equal to . The fact that is generated by functions is required for to be in of this new coordinate chart. This new form is completely supported, so we may apply the version of Stokes’ theorem from [14] to get
Therefore, if is closed, then
is independent of the choices made in the definition of .
Theorem 3.6.
If is a basic almost complex exploded manifold with taming form so that Gromov compactness holds, is an oriented exploded manifold or orbifold and is any map, then there exists a closed form Poincare dual to the map in the sense that
for all closed .
The class of in defined by the procedure in the proof below is independent of choices made in defining it and defining .
Proof:
Extend to a submersion so that . Choose a compactly supported closed form on with integral , then let
More explicitly, choose a finite partition of unity so that restricted to the support of , is equal to , and is equal to a -equivariant map from into some coordinate chart on .
where the map indicates integration along the fiber of restricted to . (Integration along the fiber is discussed in [14]. The resulting form is a closed form in .) Using the defining property of integration along the fiber discussed in [14] gives
Using Stokes theorem (with details expanded as in the proof of Theorem 3.5) allows us to deform the map to without affecting the above integral, so
We must now verify that is independent of all choices. First, note that as , the cohomology class does not depend on the choice of .
Theorem 2.24 part 8 implies that given a different construction of the virtual moduli space and extension of to a submersion resulting in a form , there is a construction of which restricts to and at two different points and of . The map extends to a map
We may also extend to a submersion
so that the following conditions hold:
-
•
, and there exists a linear projection from to so that restricted to the inverse image of , factors as this projection followed by .
-
•
, and there exists a linear projection from to so that restricted to the inverse image of , factors as this projection followed by .
Let be a compactly supported, closed differential form on with integral . Then is a compactly supported closed differential form in which restricts to have the same class as on and the same class as on . It follows that and represent the same cohomology class in .
The next theorem establishes that Gromov Witten invariants do not change in families:
Theorem 3.7.
Suppose that is a compact basic family of almost complex exploded manifolds in which Gromov compactness holds. Suppose further that there is a commutative diagram of maps
Then there exists a closed form
so that for any if a collection of tropical curves and homology classes in satisfies the condition that the restriction of to is equal to , then the restriction of to is a form in the same cohomology class as .
These should be constructed as in Theorem 3.6 where plays the role of , is , and is the restriction of to this fiber.
Construct as a Poincare dual to as in Theorem 3.6. In particular, we can extend to a submersion
so that given any regular value of , restricted to the fiber over is a submersion into , and so that restricted is equal to . Choose a compactly supported form on with integral , then let
where integration along the fiber is defined using a finite partition of unity ; so if is equal to on the support of , then
The integration along the fiber on the right hand side of the above equation is as defined in [14]. (One complication is that is only oriented relative to , but the fibers of are all contained in the fibers of the projection to , so an orientation of is not necessary.) The resulting form is in .
It is proved in [14] that integration along the fiber is compatible with fiber products. Suppose that is a regular value of . Theorem 2.24 item 9 tells us that so long as the perturbations used to define are small enough, then may be constructed to be equal to the restriction of to the inverse image of . Let indicate the restriction of to the fiber over , let indicate the restriction of to the fiber over and let be the fiber over of the map . Then the following diagram is commutative
It follows that we may construct as in Theorem 3.6 so that the restriction of our to the fiber over is .
As in the proof of Theorem 3.6, the cohomology class of in does not depend on the construction of . Part 9 of Theorem 2.24 tells us that given any , we may construct so that is a regular value, so the corresponding construction for would yield a form which restricts to the correct class in .
Example 3.8 (Gromov Witten invariants of a compact symplectic manifold).
Suppose that is a compact symplectic manifold. We may choose a smooth almost complex structure on compatible with . It is proved in [13] that satisfies Gromov compactness in our sense. Saying that a curve in has tropical part in the isotopy class is equivalent to labeling the punctures of that curve, so we may use the notation for where has infinite ends. In this case, is equal to . Then gives a map
where is Deligne Mumford space. The Gromov Witten invariants of are given by integrating closed forms on over , which is the same as integrating forms on against a closed form on . The cohomology class of for all encapsulates all Gromov Witten invariants of .
Theorem 3.7 implies that these Gromov Witten invariants are independent of our choice of . In particular, let be the form constructed using another choice of compatible almost complex structure. Then there is a smooth family of compatible almost complex structures on for so that and . It is noted in Appendix C that Gromov compactness holds for such a family. Theorem 3.7 tells us that there is a closed differential form on which restricts at one boundary to have the same cohomology class as , and which restricts to the other boundary to have the same cohomology class as . It follows that and represent the same cohomology class.
Now suppose that we have a connected basic family of almost complex exploded manifolds with a family of taming forms so that Gromov compactness holds. Suppose further our manifold is one fiber of our family.
Theorem 3.7 implies that Gromov Witten invariants of may be calculated from the Gromov Witten invariants of other fibers of . In particular, given any two points in a coordinate chart of , there exists a map of a complete exploded manifold to with image containing our two points, and contained in a subset of that coordinate chart with bounded tropical part. The fiber product of with is then a complete family for which Gromov compactness holds. As is pulled back from a subset of a single coordinate chart on with bounded tropical part, the proof of invariance of cohomology in families from [14] implies that we may canonically identify the cohomology of each fiber, and that the map from to of any fiber is surjective and has a fixed kernel. Therefore, the homology of fibers includes canonically into the homology of , so we may use the same notation for a homology class in any fiber or its pushforward to the cohomology of . Similarly, as is pulled back from , a connected family which contains one fiber with tropical part equal to a point, the isotopy classes of tropical curves contained in fibers of will always just be determined by the number of ends, so we may continue using the notation in place of .
Then Theorem 3.7 tells us that there exists a closed form
which restricts to each fiber to have the same cohomology class as .
It is proved in [14] that cohomology does not change in connected families, and that the identification is locally given by identifying the restriction of forms in of the total space. It follows that with this natural identification, the restriction of to any fiber represents the same element of the dual of of the fiber.
Therefore, Gromov Witten invariants of can be calculated in any fiber of . (Note that this identification of cohomology of the fiber and therefore of Gromov Witten invariants is only locally canonical - if is not simply connected, then different paths in may correspond to different identifications.) In the next section, we shall derive some gluing formulas which make the calculation of Gromov Witten invariants in exploded manifolds with nontrivial tropical part easier.
4. Gluing relative invariants
4.1. Tropical completion
In order to state gluing theorems for Gromov Witten invariants, we shall need the notion of tropical completion.
Definition 4.1 (Tropical completion in a coordinate chart).
The tropical completion of a strata of a polytope in is a polytope which is the union of all rays in which begin in and intersect in more than one point.
Given a coordinate chart and a strata of , if indicates the strata of corresponding to , then the tropical completion of is defined to be
Tropical completion in coordinate charts is functorial:
In particular, given a map sending a strata into a strata , then there is a unique map which restricted to is equal to .
Similarly, given a smooth or map of coordinate charts
sending a strata into there is a unique map
so that restricted to is equal to . Of course, the tropical part of is equal to the map above. This map is smooth or if is, and is an isomorphism onto an open subset of if is an isomorphism onto an open subset of . There is therefore a functorial construction of the tropical completion of any strata of an exploded manifold as follows:
Definition 4.2 (tropical completion).
The tropical completion of a strata of an exploded manifold is an exploded manifold constructed as follows: Let be the set of all possible coordinate charts of which send a strata to , and let indicate the set of all possible inclusions of these coordinate charts. Then is an exploded manifold with as the set of all possible coordinate charts on , and as the set of all possible inclusions of these coordinate charts on .
Note that always contains a copy of as a dense subset. If is basic, then also contains a copy of the closure of . The construction of tropical completions is functorial in the sense that given a map
which sends a strata to , there is a unique map
which restricts to be on .
Given any tensor on such as an almost complex structure, metric, or differential form, there is a unique tensor on which restricts to be on . Therefore, if is an almost complex exploded manifold, we may talk about holomorphic curves in .
4.2. -decoration
A tropical curve in is a continuous map with domain equal to a complete graph so that each edge of the graph has an integral affine structure and restricted to each edge is an integral affine map. Let be a tropical curve and let be a curve with tropical part equal to . Label the strata of corresponding to a vertex of by , and the strata corresponding to an edge of by . Indicate by or the strata of which sends or to. Taking tropical completions gives maps
Use the notation for the tropical part of and for the tropical part of . Note that is holomorphic if and only if is holomorphic for all vertices of .
If the edge is adjacent to , then contains and if is at both ends of , contains two copies of . In general, if is an internal edge of , there are two copies of in the union of all . To distinguish these two copies, choose an orientation for each internal edge of . Let denote the strata of which corresponds to being an incomming end of the edge , and let be the strata of which corresponds to being an outgoing end of the edge .
The map can be obtained from by taking the tropical completion of using the strata or . As is equal to , the moduli space of possibilities for is finite dimensional and equal to the quotient of by a action. Even though this action is not be free when is not injective, we shall simply treat as an exploded manifold instead of as a stack. (There will be some adjustments to fiber products over that we shall need to do below because of this simplification.) Use the notation for the restriction of to curves with tropical part .
Definition 4.3.
Denote by the moduli stack of curves in with an isomorphism between their tropical part and , similarly, denote the substack of consisting of curves with genus and homology class by .
Use the notation for , and for .
Note that in the case that has automorphisms, a map of families in must be compatible with the identification of tropical parts with . If has automorphism group of size , then should be thought of as a -fold cover of the substack of consisting of curves with tropical parts which are isomorphic to .
Definition 4.4 (-decoration).
Consider the domain of as a graph with an affine structure on the edges, and consider the tropical part of the domain of a family of curves in as a union of affine polytopes glued along faces. (This forgets the integral part of the integral affine structure on the tropical part of the domain.) Define a -decorated tropical curve to be a tropical curve in with a continuous affine map of its domain to the domain of which is a homeomorphism restricted to the inverse image of the interior of all edges of and which is an integral affine isomorphism restricted to exterior edges of .
Define a -decorated curve to be a curve with a decorated tropical part. Consider the -decorated moduli space of families of curves with an affine map of the tropical part of the domain of to the domain of which makes each individual curve into a -decorated curve. is a substack of this -decorated stack of curves. Define to be the closure of in this -decorated stack of curves. Similarly, define to be the closure of in this -decorated stack of curves.
can be thought of as a kind of multiple cover of the substack of consisting of the closure of all the strata containing curves with tropical part . If has no internal edges, then . In particular, .
Forgetting the -decoration gives a map
Given any curve in , taking tropical completions for all vertices in give curves in which in turn give curves in which agree with each other. When is basic, this tropical completion map can be extended in an obvious way to a map
In particular for a family , consider the closure of the collection of strata in the domain of that are sent to . Our map restricted to this subset lands in the closure of inside , which includes in because is basic. We can then canonically extend this restricted map to a family of curves in by extending all the edges of the tropical part of curves in with only one end to have infinite length. To distinguish this map from the tropical completion map defined earlier, call this process -decorated tropical completion.
We can apply -decorated tropical completion to appropriate -decorated tropical curves analogously: Suppose that is a -decorated tropical curve so that all strata of which are sent to have their image inside . (Note that while is the closure of the strata , consists of all strata of which contain in their closures using the topology on .) Then restricted to the inverse image of intersected with all strata of which are sent to or an edge adjacent to is a tropical curve in which has some edges which have finite length, but are only attached to a vertex at one end. Increasing the length of these edges to be infinite gives , the -decorated tropical completion of .
Similarly, if is basic, then given any edge of , there is a map
extending the map
Both of these maps are given by restricting curves in to the inverse image of the edge , which gives a family of maps all of the form . These can be extended canonically to maps which are in , giving a family in .
For each inclusion of as an end of the edge , we may associate an edge of with , and there is a map
| (12) |
defined in exactly the same way as the map . Of course, the result of concatenating the maps is the map defined above.
4.3. Gluing theorems
Choose an orientation on each of the internal edges of a tropical curve . Putting together all the above maps from (12) for the ingoing ends of internal edges gives
and using the outgoing ends of internal edges gives
A curve in is a curve in for all . In order for these curves to glue together to a curve in , it is necessary that and agree on these curves, and it is also necessary that the tropical parts glue together to form a ( decorated) tropical curve in so that applying -decorated tropical completion to gives for all . Two things might go wrong with this tropical gluing if and agree: The vertices of might not all be inside the image of , or two vertices that must be glued together might require an edge of negative length in order to join them.
Lemma 4.5.
Suppose that
-
•
is a family of curves in which represents a substack of .
-
•
and are identical restricted to .
-
•
The tropical part of every curve in may be obtained by applying -decorated tropical completion to some -decorated tropical curve.
Then the inverse image of in is a substack of represented by a family , and the map
is a proper submersion with fibers equal to the product of for each internal edge of sent to a point, and a set with elements for each internal edge of with nonzero multiplicity .
Proof:
In what follows, we will construct . For each vertex of , we have a family of curves in parametrized by . We must glue all these families together over the edges corresponding to internal edges of . For each internal edge of , let and indicate the subsets of the appropriate corresponding to the edges and . (Each of these is a bundle over .) applied to gives a commutative diagram
where the map is given by followed by projection to . In the case that the edge is not sent to a point, consider as a bundle over , and pull back this bundle over this map to obtain a bundle over . Our commutative diagram then factors into a bundle map over and a pullback diagram:
This bundle map looks in local coordinates like
where is the multiplicity of the edge . In the case that our edge is sent to a point, , and the equivalent of is just the projection to .
Consider the fiber product of and over the maps . (Recall that we are assuming that and coincide on , so does not depend on .) Given any family of curves inside the inverse image of in , the fact that represents a substack implies that there is a unique map from the image of in to , which gives a canonical map . For each internal edge of , this map lifts naturally to a map and a map . As composed with each of these maps is equal to , this gives a natural map .
Take the quotient of by the equivalence relation . The result of this quotient is an exploded manifold with a proper submersion with fibers equal to if the edge is sent to a point, and fibers equal to a set with elements if is an edge with multiplicity . (This uses our assumptions that and coincide and that the tropical part of every curve in is in the image of -decorated tropical completion.) Our map induces a natural map which lifts our map . Define to be the fiber product of all over . So far, we have that is a proper submersion with fibers as specified in our lemma, and given any family in the inverse image of in , we have constructed a canonical map .
Let us now construct and the map itself. Let indicate subset of obtained by removing the middle of each edge of and taking the connected component containing . This can be considered as a subset of both and . The restriction of to the inverse image of shall be equal to the restriction to the inverse image of of the pullback of over the map .
We must now describe the restriction of to each internal edge , and specify how is attached to . The domain of shall be the pullback of over the map , so the following is a pullback diagram:
The pullback of over the map is equal to the pullback of over the map , and can be considered to be a map to instead of because of our assumption that the tropical part of is in the image of decorated tropical completion. Let be the pullback of this map over .
We can attach to at the end of corresponding to by considering as pulled back from the map , so the definition of restricted to the corresponding of the edge of is the same, wheather or is used.
We have now constructed a family in the inverse image of in . Reconsider our family of curves in the inverse image of in . We must show that there exists a unique map . As is a substack, we have a unique map from the -decorated tropical completion of to . Any map must be compatible with the corresponding unique map of the -decorated tropical completion of into . The maps give for each internal edge of a map and which together define a map so that restricted to is the pullback of under the above map followed by projection to . Any map must give a commutative diagram
Therefore the fiber product of the corresponding maps over specify the only possible map which can come from a map . The maps and then specify a map , so that restricted to is equal to the pullback of . Similarly, the maps and specify a map so that the pullback of is . As with the definition of , the construction of this map on an edge is identical to the construction coming from the vertices at either side, so we have a unique map .
Theorem 4.6.
Let be a tropical curve in with genus , and suppose that Gromov compactness holds for and for all vertices of . Choose a genus and an energy . Then we may construct the virtual moduli spaces of holomorphic curves for all vertices of and and so that the following holds:
-
•
The maps and are transverse applied to whenever and .
-
•
The pullback of the virtual moduli space of holomorphic curves in to is cobordant to the pullback to of the virtual moduli space of curves in .
If holomorphic curves in have the same number of automorphisms as their image in , the are constructed using the zero perturbation and and are transverse, then the virtual moduli space of holomorphic curves in may be constructed so that the pullbacks of the two different virtual moduli spaces to are equal.
The proof of this theorem is contained in appendix B. Note that the inverse image in of any curve in has genus and energy so and are transverse on the part of the virtual moduli space which pulls back to .
Note that when is a symplectic manifold, Theorem 4.6 applied to tropical curves with a single internal edge implies the splitting and genus reduction axioms of Kontsevich and Manin stated in [7]. These splitting and genus reduction axioms require using Gromov Witten invariants defined using . We shall first prove a gluing theorem for Gromov Witten invariants defined using only , then prove a generalization of the splitting and genus reduction axioms in Theorem 4.8.
Theorem 4.7.
Let be a basic exploded manifold for which Gromov compactness holds. Let be a tropical curve in with genus , and let be a closed differential form. Suppose further that for all vertices of , Gromov compactness holds for . Then
where
-
•
The equality is in the ring of formal series where , , so that given any bounded subset of , there are only a finite number of nonzero coefficients with in this bounded subset.
-
•
is if has any internal edges which are sent to points, and otherwise is the product of the multiplicity of the internal edges of divided by the number of automorphisms of as a tropical curve with labeled ends.
-
•
indicates the product over each edge of , of the moduli space of curves with tropical part equal to (considered as a manifold, not an orbifold when has multiplicity greater than ).
-
•
The on the right hand side indicates the pull back of over the map which is independent of for each internal edge of , and which is the product of the inclusions for each of the external edges of .
-
•
For each vertex of , is a formal series with coefficients which are differential forms on constructed as follows:
From , there is an evaluation map
Let be the Poincare dual in the sense of Theorem 3.6 to applied . This is a refined differential form on the product of for each edge of . Then is the pullback of over the product of the maps which is the projection onto for the edge of corresponding to followed by the inclusion .
Proof: Let us calculate using Theorem 4.6. Note that the pullback of to is an oriented -fold multiple cover of , where indicates the group of automorphisms of . (This arises from the difference between specifying that a curve has tropical part which is equal to , and specifying a particular isomorphism of the tropical part of a curve with .)
We may therefore exchange with the integral of over the pullback of to . This space is equal to the restriction of the pullback of to to curves with tropical part gamma. As is generated by functions, we may apply the proof of Theorem 3.5 to the cobordism from Theorem 4.6, and exchange this integral for an integral over the restriction to curves with tropical part of the pullback to of the virtual moduli space of curves in . If has some internal edges which are sent to a point, then this integral will be because can not depend on the coordinate corresponding to the length of that edge. In the case that has no internal edges sent to a point, Lemma 4.5 implies that this space is an -fold cover of the fiber product of the appropriate virtual moduli spaces in over the maps and , where is the product of the multiplicities of the internal edges of . This fiber product has an obvious evaluation map to the product of for all external edges of which pulls back to be the evaluation map referred to above; call this new evaluation map as well.
In summary, so far we have that
where and is the fiber product over and of the virtual moduli space of holomorphic curves in which have total genus and total energy . This fiber product can also be constructed as follows:
For each vertex of , there is an evaluation map
The map we are calling is equal to followed by projection to the product of those which correspond to external edges of . The map is followed by projection to the product of those which correspond to incoming ends of internal edges of , and is equal to followed by projection to the product of those which correspond to outgoing ends of internal edges of . Let indicate the inclusion
which is the product of the identification of with the appropriate for each external edge of , and the inclusion of as the diagonal in for each internal edge of . Then is also equal to the fiber product of the map with the map applied to the virtual moduli space of curves in with total genus and total energy .
Note that is defined on the product of , for each external edge of but not on the product of . The image of applied to is contained inside the subset of which is the product of for all external edges of . This subset is the inverse image of a point in the tropical part of . As , there is a neighborhood of and and a refinement of so that is equal to a differential form on which may be constructed from functions using the operations of exterior differentiation and wedge products. The tropical completion of the strata of containing is a refinement of the product of for all external edges of . Let indicate the tropical completion of on this refinement of the product of . As was generated by functions, and is complete, is a completely supported differential form on this refinement of . Of course, as and are equal restricted to the product of for all external edges of , we may use instead of to prove our formula.
Let be the Poincare dual in the sense of Theorem 3.6 to applied to the virtual moduli space , so with a slight abuse of notation, is the Poincare dual to the virtual moduli space . To complete our proof, we must show that
| (13) |
This follows if restricted to the component of so that the corresponding curves in have genus and energy , we have
| (14) |
To see this, recall from the proof of Theorem 3.6 that is constructed as follows: Extend to a submersion from . Then choose a compactly supported form on with integral , and then (the result of integrating along the fibers of the pullback of to , interpreted as in the proof of Theorem 3.6).
At this stage, we may use the fact proved in [14] that integration along the fiber behaves well under fiber products. In particular, consider the fiber product diagram:
Then . So,
| (15) |
Consider the tropical part of our virtual moduli space . The tropical part of each coordinate chart on this moduli space may be identified with a complete cone so that corresponds to the curves with tropical part equal to in . The image of this point under is of course the point corresponding to , which is equal to the image under of the point corresponding to . Our form is a closed form in of some refinement of with tropical part given by cones centered on . It follows that is a form in of some refinement of for which the tropical part is some cone around the point corresponding to curves in with tropical part equal to , and is also a form in of the same refinement. Therefore their integral over the entire space is equal to their integral over the subset with tropical part ,
| (16) |
Similarly,
| (17) |
By considering the family of maps for , we may deform through a family of maps to the map which is projection to followed by . Each of these maps remains transverse to , so we get a family of fiber product diagrams
Using Stokes’ theorem with details expanded as in Theorem 3.5 then gives that
| (18) |
Note that is equal to projection of to composed with , therefore associativity for the orientation of fiber products (discussed in [14]) gives that
Furthermore, is simply equal the pullback of our form via the obvious projection to . Therefore,
| (19) |
Subsituting equation (17) into (19), (18), (16), then (15) gives the required equation (14) which as noted earlier, completes the proof.
The following is a generalization of Kontevich and Mannin’s splitting and genus reduction axioms stated in [7].
Theorem 4.8 (Splitting and genus reduction).
Let be a basic exploded manifold for which Gromov compactness holds with tropical part equal to a cone, and let be the Poincare dual to the map
Choose an internal edge of which is sent to a point in and let for indicate the set of tropical curves obtained by cutting at this internal edge and extending the new ends to be infinite. ( has two elements if separates , and otherwise has one element.) Choose some for all so that if has less than external edges, and
Let
be the product of the identity on with the map of Deligne Mumford spaces obtained by identifying the two marked points in curves in which correspond to the ends of the ’s obtained by cutting .
Note that . Let be the Poincare dual to the diagonal in , pulled back to .
be the obvious projection.
Then if is any closed differential form in ,
where the sum is over choices of for all so that .
Proof:
As is a cone, we may assume without losing generality that is the only internal edge of , and that all vertices are contained in the smallest strata of . Then is an -fold cover of its image in . We are only interested in the component of which has genus at the th vertex of , so we should modify this a little. In particular, let indicate decorated with genus at the th vertex, and let indicate the component of that has genus at the th vertex of . Then is an -fold cover of its image in . if our internal edge is a loop, or if is the only edge of and . Otherwise has no automorphisms. As the have no internal edges or automorphisms, . Note that the map
is also an -fold cover of its image which is a boundary strata of .
In the notation of Theorem 4.6, we may construct the virtual moduli spaces so that and are transverse maps when . As we are gluing along an edge sent to a point, it makes sense to talk about summing homology classes , and the inverse image in of is in . The above transversality therefore implies that and are transverse maps when .
Let be the disjoint union of the fiber product of with for each choice of summing to , and be the corresponding evaluation map.
Lemma 4.5 implies that the inverse image of in is equal to a bundle over . In fact, the subset of corresponding to is equal to an bundle over , and the inverse image of in is the pullback of this bundle over an evaluation map. A similar statement holds for any family in the image of in .
Construct a closed differential form in of this bundle over with integral on these fibers, and extend to be a form on by setting it equal to everywhere else. Denote by the evaluation map
Let indicate the inverse image of in . Theorem 4.6 implies that is cobordant to , so
(Note that this cobordism is compact but not quite complete, as it is an bundle over a complete cobordism. As has complete support on this cobordism, this is not a problem for applying the version of Stoke’s theorem from [14].) Let be any differential form on which pulls back to under the map
and which is closed in a neighborhood of the image of . Note that is an -fold cover of its image in , which contains the support of . Then
Let be a Poincare dual of the image of , supported in a connected neighborhood of the image of where is closed. Then the pullback of to is in the same cohomology class as the pull back of to . Then
where the last step uses that is an -fold cover of its image.
5. Example computations
5.1. Curves in
The easiest nontrivial curves to analyze are zero genus curves in . It is easily verified that the only stable zero genus curves in with less than punctures are the maps . It follows that for the case of zero genus curves, we need only analyze curves in with tropical parts which are equal to zero genus graphs with no univalent or bivalent vertices.
As noted in [12], the tropical part of any curve in obeys the ‘balancing’ or ‘conservation of momentum’ condition familiar to tropical geometers. In particular, let be the tropical part of a curve in . This is a map of a graph into considered as a tropical part of . The edges of this graph have an integral affine structure, and restricted to each edge is an integral affine map. If we choose any orientation on the domain of , we may define a momentum for each edge to be the image under the derivative of of the unit vector pointing in the positive direction of our edge. This momentum is a vector in . The conservation of momentum condition states that at any vertex of , the sum of the momentum of the incoming edges is equal to the sum of the momentum of the outgoing edges. Call any infinite edge of an end of , and make the convention that if we do not specify an orientation for the ends of , they are oriented to be outgoing. (Of course, the conservation of momentum condition implies that the sum of the momentum of the ends of is .)
Let us now examine the moduli space of zero genus holomorphic curves in that have ends with momentum and . For such a curve to be stable, its tropical part must be equal to a graph with a single vertex and ends. Therefore, the domain of our curve is uniquely isomorphic to the explosion of relative to the three points ,, so that , and correspond to our first, second and third ends. Restricted to , our holomorphic curves are curves of the form:
so our moduli space is parametrized by . Let us now trace through the steps of the construction of the virtual moduli space to see that this explicit moduli space is in fact our virtual moduli space.
In this case, we may cover our entire moduli space by a single core family. Let indicate the above family of curves parametrized by . In this case, the group of automorphisms from the definition of core families is the trivial group. Choose a point in , then let indicate the section of corresponding to the point . The criteria 1, 2 and 3 from Theorem 2.26 are easily seen to be satisfied by . We must check criterion 4, so we need that there exists a neighborhood of the section on which
is an equidimensional embedding, and we need to check that the tropical part of is a compete map, and restricted to any polytope in is an isomorphism onto a strata of the image in under of some open neighborhood of in . In this case, is equal to , is equal to , and restricted to is given by the formula
This is an isomorphism onto an open subset of , so criterion 4 is satisfied. To complete the description of our core family, we need only define a map
satisfying criterion 5. Standard coordinates on the tangent bundle of given by the real and imaginary parts of identify with a trivial bundle. Then we may define by
This map satisfies the conditions of criterion 5, so Theorem 2.26 implies that is a core family which covers our entire moduli space of holomorphic curves.
Next, we shall verify that is trivially an obstruction model when we use the zero dimensional vector bundle in place of . To do this, we need to verify that for all curves , is a bijection. In this case is the usual operator. Standard complex analysis implies that any holomorphic map must be constant, as restricted to the smooth part of , it is a bounded holomorphic map from . As consists of maps which vanish at a particular marked point, it follows that is injective restricted to . A dense subset of is the space of smooth maps from into which vanish in a neighborhood of , , and . Cauchy’s integral formula then gives that is surjective onto this dense subset, and therefore surjective onto as Theorem 2.17 tells us that has a closed image. Therefore, for every curve in , is a bijection, so is an obstruction model which covers our entire moduli space. As in this case is a complex map, the orientation of this trivial obstruction bundle is the positive one, so our virtual moduli space has the same orientation as , which has the orientation given by the complex structure on .
We may follow the construction of the virtual moduli space from section 2.10 using our obstruction model , and using trivial perturbations to get that parametrizes the virtual moduli space, which in this case is the actual moduli space of holomorphic curves.
We now have a parametrization of our moduli space of holomorphic curves by . To compute the map , we need coordinates on the moduli spaces , and of possibilities for the ends of our curves. The curves in are maps in the form
where In the special case that , is equal to , otherwise, is isomorphic to (where as in section 4 and 3.1, we ignore the orbifold structure on when is a nontrivial multiple of another integral vector). We may identify exploded functions to be exploded functions on which are constant on each curve in . For example, if we change coordinates so that , then give coordinates on . This defines a map . Straightforward computation then gives that is given by
Note that in this case, our moduli space and may be read off from the corresponding tropical problem. Our moduli space is parametrized by , which corresponds to the image of a chosen extra marked point on our domain. The corresponding moduli space of tropical curves is parametrized by , which corresponds to the position of the vertex of our tropical curve. Similarly, is either or , and the tropical part of is equal to the corresponding tropical moduli space of lines in the direction of . Up to multiplication by a constant, is just given by the product of the three obvious projection maps , and the tropical part is equal to to corresponding obvious tropical projections.
Now Lemma 4.5 and Theorem 4.6 allow us to compute the part of the virtual moduli space of curves in consisting of curves with tropical part equal to a trivalent graph with genus equal to the genus of the corresponding curve. We shall see that the nature of this moduli space can be read off from the corresponding tropical moduli space.
Choose an oriented trivalent graph with labeled free ends and assign a vector to each edge of so that the sum of for edges leaving a vertex is equal to the sum of for edges entering a vertex. An automorphism of is a isomorphism of the graph to itself which fixes the free ends of , so that if an edge is sent to , then the map is orientation preserving, and if the map is orientation reversing. Let indicate the group of automorphisms of . Say that a tropical curve in has the combinatorial type of if there is an isomorphism of with the domain of our tropical curve preserving the labeling of free ends so that on each edge , the unit vector in the positive direction as determined by the orientation of is sent to .
Now consider the moduli space of tropical curves with the combinatorial type of . To specify such a tropical curve, we may specify the length of each internal edge of , and specify the position of each vertex of . Together, give coordinates on some space where is the number of internal edges of and is the number of vertices of . The group acts in an obvious way on this space. Let be the vertex of which is attached to the initial end of , and be the vertex of attached to the final end of . Then the moduli space of tropical curves with the combinatorial type of is equal to the quotient by of the subset of satisfying the equations:
| (20) |
so our tropical moduli space is the inverse image of under some integral linear map
| (21) |
This map will be important for describing the corresponding moduli space of holomorphic curves. The corresponding virtual moduli space of holomorphic curves will be empty if is not transverse to , and otherwise the tropical part of the corresponding moduli space will be disjoint copies of .
Note that in the case that the genus of is , then is the trivial group, is always transverse to zero, and , so in this case we shall see that the tropical part of our moduli space of curves is equal to .
Consider the problem of finding the moduli space of holomorphic curves in with genus equal to the genus of , and with tropical part with the combinatorial type of . Suppose is nonempty, so such a tropical curve exists. Then the pullback of our (virtual) moduli space of holomorphic curves to is an -fold cover of its image in . In light of Theorem 4.6, we shall first study the fiber product of our moduli space of curves in over the maps and .
As the total genus of our curve is equal to the genus of , we are interested in zero genus curves in . All our curves in therefore have domain equal to the explosion of relative to points. We may choose a point on the domain, and parametrize our moduli space by its image in . So for all vertices in give coordinates on our moduli space in which we have now identified with . If denotes the standard projection , then our map is equal to the product of where . The result of taking the fiber product of our moduli space over and is therefore equivalent to the equations
These equations are equivalent to the requirement that there exists some so that
| (22) |
In this case, the condition that the tropical part of the corresponding curve is in the image of -decorated tropical completion is equivalent to the condition that .
Note at this stage that the equations 20 and our tropical map from 21 can be obtained from the tropical part of these equations 22 by equating the tropical part of with and the tropical part of with . If is surjective, and are transverse, so if has no automorphisms, Theorem 4.6 tells us that we may construct our virtual moduli space to coincide with the actual moduli space of holomorphic curves in the region we are studying. (In the case that has nontrivial automorphisms, our moduli space of actual holomorphic curves will still be transversely cut out, but some holomorphic curves will have automorphisms, so some multiperturbation is required to get rid of these automorphisms). On the other hand, if A is not surjective, the fact that our moduli space is some power of implies that any perturbation to make the maps and transverse will result in and not intersecting at all. Therefore in this case, the virtual moduli space restricted to curves with the correct genus and tropical part is empty (or at least cobordant to the empty set; in fact, dimension considerations imply that this part of the virtual moduli space must always be empty even though this part of the actual moduli space of holomorphic curves may not be empty.)
The coordinates and are coordinates for a core family in containing all our holomorphic curves, where are the gluing coordinates, and correspond to the image of the obvious marked points. Therefore, our moduli space of holomorphic curves in is given by the subset of where
In other words, our moduli space is the inverse image of some point under a map with tropical part equal to . Therefore, the nature of this part of the moduli space of holomorphic curves can be read off simply from considering the corresponding moduli space of tropical curves.
In the next section, we prove that the virtual moduli space of curves in a refinement of is the corresponding refinement of the virtual moduli space of curves in . Therefore, the above computations apply to any refinement of such as the explosion of a toric manifold relative to its toric boundary divisors.
5.2. Refinements
Recall from [12] that given any refinement and any map , taking the fiber product of with over gives a refinement with a corresponding map . This functorial construction may be applied to any curve in to obtain a corresponding curve in .
For a family of curves in , the construction is more complicated, because the fiber product of with will produce a map which may not be the total space of any family of curves, as there may not be a refinement of so that is a family (the derivative applied to integral vectors in may not be surjective onto the integral vectors in ).
Lemma 5.1.
Given a family of curves in and a refinement , there exists a unique family of curves in fitting into the commutative diagram:
satisfies the universal property that given any family of curves in and a commutative diagram
there exists a unique factorization of the above maps into
Proof: We may use the universal property of to reduce to the case that is covered by a single coordinate chart . Let indicate the fiber product of with over .
Consider lifts of our coordinate chart on to a coordinate charts on . The refinements of from taking the fiber product of with correspond to subdivisions of the polytopes . The projection of all the polytopes in these subdivision to corresponds to a subdivision of , and hence a refinement of . Let be , be the fiber product of with over , and let be the composition of the maps . The map is now a family of curves, because the derivative is now surjective on integral vectors. So we have constructed a family of curves which comes with a commutative diagram
Now suppose that we have any family of curves which fits into the commutative diagram
Again, we may use the universal property we are trying to prove to reduce to the case that is covered by a single coordinate chart. As is a fiber product of with , we get a map and the following commutative diagram.
The inverse image of every polytope in the tropical part of is a polytope in the tropical part of . As is a family, the projection of each of these polytopes to is a polytope in the tropical part of . Therefore, the inverse image in the tropical part of of the projection to the tropical part of of any polytope in the tropical part of is a polytope in the tropical part of . It follows that the map factors through , so we get a commutative diagram
Then using the fact that is defined as the fiber product of with over , we get the required commutative diagram
The uniqueness of this diagram is automatic as the maps and are bijective.
Theorem 5.2.
Given a refinement , the virtual moduli space of holomorphic curves in and the virtual moduli space of holomorphic curves in may be constructed so that the virtual moduli space of holomorphic curves in is the refinement of .
Proof: First, note that given a stable holomorphic curve in , composing with gives a holomorphic curve in which may not be stable, because it may be a refinement of another holomorphic curve. Let indicate the underlying stable holomorphic curve in . We have the following commutative diagram
There is a corresponding unique map of which is a refinement map because the composition is a refinement. As is stable it follows that . Therefore the moduli stack of stable holomorphic curves in is applied to the moduli stack of stable holomorphic curves in .
Now suppose that is an obstruction model on . We shall examine what happens when the functor is applied to such an obstruction model for .
Implicit in , we have a core family for an open substack of . Note that the group still acts on . The sections of all consist of marked points in the smooth part of curves in , so they correspond to sections of which we shall again call . The functor applied to is an open substack of . Note that is the pullback of under the map , so there is a unique invariant map which fits into the commutative diagram
may not be an obstruction model for , however, it satisfies criterion 6 from the definition of obstruction models on page 6. Given a family of curves in , composition with gives a family of curves in , which criterion 6 for tells us comes with a unique fiberwise holomorphic map
and unique section
which vanishes on the the pullback of the extra marked points so that is the composition of with the refinement map . The universal property of implies that there is a unique lift of to . We may also regard as a section of . Then is equal to .
We shall now construct a family which should be thought of as adding some extra marked point sections to , and adding extra coordinates to allow the value of at these marked points to vary appropriately. In particular, we must add extra marked points where the edges of curves in must be refined. If was chosen small enough, we may choose extra sections corresponding to extra marked points on the smooth part of curves in the domain of disjoint from each other and so that the action of permutes these sections, and each smooth component of each curve in contains at least one of the marked points from .
Let be the total number of sections , and the number of sections in . Denote by the section defined by taking all the above sections at once. We can now verify that the tropical part of is a complete map which gives an isomorphism from any strata of to a strata in the image of in the tropical part of under . The corresponding condition, (criterion 4b) for tells us that the tropical part of is a complete map so is also complete. Criterion 4b also tells us that each polytope in may be described by taking the product of the polytopes from which contain the image of the marked points points in and a copy of for each internal edge, and then subjecting this polytope to the condition that there exists an appropriate tropical curve in with the corresponding data. A polytope in is given by taking the subset of a polytope in corresponding to curves in with a given combinatorial type. As includes a marked point in each smooth component of curves in , the combinatorial type of curves in is determined by which strata of each extra marked point is sent to, and which smooth component contains each of these extra marked points. Therefore, the combinatorial type of curves in is determined by which strata lands in. In other words, each polytope in may be described by taking the product of the polytopes from which contain the image of the marked points points in and a copy of for each internal edge, and then subjecting this polytope to the condition that there exists an appropriate tropical curve in with the corresponding data. Therefore with the section satisifies criterion 4b.
Given any family , we may pull back using to obtain sections . Composing these sections with gives a subset of . Define to be the subset of which is the union of the image of all such from . Recall that acts on the marked point sections by permutation. There is a corresponding action of on given by relabeling marked points and permuting the corresponding coordinates on .
Note that criterion 4 implies that may be regarded as a subset of . Forgetting the last marked points from curves in , and using the refinement map on the first components of gives a map . By construction, lies in the inverse image of under this map, and each fiber of the map is some open subset of a refinement of (times a constant in the other coordinates of ). The map is equivariant.
Define to be the restriction of to . Note that the map lifts to a fiberwise holomorphic map
We may pull back over this map to obtain a family of curves . As every curve in this family has extra marked points where edges meet places where is refined, this family lifts without modification to a family , and is therefore the pullback of under a map
Define by removing the extra marked points from (without modifying any components that become unstable when these marked points are removed.) Of course, comes with extra marked points which we may remember the location of. The above diagram then factors into
where the right hand square is a pullback diagram of abstract families of curves. There is a lift of the action on to a action on which permutes marked point sections so that the right hand square consists of -equivariant maps. Denote by the pullback of . We shall modify near the extra marked points below, after pulling back the map to .
Define a invariant map as follows: Choose a neighborhood of each extra marked point section in so that no two neighborhoods intersect. Pull these neighborhoods back to and modify the pullback of in the neighborhood surrounding each extra marked point so that the projection of onto the th copy of is equal to evaluation at the th extra marked point. This means that that if indicates the section coming from these extra marked points, then is equal to the inclusion of into . More specifically, we may choose as follows: Regard as giving a map . Choose so that it is in and so that for some equivariant section of which vanishes outside the neighborhoods of our extra marked points, and which vanishes inside the neighborhood around a marked point if it vanishes at that marked point. In particular, contains as a subfamily corresponding to those curves on which is identically .
There is a unique equivariant map satisfying criterion 5 given by a fiberwise affine map from to followed by , in particular,
Now is a core family for .
We can now check that satisfies criterion 4 from the definition of a core family: As is a core family, restricted to some neighborhood of the image of is an equidimensional embedding, so is also an equidimensional embedding restricted to the same neighborhood of , and composed with the projection is also an equidimensional embedding when restricted to the lift of this neighborhood. On the other hand, is an embedding with derivative that is surjective onto the fibers of the projection . As the domain and range have the same dimension, it follows that in some neighborhood of the image of , is an equidimensional embedding, so with the section satisfies criterion 4a. with also satisfies criterion 4b because with does, and and have the same tropical part.
also satisfies criterion 6 for being a core family. In particular, let be a family in , then as discussed already, there exists a unique fiberwise holomorphic map
and unique section which vanishes on the pullback of the extra marked points
so that . We may lift to a fiberwise holomorphic map
The other criteria for to be a core family are easily seen to be satisfied, so is a core family for .
To describe an obstruction model with core family , we also need a trivialization in the sense of definition 2.9. For this we may pull back the trivialization from to , then use the induced trivialization on . The induced trivialization is described in [15]. The construction agrees with our construction of from . We may use this induced trivialization to pullback from to get a -invariant pre obstruction model . Restricted to some neighborhood of , is injective and has image intersecting on only at , so on this neighborhood we may extend to a invariant pre obstruction model so that is injective and has image complementary to . Theorem 2.14 implies that we may modify to be a core family on some neighborhood of in . To avoid further notational complications, simply call this modified core family . Note that this modified core family contains because is a section of . By choosing small enough to begin with, we may assume that is a core family for .
Therefore, we may choose a locally finite cover of the moduli space of stable holomorphic curves in with core families and a corresponding cover of the moduli space of stable holomorphic curves in with the corresponding core families , and use these to construct the virtual moduli space as in section 2.10. After choosing the compact subsets of the core families in which simple perturbations will be supported, choose an open neighborhood of the moduli space of holomorphic curves with the property that projects to a subset of which when intersected with the inverse image of under the map , is contained in a compact subset. By using small simple perturbations supported inside , we may arrange that is in . Then we may use the pullback of the same simple perturbations under the maps and , then cut them off so that they are compactly supported in , but still describe the same multi perturbation on . If small enough perturbations are used, then all solutions must be in , so the solution set of the corresponding multiperturbation will be .
It remains to check that these perturbations give the required transversality in , and that the orientation on agrees with the orientation on the corresponding virtual moduli space of curves in . Consider a curve in which projects to a curve in under the map . So is some refinement of , and using our trivialization we may regard as the pullback of and as the pullback of . On the edges of , and are naturally trivial bundles, and a section of or is the pullback of a section of or if and only if that section is constant on the extra smooth components of where edges have been refined. As sections have to vanish on edges in order to be in , it follows that is equal to the product of a space of sections for each smooth component, so it is equal to the product of with a space of sections for each extra smooth component. Each extra smooth component is a twice punctured sphere, and if , on sections of restricted to this sphere is just the usual equation on maps to , so has kernel equal to the constant sections and is surjective. For close enough to , it follows that restricted to sections of which vanish on the marked points corresponding to ( but non necessarily ) is injective and has image complementary to in . It follows that as a section of is transverse to (and has intersection equal to ). If the simple perturbations used to define the moduli space are chosen small enough, it follows that of the corresponding solutions given by Theorem 2.29 are also transverse to . As their intersection with is equal to lift of the corresponding solutions in the core family , it follows that the transversality required for the construction of the virtual moduli space in section 2.10 will then hold.
As argued in section 2.10, adding extra marked points to a core family and adding extra parameters corresponding to the image of those extra marked points does not affect the orientation on the virtual moduli space. As is constructed from simply by adding these extra parameters, it follows that the orientation on as a virtual moduli space is the same as the orientation coming from .
Example 5.3.
Suppose that is a connected compact symplectic manifold with codimension embedded symplectic submanifolds which intersect each other symplectically orthogonally. Suppose further that some has a neighborhood in so that restricted to this neighborhood, with the submanfolds is symplectomorphic to an open subset of a toric symplectic manifold with its toric boundary divisors.
Then the explosion of discussed in [12] gives an exploded manifold with tropical part equal to a cone. The open neighborhood of discussed above corresponds to an open subset of which is isomorphic to a refinement of , so for computing the contribution of a tropical curve to Gromov Witten invariants using Theorem 4.7 or Theorem 4.6, vertices contained in the ray corresponding to or any adjacent positive dimensional strata can be regarded as being inside a refinement of .
Note that considering the ray corresponding to together with all adjacent positive dimensional strata as being a subset of the tropical part of a refinement of allows us to put a natural affine structure on these strata which extends over faces. If more of our symplectic submanifolds obey the same condition of having a neighborhood equal to an open subset of a toric symplectic manifold with its toric boundary strata, then we can consider part of the tropical part of corresponding to these and all adjacent positive dimensional strata as a subdivision of a cone with an integral affine structure. In light of Theorem 5.2, the subdivision of this cone is not important for the computation of Gromov Witten invariants, but the integral affine structure is important.
Example 5.4.
There does not exist a compact 4-dimensional symplectic manifold which contains embedded symplectic spheres which intersect each other once symplectically orthogonally, and which have self intersection numbers 1,1 and 2.
To see why this is not possible, suppose that such a manifold existed, and let be the explosion of relative to these three symplectic submanifolds discussed in [12]. Example 5.3 implies that we may regard the tropical part of as a subdivision of a two dimensional integral affine cone which in this case has monodromy around . In particular, removing the strata corresponding to the sphere with self intersection 2, the tropical part or should be regarded as minus a ‘cut’ along the ray generated by , subdivided by the rays generated by and . This integral affine structure can be continued over the cut by identifying it and adjacent strata with the union of the cone in generated by and with the cone generated by and . In particular, with this integral affine structure, a straight line entering the bottom of the cut in direction will exit in direction .
Consider the moduli space of holomorphic curves in with genus and tropical part with punctures having momentum , and respectively. Note that tropical curves in which are the image of holomorphic curves obey a conservation of momentum condition. The only such tropical curves obeying our conditions are therefore refinements of vertical lines contained in the left hand side of identified with the tropical part of . Section 5.1 together with Theorem 5.2 imply that the integral over the corresponding virtual moduli space of pullback under the evaluation map at the third puncture of the Poincare dual to a point with tropical part contained in the left hand side of is , but the corresponding integral for the Poincare dual to a point with tropical part contained in the right hand side of must be . If such a manifold existed, Theorem 3.6 would imply that two integrals are be equal, so no such symplectic manifold exists.
5.3. The case of a nice cokernel
Sometimes, (a connected component of) the moduli space of holomorphic curves will be an exploded manifold (or orbifold) with dimension greater than expected, and come with a natural -dimensional obstruction bundle. In these cases, integrating the pullback of closed forms over the virtual moduli space is equivalent to integrating the wedge product of the Euler class of this bundle with the pullback of these forms over the moduli space of holomorphic curves. (The case when is the case of ‘transversality’.)
Up to this point, we have defined the linearization of the operator in the context of a family with a trivialization. We now give a more natural definition of the tangent space to the image of at a holomorphic curve projected to which is a closed subspace with finite codimension. The annihilator of can be regarded as the cokernel of the linearized operator at .
Definition 5.5.
(Tangent space to ) Let be a family of curves in containing a holomorphic curve , let be a connection on , and let be a vector field on which projects to a vector field on . Then is in . Let
for all choices of , and satisfying the conditions above.
Lemma 5.6.
Given any stable holomorphic curve in a basic exploded manifold , is a closed linear subspace of with finite codimension.
If is a family of stable holomorphic cures in so that has fixed codimension for all curves in , then there is a vector bundle over with fiber over given by
so that sections in project to sections of .
Proof: Let be a stable holomorphic curve. If , then is zero dimensional, so this lemma holds trivially. In all other cases, Theorem 2.28 tells us that there is an obstruction model containing . Lemma 2.17 tells us that the image of is a closed linear subspace of and has finite codimension. Of course, contains this image of . To obtain the entire , we may restrict to families parametrized by and contained in the open substack for which is an obstruction model. Assume that our holomorphic curve is the curve over . Using the fact that is a core family in the sense of Definition 2.5, we get a map
and unique section
which vanishes on the pullback of marked points, so that
We may resolve the -ambiguity of the above map and choose some lift to a map to . We may also lift the resulting map to a map
which is the identity on the factor when remembering that . Then there exists a section of so that
Regarding as the coordinate on , we may think of as defining a family of sections of . We may assume that is the zero section. defines an inclusion of into . Similarly, given any vectorfield on which projects to a vectorfield on , there exists a vectorfield on projecting to a vectorfield on so that
In the above, we may use any connection , because is holomorphic and the above expression is actually independent of choice of . We may write as , where is a function of , and for each , may be regarded as a vectorfield on which projects to a vectorfield on . Then
As we may construct our family so that and are whatever we like, it follows that is equal to the linear span of the image of and the linear subspace of which is the image of the derivative of the section . Therefore, is indeed a closed linear subspace of which has finite codimension.
Now suppose that is a family of stable holomorphic curves so that for all in , has codimension . To prove that the vector spaces for all in have a natural structure of a dimensional vector bundle, it suffices to work locally, so we may assume that is contained in our obstruction model , and that there is a map of curves . As is complementary to , our assumption on the codimension of and the above characterization of imply that the image of the derivative of the section has codimension at all curves in . As the image of the derivative of this section has constant codimension, its image is a sub vector bundle of restricted to the image of . We may pull back and to vector bundles and over .
As is complementary to the image of , the inclusion induces an isomorphism
Our desired vector bundle is equal to . Note that is a pre obstruction model so that is injective and complementary to for all in . Applying the linear version of Theorem 2.14 part 2, (proved separately in [15]) gives that for any section in , there exists a unique section in and section of so that
Then the section of corresponding to is equal to the section of corresponding to , which gives a section of . Therefore, the structure on given by has the desired property.
Theorem 5.7.
Suppose that a connected component of the moduli space of curves in a basic exploded manifold for which Gromov compactness holds satisfies the following:
-
•
For all curves in , has codimension .
-
•
Either is an orientable exploded orbifold with dimension greater than the expected dimension of the virtual moduli space, or .
Then is a complete orientable exploded manifold or orbifold, and there is a vector bundle over with the fibers
and the natural structure from Lemma 5.6. Given an orientation of , there is a natural orientation for so that the following holds:
Given any map and closed differential form , the integral of over the component of the virtual moduli space corresponding to is equal to
where is the Euler class of the vector bundle .
Proof:
Note that we may construct the virtual moduli space of curves using one set of obstruction models covering and another disjoint set of obstruction models which cover all other holomorphic curves. The construction of the virtual moduli space with these two sets of obstruction models is then completely independent, so it makes sense to talk about the component of the virtual moduli space corresponding to as that component which is contained in the image of the union of the obstruction models used to cover .
Now consider one of our obstruction models used to cover . We shall assume that we have chosen these obstruction models small enough that the only holomorphic curves in some extension of are in . The holomorphic curves in therefore form a -fold cover of an open subset of .
If , then the characterization of given in the proof of Lemma 5.6 implies that section is transverse to the zero section, and it follows that must be a complete exploded orbifold of the dimension expected for the virtual moduli space. We may then give the orientation from the oriented intersection of with the zero section using the orientation on and the relative orientation of . As noted in section 2.10, this gives a well defined global orientation on .
If on the other hand is of dimension larger than the expected dimension, the set of holomorphic curves in is a closed submanifold of with dimension larger than the dimension of minus the codimension of . The characterization of from the proof of Lemma 5.6 implies that we may choose a dimensional sub bundle so that for all holomorphic , is complementary to . ( is naturally isomorphic to the pullback of our obstruction bundle to .) It follows that in some neighborhood , the intersection of the section with is transverse. As this intersection is also the same dimension as , it must be equal to U ( at least, it must be equal to when restricted to some neighborhood of .) Therefore, the is actually a complete sub exploded manifold of .
As Gromov compactness holds for , we already know that is compact, so it follows that is complete. Given an orientation of , we may orient using the exact sequence
So restricted to a small enough open neighborhood of the holomorphic curves in , the inverse image of in is equal to the oriented sub manifold . That this gives a global orientation for may be proved in the same way as the proof that the orientation for the virtual moduli space is well defined in section 2.10.
Choose compactly supported simple perturbations parametrized by so that the resulting multiperturbation restricted to the family of curves gives a multisection of which corresponds to a multisection of which is transverse to the zero section.
Now consider perturbing the equation using times the above multiperturbation . Apply Theorem 2.29 and let be the corresponding family of multisections which are the solutions mod parametrized by . Theorem 2.29 tells us that for small enough, this is a family of multisections.
We have that locally around a curve in ,
where
and is a section of satisfying
Restrict to a small enough compactly contained -invariant open subset so that the above holds, and simply relabel this subset to avoid notational complications. Each corresponds to a choice of map of to an obstruction model, which removes the ambiguity from the automorphisms of that obstruction model. The proof of Theorem 2.29 involves locally extending the choices of such maps for to choices for so that the index of corresponds to a particular local choice for . As , it follows that
As , and is transverse to , remains transverse to for small enough, and we may parametrize the intersection with with a weighted branched map from (and this intersection with will converge to in as .)
Recall that on , there is a map from to sections of corresponding to the identification . Choose some bundle map which is a projection that which on curves in has kernel equal to the image of the derivative of , so on these curves is equal to the restriction of to .
Note that vanishes to first order on . Similarly, note that on , applied to the image of is , therefore restricted to and ,
To summarize, we have that is transverse to for small enough, and restricted to the intersection of with , and the partial derivative with respect to of is where the pullback to of our multisection of is given by
For small enough, we may therefore approximate the integral of the pullback of any differential form over with the integral over the intersection of with the zero section.
For small enough, is transverse to the zero section, so we may change our simple perturbations slightly for each so that the resulting family of solutions to is fixed point free, so the resulting solutions fit together to form the virtual moduli space. Given any closed form , the integral of over (our component of) the virtual moduli space is independent of , and locally given by the sum of the integrals over the intersection of with divided by . Similarly, the integral of over the weighted branched sub exploded orbifold of defined by the intersection of our multisection of with the zero section is locally given by the sum of integrals over divided by . The above arguments imply that as we may make the above two integrals locally as close as we like by choosing small, therefore the fact that this integral is independent of if is closed implies that these two integrals are equal. Therefore, the integral of over our component of the virtual moduli space is equal to
where is the Euler class of the vector bundle .
Example 5.8 (Curves mapping to a point).
Consider the component of the moduli space of holomorphic curves in consisting of curves with genus and punctures which map to a point in . This component of the moduli space of holomorphic curves is equal to , which has dimension times the dimension of greater than expected, and has a nice obstruction bundle which we shall now describe.
Given a particular curve with domain in and a point in , let be the space of holomorphic sections of which vanish on any external edge of . Given any and section of which vanishes on edges of , we may regard as a two form on which vanishes on all edges of . As vanishes on edges of ,
gives a linear functional on the space of sections of which vanish on edges of , so we may regard as a linear subspace of the dual of . We shall now check that is a subspace of the cokernel of .
Given any map , we may regard as a one form on which vanishes on external edges of . Then is equal to . As may not vanish on integral vectors, we can not apply the version of Stokes’ theorem proved in [14] directly, however does vanish. This is because the usual Stokes’ theorem applied to each smooth component of gives that the integral of is equal to the sum of the limits of the integral of over suitably oriented loops around punctures as those loops are sent into the edges of . As vanishes on external edges of , the contribution to the integral from external edges disappears. On the other hand, the contribution from each end of an internal edge cancels out, so the sum of the integral of over all smooth components of is .
Note that on the smooth part of is a holomorphic one form with values in that has simple poles with opposite residues at each side of a node corresponding to an internal edge of , and which is bounded and hence smooth at punctures corresponding to external edges of . The dimension of is equal to . The only holomorphic maps from to are the constant maps, so the kernel of the operator has dimension . The index of the operator acting on the space of maps from to is , so is the cokernel of this operator. Note that in this case is equal to the image of this operator, so we may apply Theorem 5.7, and the relevant obstruction bundle is has fibers dual to .
If we give the orientation from its almost complex structure, the orientation of given in the proof of Theorem 5.7 is the orientation from its complex structure, as in this case, the linearization of the map is complex. Integrating the pullback of a closed differential form over the virtual moduli space of curves mapping to points in with genus and marked points is therefore equivalent to integrating that form against the Euler class of on .
Note that the pullback of this bundle over the map which forgets one marked point gives the equivalent bundle on , so all cases follow from , and where . For dimension reasons, the Euler class of over will be when and , so these curves will not contribute to Gromov Witten invariants.
Appendix A Construction and properties of
In this section we fill in the details of Definition 2.4 from page 2.4, and construct the family of curves with extra marked points from a given family of curves . As the definition is inductive, with , we shall describe . This is some family of cuves
that fits into the following diagram
The total space of the domain, is constructed by ‘exploding’ the diagonal of as follows:
Consider the diagonal map . The image of the tropical part of this map defines a subdivision of the tropical part of , which determines a unique refinement . Note that the diagonal map to this refinement is still defined,
and a neighborhood of the image of the diagonal in is equal to a neighborhood of in a bundle over .
Now ‘explode’ the image of the diagonal in to make as follows: We may choose coordinate charts on so that any coordinate chart intersecting the image of the diagonal is equal to some subset of where is a coordinate chart on , the projection to is the obvious projection to , the complex structure on the fibers of this projection is equal to the standard complex structure on , and the image of the diagonal is . Replace these charts with the corresponding subsets of , and leave coordinate charts that do not intersect the image of the diagonal unchanged. Any transition map between coordinate charts of the above type is of the form where is valued. In the corresponding ‘exploded’ charts, the corresponding transition map is given by . The transition maps between other charts can remain unchanged. This defines . The map is given in the above coordinate charts by . Composing this with the refinement map then gives a degree one fiberwise holomorphic map
The map is given by the above constructed map composed with the map
which is in each component. All the above maps are smooth or if is.
The above construction is functorial. Given a map of families , there is an induced map . To see this, consider the naturally induced map
As sends the diagonal to the diagonal, this map lifts to the refinement referred to in the above construction. As is holomophic on fibers and sends the diagonal to the diagonal, in the special coordinates on the refinement used in the above construction of the form and , the map is of the form
where is valued. Then the map is given in the corresponding exploded coordinates by
We then get a map
The map is clearly compatible with the maps and , so is a map of families . It follows that the construction of is functorial for all .
We can apply a similar construction to moduli stacks of curves. Let be a tropical curve in and be obtained from by adding an infinite edge which maps to a point in . Then given any family in , is a family in . Conversely, if plus the number of edges of is at least , or if , then given any family in , forgetting the extra marked point and removing unstable components gives a family in so that there is a map . Therefore, it makes sense to refer to as . Of course the inverse image of the stack of holomorphic curves under the map is the stack of holomorphic curves in .
Similarly, construct as follows. If on some open subset of , is equal to , then on , is equal to . Let be a tropical curve in and be obtained from by adding an infinite edge that maps to a point in . Suppose that either the homology class or plus the number of external edges of is at least . Then is cobordant to . This fact implies that our Gromov Witten invariants satisfy the ‘fundamental class’ and ‘divisor’ axioms of [7]. Its proof involves a slight modification of Theorem 2.29 to allow simple perturbations from to be pulled back and used in defining a virtual moduli space in .
Appendix B Proof of Theorem 4.6
This section is dedicated to the proof of Theorem 4.6. In particular, we must prove that given a tropical curve in with genus , and an energy and genus , the virtual moduli space of holomorphic curves in for all vertices of may be constructed so that the maps and are transverse applied to whenever and , and we must prove that the pullback of the virtual moduli space of holomorphic curves in to is cobordant to the pullback to of the virtual moduli space of curves in .
We shall also show that if the virtual moduli space is constructed using the zero perturbation and and are transverse whenever and , then the virtual moduli space of holomorphic curves in may be constructed so that the pullbacks of the two different virtual moduli spaces to are equal.
We have our two maps
described in section 4. A curve in is holomorphic if and only if it has a holomorphic image in under the above map, as having a holomorphic image in means that it is holomorphic on each strata. It is also obvious that a curve in is holomorphic if and only if it has a holomorphic image in , as the -decoration has nothing to do with being holomorphic. Therefore the subset of holomorphic curves in is equal to the inverse image of the set of holomorphic curves in and also equal to the inverse image of the set of holomorphic curves in .
We must now deal with the following problem: the multiperturbations we used to define the virtual moduli space in will pull back to multiperturbations on that look different from the pullback of the multiperturbations used to define the virtual moduli space in . We are forced to consider multiperturbations slightly more general than those defined using simple perturbations parametrized by core families in . In particular, we must construct the virtual moduli space of holomorphic curves in using perturbations general enough to include multiperturbations pulled back from both and .
As in the case of , we have core families and obstruction models covering the moduli space of holomorphic curves in . If we were to follow the construction of section 2.10, we would use multiperturbations obtained from simple perturbations which are parametrized by obstruction models in a compactly supported way. If we are to allow the pullback of mulitperturbations from , we must give up this ‘compact support’ property. Now we begin the construction of virtual moduli spaces.
-
•
for each holomorphic curve in choose a core family containing it. (We will specify extra conditions later which will amount to being small enough and having enough marked points.) Construct these core families on using the method in the proof of Proposition 2.27.
After a choice which fixes the -fold ambiguity, the element of corresponding to a close by curve is given by
-
(1)
The complex structure of restricted to each smooth component of .
-
(2)
The (transverse) intersection of with some codimension submanifolds of . (This transverse intersection always occurs in the smooth components of )
-
(3)
The image under of some extra marked points on smooth components of . The position of these extra marked points on a given smooth component of is determined by the complex structure of that smooth component and the transverse intersections of that smooth component with the above submanifolds.
-
(4)
A gluing parameter in corresponding to each internal edge of .
-
(1)
-
•
The inverse image of in consists of some number of families. Each of these families can be considered as a sub family of with a -decoration in ways, where is the subgroup of which preserves the -decoration of . Call a lift of to . We may consider as a core family on . When our core family is constructed around a curve not in the image of , reduce the size of so that it does not intersect the image of . When our core family is constructed around a holomorphic curve in the image of , by choosing our core family small enough, we may arrange that all lifts contain .
-
•
Now given a vertex of and a lift of , we can construct a core family around the the image of under the map . Here, we may use the same choices as the choices for the strata of which are associated with when we lift to . This means that there is a map from to given by simply restricting to the relevant coordinates.
Now, so long as our original core family was constructed with enough marked points on the components corresponding to , we can make into an obstruction model . Here, we may need to shrink the size of and therefore shrink the size of in order to keep the map well defined.
-
•
So long as was chosen small enough, can be made into an obstruction model where so that
-
–
The pre-obstruction bundle above is the pullback to of the pre-obstruction bundle .
More explicitly, applying our map to gives a family close to in , which comes with a map compatible with the map given by restricting to the relevant coordinates. Using the trivialization associated with the pre obstruction bundle , we may pull back to give a pre obstruction bundle . Each element of this is a curve in along with a section in (which of course, vanishes on the edges of ). By shortening some infinite edges, we may consider as part of a curve in , and then extend our section in to be zero everywhere else on this curve in . We may similarly extend our pre obstruction model to become a pre obstruction model .
-
–
The pre-obstruction bundle is the pullback of a pre-obstruction bundle where is the vertex attached the incoming end of (where we have chosen an orientation on the internal edges of )
-
*
is complementary to the image of restricted to sections in which vanish on the edge corresponding to our incoming end of .
-
*
is invariant, and contained in the image of restricted to sections in which are compactly supported inside some small neighborhood of .
-
*
Note that for any curve in , is the same dimension as the cokernel of , and that if we make small enough, will be transverse to . Note also that is invariant, so we may apply Theorem 2.14 to modify into an obstruction model (which we shall still refer to as ).
-
–
-
•
Now choose a finite cover of the set of holomorphic curves in by our obstruction models on .
-
•
As in the construction of the virtual moduli space in section 2.10, by shrinking the open sets for which and are core families, we may arrange that there is an open neighborhood of the set of holomorphic curves in satisfying our energy and genus bound so that
-
–
meets the set for which is a core family properly in the sense of definition 2.22,
-
–
and the image of in meets the sets for which is a core family properly.
-
–
-
•
We need the above proper meeting properties in order to apply the following slight modification of Theorem 2.29 to our context.
Theorem B.1.
Given
-
–
a finite collection of core families for the substacks of or
-
–
an open substack of which meets properly for all (definition 2.22), and which has an image in which meets properly if
-
–
an obstruction model for the substack
-
–
compactly contained invariant sub families
then given any collection of simple perturbations parametrized by which are compactly supported in and are small enough in , and a sufficiently small simple perturbation parametrized by there exists a solution mod on which is a -invariant weighted branched section of with weight (see example 3 below definition 2.19) so that the following holds:
Locally on ,
where is a section of , and is in so that is in and the multiperturbation defined by our perturbations is equal to
so that
The weighted branched section is the unique weighted branched section of with weight satisfying the following two conditions:
-
(1)
Given any curve in and any section in so that , if , and near , then the sum of the weights so that is in is equal to the sum of the weights so that .
-
(2)
For any locally defined section in , if the multi perturbation , and is a section of , then locally, .
This weighted branched section determines the solutions to the perturbed equation on in the following sense: Given any family in , if , then around each curve in which projects to the region where the above are defined, there is a connected open neighborhood in with at least different maps to .
If is another collection of simple perturbations satisfying the same assumptions as then the sections corresponding to , with the correct choice of indexing can be forced to be as close to as we like in by choosing close to in . If is a family of simple perturbations satisfying the same assumptions as , then the corresponding family of solutions mod , form a family of weighted branched sections.
Proof: The proof of this theorem is analogous to the proof of Theorem 2.29 - we just need to deal differently with the which are core families on instead of .
As in the proof of Theorem 2.29, we may reduce our proof to the case that for all , some neighborhood of in is contained in , or has image in contained in .
Use to denote the restriction of to the subset with core .
As in the proof of Theorem 2.29, we will extend to a family which can be regarded as parametrizing the simple perturbations for all and use the resulting unique solution to the corresponding perturbed equation over to construct the weighted branched section of which is our ‘solution’ with the required properties.
Use the notation
for the map coming from the extra marked points on the core family .
When we are dealing with curves with a -decoration, we shall use a slightly different evaluation map. Let indicate the moduli stack of abstract curves with a decoration, and indicate the moduli stack of curves with a decoration and extra punctures. So there is a natural evaluation map
in the case that is in , and a corresponding evaluation map
in the case that is in .
Each of these evaluation maps have the property that they are equidimensional embeddings in a neighborhood of the section . There exists an open neighborhood of the family of curves so that given any curve in , if indicates the restriction of the family to , then intersects transversely exactly times, corresponding to the maps from into .
In the case that is in , we wish to pull back to , (the result of adding extra punctures to the moduli stack of curves in .) The extra punctures given by are all contained in the smooth components of , so we may ensure that the same is true for the extra punctures on curves in . We may extend our map in an obvious way to a map to from the subset of where all the extra marked points are contained in strata sent to the vertex . To reduce the amount of extra notation required, refer to the inverse image of the above under this map as .
Consider the family . Use the notation to denote the vector bundle over which is the pullback under of .
Any section of corresponds in an obvious way to a section of , and the map corresponds to a map
so that
Use the notation to denote the restriction of to the subset
Define a map
so that is equal to the natural map coming from the complex structure of curves in on the first component, and on the second component. So
If we restrict to the subset of where the extra marked points are in components sent to , then there is an analogous map to .
Use the notation for the restriction of to the inverse image of a curve . In the case that is in , for any section small enough in , the map restricted to intersects transversely in exactly points. Denote by the subset of which is the pullback of the image of the section :
In the case that is in , for any section small enough in , the map restricted to intersects transversely in exactly points. Denote by the subset of which is the pullback of the image of the section :
Close to the zero section in , has regularity , and for sections small enough in , is transverse to and is a -fold multisection .
Use the notation for the pullback along the map of the vector bundle , for the inverse image of in , and for the pullback of to a section of . Considering as the pullback of gives the structure of a family of curves. Forgetting the extra marked points gives a family of curves which is the pullback of .
As discussed in the proof of Theorem 2.29, in the case that is in , there is a map
so determines the maps from the definition of the core family in the following sense: For small enough, the intersection of with is transverse, and is a -fold cover of , which lifts to a -fold cover of which is a subset of . Then gives a map of our -fold cover of into , which corresponds to the map .
In the case that is in , denote by the restriction of to the subset which is sent to using the decoration. Then there is an analogous map
so that the following holds: For small enough, the intersection of with is transverse, and is a -fold cover of , which lifts to a -fold cover of which is a subset of . Then gives a map of a subset of our -fold cover of into which can also be constructed as follows: Applying the map to the family gives a family in . Then the map can be regarded as giving a map of a fold cover of to . Pull this -fold cover and map back over the inclusion into of the strata of which are sent to . The resulting map is .
Denote by the fiber product of over for all , and denote by the fiber product of over for all ; so is a vector bundle over . A section of corresponds in the obvious way to a section of which is equal to on each factor. Similarly, denote by the open subset of inside on each factor. Denote by the subset corresponding to all restricted to a neighborhood of the zero section small enough that is . We can choose so that pulling back over the map gives an allowable pre obstruction model . Note that is some open subset of the fiber product of over for all , so the maps induce maps
(When is in , note that the above map is only defined on the subset of consisting of strata which are sent to using the decoration.)
Pulling a simple perturbation parametrized by back over the map gives a simple perturbation parametrized by . In the case that is in , this simple perturbation is only defined on the strata of sent to , but we may extend the simple perturbation to be everywhere else. Now the rest of the proof is identical to the corresponding part of the proof of Theorem 2.29.
Use the notation
If is any small enough section of , then the multi perturbation can be constructed as follows: If is small enough, then is transverse to , and the intersection of with is a -fold cover of in which lifts to a multiple cover of inside (where ). Together these give the domain for a family of curves which is a -fold multiple cover of . Restricting to then gives a section of , which corresponds to a -fold multi section of . Locally, giving each of these sections a weight gives a weighted branched section of with total weight which is equal to the multi perturbation .
As is an obstruction model, Theorem 2.14 applies to and implies that there is some neighborhood of in the space of simple perturbations parametrized by so that for such any in this neighborhood, there is a unique small section so that . The fact that is part of an obstruction model for implies the following uniqueness property for if is small enough: Given any curve in and section in so that is in , then if and only if is the restriction to of .
Denote by the pullback of over the map , and denote by the pullback of .
This comes with two maps into : one the restriction of the map , and one the restriction of the map . The significance of these two maps is as follows: is used to parametrize the different possible maps into . The restriction of the map determines the maps into that the families of curves corresponding to sections of have. The restriction of the map specifies the maps to used to define our simple perturbation parametrized by .
Denote by the subset of on which the above two maps agree. Because these two above maps agree when composed with the relevant maps to , can be regarded as the fiber product of with itself over and is the diagonal in this fiber product . Therefore, is and the map is an isomorphism. A section of defines a section of the vector bundle so that if is the pullback over the map of some section of , then is the pullback of . We can define similarly to the definition of .
As is transverse to for small enough, and gives a -fold cover of , is transverse to for small enough, and also defines a -fold cover of with regularity . To see this, suppose that is the pullback of some . Then is transverse to , and is an fold cover of which is a pullback of over the map . These sections of are constant on fibers of the map , and are therefore transverse to the diagonal section , and when intersected with give an -fold section of . This transversality and the fact that defines a -fold cover of with regularity is stable under perturbations of , so it remains true for small which aren’t the pullback of some .
We may consider this multiple cover of as being a multi section of , which lifts to a multi section of . Restricting to this multi section gives locally sections of with regularity . We may similarly pullback the sections to give locally sections . Then
(23) is the weighed branched solution which is our ‘solution mod ’. We shall now show that this weighted branched section has the required properties if is small enough. Note first that close by simple perturbations give close by solutions . Also note that if we have a family of simple perturbations , Theorem 2.14 implies that the corresponding family of solutions to is a family, so the corresponding weighted branched sections form a family.
If are chosen small enough, the multi perturbation under study is given by
(24) where is constructed as follows: is a -fold cover of the open subset of where is defined. By working locally, this -fold cover can be thought of as local sections of , which lift to local sections of . The restriction of to these local sections gives the sections of in the formula (24) above. As one of these sections of coincides with the multi section mentioned in the paragraph preceding equation (23) obtained using the solution to the equation , one of the sections of has the property that .
Suppose that is some curve in where these in formula (23) are defined, and is small enough that . If the simple perturbations are chosen small enough, the fact that is an obstruction model will imply that if where and , then must be small - choose small enough that such must have intersecting transversely times and our reduction to the case that the families corresponding to sections of are in is valid. Then where the sections of are obtained as follows: The points of correspond to maps of into - the sections are given by pulling back the simple perturbation over these maps. Then if and only if is equal to the pullback under the relevant map of the solution to . Therefore, if is small enough, the number of so that is equal to the number of from formula (23) so that .
Similarly, if is locally a section of vanishing on the relevant marked points so that and where and , then so long as is small enough, is locally a -fold cover of corresponding to sections of which lift locally to sections of . Then must locally correspond to the pullback of under one of these local maps , and must locally be the pullback of the solution to . It follows that must coincide locally with one of these from formula (23), and the weighted branched section locally equal to is the unique weighted branched section with the required properties. The fact that our weighted branched section is the unique one satisfying these properties implies that it is -invariant. (This may also be checked directly by noting the the construction is -invariant.)
The relationship of our solution to the solutions to the perturbed equation is as follows: Consider a family in so that and . By working locally on , we may assume without losing generality that projects to the region in where equation 23 holds, and that we may resolve the -fold ambiguity of the map to a map . We may then pull back and to be bundles over . The corresponding bundles and may also be constructed in the same way as the original bundles using the induced trivialization on from . The section vanishing at the correct marked points so that corresponds to a section of this pulled back which is transverse to the pulled back and intersects this pulled back in an -fold cover of . This -fold cover of comes with a map to , corresponding to a map to which lifts to a fiberwise holomorphic map of a -fold cover of to so that is determined by pulling back over this map, then giving the simple perturbation from each branch of the cover a weight and summing the result. As , locally at least of these simple perturbations must be , and must be the pullback under each of the corresponding maps of the solution to , and its image must be contained in the subset where . It follows that around each curve in , there is a map of a neighborhood into at least of the with image contained in the subset where , and with the map corresponding to our local choice of lift of the map coming from the fact that is a core family. Without a choice resolving this -fold ambiguity, this corresponds to there being at least maps of into .
-
–
-
•
By pulling back generic simple perturbations parametrized by for all , transversality can be achieved in any compact subset of an obstruction model as follows:
Lemma B.2.
Suppose that we have compactly supported simple perturbations parametrized by our which are small enough that Theorems 2.29 and B.1 may be applied in the following two contexts. Over , Theorem 2.29 gives a solution to the corresponding perturbed equation mod which is locally equal to a weighted sum of sections in each of which has a corresponding section of . Similarly, over , Theorem B.1 gives a solution to the corresponding perturbed equation mod which is locally equal to a weighted sum of sections in , each of which has a corresponding section of .
Let be a subfamily of , and let be the subfamily of which is the intersection of with the image of in . Then if our simple perturbations are small enough, and on ,
-
(1)
is transverse to the zero section in ,
-
(2)
the solutions to the equations are transverse when mapped to ,
-
(3)
and none of the solutions to the equations have any automorphisms,
then restricted to , is transverse to the zero section in .
Proof: Recall that , where is considered as pulled back from a pre-obstruction model where is the vertex attached to one of the ends of . Use the notation to indicate the set of edges for which is considered as coming from a pre-obstruction model . Instead of a single simple perturbation parametrized by , we may consider a family of simple perturbations parameterized by the total space of the bundle where at our new simple perturbation is equal to the old simple perturbation plus . Close to the zero section in , we may then apply Theorem 2.29 with this new family of simple perturbations, to obtain the local moduli space of solutions to . This moduli space is locally equal to a weighted sum of families together with sections of . It follows from our application of Theorem 2.29 that these sections are transverse to , therefore condition 1 implies that these sections are transverse to the zero section.
Condition 2 implies that near , these moduli spaces will be transverse when mapped by and to . Lemma 4.5 implies that close to the subset where , the result of applying Theorem B.1 to is a bundle of gluing choices over the result of taking the fiber product of our over and restricting to the subset with tropical parts that can be obtained by -decorated tropical completion. The sections of are equal to the pullback of the fiber product of the individual sections of , so the fact that these individual sections are transverse to the zero section combined with the transversality 2 for the solutions to when taking our fiber product imply that is transverse to the zero section in .
Lemma B.3.
Proof:
Clearly, the conditions 1, 2 and 3 are open conditions, and Theorem 2.24 states that the set of perturbations satisfying conditions 1 and 3 is dense, so we need only show that perturbations satisfying condition 2 are dense. This is easy: start off with some perturbation satisfying condition 1 and 3, apply Theorem 2.29 and let indicate the product for all of the multi sections which solve the equation . Assume that for each fixed , the the sections correspond to families satisfying the transversality condition 2. We may choose a section in which is as close as we like to in , so that these sections restricted to the sub families of where correspond to families which are transverse when mapped to using and . Then if is sufficiently close to , modifying our original perturbation by will give modified solution sections which satisfy the conditions 1 and 3, and which also satisfy transversality condition 2 for . Continuing this argument for larger , it follows that the set of perturbations satisfying condition 2 is also dense, so a generic small perturbation parametrized by for all will satisfy conditions 1, 2 and 3.
-
(1)
-
•
Choose some finite set of extra obstruction models which together with our cover the set of holomorphic curves in where and , choosing our new obstruction models to avoid some neighborhood of the image of the set of holomorphic curves in . We may now construct the virtual moduli space of holomorphic curves in using these obstruction models and the method of section 2.10. Lemma B.3 implies that we may construct our virtual moduli space so that the maps and will be transverse, and the pullback of this component of the virtual moduli space to will be . Note that pulling the multiperturbation used to define our virtual moduli space back to will only involve the perturbations parametrized by our in some neighborhood of the holomorphic curves, so for the purposes of describing the pullback, we may ignore the other perturbations, and we may apply Lemma B.2.
-
•
Cover the moduli space of holomorphic curves in by a finite collection of obstruction models so that any obstruction model which intersects the image of uses one of our core families discussed earlier. Then construct the virtual moduli space of holomorphic curves using the method of section 2.10.
Recall that there are different lifts of which give the same core family as . Let indicate the disjoint union of these lifts. The group acts on so that the map is -equivariant. We can consider as a core family for . Around this core family , the pullback of the multiperturbation defined by a simple perturbation parametrized by is the same as the multiperturbation defined using the simple perturbation parametrized by which is just the pullback of the original perturbation using the map . Let indicate the pre obstruction model which is the disjoint union of the corresponding . Then is an obstruction model on . Using generic perturbations in our construction of the virtual moduli space of curves in , we may achieve transversality for the corresponding perturbed equation on any compact subset of these obstruction models .
-
•
We may now construct a cobordism in between the pullback of our two different moduli spaces by perturbing the equation with a family of multiperturbations parameterized by . (We shall verify that the orientation of this cobordism is compatible with the orientations on the pullback of our different moduli spaces afterwards. ) In particular, multiply our generic multiperturbation pulled back from by a cutoff function which is when and when . (In other words, if the original pulled back multiperturbation on a family was , then use .) Multiply (in the sense of definition 2.19) the resulting multiperturbation with the pullback of a family of multiperturbations from given by a generic family of small simple perturbations parametrized by our obstruction models on which vanishes when , and is the multiperturbation used to define the virtual moduli space when .
Recall that in our construction of virtual moduli spaces, we choose compact subsets of obstruction models who’s interiors still cover the moduli space of holomorphic curves, and only consider transversality in these compact subsets of obstruction models. Choose one set of these compact subsets for our , and another set of these compact subsets for our .
Lemma B.2 together with Lemma B.3 imply that at we have transversality on the relevant compact subsets of . It then follows from Theorem B.1 that for small, we have transversality for the equation on our compact subset . Then Theorem B.1 implies that with our generic family of simple perturbations parametrized by , we may achieve transversality for the other values of within our compact subsets of . Similarly, so long as has dimension greater than zero, we may ensure that our solutions have no automorphisms. It follows that our two virtual moduli spaces of curves in are cobordant.
Of course, in the case that the conditions of Lemma B.2 are satisfied by the zero perturbation, and the holomorphic curves in have the same number of automorphisms as their image in then Lemma B.2 implies that we may construct our virtual moduli space on using perturbations which pull back to to give the zero perturbation, so in this case, the pullback of our two virtual moduli spaces coincide.
-
•
We must verify that the orientation on our cobordism is compatible with the orientations pulled back from and . As usual, we shall orient our moduli space by orienting the obstruction models . First, note that we can orient exactly the same way as we orient - using the fact that it is a core family. Similarly, we may orient for all using the fact that these are core families too. These orientations are related by equating with the product of a coordinate in for each internal edge of and for all vertices in . (Each of these factors is even dimensional, so the order of this product does not matter.)
As usual, we orient and by identifying them with the cokernel of the relevant linearized operator and using the method given in Remark 2.18 to orient this cokernel using a homotopy of to complex operator. This method of constructing orientations for our moduli space in will clearly give the same orientation as pulling back our orientation for the moduli space in .
We now have an orientation of and an orientation of . These define an orientation on our virtual moduli space . In particular, applying Theorem 2.29 to gives a solution to the perturbed equation mod which consists of a weighted sum of families parametrized by along with sections of ; our virtual moduli space is given by a weighted sum of the oriented intersection of these with the zero section. To pull back this oriented virtual moduli space to , we take the fiber product over (which has an almost complex structure which orients it), restrict to the subset with tropical part in the image of -decorated tropical completion then take the bundle of gluing choices over this fiber product (which has has a fiberwise complex structure with orients it). As all factors in this fiber product are even dimensional, we need not specify the order in which we take fiber products to specify the orientation.
As is an even dimensional bundle, we may swap the order of the fiber product and the intersection of with the zero section, so another way of specifying the orientation of the pullback of is as follows:
Theorem 2.29 gives us a weighted branched sum of families parametrized by together with sections of . Recall from the proof of Lemma B.2 that we may also apply the version of Theorem 2.29 for families to obtain the local moduli space of solutions to which will be a weighted branched sum of families parametrized by the total space of the bundle over together with sections of . These sections are the identity on the coordinates, and the intersection of with is equal to our moduli space of solutions mod . Giving any orientation we like, the oriented intersection of with the zero section will be equal to the oriented intersection of with the zero section.
As noted in the proof of Lemma B.2, we can take the fiber product of these families over , restrict to the subset with tropical part in the image of -decorated tropical completion, and then take the cover corresponding to gluing choices over this fiber product to obtain the local moduli space of solutions to which is obtained by applying Theorem B.1 to . We must now verify that we obtain the correct orientation on this moduli space of solutions to . Recall that is identified with the dual of the cokernel of restricted to sections in which vanish on the edge corresponding to a chosen end of , and that is in the image of . As has no kernel, applying to , then restricting the resulting sections to a point on the relevant edge will give an isomorphism between and the tangent space of at that point, which has an almost complex structure. We may also choose so that is complex. It follows that the orientation on determined using a homotopy of to a complex operator (in other words the method of Remark 2.18) is equal to the orientation determined by identifying with some pullback of the tangent space to . Note in particular, this orientation agrees with an orientation of the solution of given by parametrizing solutions by and the restriction of our maps to the relevant ends corresponding to . This orientation then agrees with the given orientation of after taking fiber products over and taking the bundle of gluing choices over the result. In other words, the orientation from taking the fiber product of the solutions of is equal to the orientation of the solutions of .
The orientation of using the method of Remark 2.18 will agree with the orientation of because of the following: We may extend the domain of to include sections which do not agree along edges. Then the cokernel will be represented by , and will be in the image of . Again, we may assume that we’ve chosen so that is complex, so the homotopy of to a complex operator will give the orientation corresponding to the complex structure on , which is the same as the orientation we gave when orienting using the method of Remark 2.18.
Therefore, the pullback of the orientation of to is equal to the orientation determined within using .
This completes the proof of Theorem 4.6.
Appendix C Gromov Compactness
In this section, we give some examples of exploded manifolds with an almost complex structure tamed by as symplectic form so that Gromov compactness holds in the following sense:
Definition C.1.
Say that Gromov compactness holds for if the substack of holomorphic curves in is compact (in the topology on described in [13]), and there are only a finite number of with so that there is a holomorphic curve in .
Say that Gromov compactness holds for a family if the following holds: given any compact exploded manifold with a map , let be the pullback of our original family . Then the substack of holomorphic curves in is compact and there are only a finite number of with so that there is a holomorphic curve in .
To use the results of [13], we must construct a strict taming of containing . This involves some work, but is done in the following cases in [13].
Theorem C.2.
Gromov compactness holds in the following cases
-
(1)
If is the explosion of a compact complex manifold with normal crossing divisors which are embedded submanifolds, and is a symplectic form on taming the complex structure, then Gromov compactness holds.
-
(2)
The paper [13] constructs an exploded manifold from a compact symplectic manifold with orthogonally intersecting codimension symplectic submanifolds. This construction is similar to the construction of the explosion functor, so the smooth part of is , and the tropical part of is the dual intersection complex which has a vertex for each connected component of , a ray for each of our codimension submanifolds, and an -dimensional face for each -fold intersection. There exists an almost complex structure on tamed by a symplectic form corresponding to the symplectic structure on so that Gromov compactness holds.
-
(3)
Assume is a basic exploded manifold so that each polytope in the tropical part of is a standard simplex. Suppose that is an almost complex structure on so that for each exploded function locally defined on , is a smooth function. (For example any integrable complex structure satisfies this condition.) If is a symplectic form on which tames , then Gromov Compactness holds.
If is a civilized almost complex structure on tamed by which does not satisfy the above condition, then it may be modified to an almost complex structure still tamed by which does
Note that in particular, item 3 of Theorem C.2 implies that Gromov compactness holds for any tamed almost complex structure on a compact symplectic manifold.
Gromov compactness obviously holds for the product of two exploded manifolds with almost complex structures tamed by symplectic forms for which Gromov compactness holds. As well as the above examples, a useful base case is the following:
Lemma C.3.
Gromov compactness holds for with the standard complex structure and the zero symplectic form.
Proof: A refinement of is the explosion of relative to and . Item 1 of Theorem C.2 then tells us that Gromov compactness holds for this refinement when we use a standard toric form on for . Therefore, the set of holomorphic curves in is compact. The energy of a holomorphic curve in with tropical part isotopic to is determined by the sum of the momentum of the ends of , so is determined by . Therefore, the set of holomorphic curves in is compact. This is just a refinement of the set of holomorphic curves in , so the set of holomorphic curves in is compact, and Gromov compactness holds for .
As a corollary, Gromov compactness holds for the product of with any of the examples from Theorem C.2. In particular, if is of type 3 from Theorem C.2, then the tropical completion of any strata of will be in the form of times something of type 3, so Gromov compactness will also hold for the tropical completion of any strata of .
One way to prove Gromov compactness in a family, is to construct a family of strict tamings and use [13]. With minimal work, we can also use the above examples to construct examples of families in which Gromov compactness holds:
Example C.4.
Gromov compactness holds for any trivial family of symplectic manifolds with a family of almost complex structures which need not be trivial.
We must prove in particular that for any compact trivial family of symplectic manifolds, Gromov compactness holds. Let be the base of our compact family. We may embed into some compact symplectic manifold , then choose a tamed almost complex structure on so that fibers of are holomorphic and so that the pullback of the corresponding fiberwise almost complex structure to is our original family of almost complex structures. Then Gromov compactness for implies Gromov compactness for our family.
Example C.5.
Suppose that Gromov compactness holds for and there is a family with -holomorphic fibers. Let be a family obtained by taking the fiber product of some map with , let be the pullback of under the map , and let be the pullback of the fiberwise almost complex structure obtained by restricting to fibers of . Then Gromov compactness holds for .
In particular, the above example can be used to show that the explosion of many normal crossing degenerations from algebraic geometry give families of exploded manifolds in which Gromov compactness holds.
References
- [1] K. Behrend and B. Fantechi. The intrinsic normal cone. Invent. Math., 128(1):45–88, 1997.
- [2] K Cieliebak, I Mundet i Riera, and D Salamon. Equivariant moduli problems, branched manifolds and the Euler class. Topology, 42:641–700, 2004.
- [3] Kenji Fukaya and Kaoru Ono. Arnold conjecture and Gromov-Witten invariant. Topology, 38(5):933–1048, 1999.
- [4] H. Hofer, K. Wysocki, and E. Zehnder. A general Fredholm theory. I. A splicing-based differential geometry. J. Eur. Math. Soc. (JEMS), 9(4):841–876, 2007.
- [5] Helmut Hofer, Kris Wysocki, and Eduard Zehnder. Integration theory for zero sets of polyfold Fredholm sections. arXiv:0711.0781, 2007.
- [6] Dominic Joyce. Kuranishi bordism and kuranishi homology. math.SG/0707.3572v4, 2008.
- [7] M. Kontsevich and Yu. Manin. Gromov-Witten classes, quantum cohomology, and enumerative geometry. Comm. Math. Phys., 164(3):525–562, 1994.
- [8] Jun Li and Gang Tian. Virtual moduli cycles and Gromov-Witten invariants of general symplectic manifolds. In Topics in symplectic -manifolds (Irvine, CA, 1996), First Int. Press Lect. Ser., I, pages 47–83. Int. Press, Cambridge, MA, 1998.
- [9] Gang Liu and Gang Tian. Floer homology and Arnold conjecture. J. Differential Geom., 49(1):1–74, 1998.
- [10] Dusa McDuff. The virtual moduli cycle. In Northern California Symplectic Geometry Seminar, volume 196 of Amer. Math. Soc. Transl. Ser. 2, pages 73–102. Amer. Math. Soc., Providence, RI, 1999.
- [11] Dusa Mcduff. Groupoids, branched manifolds and multisections. J. Symplectic Geom., 4(3):259–315, 2006.
- [12] Brett Parker. Exploded manifolds. arXiv:0910.4201, 2009.
- [13] Brett Parker. Holomorphic curves in exploded manifolds: compactness. arXiv:0911.2241, 2009.
- [14] Brett Parker. De Rham theory of exploded manifolds. arXiv:1003.1977, 2011.
- [15] Brett Parker. Holomorphic curves in exploded torus fibrations: Regularity. arXiv:0902.0087v2, 2011.
- [16] Yongbin Ruan. Virtual neighborhoods and pseudo-holomorphic curves. In Proceedings of 6th Gökova Geometry-Topology Conference, volume 23, pages 161–231, 1999.
- [17] Bernd Siebert. Gromov-Witten invariants of general symplectic manifolds. dg-ga/9608005, 1996.