Counting conics on sextic 4-folds

Yalong Cao

DOI: https://doi.org/10.4310/MRL.2019.v26.n5.a5

2019-10-09

Abstract:We study rational curves of degree two on a smooth sextic 4-fold and their counting invariant defined using Donaldson-Thomas theory of Calabi-Yau 4-folds. By comparing it with the corresponding Gromov-Witten invariant, we verify a conjectural relation between them proposed by the author, Maulik and Toda.

Algebraic Geometry

What problem does this paper attempt to address?

Gopakumar–Vafa Type Invariants of Holomorphic Symplectic 4-Folds

Yalong Cao,Georg Oberdieck,Yukinobu Toda

DOI: https://doi.org/10.1007/s00220-023-04882-8

IF: 2.361

2024-02-01

Communications in Mathematical Physics

Abstract:Using reduced Gromov–Witten theory, we define new invariants which capture the enumerative geometry of curves on holomorphic symplectic 4-folds. The invariants are analogous to the BPS counts of Gopakumar and Vafa for Calabi–Yau 3-folds, Klemm and Pandharipande for Calabi–Yau 4-folds, and Pandharipande and Zinger for Calabi–Yau 5-folds. We conjecture that our invariants are integers and give a sheaf-theoretic interpretation in terms of reduced 4-dimensional Donaldson–Thomas invariants of one-dimensional stable sheaves. We check our conjectures for the product of two K 3 surfaces and for the cotangent bundle of . Modulo the conjectural holomorphic anomaly equation, we compute our invariants also for the Hilbert scheme of two points on a K 3 surface. This yields a conjectural formula for the number of isolated genus 2 curves of minimal degree on a very general hyperkähler 4-fold of -type. The formula may be viewed as a 4-dimensional analogue of the classical Yau–Zaslow formula concerning counts of rational curves on K 3 surfaces. In the course of our computations, we also derive a new closed formula for the Fujiki constants of the Chern classes of tangent bundles of both Hilbert schemes of points on K 3 surfaces and generalized Kummer varieties.

physics, mathematical
A quadratically enriched count of rational curves

Jesse Leo Kass,Marc Levine,Jake P. Solomon,Kirsten Wickelgren

2023-07-05

Abstract:We define a quadratically enriched count of rational curves in a given divisor class passing through a collection of points on a del Pezzo surface $S$ of degree $\geq 3$ over a perfect field $k$ of characteristic $\neq 2,3.$ When $S$ is $\mathbb{A}^1$-connected, the count takes values in the Grothendieck-Witt group GW(k) of quadratic forms over $k$ and depends only on the divisor class and the fields of definition of the points. More generally, the count is a morphism from the sheaf of connected components of tuples of points on $S$ with given fields of definition to the Grothendieck-Witt sheaf. We also treat del Pezzo surfaces of degree $2$ under certain conditions. The curve count defined in the present work recovers Gromov-Witten invariants when $k = \mathbb{C}$ and Welschinger invariants when $k = \mathbb{R}.$ To obtain an invariant curve count, we define a quadratically enriched degree for an algebraic map $f$ of $n$-dimensional smooth schemes over a field $k$ under appropriate hypotheses. For example, $f$ can be proper, generically finite and oriented over the complement of a subscheme of codimension $2.$ This degree is compatible with F. Morel's GW(k)-valued degree of an $\mathbb{A}^1$-homotopy class of maps between spheres. For $k \subseteq \mathbb{C}$, this produces an enrichment of the topological degree of a map between manifolds of the same dimension.

Algebraic Geometry,Algebraic Topology,Symplectic Geometry
On some invariants of cubic fourfolds

Frank Gounelas,Alexis Kouvidakis

DOI: https://doi.org/10.1007/s40879-023-00651-y

2023-09-06

Abstract:For a general cubic fourfold $X \subset \mathbb{P}^5$, we compute the Hodge numbers of the locus $S \subset F$ of lines of second type. We also give an upper bound of 6 for the degree of irrationality of the Fano scheme of lines of any smooth cubic hypersurface.

Algebraic Geometry
Counting sheaves on curves

Chenjing Bu

DOI: https://doi.org/10.1016/j.aim.2023.109334

2023-10-07

Abstract:We compute Joyce's (<a class="link-https" data-arxiv-id="2111.04694" href="https://arxiv.org/abs/2111.04694">arXiv:2111.04694</a>) enumerative invariants $[\mathcal{M}^{\mathrm{ss}}_{(r,d)}]_{\mathrm{inv}}$ for semistable rank $r$ degree $d$ coherent sheaves on a complex projective curve. These invariants are a generalization of the fundamental class of the moduli of semistable sheaves. We express the invariants as a regularized sum, which is a way to assign finite values to divergent series, and we obtain explicit expressions for the invariants. From these invariants, one can extract cohomology pairings on the moduli of semistable sheaves. When $r$ and $d$ are coprime, formulae for such pairings were found by Witten and proved by Jeffrey and Kirwan. Our results provide a new point of view on this classical problem, and can be seen as a generalization of this to the case when $r$ and $d$ are not coprime.

Algebraic Geometry
Counting Calabi-Yau Threefolds

Naomi Gendler,Nate MacFadden,Liam McAllister,Jakob Moritz,Richard Nally,Andreas Schachner,Mike Stillman

2023-10-11

Abstract:We enumerate topologically-inequivalent compact Calabi-Yau threefold hypersurfaces. By computing arithmetic and algebraic invariants and the Gopakumar-Vafa invariants of curves, we prove that the number of distinct simply connected Calabi-Yau threefold hypersurfaces resulting from triangulations of four-dimensional reflexive polytopes is 4, 27, 183, 1,184 and 8,036 at $h^{1,1}$ = 1, 2, 3, 4, and 5, respectively. We also establish that there are ten equivalence classes of Wall data of non-simply connected Calabi-Yau threefolds from the Kreuzer-Skarke list. Finally, we give a provisional count of threefolds obtained by enumerating non-toric flops at $h^{1,1} =2$.

High Energy Physics - Theory,Algebraic Geometry
Counting surfaces on Calabi-Yau 4-folds II: $\mathrm{DT}$-$\mathrm{PT}_0$ correspondence

Younghan Bae,Martijn Kool,Hyeonjun Park

2024-02-10

Abstract:This is the second part in a series of papers on counting surfaces on Calabi-Yau 4-folds. In this paper, we introduce $K$-theoretic $\mathrm{DT}, \mathrm{PT}_0, \mathrm{PT}_1$ invariants and conjecture a $\mathrm{DT}$-$\mathrm{PT}_0$ correspondence. For certain tautological insertions, we derive Lefschetz principles in both the compact and toric case allowing reductions to 3-dimensional $\mathrm{DT}, \mathrm{PT}$ invariants. We also develop a topological vertex and conjecture a $\mathrm{DT}$-$\mathrm{PT}_0$ vertex correspondence. These methods enable us to verify our conjectures in several examples.

Algebraic Geometry,High Energy Physics - Theory
Counting bare curves

Tobias Ekholm,Vivek Shende

2024-06-03

Abstract:We construct a class of perturbations of the Cauchy-Riemann equation for maps from curves to a Calabi-Yau threefold, allowing Maslov zero Lagrangian boundary conditions. Our perturbations vanish on components of zero symplectic area. For generic 1-parameter families of perturbations, the locus of solution curves without zero-area components is compact, transversely cut out, and satisfies certain natural coherence properties. In short, we construct an `adequate perturbation scheme' with the needed properties to set up the skein-valued curve counting, as axiomatized in our previous work. The main technical content is the construction, over the Hofer-Wysocki-Zehnder Gromov-Witten configuration spaces, of perturbations to which the `ghost bubble censorship' argument can be applied. Certain local aspects of this problem were resolved in our previous work. The key remaining difficulty is to ensure inductive compatibilities, despite the non-existence of marked-point-forgetting maps for the configuration spaces.

Symplectic Geometry
Bifurcations of embedded curves and towards an extension of Taubes' Gromov invariant to Calabi-Yau 3-folds

Shaoyun Bai,Mohan Swaminathan

2023-12-16

Abstract:We define an integer-valued virtual count of embedded pseudo-holomorphic curves of two times a primitive homology class and arbitrary genus in symplectic Calabi--Yau $3$-folds, which can be viewed as an extension of Taubes' Gromov invariant. The construction depends on a detailed study of bifurcations of moduli spaces of embedded pseudo-holomorphic curves which is partially motivated by Wendl's recent solution of Bryan--Pandharipande's super-rigidity conjecture.

Symplectic Geometry,Differential Geometry
Curve counting and instanton counting

Jian Zhou

2003-01-01

Abstract:We prove some combinatorial results required for the proof of the following conjecture of Nekrasov: The generating function of closed string invariants in local Calabi-Yau geometries obtained by appropriate fibrations of $A_N$ singularities over $P^1$ reproduce the generating function of equivariant $\hat{A}$-genera of moduli space of instants on $C^2$.
Ellipsoidal superpotentials and singular curve counts

Dusa McDuff,Kyler Siegel

2023-08-15

Abstract:Given a closed symplectic manifold, we construct invariants which count (a) closed rational pseudoholomorphic curves with prescribed cusp singularities and (b) punctured rational pseudoholomorphic curves with ellipsoidal negative ends. We prove an explicit equivalence between these two frameworks, which in particular gives a new geometric interpretation of various counts in symplectic field theory. We show that these invariants encode important information about singular symplectic curves and stable symplectic embedding obstructions. We also prove a correspondence theorem between rigid unicuspidal curves and perfect exceptional classes, which we illustrate by classifying rigid unicuspidal (symplectic or algebraic) curves in the first Hirzebruch surface.

Symplectic Geometry
Counting Rational Curves and Standard Complex Structures on HyperKähler ALE 4-manifolds

Yuanjiu Lyu,Bin Xu

2024-10-24

Abstract:All hyperKähler ALE 4-manifolds with a given non-trivial finite group $\Gamma$ in $SU(2)$ at infinity are parameterized by an open dense subset of a real linear space of dimension $3$rank$\Phi$. Here, $\Phi$ denotes the root system associated with $\Gamma$ via the McKay correspondence. Such manifolds are diffeomorphic to the minimal resolution of a Kleinian singularity. By using the period map of the twistor space, we specify those points in the parameter space at which the hyperKählerian family of complex structures includes the complex structure of the minimal resolution. Furthermore, we count the rational curves lying on each hyperKähler ALE 4-manifold. As an application, we prove that the twistor space of any hyperKähler ALE cannot be Kählerian. In particular, we strengthen some results of Kronheimer (J. Differential Geom., 29(3):665--683, 1989) and provide examples of non-compact and non-Kählerian twistor spaces.

Differential Geometry
A Donaldson-Thomas crepant resolution conjecture on Calabi-Yau 4-folds

Yalong Cao,Martijn Kool,Sergej Monavari

DOI: https://doi.org/10.1090/tran/9027

2023-09-13

Abstract:Let $G$ be a finite subgroup of $\mathrm{SU}(4)$ whose elements have age not larger than one. In the first part of this paper, we define $K$-theoretic stable pair invariants on the crepant resolution of the affine quotient $\mathbb{C}^4/G$, and conjecture closed formulae for their generating series, expressed in terms of the root system of $G$. In the second part, we define degree zero Donaldson-Thomas invariants of Calabi-Yau 4-orbifolds, develop a vertex formalism that computes the invariants in the toric case and conjecture closed formulae for the quotient stacks $[\mathbb{C}^4/\mathbb{Z}_r]$, $[\mathbb{C}^4/\mathbb{Z}_2\times \mathbb{Z}_2]$. Combining these two parts, we formulate a crepant resolution correspondence which relates the above two theories.

Algebraic Geometry,High Energy Physics - Theory,Mathematical Physics
Counting Curves in Quintic Calabi–Yau Threefolds and Landau–Ginzburg Models

Jun Li,Chiu-Chu Melissa Liu

DOI: https://doi.org/10.4310/sdg.2019.v24.n1.a5

2019-01-01

Surveys in Differential Geometry

Abstract:. In this note, we survey the developments that led to the invention of Mixed-Spin-P ﬁeld theory (MSP theory) which interpolates Gromov-Witten theory of quintic Calabi-Yau threefolds and Landau-Ginzburg theory of the corresponding quintic polynomials.
A Ball Quotient Parametrizing Trigonal Genus 4 Curves

Eduard Looijenga

DOI: https://doi.org/10.1017/nmj.2023.28

2024-01-01

Nagoya Mathematical Journal

Abstract:We consider the moduli space of genus 4 curves endowed with a $g<^>1_3$ (which maps with degree 2 onto the moduli space of genus 4 curves). We prove that it defines a degree $\frac {1}{2}(3<^>{10}-1)$ cover of the nine-dimensional Deligne-Mostow ball quotient such that the natural divisors that live on that moduli space become totally geodesic (their normalizations are eight-dimensional ball quotients). This isomorphism differs from the one considered by S. Kondo, and its construction is perhaps more elementary, as it does not involve K3 surfaces and their Torelli theorem: the Deligne-Mostow ball quotient parametrizes certain cyclic covers of degree 6 of a projective line and we show how a level structure on such a cover produces a degree 3 cover of that line with the same discriminant, yielding a genus 4 curve endowed with a $g<^>1_3$.
Sesquicuspidal curves, scattering diagrams, and symplectic nonsqueezing

Dusa McDuff,Kyler Siegel

2024-12-01

Abstract:We construct a large new family of rational algebraic curves in the complex projective plane with a (p,q) cusp singularity. More precisely, we classify all such pairs (p,q) for curves which are rigid (in a suitable sense), finding a phase transition from discrete to continuous as the ratio p/q crosses the fourth power of the golden ratio. In particular, for many values of (p,q), our curves solve the minimal degree problem for plane curves with a (p,q) cusp singularity. Our technique relies on (i) explicit bijections between curves in log Calabi-Yau surfaces and curves in nontoric blowups of toric surfaces, (ii) the tropical vertex group and its connections with relative Gromov--Witten invariants, and (iii) recent positivity results for scattering diagrams. As our main application, we completely solve the stabilized symplectic embedding problem for four-dimensional ellipsoids into the four-dimensional round ball. The answer is neatly encoded in a single piecewise smooth function which transitions from an infinite Fibonacci staircase to an explicit rational function. Many of our results also extend to other target spaces, e.g. del Pezzo surfaces and more general rational surfaces.

Algebraic Geometry,Symplectic Geometry
Relative Gromov-Witten and maximal contact conics

Giosuè Muratore

2024-01-17

Abstract:We discuss some properties of the relative Gromov--Witten invariants counting rational curves with maximal contact order at one point. We compute the number of Cayley's sextactic conics to any smooth plane curve $Y$. In particular, we compute the contribution, from double covers of inflectional lines, to a certain degree $2$ relative Gromov--Witten invariant relative to $Y$.

Algebraic Geometry
Curve counting on abelian surfaces and threefolds

Jim Bryan,Georg Oberdieck,Rahul Pandharipande,Qizheng Yin

DOI: https://doi.org/10.48550/arXiv.1506.00841

2016-12-13

Abstract:We study the enumerative geometry of algebraic curves on abelian surfaces and threefolds. In the abelian surface case, the theory is parallel to the well-developed study of the reduced Gromov-Witten theory of K3 surfaces. We prove complete results in all genera for primitive classes. The generating series are quasimodular forms of pure weight. Conjectures for imprimitive classes are presented. In genus 2, the counts in all classes are proven. Special counts match the Euler characteristic calculations of the moduli spaces of stable pairs on abelian surfaces by Göttsche-Shende. A formula for hyperelliptic curve counting in terms of Jacobi forms is proven (modulo a transversality statement). For abelian threefolds, complete conjectures in terms of Jacobi forms for the generating series of curve counts in primitive classes are presented. The base cases make connections to classical lattice counts of Debarre, Goettsche, and Lange-Sernesi. Further evidence is provided by Donaldson-Thomas partition function computations for abelian threefolds. A multiple cover structure is presented. The abelian threefold conjectures open a new direction in the subject.

Algebraic Geometry,Number Theory
Counting triangles in smooth cubic hypersurfaces

Mulong Xu

DOI: https://doi.org/10.1007/s13226-024-00679-0

2024-09-02

Indian Journal of Pure and Applied Mathematics

Abstract:We propose and study the notion of triangles in smooth cubic hypersurfaces. We prove that for a generic cubic n -fold X ( ), the variety of triangles in X is of dimension . We show that on a generic cubic n -fold, the triangles with a given edge can be parametrized by an open subset of a quintic hypersurface in . In the case of a generic cubic threefold, we show that the locus of the opposite vertices for triangles with a given edge form a curve of degree 10. As a corollary, we get an interesting enumerative result on the number of triangles satisfying some restrictions.

mathematics
On Motivic and Arithmetic Refinements of Donaldson-Thomas invariants

Felipe Espreafico,Johannes Walcher

2023-07-27

Abstract:In recent years, a version of enumerative geometry over arbitrary fields has been developed and studied by Kass-Wickelgren, Levine, and others, in which the counts obtained are not integers but quadratic forms. Aiming to understand the relation to other "refined invariants", and especially their possible interpretation in quantum theory, we explain how to obtain a quadratic version of Donaldson-Thomas invariants from the motivic invariants defined in the work of Kontsevich and Soibelman and pose some questions. We calculate these invariants in a few simple examples that provide standard tests for these questions, including degree zero invariants of $\mathbb A^3$ and higher-genus Gopakumar-Vafa invariants recently studied by Liu and Ruan. The comparison with known real and complex counts plays a central role throughout.

Algebraic Geometry,High Energy Physics - Theory
Tautological Hilbert scheme invariants of Calabi-Yau 4-folds via virtual pullback

Yalong Cao,Feng Qu

DOI: https://doi.org/10.48550/arXiv.2012.04415

2020-12-08

Abstract:Let $X$ be a Calabi-Yau 4-fold and $D$ a smooth connected divisor on it. We consider tautological bundles of $L=\mathcal{O}_X(D)$ on Hilbert schemes of points on $X$ and their counting invariants defined by integrating the Euler classes against the virtual classes. We relate these invariants to Maulik-Nekrasov-Okounkov-Pandharipande's invariants of Hilbert schemes of points on $D$ by virtual pullback technique and confirm a conjecture of Cao-Kool. The same strategy is also applied to obtain a virtual pullback formula for tautological invariants of one dimensional stable sheaves. This in turn gives a nontrivial identity on primary and descendent invariants as studied in the works of Cao, Maulik and Toda.

Algebraic Geometry

Counting conics on sextic 4-folds

Gopakumar–Vafa Type Invariants of Holomorphic Symplectic 4-Folds

A quadratically enriched count of rational curves

On some invariants of cubic fourfolds

Counting sheaves on curves

Counting Calabi-Yau Threefolds

Counting surfaces on Calabi-Yau 4-folds II: $\mathrm{DT}$-$\mathrm{PT}_0$ correspondence

Counting bare curves

Bifurcations of embedded curves and towards an extension of Taubes' Gromov invariant to Calabi-Yau 3-folds

Curve counting and instanton counting

Ellipsoidal superpotentials and singular curve counts

Counting Rational Curves and Standard Complex Structures on HyperKähler ALE 4-manifolds

A Donaldson-Thomas crepant resolution conjecture on Calabi-Yau 4-folds

Counting Curves in Quintic Calabi–Yau Threefolds and Landau–Ginzburg Models

A Ball Quotient Parametrizing Trigonal Genus 4 Curves

Sesquicuspidal curves, scattering diagrams, and symplectic nonsqueezing

Relative Gromov-Witten and maximal contact conics

Curve counting on abelian surfaces and threefolds

Counting triangles in smooth cubic hypersurfaces

On Motivic and Arithmetic Refinements of Donaldson-Thomas invariants

Tautological Hilbert scheme invariants of Calabi-Yau 4-folds via virtual pullback