arXiv subjects
Publications and source records attributed to Jonathan Wise.
Gromov-Witten invariants have been constructed to be deformation invariant, but their behavior under other transformations is subtle. In this note we show that logarithmic Gromov-Witten invariants are also invariant under appropriately defined logarithmic modifications.
We give a sufficient condition under which the moduli space of morphisms between logarithmic schemes is quasifinite under the moduli space of morphisms between the underlying schemes. This implies that the moduli space of stable maps from logarithmic curves to a target logarithmic scheme is finite over the moduli space of stable maps, and therefore that it has a projective coarse moduli space when the target is projective.
We show that there is a logarithmic algebraic space parameterizing logarithmic morphisms between fixed logarithmic schemes when those logarithmic schemes satisfy natural hypotheses. As a corollary, we obtain the algebraicity of the stack of stable logarithmic maps without restriction on the logarithmic structure of the target.
We survey a collection of closely related methods for generalizing fans of toric varieties, include skeletons, Kato fans, Artin fans, and polyhedral cone complexes, all of which apply in the wider context of logarithmic geometry. Under appropriate assumptions these structures are equivalent, but their different realizations have provided for surprisingly disparate uses. We highlight several current applications and suggest some future possibilities.
We prove that genus zero Gromov--Witten invariants of a smooth scheme relative to a smooth divisor coincide with genus zero orbifold Gromov--Witten invariants of an appropriate root stack construction along the divisor.
We consider two cycles on the moduli space of compact type curves and prove that they coincide. The first is defined by pushing forward the virtual fundamental classes of spaces of relative stable maps to an unparameterized rational curve, while the second is obtained as the intersection of the Abel section of the universal Jacobian with the zero section. Our comparison extends results of Cavalieri-Marcus-Wise where the same identity was proved over on the locus of rational tails curves.
We consider four approaches to relative Gromov-Witten theory and Gromov-Witten theory of degenerations: Jun Li's original approach, Bumsig Kim's logarithmic expansions, Abramovich-Fantechi's orbifold expansions, and a logarithmic theory without expansions due to Gross-Siebert and Abramovich-Chen. We exhibit morphisms relating these moduli spaces and prove that their virtual fundamental classes are compatible by pushforward through these morphisms. This implies that the Gromov-Witten invariants associated to all four of these theories are identical.
We give a new definition of an obstruction theory for infinitesimal deformation theory and relate it to earlier definitions of Artin, Fantechi-Manetti, Li-Tian, and Behrend-Fantechi.
Since Jun Li's original definition, several other definitions of expanded pairs and expanded degenerations have appeared in the literature. We explain how these definitions are related and introduce several new variants and perspectives. Among these are the twisted expansions used by Abramovich and Fantechi as a basis for orbifold techniques in degeneation formulas.
We define a sheaf of abelian groups whose cohomology is represented by the cotangent complex. We show how obstructions to some standard deformation problems arise as the classes of torsors under and gerbes banded by this sheaf.
We study classes $P_{g,T}(α;β)$ on the moduli space of stable, genus g curves with rational tails defined by pushing forward the virtual fundamental classes of spaces of relative stable maps to an unparameterized projective line. A comparison with classes $Q_{g,T}$ arising from sections of the universal Jacobian shows the classes $P_{g,T}(α;β)$ are polynomial in the parts of the partitions indexing the special ramification data. Virtual localization on moduli spaces of relative stable maps gives sufficient relations to compute the coefficients of these polynomials in various cases.
We compare the obstruction classes defined in arXiv:1101.4069 to those defined by Illusie. We also give sheaf theoretic proofs of some of the standard properties of the cotangent complex.
We study the Abramovich--Vistoli moduli space of genus zero orbifold stable maps to [Sym^2 P^2], the stack symmetric square of P^2. This compactifies the moduli space of stable maps from hyperelliptic curves to P^2, and we show that all genus zero Gromov--Witten invariants are determined from trivial enumerative geometry of hyperelliptic curves. We also show how the genus zero Gromov--Witten invariants can be used to determine the number of hyperelliptic curves of degree d and genus g interpolating 3d + 1 generic points in P^2. Comparing our method to that of Graber for calculating the same numbers, we verify an example of the crepant resolution conjecture.
We calculate the hyperelliptic Hodge integral lambda_g lambda_{g-1} / (1 - psi) for use in arXiv:math/0702219. The proof uses the WDVV equations for the genus zero Gromov--Witten invariants of P(1,1,2).