Witten's top Chern class is a particular cohomology class on the moduli space of Riemann surfaces endowed with r-spin structures. It plays a key role in Witten's conjecture relating to the intersection theory on these moduli spaces.
Our first goal is to compute the integral of Witten's class over the so-called double ramification cycles in genus 1. We obtain a simple closed formula for these integrals.
This allows us, using the methods of [15], to find an algorithm for computing the intersection numbers of the Witten class with powers of the ψ-classes (or tautological classes) over any moduli space of r-spin structures, in short, all numbers involved in Witten's conjecture.
This paper is a sequel to math.AG/0011032. Its goal is to show that Witten's "top Chern class" constructed in loc.cit. satisfies all the axioms of math.AG/9905034.
We give a construction of Witten's "top Chern class" on the compactified moduli space of curves with higher spin structures and show that it satisfies most of the axioms proposed in math.AG/9905034.
The Witten top Chern class is the crucial cohomology class needed to state a conjecture by Witten relating the Gelfand-Dikii hierarchies to higher spin curves. In math.AG/0011032, Polishchuk and Vaintrob provide an algebraic construction of such a class. We present a more straightforward construction via K-theory. In this way we short-circuit the passage through bivariant intersection theory and the use of MacPherson's graph construction. Furthermore, we show that the Witten top Chern class admits a natural lifting to the K-theory ring.
We prove that the Gromov--Witten theory (GWT) of a projective bundle can be determined by the Chern classes and the GWT of the base. It completely answers a question raised in a previous paper (arXiv:1607.00740). Its consequences include that the GWT of the blow-up of X at a smooth subvariety Z is uniquely determined by GWT of X, Z plus some topological data.
We obtain mirror formulas for the genus 1 Gromov-Witten invariants of projective Calabi-Yau complete intersections. We follow the approach previously used for projective hypersurfaces by extending the scope of its algebraic results; there is little change in the geometric aspects. As an application, we check the genus 1 BPS integrality predictions in low degrees for all projective complete intersections of dimensions 3, 4, and 5.
Faber's socle intersection numbers via Gromov--Witten theory of elliptic curve
Korteweg-de Vriesinstituut voor Wiskunde, Universiteit van Amsterdam（阿姆斯特丹大学柯蒂赫-德弗里斯数学研究所）；Dipartimento di Matematica “Tullio Levi-Civita”, Università degli studi di Padova（帕多瓦大学图利奥·列维-奇维塔数学系）
We generalize the Chern class relation for the transversal intersection of two nonsingular varieties to a relation for possibly singular varieties, under a 'splayedness' assumption. The relation is shown to hold for both the Chern-Schwartz-MacPherson class and the Chern-Fulton class. The main tool is a formula for Segre classes of splayed subschemes. We also discuss the Chern class relation under the assumption that one of the varieties is a general very ample divisor.
We study genus 1 Gromov-Witten invariants of Fano complete intersections in the projective spaces. Among other things, we show a reconstruction theorem for genus 1 invariants with only ambient insertions, and compute the genus 1 invariants with 1 marked point. For cubic hypersurfaces of dimension $\neq 4$ and odd dimensional intersections of two quadrics, we obtain a complete reconstruction theorem for genus 1 Gromov-Witten invariants.
For a Landau Ginzburg space ([C^n/G],W), we construct the Witten's top Chern classes as algebraic cycles via cosection localized virtual cycles in case all sectors are narrow. We verify all axioms of such classes. We derive an explicit formula of such classes in the free case. We prove that this construction is equivalent to the prior constructions of Polishchuk-Vaintrob, of Chiodo and of Fan-Jarvis-Ruan.
In our previous work, we provided an algebraic proof of the Zinger's comparison formula between genus one Gromov-Witten invariants and reduced invariants when the target space is a complete intersection of dimension two or three in a projective space. In this paper, we extend the result in any dimensions and for descendant invariants.
We provide an inductive algorithm computing Gromov-Witten invariants in all genera with arbitrary insertions of all smooth complete intersections in projective space. We also prove that all Gromov-Witten classes of all smooth complete intersections in projective space belong to the tautological ring of the moduli space of stable curves. The main idea is to show that invariants with insertions of primitive cohomology classes are controlled by their monodromy and by invariants defined without primitive insertions but with imposed nodes in the domain curve. To compute these nodal Gromov-Witten in…
We describe the structure of mirror formulas for genus 0 Gromov-Witten invariants of projective complete intersections with any number of marked points and provide an explicit algorithm for obtaining the relevant structure coefficients. The structural description alone suffices for some qualitative applications, such as vanishing results and the bounds on the growth of these invariants predicted by R. Pandharipande.
For a nonsingular projective variety $X$, the virtual Tevelev degree in Gromov-Witten theory is defined as the virtual degree of the morphism from $M_{g,n}(X,d)$ to the product $M_{g,n} \times X^n$. After proving a simple formula for the virtual Tevelev degree in the (small) quantum cohomology ring of $X$ using the quantum Euler class, we provide several exact calculations for flag varieties and complete intersections. In the cominuscule case (including Grassmannians, Lagrangian Grassmannians, and maximal orthogonal Grassmannians), the virtual Tevelev degrees are calculated in terms of the eig…
Using the celebrated Witten-Kontsevich theorem, we prove a recursive formula of the $n$-point functions for intersection numbers on moduli spaces of curves. It has been used to prove the Faber intersection number conjecture and motivated us to find some conjectural vanishing identities for Gromov-Witten invariants. The latter has been proved recently by X. Liu and R. Pandharipande. We also give a combinatorial interpretation of $n$-point functions in terms of summation over binary trees.
We construct and study a new topological field theory in three dimensions. It is a hybrid between Chern-Simons and Rozansky-Witten theory and can be regarded as a topologically-twisted version of the N=4 d=3 supersymmetric gauge theory recently discovered by Gaiotto and Witten. The model depends on a gauge group G and a hyper-Kahler manifold X with a tri-holomorphic action of G. In the case when X is an affine space, we show that the model is equivalent to Chern-Simons theory whose gauge group is a supergroup. This explains the role of Lie superalgebras in the construction of Gaiotto and Witte…
In this paper we are begining to explore the complex counterpart of the Chern-Simon-Witten theory. We define the complex analogue of the Gauss linking number for complex curves embedded in a Calabi-Yau threefold using the formal path integral that leads to a rigorous mathematical expression. We give an analytic and geometric interpretation of our holomorphic linking following the parallel with the real case. We show in particular that the Green kernel that appears in the explicit integral for the Gauss linking number is replaced by the Bochner-Martinelli kernel. We also find canonical expressi…
We present a new proof of Witten's conjecture. The proof is based on the analysis of the relationship between intersection indices on moduli spaces of complex curves and Hurwitz numbers enumerating ramified coverings of the 2-sphere.
As shown in a previous paper, certain naturally arising cones of holomorphic vector bundle sections over the main component $\ov\M_{1,k}^0(¶,d)$ of the moduli space of stable genus-one holomorphic maps into $¶$ have a well-defined euler class. In this paper, we extend this result to moduli spaces of perturbed, in a restricted way, $J$-holomorphic maps. We show that euler classes of such cones relate the reduced genus-one Gromov-Witten invariants of complete intersections to the corresponding GW-invariants of the ambient projective space. As a consequence, the standard genus-one GW-invariants o…
We construct a countable number of differential operators $\hat{L}_n$ that annihilate a generating function for intersection numbers of $κ$ classes on $\Moduli_g$ (the $κ$-potential). This produces recursions among intersection numbers of $κ$ classes which determine all such numbers from a single initial condition. The starting point of the work is a combinatorial formula relating intersecion numbers of $ψ$ and $κ$ classes. Such a formula produces an exponential differential operator acting on the Gromov-Witten potential to produce the $κ$-potential; after restricting to a hyperplane, we have …
We conjecture an equivalence between the Gromov-Witten theory of 3-folds and the holomorphic Chern-Simons theory of Donaldson-Thomas. For Calabi-Yau 3-folds, the equivalence is defined by the change of variables, exp(iu)=-q, where u is the genus parameter of GW theory and q is charge parameter of DT theory. The conjecture is proven for local Calabi-Yau toric surfaces.
Homotopy continuation provides a numerical tool for computing the equivalence of a smooth variety in an intersection product. Intersection theory provides a theoretical tool for relating the equivalence of a smooth variety in an intersection product to the degrees of the Chern classes of the variety. A combination of these tools leads to a numerical method for computing the degrees of Chern classes of smooth projective varieties in P^n. We illustrate the approach through several worked examples.
Let $V$ be a smooth, projective, convex variety. We define tautological $ψ$ and $κ$ classes on the moduli space of stable maps $\M_{0,n}(V)$, give a (graphical) presentation for these classes in terms of boundary strata, derive differential equations for the generating functions of the Gromov-Witten invariants of $V$ twisted by these tautological classes, and prove that these intersection numbers are completely determined by the Gromov-Witten invariants of $V$. This results in families of Frobenius manifold structures on the cohomology ring of $V$ which includes the quantum cohomology as a spe…
Given a Tyurin degeneration of a Calabi-Yau complete intersection in a toric variety, we prove gluing formulas relating the generalized functional invariants, periods, and $I$-functions of the mirror Calabi-Yau family and those of the two mirror Landau-Ginzburg models. Our proof makes explicit the "gluing/splitting" of fibrations in the Doran-Harder-Thompson mirror conjecture. Our gluing formula implies an identity, obtained by composition with their respective mirror maps, that relates the absolute Gromov-Witten invariants for the Calabi-Yaus and relative Gromov-Witten invariants for the quas…
We consider two classical extensions for singular varieties of the usual Chern classes of complex manifolds, namely the total Schwartz-MacPherson and Fulton-Johnson classes, $c^{SM}(X)$ and $c^{FJ}(X)$. Their difference (up to sign) is the total Milnor class ${\mathcal M}(X)$, a generalization of the Milnor number for varieties with arbitrary singular set. We get first Verdier-Riemann-Roch type formulae for the total classes $c^{SM}(X)$ and $c^{FJ}(X)$, and use these to prove a surprisingly simple formula for the total Milnor class when $X$ is defined by a finite number of local complete inter…
A. Zinger defined reduced Gromov-Witten (GW) invariants and proved a comparison theorem of standard and reduced genus one GW invariants for every symplectic manifold (with all dimension). H. -L. Chang and J. Li provided a proof of the comparison theorem for quintic Calabi-Yau 3-folds in algebraic geometry by taking a definition of reduced invariants as an Euler number of certain vector bundle. T. Coates and C. Manolache have defined reduced GW invariants in algebraic geometry following the idea by Vakil and Zinger and proved the comparison theorem for every Calabi-Yau threefold. In this paper,…
We approach Gathmann's virtual pushforward property from the perspective of bivariant intersection theory, extend a virtual pushforward result of Manolache, and use our extension to deduce a result of Gathmann relating relative and rubber GW invariants of a $P^1$ bundle with invariants of its base.
In this paper we study the problem of density in (1,3] for the Chern ratio of surfaces with ample cotangent bundle. In particular we prove density in (1,2) by constructing a family of complete intersection surfaces in a product of varieties with big cotangent bundle. We also analyse the case of complete intersections in a product of curves of genus at least 2.
The universal curve p:C->\Mbar over the moduli space \Mbar of stable r-spin maps to a target Kähler manifold X carries a universal spinor bundle L->C. Therefore the moduli space \Mbar itself carries a natural K-theory class Rp_*L. We introduce a twisted r-spin Gromov-Witten potential of X enriched with Chern characters of Rp_*L. We show that the twisted potential can be reconstructed from the ordinary r-spin Gromov-Witten potential of X via an operator that assumes a particularly simple form in Givental's quantization formalism.
In this note we prove that the enlarged Witten's conjecture is true in the case of the Boussinesq hierarchy for correlators in genus 3 with descendants only at one point.
Let $V$ be a possibly singular scheme-theoretic complete intersection subscheme of $\mathbb{P}^n$ over an algebraically closed field of characteristic zero. Using a recent result of Fullwood ("On Milnor classes via invariants of singular subschemes", Journal of Singularities) we develop an algorithm to compute the Chern-Schwartz-MacPherson class and Euler characteristic of $V$. This algorithm complements existing algorithms by providing performance improvements in the computation of the Chern-Schwartz-MacPherson class and Euler characteristic for certain types of complete intersection subschem…
We present a formula for computing proper pushforwards of classes in the Chow ring of a projective bundle under the projection $π:\Pbb(\Escr)\rightarrow B$, for $B$ a non-singular compact complex algebraic variety of any dimension. Our formula readily produces generalizations of formulas derived by Sethi,Vafa, and Witten to compute the Euler characteristic of elliptically fibered Calabi-Yau fourfolds used for F-theory compactifications of string vacua. The utility of such a formula is illustrated through applications, such as the ability to compute the Chern numbers of any non-singular complet…
Let \E : 0 --> S --> E --> Q --> 0 be a short exact sequence of hermitian vector bundles with metrics on S and Q induced from that on E. We compute the Bott-Chern form of \E corresponding to any characteristic class, assuming E is projectively flat. The result is used to obtain a new presentation of the Arakelov Chow ring of the arithmetic grassmannian.
On uniform large genus asymptotics of Witten's intersection numbers
University of Science and Technology of China（中国科学技术大学）；Max Planck Institute for Mathematics（马克斯·普朗克数学研究所）；International Centre for Theoretical Physics（国际理论物理中心）
The $n$-instanton contribution to the Seiberg-Witten prepotential of ${\bf N}=2$ supersymmetric $d=4$ Yang Mills theory is represented as the integral of the exponential of an equivariantly exact form. Integrating out an overall scale and a U(1) angle the integral is rewritten as $(4n-3)$ fold product of a closed two form. This two form is, formally, a representative of the Euler class of the Instanton moduli space viewed as a principal U(1) bundle, because its pullback under bundel projection is the exterior derivative of an angular one-form. We comment on a recent speculation of Matone conce…
Various equivariant intersection numbers on Hilbert schemes of points on the affine plane are computed, some of which are organized into tau-functions of 2-Toda hierarchies. A correspondence between the equivariant intersection on Hilbert schemes and stationary Gromov-Witten theory is established.
We give a short and direct proof of the $λ_g$-Conjecture. The approach is through the Ekedahl-Lando-Shapiro-Vainshtein theorem, which establishes the ``polynomiality'' of Hurwitz numbers, from which we pick off the lowest degree terms. The proof is independent of Gromov-Witten theory. We briefly describe the philosophy behind our general approach to intersection numbers and how it may be extended to other intersection number conjectures.
In this manuscript we investigate the analouge of the Brill-Noether problem for smooth curves in the case of normal surface singularities. We determine the maximal possible value of $h^1$ of line bundles without fixed components in the Picard group $\pic^{l'}(\tX)$ in the following cases: for some special Chern classes $l'$ if $\tX$ is a resolution of a splice quotient singularity $(X, 0)$ and for arbitrary Chern classes in the case of weighted homogenous singularities. Motivated by this problem, we define the \emph{virtual cohomology numbers} $h^1_{virt}(l')$ for all Chern classes $l'$ such t…
We consider a conjecture that identifies two types of base point free divisors on $\bar{M}_{0,n}$. The first arises from Gromov-Witten theory of a Grassmannian. The second comes from first Chern classes of vector bundles associated to simple Lie algebras in type A. Here we reduce this conjecture on $\bar{M}_{0,n}$ to the same statement for $n=4$. A reinterpretation leads to a proof of the conjecture on $\bar{M}_{0,n}$ for a large class, and we give sufficient conditions for the non-vanishing of these divisors.
We propose Picard-Fuchs equations for periods of nonabelian mirrors in this paper. The number of parameters in our Picard-Fuchs equations is the rank of the gauge group of the nonabelian GLSM, which is eventually reduced to the actual number of Kähler parameters. These Picard-Fuchs equations are concise and novel. We justify our proposal by reproducing existing mathematical results, namely Picard-Fuchs equations of Grassmannians and Calabi-Yau manifolds as complete intersections in Grassmannians. Furthermore, our approach can be applied to other nonabelian GLSMs, so we compute Picard-Fuchs equ…
In this paper we compare different notions of transversality for possible singular complex algebraic or analytic subsets of an ambient complex manifold and prove a refined intersection formula for their Chern-Schwartz-MacPherson classes. In case of a transversal intersection of complex Whitney stratified sets, this result is well known. For splayed subsets it was conjectured (and proven in some cases) by Aluffi and Faber. Both notions are stronger than a micro-local "non-characteristic intersection" condition for the characteristic cycles of (associated) constructible functions, which neverthe…
For even dimensional smooth complete intersections, of dimension at least 4, of two quadric hypersurfaces in a projective space, we study the genus zero Gromov-Witten invariants by the monodromy group of its whole family. We compute the invariants of length 4 and show that, besides a special invariant, all genus zero Gromov-Witten invariants can be reconstructed from the invariants of length 4. In dimension 4, we compute the special invariant by solving a curve counting problem. We show that the generating function of genus zero Gromov-Witten invariants has a positive radius of convergence. We…
Intersection rings of flag varieties and of isotropic flag varieties are generated by Chern classes of the tautological bundles modulo the relations coming from multiplicativity of total Chern classes. In this paper we describe the Groebner bases of the ideals of relations and give applications to computation of intersections, as implemented in Macaulay2.
Associated with a prime homology class $β\in P_2(X,\Z)$ (i.e. $β=pα$ and $α\in H_2(X,\Z)$ imply $p=1$ or $p$ is an odd prime) on a symplectic three-manifold with vanishing first Chern class, we count the embedded perturbed pseudo-holomorphic curves in $X$ of a fixed genus $g$ to obtain certain integer valued invariants analogous to Gromov-Witten invariants of $X$.
The WDVV equation is satisfied by the genus 0 correlation functions of any topological field theory in two dimensions coupled to topological gravity, and may be used to determine the genus 0 (rational) Gromov-Witten invariants of many projective varieties (as was done for projective spaces by Kontsevich). In this paper, we present an equation of a similar universal nature for genus 1 (elliptic) Gromov-Witten invariants -- however, it is much more complicated than the WDVV equation, and its geometric significance is unclear to us. (Our prove is rather indirect.) Nevertheless, we show that this …
Let M be the total space of a negative line bundle over a closed symplectic manifold. We prove that the quotient of quantum cohomology by the kernel of a power of quantum cup product by the first Chern class of the line bundle is isomorphic to symplectic cohomology. We also prove this for negative vector bundles and the top Chern class. We explicitly calculate the symplectic and quantum cohomologies of O(-n) over P^m. For n=1, M is the blow-up of C^{m+1} at the origin and symplectic cohomology has rank m. The symplectic cohomology vanishes if and only if the first Chern class of the line bundl…
We derive an effective recursion for Witten's r-spin intersection numbers, using Witten's conjecture relating r-spin numbers to the Gel'fand-Dikii hierarchy (Theorem 4.1). Consequences include closed-form descriptions of the intersection numbers (for example, in terms of gamma functions: Propositions 5.2 and 5.4, Corollary 5.5). We use these closed-form descriptions to prove Harer-Zagier's formula for the Euler characteristic of M_{g,1}. Finally in Section 6, we extend Witten's series expansion formula for the Landau-Ginzburg potential to study r-spin numbers in the small phase space in genus …
We investigate the effect of a general toric wall crossing on genus zero Gromov-Witten theory. Given two complete toric orbifolds $X_+$ and $X_-$ related by wall crossing under variation of GIT, we prove that their respective $I$-functions are related by linear transformation and asymptotic expansion. We use this comparison to deduce a similar result for birational complete intersections in $X_+$ and $X_-$. This extends the work of the previous authors in Acosta-Shoemaker to the case of complete intersections in toric varieties, and generalizes some of the results of Coates-Iritani-Jiang on th…
In their recent inspiring paper Mironov and Morozov claim a surprisingly simple expansion formula for the Kontsevich-Witten tau-function in terms of the Schur Q-functions. Here we provide a similar conjecture for the Brézin-Gross-Witten tau-function. Moreover, we identify both tau-functions of the KdV hierarchy, which describe intersection numbers on the moduli spaces of punctured Riemann surfaces, with the hypergeometric solutions of the BKP hierarchy.
We identify the formulas of Buryak and Okounkov for the n-point functions of the intersection numbers of psi-classes on the moduli spaces of curves. This allows us to combine the earlier known results and this one into a principally new proof of the famous Witten conjecture / Kontsevich theorem, where the link between the intersection theory of the moduli spaces and integrable systems is established via the geometry of double ramification cycles.
The first part of this work constructs real positive-genus Gromov-Witten invariants of real-orientable symplectic manifolds of odd "complex" dimensions; the second part studies the orientations on the moduli spaces of real maps used in constructing these invariants. The present paper applies the results of the latter to obtain quantitative and qualitative conclusions about the invariants defined in the former. After describing large collections of real-orientable symplectic manifolds, we show that the real genus 1 Gromov-Witten invariants of sufficiently positive almost Kahler threefolds are s…
Twisted Gromov-Witten invariants are intersection numbers in moduli spaces of stable maps to a manifold or orbifold X which depend in addition on a vector bundle over X and an invertible multiplicative characteristic class. Special cases are closely related to local Gromov-Witten invariants of the bundle, and to genus-zero one-point invariants of complete intersections in X. We develop tools for computing genus-zero twisted Gromov-Witten invariants of orbifolds and apply them to several examples. We prove a "quantum Lefschetz theorem" which expresses genus-zero one-point Gromov-Witten invarian…
