The Dedekind eta functions plays important role in different branches of Mathematics and Theoretical Physics. One way to construct Dedekind Eta function to use the explicit formula (Kroncker limit formula) for the regularized determinants of the Laplacian of the flat metric acting of (0,1) forms on elliptic curves. The holomorphic part of the regularized determinant is the Dedekind eta functions. In this paper we generalized the above approach to the case of K3 surfaces. We give an explicit formula of the regularized determinants of the Laplacians of Calabi Yau metrics on K3 Surfaces, following suggestions by R. Borcherds. The holomorphic part of the regularized determinants will be the higher dimensional analogue of Dedekind Eta function. We give explicit formulas for the number of non singular rational curves with a fixed volume with respect to a Hodge metric in the case of K3 surfaces with Picard group unimodular even lattice by using the holomorphic part exp_{3,19} of the regularized determinants det_{(0,1)}. We gave the combinatorial interpretation of the restriction of the automorphic form exp_{3,19} on the moduli of K3 surfaces with unimodular Picard lattices in the A and B models. The results obtained in this paper are related to some results of Bershadsky, Cecotti, Ouguri and Vafa. See BCOV.
We show that analytic torsion of smooth theta divisor is represented by a Siegel modular form characterizing the Andreotti-Mayer locus if its dimension is positive.
Tevelev has given a remarkable explicit formula for the discriminant of a complex simple Lie algebra, which can be defined as the equation of the dual hypersurface of the minimal nilpotent orbit, or of the so-called adjoint variety. In this paper we extend this formula to the setting of graded Lie algebras, and express the equation of the corresponding dual hypersurfaces in terms of the reflections in the little Weyl groups, the associated complex reflection groups. This explains for example why the codegree of the Grassmannian $G(4, 8)$ is equal to the number of roots of $\mathfrak{e}_7$ .
In this paper we construct the analogue of Dedekind eta-function on the moduli space of polarized CY manifolds. We prove that the L-two norm of eta is the regularized determinants of the Laplacians of the CY metric on (0,1) forms. We construct the analogue of the Baily-Borel Compactification of the moduli space of polarized CY and prove that it has the same properties as the Baily-Borel compactification of the locally symmetric Hermitian spaces. We proved that the compactification constructed in the paper is the minimal.
We generalize the standard combinatorial techniques of toric geometry to the study of log Calabi-Yau surfaces. The character and cocharacter lattices are replaced by certain integral linear manifolds described by Gross, Hacking, and Keel, and monomials on toric varieties are replaced with the canonical theta functions which GHK defined using ideas from mirror symmetry. We describe the tropicalizations of theta functions and use them to generalize the dual pairing between the character and cocharacter lattices. We use this to describe generalizations of dual cones, Newton and polar polytopes, M…
We carry out the SYZ program for the local Calabi--Yau manifolds of type $\widetilde{A}$ by developing an equivariant SYZ theory for the toric Calabi--Yau manifolds of infinite-type. Mirror geometry is shown to be expressed in terms of the Riemann theta functions and generating functions of open Gromov--Witten invariants, whose modular properties are found and studied in this article. Our work also provides a mathematical justification for a mirror symmetry assertion of the physicists Hollowood--Iqbal--Vafa.
The discriminant of a smooth plane cubic curve over the complex numbers can be written as a product of theta functions. This provides an important connection between algebraic and analytic objects. In this paper, we perform a new approach to obtain this classical result by using determinantal representations. More precisely, one can represent a non-singular cubic form as the determinant of a matrix whose elements are linear forms. Theta functions naturally appear in this representation and thus in the discriminant of the cubic.
We study the geometry of a birational map between an intersection of a web of quadrics in seven-dimensional complex projective space that contains a plane and the double octic branched along the discriminant of the web.
We analyze the locus, together with multiplicities, of "bad" conformal field theories in the compactified moduli space of N=(2,2) superconformal field theories in the context of the generalization of the Batyrev mirror construction using the gauged linear sigma-model. We find this discriminant of singular theories is described beautifully by the GKZ "A-determinant" but only if we use a noncompact toric Calabi-Yau variety on the A-model side and logarithmic coordinates on the B-model side. The two are related by "local" mirror symmetry. The corresponding statement for the compact case requires …
We study D-branes on smooth noncompact toric Calabi-Yau manifolds that are resolutions of abelian orbifold singularities. Such a space has a distinguished basis {S_i} for the compactly supported K-theory. Using local mirror symmetry we demonstrate that the S_i have simple transformation properties under monodromy; in particular, they are the objects that generate monodromy around the principal component of the discriminant locus. One of our examples, the toric resolution of C^3/(Z_2 x Z_2), is a three parameter model for which we are able to give an explicit solution of the GKZ system.
We discuss various topics on degenerations and special Lagrangian torus fibrations of Calabi-Yau manifolds in the context of mirror symmetry. A particular emphasis is on Tyurin degenerations and the Doran-Harder-Thompson conjecture, which builds a bridge between mirror symmetry for Calabi-Yau manifolds and that for quasi-Fano manifolds. The proof of the conjecture is of interest in its own right and leads us to a few other related topics such as SYZ mirror symmetry, theta functions and geometric quantization. Inspired by the conjecture, we also propose a new construction of Landau-Ginzburg mod…
We conjecture that any connected component $Q$ of the moduli space of triples $(X,E=E_1+\dots+E_n,Θ)$ where $X$ is a smooth projective variety, $E$ is a normal crossing anti-canonical divisor with a 0-stratum, every $E_i$ is smooth, and $Θ$ is an ample divisor not containing any 0-stratum of $E$, is unirational. More precisely: note that $Q$ has a natural embedding into the Kollár-Shepherd-Barron-Alexeev moduli space of stable pairs, we conjecture that the induced compactification admits a finite cover by a complete toric variety. We construct the associated complete toric fan, generalizing th…
Monodromy of Calabi-Yau threefold flops via grade restriction rule and their quantum Kahler moduli
Korea Institute for Advanced Study（韩国高等研究院）；Center for Mathematics and Interdisciplinary Sciences, Fudan University（复旦大学数学交叉科学中心）；Shanghai Institute for Mathematics and Interdisciplinary Sciences（上海数学与交叉科学研究院）
In this article we compute new theta relations which define the moduli space of abelian surfaces with real multiplication by square root three. We give the locus of square root three abelian surfaces in terms of the canonical coordinates on Mumford's moduli space of abelian surfaces with theta structure. The method that we use to compute the real multiplication theta relations is of purely algebraic nature. It differs from Runge's method and recent work by Gruenewald. We expect that our method generalizes to higher discriminants.
We relate Pandharipande-Thomas stable pair invariants on Calabi-Yau 3-folds containing the projective plane with those on the derived equivalent orbifolds via wall-crossing method. The difference is described by generalized Donaldson-Thomas invariants counting semistable sheaves on the local projective plane, whose generating series form theta type series for indefinite lattices. Our result also derives non-trivial constraints among stable pair invariants on such Calabi-Yau 3-folds caused by Seidel-Thomas twist.
Theta functions were defined for varieties with effective anticanonical divisor and are related to certain punctured Gromov-Witten invariants. In this paper we show that in the case of a log Calabi-Yau surface (X,D) with smooth very ample anticanonical divisor we can circumvent the notion of punctured Gromov-Witten invariants and relate theta functions and their multiplicative structure to certain 2-marked log Gromov-Witten invariants. This is a natural extension of the correspondence between wall functions and 1-marked log Gromov-Witten invariants.
We prove the Doran-Harder-Thompson conjecture in the case of elliptic curves by using ideas from SYZ mirror symmetry. The conjecture claims that when a Calabi-Yau manifold $X$ degenerates to a union of two quasi-Fano manifolds (Tyurin degeneration), a mirror Calabi-Yau manifold of $X$ can be constructed by gluing the two mirror Landau-Ginzburg models of the quasi-Fano manifolds. The two crucial ideas in our proof are to obtain a complex structure by gluing the underlying affine manifolds and to construct the theta functions from the Landau-Ginzburg superpotentials.
In this paper, we define a generalized arithmetic-geometric mean $μ_g$ among $2^g$ terms motivated by $2τ$-formulas of theta constants. By using Thomae's formula, we give two expressions of $μ_g$ when initial terms satisfy some conditions. One is given in terms of period integrals of a hyperelliptic curve $C$ of genus $g$. The other is by a period integral of a certain Calabi-Yau $g$-fold given as a double cover of the $g$-dimensional projective space $\mathbf{P}^g$.
We prove that the twisted Kahler-Einstein metrics that arise on the base of certain holomorphic fiber space with Calabi-Yau fibers have conical-type singularities along the discriminant locus. These fiber spaces arise naturally when studying the collapsing of Ricci-flat Kahler metrics on Calabi-Yau manifolds, and of the Kahler-Ricci flow on compact Kahler manifolds with semiample canonical bundle and intermediate Kodaira dimension. Our results allow us to understand their collapsed Gromov-Hausdorff limits when the base is smooth and the discriminant has simple normal crossings.
Vector-valued Siegel modular forms are the natural generalization of the classical elliptic modular forms as seen by studying the cohomology of the universal abelian variety. We show that for g>=4, a new class of vector-valued modular forms, defined on the Teichmuller space, naturally appears from the Mumford forms, a question directly related to the Schottky problem. In this framework we show that the discriminant of the quadric associated to the complex curves of genus 4 is proportional to the square root of the products of Thetanullwerte χ_{68}, which is a proof of the recently rediscovered…
Filtrations of numerically flat Higgs bundles and curve semistable Higgs bundles on Calabi-Yau manifolds
SISSA (Scuola Internazionale Superiore di Studi Avanzati)（国际高等研究院）；INFN (Istituto Nazionale di Fisica Nucleare), Sezione di Trieste（意大利国家核物理研究所的里雅斯特分部）；IGAP (Institute for Geometry and Physics)（几何与物理研究所）；Arnold-Regge Center for Algebra, Geometry and Theoretical Physics（阿诺德-雷吉代数、几何与理论物理中心）
The Kawazumi-Zhang invariant $φ$ for compact genus-two Riemann surfaces was recently shown to be a eigenmode of the Laplacian on the Siegel upper half-plane, away from the separating degeneration divisor. Using this fact and the known behavior of $φ$ in the non-separating degeneration limit, it is shown that $φ$ is equal to the Theta lift of the unique (up to normalization) weak Jacobi form of weight $-2$. This identification provides the complete Fourier-Jacobi expansion of $φ$ near the non-separating node, gives full control on the asymptotics of $φ$ in the various degeneration limits, and p…
This article studies the symplectic cohomology of affine algebraic surfaces that admit a compactification by a normal crossings anticanonical divisor. Using a toroidal structure near the compactification divisor, we describe the complex computing symplectic cohomology, and compute enough differentials to identify a basis for the degree-zero part of the symplectic cohomology. This basis is indexed by integral points in a certain integral affine manifold, providing a relationship to the theta functions of Gross--Hacking--Keel. Included is a discussion of wrapped Floer cohomology of Lagrangian su…
In this paper, we verify a part of the Mirror Symmetry Conjecture for Schoen's Calabi-Yau 3-fold, which is a special complete intersection in a toric variety. We calculate a part of the prepotential of the A-model Yukawa couplings of the Calabi-Yau 3-fold directly by means of a theta function and Dedekind's eta function. This gives infinitely many Gromov-Witten invariants, and equivalently infinitely many sets of rational curves in the Calabi-Yau 3-fold. Using the toric mirror construction, we also calculate the prepotential of the B-model Yukawa couplings of the mirror partner. Comparing the …
We show that a large class of maximally degenerating families of n-dimensional polarized varieties come with a canonical basis of sections of powers of the ample line bundle. The families considered are obtained by smoothing a reducible union of toric varieties governed by a wall structure on a real n-(pseudo-)manifold. Wall structures have previously been constructed inductively for cases with locally rigid singularities and by Gromov-Witten theory for mirrors of log Calabi-Yau surfaces and K3 surfaces by various combinations of the authors. For trivial wall structures on the n-torus we retri…
Recently, a correspondence has been proposed between spectral theory and topological strings on toric Calabi-Yau manifolds. In this paper we develop in detail this correspondence for mirror curves of higher genus, which display many new features as compared to the genus one case studied so far. Given a curve of genus g, our quantization scheme leads to g different trace class operators. Their spectral properties are encoded in a generalized spectral determinant, which is an entire function on the Calabi-Yau moduli space. We conjecture an exact expression for this spectral determinant in terms …
Equal-mass sunset integrals and genus-zero local Gromov--Witten theory of Calabi--Yau $n$-folds
Google DeepMind（谷歌DeepMind）；Institut de Physique Théorique, Université Paris Saclay, CNRS, CEA（巴黎萨克雷大学理论物理研究所）；Laboratoire d’Annecy-le-Vieux de Physique Théorique (LAPTh), CNRS and Université Savoie Mont-Blanc（阿讷西勒沃旧理论物理实验室）
We describe in detail the space of the two Kähler parameters of the Calabi--Yau manifold $¶_4^{(1,1,1,6,9)}[18]$ by exploiting mirror symmetry. The large complex structure limit of the mirror, which corresponds to the classical large radius limit, is found by studying the monodromy of the periods about the discriminant locus, the boundary of the moduli space corresponding to singular Calabi--Yau manifolds. A symplectic basis of periods is found and the action of the $Sp(6,\Z)$ generators of the modular group is determined. From the mirror map we compute the instanton expansion of the Yukawa co…
A log Calabi--Yau surface $(X,D)$ is given by a smooth projective surface $X$, together with an anti-canonical cycle of rational curves $D \subset X$. The homogeneous coordinate ring of the mirror to such a surface, or to the complement $X\setminus D$, is constructed in the work of Gross-Hacking-Keel, following previous work of Gross-Siebert, using wall structures, and it is generated by theta functions. In our work with Mark Gross we had provided a recipe to concretely compute these theta functions from a combinatorially constructed wall structure in arbitrary dimensions. In this paper, we fi…
We study moduli spaces of K3 surfaces endowed with a Nikulin involution and their image in the moduli space R_g of Prym curves of genus g. We observe a striking analogy with Mukai's well-known work on ordinary K3 surfaces. Many of Mukai's results have a very precise Prym-Nikulin analogue, for instance: (1) A general Prym curve from R_g is a section of a Nikulin surface if and only if g\leq 7, g\neq 6. (2) R_7 has the structure of a Mori fibre space over the corresponding moduli space of polarized Nikulin surfaces. (3) In the case of genus next to maximal (g=6), the Prym-Nikulin locus in R_6 is…
Recent developments in string theory have revealed a surprising connection between spectral theory and local mirror symmetry: it has been found that the quantization of mirror curves to toric Calabi-Yau threefolds leads to trace class operators, whose spectral properties are conjecturally encoded in the enumerative geometry of the Calabi-Yau. This leads to a new, infinite family of solvable spectral problems: the Fredholm determinants of these operators can be found explicitly in terms of Gromov-Witten invariants and their refinements; their spectrum is encoded in exact quantization conditions…
The three- and four-loop equal-mass sunset integrals and local Calabi--Yau fourfolds and fivefolds
Google DeepMind（谷歌DeepMind）；Institut de Physique Théorique, Université Paris Saclay, CNRS, CEA（巴黎萨克雷大学理论物理研究所，法国国家科学研究中心，法国原子能和替代能源委员会）；Laboratoire d’Annecy-le-Vieux de Physique Théorique (LAPTh), CNRS and Université Savoie Mont-Blanc（阿讷西勒沃理论物理实验室，法国国家科学研究中心和萨瓦蒙特布朗克大学）
We prove the transformation formula of Donaldson-Thomas (DT) invariants counting two dimensional torsion sheaves on Calabi-Yau 3-folds under flops. The error term is described by the Dedekind eta function and the Jacobi theta function, and our result gives evidence of a 3-fold version of Vafa-Witten's S-duality conjecture. As an application, we prove a blow-up formula of DT type invariants on the total spaces of canonical line bundles on smooth projective surfaces. It gives an analogue of the similar blow-up formula in the original S-duality conjecture by Yoshioka, Li-Qin and Göttsche.
This is the first of a series of articles in which we are going to study the regularized determinants of the Laplacians of Calabi Yau metrics acting on (0,q) forms on the moduli space of CY manifolds with a fixed polarization. It is well known that in case of the elliptic curves the Kronecker limit formula gives an explicit formula for the regularized determinants of the flat metrics with fixed volume on the elliptic curves. The following formula holds in this case; the regularized determinant is the product of the imaginary part of the complex number in the Siegel upper half plane with the De…
A banana manifold is a compact Calabi-Yau threefold, fibered by Abelian surfaces, whose singular fibers have a singular locus given by a "banana configuration of curves". A basic example is given by $X_{ban}$, the blowup along the diagonal of the fibered product of a generic rational elliptic surface $S\to \mathbb{P}^{1}$ with itself. In this paper we give a closed formula for the Donaldson-Thomas partition function of the banana manifold $X_{ban }$ restricted to the 3-dimensional lattice $Γ$ of curve classes supported in the fibers of $X_{ban}\to \mathbb{P}^{1}$. It is given by \[ Z_Γ(X_{ban}…
Motivated by the picture of mirror symmetry suggested by Strominger, Yau and Zaslow, we made a conjecture concerning the Gromov-Hausdorff limits of Calabi-Yau n-folds (with Ricci-flat Kähler metric) as one approaches a large complex structure limit point in moduli; a similar conjecture was made independently by Kontsevich, Soibelman and Todorov. Roughly stated, the conjecture says that, if the metrics are normalized to have constant diameter, then this limit is the base of the conjectural special lagrangian torus fibration associated with the large complex structure limit, namely an n-sphere, …
