SearcharxivSearch

arXiv subjects

Helge Ruddat

Publications and source records attributed to Helge Ruddat.

At least 19 recordsLinked to original sources

Intrinsic enumerative mirror symmetry: Takahashi's log mirror symmetry for $(\mathbb{P}^2,E)$ revisited

Let $E$ be a smooth cubic in the projective plane $\mathbb{P}^2$. Nobuyoshi Takahashi formulated a conjecture that expresses counts of rational curves of varying degree in $\mathbb{P}^2\setminus E$ as the Taylor coefficients of a particular period integral of a pencil of affine plane cubics after reparametrizing the pencil using the exponential of a second period integral. The intrinsic mirror construction introduced by Mark Gross and the third author associates to a degeneration of $(\mathbb{P}^2, E)$ a canonical wall structure from which one constructs a family of projective plane cubics that is birational to Takahashi's pencil in its reparametrized form. By computing the period integral of the positive real locus explicitly, we find that it equals the logarithm of the product of all asymptotic wall functions. The coefficients of these asymptotic wall functions are logarithmic Gromov-Witten counts of the central fiber of the degeneration that agree with the algebraic curve counts in $(\mathbb{P}^2,E)$ in question. We conclude that Takahashi's conjecture is a natural consequence of intrinsic mirror symmetry. Our method generalizes to give similar results for log Calabi-Yau varieties of arbitrary dimension.

math.AG

Clusters, twistors and stability conditions I

We consider a quiver $Q$ of ADE type and use cluster combinatorics to define two complex manifolds $\mathcal S$ and $\mathcal L$. The space $\mathcal S$ can be identified with a quotient of the space of stability conditions on the CY$_3$ category associated to $Q$. The space $\mathcal L$ has a canonical map to the complex cluster Poisson space $\mathcal X_{\mathbb C}$ which we prove to be a local homeomorphism. When $Q$ is of type $A$, we give a geometric description of the spaces $\mathcal S$ and $\mathcal L$ as moduli spaces of meromorphic quadratic differentials and projective structures respectively. In the sequel paper we will introduce a space $Z\to \mathbb C$ whose fibre over over a point $\epsilon\in \mathbb C$ is isomorphic to $\mathcal S$ when $\epsilon=0$ and to $\mathcal L$ otherwise. The problem of constructing sections of this map gives a geometric approach to the Riemann-Hilbert problems defined by the Donaldson-Thomas invariants.

math.AG

Singular Log Structures and Log Crepant Log Resolutions I

We introduce a class of singular log schemes in three dimensions and conjecture that log schemes in this class admit log crepant log resolutions. We provide examples as evidence and relate this conjecture to the conjecture made in [4] and the Gross--Siebert program.

math.AG

Enumerative Geometry of Quantum Periods

We interpret the $q$-refined theta function $\vartheta_1$ of a log Calabi-Yau surface $(\mathbb{P},E)$ as a natural $q$-refinement of the open mirror map, defined by quantum periods of mirror curves for outer Aganagic-Vafa branes on the local Calabi-Yau $K_{\mathbb{P}}$. The series coefficients are all-genus logarithmic two-point invariants, directly extending the relation found in [GRZ]. Yet we find an explicit discrepancy at higher genus in the relation to open Gromov-Witten invariants of the Aganagic-Vafa brane. Using a degeneration argument, we express the difference in terms of relative invariants of an elliptic curve. With $\pi: \widehat{\mathbb{P}} \rightarrow \mathbb{P}$ the toric blow up of a point, we use the Topological Vertex [AKMV] to show a correspondence between open invariants of $K_{\mathbb{P}}$ and closed invariants of $K_{\widehat{\mathbb{P}}}$ generalizing a variant of [CLLT][LLW] to arbitrary genus and winding. We also equate winding-1, open-BPS invariants with closed Gopakumar-Vafa invariants.

math.AG

How to make log structures

We introduce the concept of a viable generically Gorenstein toroidal crossing (ggtc) space $Y$. This generalizes the concept of Gorenstein toroidal crossing scheme, which in turn generalizes that of a simple normal crossing scheme. On such a space $Y$, we define a sheaf $\mathcal{LS}_Y$, intrinsic to $Y$, by means of an explicit construction. Our main theorem establishes a bijection between the set $\operatorname{LS}(Y)$ of isomorphism classes of log structures on $Y$ over the log point $\operatorname{Spec} k^\dagger$ that are compatible with the ggtc structure and the set $\Gamma(Y,\mathcal{LS}_Y^\times)$ of nowhere vanishing global sections of $\mathcal{LS}_Y$. The definition of $\mathcal{LS}_Y$ by explicit construction permits the effective construction of log structures on $Y$; it also enables logarithmic birational geometry, in particular the construction - in some cases - of resolutions of singular log structures. Our work generalizes [GS06], Theorem 3.22, adapting the original proof with techniques from the theory of $2$-groups and local line bundle systems.

math.AG

The proper Landau-Ginzburg potential is the open mirror map

The mirror dual of a smooth toric Fano surface $X$ equipped with an anticanonical divisor $E$ is a Landau-Ginzburg model with superpotential, W. Carl-Pumperla-Siebert give a definition of the the superpotential in terms of tropical disks using a toric degeneration of the pair $(X,E)$. When $E$ is smooth, the superpotential is proper. We show that this proper superpotential equals the open mirror map for outer Aganagic-Vafa branes in the canonical bundle $K_X$, in framing zero. As a consequence, the proper Landau-Ginzburg potential is a solution to the Lerche-Mayr Picard-Fuchs equation. Along the way, we prove a generalization of a result about relative Gromov-Witten invariants by Cadman-Chen to arbitrary genus using the multiplication rule of quantum theta functions. In addition, we generalize a theorem of Hu that relates Gromov-Witten invariants of a surface under a blow-up from the absolute to the relative case. One of the two proofs that we give introduces birational modifications of a scattering diagram. We also demonstrate how the Hori-Vafa superpotential is related to the proper superpotential by mutations from a toric chamber to the unbounded chamber of the scattering diagram.

math.AG

The degeneration formula for stable log maps

We give a short direct proof for the degeneration formula of Gromov-Witten invariants including its cycle version for degenerations with smooth singular locus in the setting of minimal/basic stable log maps of Abramovich-Chen, Chen, Gross-Siebert.

math.AG

Tropical quantum field theory, mirror polyvector fields, and multiplicities of tropical curves

We introduce algebraic structures on the polyvector fields of an algebraic torus that serve to compute multiplicities in tropical and log Gromov-Witten theory while also connecting to the mirror symmetry dual deformation theory of complex structures. Most notably these structures include a tropical quantum field theory and an $L_{\infty}$-structure. The latter is an instance of Getzler's gravity algebra, and the $l_2$-bracket is a restriction of the Schouten-Nijenhuis bracket. We explain the relationship to string topology in the appendix (thanks to Janko Latschev).

math.AG

Tailoring a pair of pants

We show how to deform the map $\operatorname{Log}\colon (\mathbb{C}^*)^n \to \mathbb{R}^n$ such that the image of the complex pair of pants $P^\circ \subset {(\mathbb{C}^*)^n}$ is the tropical hyperplane by showing an (ambient) isotopy between $P^\circ \subset {(\mathbb{C}^*)^n}$ and a natural polyhedral subcomplex of the product of the two skeleta $S\times Σ\subset \mathcal{A} \times \mathcal{C}$ of the amoeba $\mathcal{A}$ and the coamoeba $\mathcal{C}$ of $P^\circ$. This lays the groundwork for having the discriminant to be of codimension 2 in topological Strominger-Yau-Zaslow torus fibrations.

math.AG

Tropically constructed Lagrangians in mirror quintic threefolds

We use tropical curves and toric degeneration techniques to construct closed embedded Lagrangian rational homology spheres in a lot of Calabi-Yau threefolds. We apply this construction to the tropical curves obtained from the 2875 lines on the quintic Calabi-Yau threefold. Each admissible tropical curve gives a Lagrangian rational homology sphere in the corresponding mirror quintic threefold and disjoint curves give pairwise homologous but non-Hamiltonian isotopic Lagrangians. We check in an example that $>300$ mutually disjoint curves (and hence Lagrangians) arise. We show that the weight of each of these Lagrangians equals to the multiplicity of the corresponding tropical curve.

math.SG

A homology theory for tropical cycles on integral affine manifolds and a perfect pairing

We introduce a cap product pairing for homology and cohomology of tropical cycles on integral affine manifolds with singularities. We show the pairing is perfect over $\mathbb{Q}$ in degree one when the manifold has at worst symple singularities. By joint work with Siebert, the pairing computes period integrals and its perfectness implies the versality of canonical Calabi-Yau degenerations. We also give an intersection theoretic application for Strominger-Yau-Zaslow fibrations. The treatment of the cap product and Poincaré-Lefschetz by simplicial methods for constructible sheaves might be of independent interest.

math.AG

Smoothing toroidal crossing spaces

We prove the existence of a smoothing for a toroidal crossing space under mild assumptions. By linking log structures with infinitesimal deformations, the result receives a very compact form for normal crossing spaces. The main approach is to study log structures that are incoherent on a subspace of codimension two and prove a Hodge-de Rham degeneration theorem for such log spaces which also settles a conjecture by Danilov. We show that the homotopy equivalence between Maurer-Cartan solutions and deformations combined with Batalin-Vilkovisky theory can be used to obtain smoothings. The construction of new Calabi-Yau and Fano manifolds as well as Frobenius manifold structures on moduli spaces are potential applications.

math.AG

Canonical Coordinates in Toric Degenerations

We prove that the mirror map is trivial for the canonical formal families of Calabi-Yau varieties constructed by Gross and the second author. In other words, the natural coordinate in a canonical Calabi-Yau family is a canonical coordinate in the sense of Hodge theory. This implies that the higher weight periods directly carry enumerative information with no further gauging necessary as opposed to the classical case. A side result is that the canonical formal families lift to analytic families. We compute the relevant period integrals explicitly. The cycles to integrate over are constructed from tropical 1-cycles in the intersection complex of the degenerate Calabi-Yau.

math.AG

Period integrals from wall structures via tropical cycles, canonical coordinates in mirror symmetry and analyticity of toric degenerations

We give a simple expression for the integral of the canonical holomorphic volume form in degenerating families of varieties constructed from wall structures and with central fiber a union of toric varieties. The cycles to integrate over are constructed from tropical 1-cycles in the intersection complex of the central fiber. One application is a proof that the mirror map for the canonical formal families of Calabi-Yau varieties constructed by Gross and the second author is trivial. We also show that these families are the completion of an analytic family, without reparametrization, and that they are formally versal as deformations of logarithmic schemes. Other applications include canonical one-parameter type III degenerations of K3 surfaces with prescribed Picard groups. As a technical result of independent interest we develop a theory of period integrals with logarithmic poles on finite order deformations of normal crossing analytic spaces.

math.AG

Descendant log Gromov-Witten invariants for toric varieties and tropical curves

Using degeneration techniques, we prove the correspondence of tropical curve counts and log Gromov-Witten invariants with general incidence and psi-class conditions in toric varieties for genus zero curves and all non-superabundant higher-genus situations. We also relate the log invariants to the ordinary ones, in particular explaining the appearance of negative multiplicities in the descendant correspondence result of Mark Gross.

math.AG

Local Gromov-Witten Invariants are Log Invariants

We prove a simple equivalence between the virtual count of rational curves in the total space of an anti-nef line bundle and the virtual count of rational curves maximally tangent to a smooth section of the dual line bundle. We conjecture a generalization to direct sums of line bundles.

math.AG