Search

We introduce the concept of a viable generically toroidal crossing (gtc) Deligne--Mumford stack $Y$. This generalizes the concept of Gorenstein toroidal crossing space, which in turn generalizes that of a simple normal crossing scheme. On such a space $Y$, we define by explicit construction a natural sheaf $\mathcal{LS}_Y$, intrinsic to $Y$. Our main theorem states that the set of nowhere vanishing sections $\Gamma(Y,\mathcal{LS}_Y^\times)$ is canonically bijective to the set of isomorphism classes of log structures on $Y$ over $k^\dagger$ compatible with the gtc structure. 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 Theorem 3.22 in GS06 and our proof follows closely the proof of that theorem as given in GS06., Comment: New introduction after iterated feedback by Gross and Siebert

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., Comment: 69 pages, sections 3.1 and 4.4 added, further improvements based on report at AiM

This is an announcement of the following construction: given an integral affine manifold $B$ with singularities, we build a topological space $X$ which is a torus fibration over $B$. The main new feature of the fibration $X\to B$ is that it has the discriminant in codimension 2., Comment: 13 pages, 4 figures, questions and suggestions are welcome!

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\'e-Lefschetz by simplicial methods for constructible sheaves might be of independent interest., Comment: 49 pages, 12 illustrations, corrected version, Construction 11 got added

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 \Sigma \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., Comment: final version, to appear in Adv. Math

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., Comment: small update, final version will appear as open access in Forum of Mathematics Pi

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., Comment: 78 pages, 10 figures; this article supercedes arXiv:1409.4750

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., Comment: 75 pages, 13 figures, final version, to appear in Forum Math. Sigma, ancillary files with source code and documentation added

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)., Comment: Intro rewritten; improved definition of Tropical QFT; corrected algebraic characterization of TrQFT (Theorem 3.6); added appendix on relation to string topology; various other improvements; 37 pages; comments welcome!

I prove a local finite determinacy result of singular fibres in families. As an application, I generalize finite determinacy results on the fibres of log morphisms and nearby and vanishing cycles sheaves by Illusie and Kisin., Comment: 21 pages, revised version

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., Comment: 42 pages, 1 figure, final version, to appear in Manuscripta Math

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., Comment: 15 pages, version accepted for publication in Advances in Mathematics

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., Comment: 40 pages, 4 figures, final version, to appear in Trans. Amer. Math. Soc

We use a formula of Bultot to compute the motivic zeta function for the toric degeneration of the quartic K3 and its Gross-Siebert mirror dual degeneration. We check for this explicit example that the identification of the logarithm of the monodromy and the mirror dual Lefschetz operator works at an integral level., Comment: 12 pages, 6 figures

We begin by introducing the concept of a Hodge structure and give some of its basic properties, including the Hodge and Lefschetz decompositions. We then define the period map, which relates families of Kahler manifolds to the families of Hodge structures defined on their cohomology, and discuss its properties. This will lead us to the more general definition of a variation of Hodge structure and the Gauss-Manin connection. We then review the basics about mixed Hodge structures with a view towards degenerations of Hodge structures; including the canonical extension of a vector bundle with connection, Schmid's limiting mixed Hodge structure and Steenbrink's work in the geometric setting. Finally, we give an outlook about Hodge theory in the Gross-Siebert program., Comment: 38 pages, 2 figures. To appear in Lecture Notes of the Concentrated Graduate Courses for Calabi-Yau Varieties: Arithmetic, Geometry and Physics; forthcoming volume in the Fields Institute Communications Series. v2: Edited to correct a problem with theorem numbering in the original submission

We present enumerative aspects of the Gross-Siebert program in this introductory survey. After sketching the program's main themes and goals, we review the basic definitions and results of logarithmic and tropical geometry. We give examples and a proof for counting algebraic curves via tropical curves. To illustrate an application of tropical geometry and the Gross-Siebert program to mirror symmetry, we discuss the mirror symmetry of the projective plane., Comment: A version of these notes will appear as a chapter in an upcoming Fields Institute volume. 81 pages

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., Comment: 39 pages, 4 figures. This paper has been completely rewritten and with strengthened results is now contained in arXiv:1907.03794 [math.AG]

This work establishes a subtle connection between mirror symmetry for Calabi-Yau threefolds and that of curves of higher genus. The linking structure is what we call a perverse curve. We show how to obtain such from Calabi-Yau threefolds in the Batyrev mirror construction and prove that their Hodge diamonds are related by the mirror duality., Comment: 24 pages, 6 figures, to appear in J. Algebraic Geom

A smooth affine hypersurface Z of complex dimension n is homotopy equivalent to an n-dimensional cell complex. Given a defining polynomial f for Z as well as a regular triangulation of its Newton polytope, we provide a purely combinatorial construction of a compact topological space S as a union of components of real dimension n, and prove that S embeds into Z as a deformation retract. In particular, Z is homotopy equivalent to S., Comment: 41 pages, 3 figure

We introduce a duality of Landau-Ginzburg models based on the notion of the discrete Legendre transform given by Gross-Siebert. It generalizes the duality used to construct mirrors of complete intersections in toric varieties in a recent joint work with Gross and Katzarkov. We discuss how it appears as a limit version of the semi-flat Strominger-Yau-Zaslow construction of mirror symmetry with potential given as the obstruction in Floer theory., Comment: 30 pages, 13 figures

The goal of this paper is to propose a theory of mirror symmetry for varieties of general type. Using Landau-Ginzburg mirrors as motivation, we describe the mirror of a hypersurface of general type (and more generally varieties of non-negative Kodaira dimension) as the critical locus of the zero fibre of a certain Landau-Ginzburg potential. The critical locus carries a perverse sheaf of vanishing cycles. Our main results shows that one obtains the interchange of Hodge numbers expected in mirror symmetry. This exchange is between the Hodge numbers of the hypersurface and certain Hodge numbers defined using a mixed Hodge structure on the hypercohomology of the perverse sheaf. This exchange can be anticipated from an analysis of Hochschild homology of the relevant categories arising in homological mirror symmetry in this case; we also conjecture that a similar, but different, exchange of dimensions arises from Hochschild cohomology, relating the cohomology of sheaves of polyvector fields on the hypersurface to the cohomology of the critical locus., Comment: 64 pages. Final version, to appear in Advances in Mathematics. See the first version for material concerning the cubic threefold

We give a spectral sequence to compute the logarithmic Hodge groups on a hypersurface type toric log Calabi-Yau space, compute its E_1 term explicitly in terms of tropical degeneration data and Jacobian rings and prove its degeneration at E_2 under mild assumptions. We prove the basechange of the affine Hodge groups and deduce it for the logarithmic Hodge groups in low dimensions. As an application, we prove a mirror symmetry duality in dimension two and four involving the usual Hodge numbers, the stringy Hodge numbers and the affine Hodge numbers., Comment: 49 pages, 3 figures