For an Abelian surface $A$ with a symplectic action by a finite group $G$, one can define the partition function for $G$-invariant Hilbert schemes \[Z_{A, G}(q) = \sum_{d=0}^{\infty} e(\text{Hilb}^{d}(A)^{G})q^{d}.\] We prove the reciprocal $Z_{A,G}^{-1}$ is a modular form of weight $\frac{1}{2}e(A/G)$ for the congruence subgroup $Γ_{0}(|G|)$, and give explicit expressions in terms of eta products. Refined formulas for the $χ_{y}$-genera of $\text{Hilb}(A)^{G}$ are also given. For the group generated by the standard involution $τ: A \to A$, our formulas arise from the enumerative geometry of the orbifold Kummer surface $[A/τ]$. We prove that a virtual count of curves in the stack is governed by $χ_{y}(\text{Hilb}(A)^τ)$. Moreover, the coefficients of $Z_{A, τ}$ are true (weighted) counts of rational curves, consistent with hyperelliptic counts of Bryan, Oberdieck, Pandharipande, and Yin.
A generalized Kummer surface $X=Km(T,G)$ is the resolution of a quotient of a torus $T$ by a finite group of symplectic automorphisms $G$. We complete the classification of generalized Kummer surfaces by studying the two last groups which have not been yet studied. For these surfaces, we compute the associated Kummer lattice $K_{G}$, which is the minimal primitive sub-lattice containing the exceptional curves of the resolution $X\to T/G$. We then prove that a K3 surface is a generalised Kummer surface of type $Km(T,G)$ if and only if its Néron-Severi group contains $K_{G}$. For smooth-orbifold…
We provide an enumerative meaning of the mirror maps for toric Calabi-Yau orbifolds in terms of relative Gromov-Witten invariants of the toric compactifications. As a consequence, we obtain an equality between relative Gromov-Witten invariants and open Gromov-Witten invariants. Therefore, the instanton corrected mirrors for toric Calabi-Yau orbifolds can be constructed using relative Gromov-Witten invariants.
We show that any toroidal DM stack $X$ with finite diagonalizable inertia possesses a maximal toroidal coarsening $X_{tcs}$ such that the morphism $X\to X_{tcs}$ is logarithmically smooth. Further, we use torification results of [AT17] to construct a destackification functor, a variant of the main result of Bergh [Ber17], on the category of such toroidal stacks $X$. Namely, we associate to $X$ a sequence of blowings up of toroidal stacks $\widetilde{\mathcal{F}}_X\:Y\longrightarrow X$ such that $Y_{tc}$ coincides with the usual coarse moduli space $Y_{cs}$. In particular, this provides a toroi…
Given a smooth projective variety $M$ endowed with a faithful action of a finite group $G$, following Jarvis-Kaufmann-Kimura and Fantechi-Göttsche, we define the orbifold motive (or Chen-Ruan motive) of the quotient stack $[M/G]$ as an algebra object in the category of Chow motives. Inspired by Ruan, one can formulate a motivic version of his Cohomological HyperKähler Resolution Conjecture. We prove this motivic version, as well as its K-theoretic analogue conjectured by Jarvis-Kaufmann-Kimura, in two situations related to an abelian surface $A$ and a positive integer $n$. Case (A) concerns Hi…
We construct a topological embedding of the maximal connected component of Bridgeland stability conditions of a (twisted) Abelian surface into the distinguished connected component of the stability manifold of the associated (twisted) Kummer surface. We use methods developed for orbifold conformal field theories.
The enumerative geometry of r-th roots of line bundles is the subject of Witten's conjecture and occurs in the calculation of Gromov-Witten invariants of orbifolds. It requires the definition of the suitable compact moduli stack and the generalization of the standard techniques from the theory of moduli of stable curves. In math.AG/0603687, we construct a compact stack by describing the notion of stability in the context of twisted curves. In this paper, by working with stable twisted curves, we extend Mumford's formula for the Chern character of the Hodge bundle to the direct image of the uni…
In this article, we examine the arithmetic aspect of the Kummer-surface-type CY 3-folds $\hat{T/G}$, characterized by the crepant resolution of 3-torus-orbifold $T/G$ with only isolated singularities. Up to isomorphisms, there are only two such space $\hat{T/G}$ with $|G|=3, 7$, and both $T$ carrying the structure of triple-product structure of a CM elliptic curve. The (Griffiths) intermediate Jacobians of these $\hat{T/G}$ are identified explicitly as the corresponding elliptic curve appeared in the structure of $T$. We further provide the $\QZ$-structure of $\hat{T/G}$ and verify their modul…
In the context of K3 mirror symmetry, the Greene-Plesser orbifolding method constructs a family of K3 surfaces, the mirror of quartic hypersurfaces in $\mathbb{P}^3$, starting from a special one-parameter family of K3 varieties known as the quartic Dwork pencil. We show that certain K3 double covers obtained from the three-parameter family of quartic Kummer surfaces associated with a principally polarized abelian surface generalize the relation of the Dwork pencil and the quartic mirror family. Moreover, for the three-parameter family we compute a formula for the rational point-count of its ge…
We prove the Landau-Ginzburg/Calabi-Yau correspondence between the Gromov-Witten theory of each elliptic orbifold curve and its Fan-Jarvis-Ruan-Witten theory counterpart via modularity. We show that the correlation functions in these two enumerative theories are different representations of the same set of quasi-modular forms, expanded around different points on the upper-half plane. We relate these two representations by the Cayley transform.
In arXiv:1503.00125, the authors proved that every complete intersection smooth projective variety $Y$ is a Fano visitor, i.e. its derived category $D^b(Y)$ is equivalent to a full triangulated subcategory of the derived category $D^b(X)$ of a smooth Fano variety $X$, called a Fano host of $Y$. They also introduced the notion of Fano dimension of $Y$ as the smallest dimension of a Fano host $X$ and obtained an upper bound for the Fano dimension of each complete intersection variety. In this paper, we provide a Hodge-theoretic criterion for the existence of a Fano host which enables us to deter…
For a toric Calabi-Yau (CY) orbifold $\mathcal{X}$ whose underlying toric variety is semi-projective, we construct and study a non-toric Lagrangian torus fibration on $\mathcal{X}$, which we call the Gross fibration. We apply the Strominger-Yau-Zaslow (SYZ) recipe to the Gross fibration of $\mathcal{X}$ to construct its mirror with the instanton corrections coming from genus 0 open orbifold Gromov-Witten (GW) invariants, which are virtual counts of holomorphic orbi-disks in $\mathcal{X}$ bounded by fibers of the Gross fibration. We explicitly evaluate all these invariants by first proving an o…
We study the Abramovich--Vistoli moduli space of genus zero orbifold stable maps to [Sym^2 P^2], the stack symmetric square of P^2. This compactifies the moduli space of stable maps from hyperelliptic curves to P^2, and we show that all genus zero Gromov--Witten invariants are determined from trivial enumerative geometry of hyperelliptic curves. We also show how the genus zero Gromov--Witten invariants can be used to determine the number of hyperelliptic curves of degree d and genus g interpolating 3d + 1 generic points in P^2. Comparing our method to that of Graber for calculating the same nu…
This is a long summary of the author's book "D-manifolds and d-orbifolds: a theory of derived differential geometry", available at http://people.maths.ox.ac.uk/~joyce/dmanifolds.html . A shorter survey paper on the book, focussing on d-manifolds without boundary, is arXiv:1206.4207, and readers just wanting a general overview are advised to start there. We introduce a 2-category dMan of "d-manifolds", new geometric objects which are 'derived' smooth manifolds, in the sense of the 'derived algebraic geometry' of Toen and Lurie. They are a 2-category truncation of Spivak's 'derived manifolds' (s…
In arXiv:2011.08830 we established a series of correspondences relating five enumerative theories of log Calabi-Yau surfaces, i.e. pairs $(Y,D)$ with $Y$ a smooth projective complex surface and $D=D_1+\dots +D_l$ an anticanonical divisor on $Y$ with each $D_i$ smooth and nef. In this paper we explore the generalisation to $Y$ being a smooth Deligne-Mumford stack with projective coarse moduli space of dimension 2, and $D_i$ nef $\mathbb{Q}$-Cartier divisors. We consider in particular three infinite families of orbifold log Calabi-Yau surfaces, and for each of them we provide closed form solutio…
We study open-closed orbifold Gromov-Witten invariants of 3-dimensional Calabi-Yau smooth toric Deligne-Mumford (DM) stacks (with possibly non-trivial generic stabilizers and semi-projective coarse moduli spaces) relative to Lagrangian branes of Aganagic-Vafa type. We present foundational materials of enumerative geometry of stable holomorphic maps from bordered orbifold Riemann surfaces to a 3-dimensional Calabi-Yau smooth toric DM stack with boundaries mapped into a Aganagic-Vafa brane. All genus open-closed Gromov-Witten invariants are defined by torus localization and depend on the choice …
This is a survey of the author's book "D-manifolds and d-orbifolds: a theory of derived differential geometry", available at http://people.maths.ox.ac.uk/~joyce/dmanifolds.html We introduce a 2-category dMan of "d-manifolds", new geometric objects which are 'derived' smooth manifolds, in the sense of the 'derived algebraic geometry' of Toen and Lurie. They are a 2-category truncation of the 'derived manifolds' of Spivak (see arXiv:0810.5174, arXiv:1212.1153). The category of manifolds Man embeds in dMan as a full subcategory. We also define 2-categories dMan^b,dMan^c of "d-manifolds with bound…
Prompted by the Mathieu Moonshine observation, we identify a pair of 45-dimensional vector spaces of states that account for the first order term in the massive sector of the elliptic genus of K3 in every Z2-orbifold CFT on K3. These generic states are uniquely characterized by the fact that the action of every geometric symmetry group of a Z2-orbifold CFT yields a well-defined faithful representation on them. Moreover, each such representation is obtained by restriction of the 45-dimensional irreducible representation of the Mathieu group M24 constructed by Margolin. Thus we provide a piece o…
The main objects under consideration in this thesis are called maps, a certain class of graphs embedded on surfaces. Our problems have a powerful relatively recent tool in common, the so-called topological recursion (TR) introduced by Chekhov, Eynard and Orantin. We call a map fully simple if it has non self-intersecting disjoint boundaries, and ordinary if such a restriction is not imposed. We study the combinatorial relation between fully simple and ordinary maps with the topology of a disk or a cylinder, which reproduces relations between moments and free cumulants established in the contex…
We study the moduli space M(G,A) of flat G-bundles on an Abelian surface A, where G is a compact, simple, simply connected, connected Lie group. Equivalently, M(G,A) is the (coarse) moduli space of s-equivalence classes of holomorphic semi-stable G_C-bundles with trivial Chern classes where G_C is the complexified group. M(G,A) has the structure of a hyperkahler orbifold. We show that when G is Sp(n) or SU(n), M(G,A) has a natural hyperkahler desingularization which we exhibit as a moduli space of G_C-bundles with an altered stability condition. In this way, we obtain the two known families of…
