SearcharxivSearch

arXiv subjects

Felix Janda

Publications and source records attributed to Felix Janda.

At least 19 recordsLinked to original sources

Structures in topological recursion relations

In this paper, we study the basic structures of degree-$g$ topological recursion relations on the moduli space of curves $\overline{\mathcal{M}}_{g,n}$: (i) The coefficient of the bouquet class on $\overline{\mathcal{M}}_{g,n}$, which gives the answer to a conjecture of T. Kimura and X. Liu; (ii) Linear relations among the coefficients of certain rational tails locus of $\overline{\mathcal{M}}_{g,n}$. Three applications of topological recursion relations will be discussed: (i) Coefficients of universal equations for Gromov-Witten invariants for any smooth projective variety; (ii) The coefficient of the bouquet class in the double ramification formula of the top Hodge class $\lambda_g$; (iii) A new recursive formula for computing the intersection numbers on the moduli space of stable curves.

math.AG

Gromov--Witten Invariants of Non-Convex Complete Intersections in Weighted Projective Stacks

In this paper we compute genus 0 orbifold Gromov--Witten invariants of Calabi--Yau threefold complete intersections in weighted projective stacks, regardless of convexity conditions. The traditional quantumn Lefschetz principle may fail even for invariants with ambient insertions. Using quasimap wall-crossing, we are able to compute invariants with insertions from a specific subring of the Chen--Ruan cohomology, which contains all the ambient cohomology classes. Quasimap wall-crossing gives a mirror theorem expressing the I-function in terms of the J-function via a mirror map. The key of this paper is to find a suitable GIT presentation of the target space, so that the mirror map is invertible. An explicit formula for the I-function is given for all those target spaces and many examples with explicit computations of invariants are provided.

math.AG

Structure results for torus fixed loci

Motivated by localization theorems on moduli spaces, we prove a structural classification of Deligne-Mumford stacks with an action of a torus where the induced action on the coarse moduli space is trivial. We also establish a general local structure theorem for morphisms of algebraic stacks.

math.AG

Gromov--Witten invariants with naive tangency conditions

We introduce Gromov-Witten invariants with naive tangency conditions at the marked points of the source curve. We then establish an explicit formula which expresses Gromov-Witten invariants with naive tangency conditions in terms of descendent Gromov-Witten invariants. Several examples of genus zero Gromov-Witten invariants with naive tangencies are computed in the case of curves and surfaces. In particular, the counts of rational curves naively tangent to an anticanonical divisor on a del Pezzo surface are studied, and via mirror symmetry, we obtain a relation to the local Gromov-Witten invariants.

math.AG

Punctured logarithmic R-maps

In this paper, we develop the theory of punctured R-maps as a crucial component of logarithmic gauged linear sigma models (log GLSM). A punctured R-map is a punctured map in the sense of ACGS, further twisted by the sheaf of differentials on the domain curve. They admit two different but closely related perfect obstruction theories - a canonical one and a reduced one. While the canonical theory leads to generalized double ramification cycles with targets and spin structures, without expansions, the reduced theory describes boundary contributions in log GLSM. Major results of this paper include a sequence of axioms in both canonical and reduced theories: 1. A product formula computing disconnected invariants in terms of connected ones 2. Fundamental class axioms, string and divisor equations As an important application, these formulas lead to a class of invariants in the reduced theory, called effective invariants. They are at the heart of recent advances in GW theory, and will be shown to give rise to explicit correction terms to the quantum Lefschetz principle in higher genus GW theory for arbitrary smooth complete intersections in a forthcoming paper. For quintic 3-folds, we show that all effective invariants are determined by $[(2g-2)/5] + 1$ many basic effective invariants, using the formulas in (1) and (2). This matches the number of free parameters of the famous BCOV B-model theory in physics. Similar results apply to other complete intersections. This, together with the joint works of the last two authors and S. Guo on the genus two mirror theorem and the higher genus mirror conjectures for quintic 3-folds, shows that log GLSM is an effective tool for proving BCOV-type conjectures in higher genus GW theory. Further applications of punctured R-maps include an LG/CY correspondence for effective invariants and a relation to the locus of holomorphic differentials.

math.AG

Virtual cycles of stable (quasi)-maps with fields

We generalize the results of Chang-Li, Kim-Oh and Chang-Li on the moduli of $p$-fields to the setting of (quasi-)maps to complete intersections in arbitrary smooth Deligne-Mumford stacks with projective coarse moduli. In particular, we show that the virtual cycle of stable (quasi-)maps to a complete intersection can be recovered by the cosection localized virtual cycle of the moduli of $p$-fields of the ambient space.

math.AG

The logarithmic gauged linear sigma model

We introduce the notion of log R-maps, and develop a proper moduli stack of stable log R-maps in the case of a hybrid gauged linear sigma model. Two virtual cycles (canonical and reduced) are constructed for these moduli stacks. The main results are two comparison theorems relating the reduced virtual cycle to the cosection localized virtual cycle, as well as the reduced virtual cycle to the canonical virtual cycle. This sets the foundation of a new technique for computing higher genus Gromov-Witten invariants of complete intersections.

math.AG

Structure of Higher Genus Gromov-Witten Invariants of Quintic 3-folds

There is a set of remarkable physical predictions for the structure of BCOV's higher genus B-model of mirror quintic 3-folds which can be viewed as conjectures for the Gromov-Witten theory of quintic 3-folds. They are (i) Yamaguchi--Yau's finite generation, (ii) the holomorphic anomaly equation, (iii) the orbifold regularity and (iv) the conifold gap condition. Moreover, these properties are expected to be universal properties for all the Calabi-Yau 3-folds. This article is devoted to proving first three conjectures. The main geometric input to our proof is a log GLSM moduli space and the comparison formula between its reduced virtual cycle (reproducing Gromov--Witten invariants of quintic 3-folds) and its nonreduced virtual cycle. Our starting point is a Combinatorial Structural Theorem expressing the Gromov-Witten cohomological field theory as an action of a generalized $R$-matrix in the sense of Givental. An $R$-matrix computation implies a graded finite generation property. Our graded finite generation implies Yamaguchi-Yau's (nongraded) finite generation, as well as the orbifold regularity. By differentiating the Combinatorial Structural Theorem carefully, we derive the holomorphic anomaly equations. Our technique is purely A-model theoretic and does not assume any knowledge of B-model. Finally, above structural theorems hold for a family of theories (the extended quintic family) including the theory of quintic as a special case.

math.AG

Towards Logarithmic GLSM: The r-spin case

In this article, we establish the logarithmic foundation for compactifying the moduli stacks of the gauged linear sigma model using stable log maps of Abramovich-Chen-Gross-Siebert. We then illustrate our method via the key example of Witten's $r$-spin class to construct a proper moduli stack with a reduced perfect obstruction theory whose virtual cycle recovers the $r$-spin virtual cycle of Chang-Li-Li. Indeed, our construction of the reduced virtual cycle is built upon the work of Chang-Li-Li by appropriately extending and modifying the Kiem-Li cosection along certain logarithmic boundary. In the subsequent article, we push the technique to a general situation. One motivation of our construction is to fit the gauged linear sigma model in the broader setting of Gromov-Witten theory so that powerful tools such as virtual localization can be applied. A project along this line is currently in progress leading to applications including computing loci of holomorphic differentials, and calculating higher genus Gromov-Witten invariants of quintic threefolds.

math.AG

Higher-genus wall-crossing in the gauged linear sigma model

We introduce a technique for proving all-genus wall-crossing formulas in the gauged linear sigma model as the stability parameter varies, without assuming factorization properties of the virtual class. We implement this technique explicitly for the hybrid model, which generalizes our previous work to the Landau--Ginzburg phase.

math.AG

Topological recursion relations from Pixton's formula

We prove that every degree-g polynomial in the $\psi$-classes on $\overline{\mathcal M}_{g, n}$ can be expressed as a sum of tautological classes supported on the boundary with no $\kappa$-classes. Such equations, which we refer to as topological recursion relations, can be used to deduce universal equations for the Gromov-Witten invariants of any target.

math.AG

Higher-genus quasimap wall-crossing via localization

We give a new proof of Ciocan-Fontanine and Kim's wall-crossing formula relating the virtual classes of the moduli spaces of $\epsilon$-stable quasimaps for different $\epsilon$ in any genus, whenever the target is a complete intersection in projective space and there is at least one marked point. Our techniques involve a twisted graph space, which we expect to generalize to yield wall-crossing formulas for general gauged linear sigma models.

math.AG

Powers of the theta divisor and relations in the tautological ring

We show that the vanishing of the $(g+1)$-st power of the theta divisor in the cohomology and Chow rings of the universal abelian variety implies, by pulling back along a collection of Abel-Jacobi maps, the vanishing results in the tautological ring of $\mathcal{M}_{g,n}$ of Looijenga, Ionel, Graber-Vakil, and Faber-Pandharipande. We also show that Pixton's double ramification cycle relations, which generalize the theta vanishing relations and were recently proved by the first and third authors, imply Theorem $\star$ of Graber and Vakil. Moreover, our proof provides an algorithm for expressing any tautological class on $\overline{\mathcal{M}}_{g,n}$ of sufficiently high codimension as a tautological class supported on the boundary.

math.AG

Pixton's double ramification cycle relations

We prove a conjecture of Pixton, namely that his proposed formula for the double ramification cycle on Mbar_{g,n} vanishes in codimension beyond g. This yields a collection of tautological relations in the Chow ring of Mbar_{g,n}. We describe, furthermore, how these relations can be obtained from Pixton's 3-spin relations via localization on the moduli space of stable maps to an orbifold projective line.

math.AG

Tautological relations in moduli spaces of weighted pointed curves

Pandharipande-Pixton have used the geometry of the moduli space of stable quotients to produce relations between tautological Chow classes on the moduli space $M_g$ of smooth genus g curves. We study a natural extension of their methods to the boundary and more generally to Hassett's moduli spaces $\overline M_{g, w}$ of stable nodal curves with weighted marked points. Algebraic manipulation of these relations brings them into a Faber-Zagier type form. We show that they give Pixton's generalized FZ relations when all weights are one. As a special case, we give a formulation of FZ relations for the n-fold product of the universal curve over $M_g$.

math.AG

Comparing tautological relations from the equivariant Gromov-Witten theory of projective spaces and spin structures

Pandharipande-Pixton-Zvonkine's proof of Pixton's generalized Faber-Zagier relations in the tautological ring of $\overline M_{g, n}$ has started the study of tautological relations from semisimple cohomological field theories. In this article we compare the relations obtained in the examples of the equivariant Gromov-Witten theory of projective spaces and of spin structures. We prove an equivalence between the $\mathbb P^1$- and 3-spin relations, and more generally between restricted $\mathbb P^m$-relations and similarly restricted (m + 2)-spin relations. We also show that the general $\mathbb P^m$-relations imply the (m + 2)-spin relations.

math.AG