Associated Legendre functions of the first kind give a family of BCOV rings on elliptic curves. We prove that the family is parametrized by $q$-exponents of the eta function $η(q^{24})$. Our method involves a classification of rational solutions of a Riccati equation under some constraints.
We develop the quantum Kodaira-Spencer theory on the elliptic curve and establish the corresponding higher genus B-model. We show that the partition functions of the higher genus B-model on the elliptic curve are almost holomorphic modular forms, which can be identified with partition functions of descendant Gromov-Witten invariants on the mirror elliptic curve. This gives the first compact Calabi-Yau example where mirror symmetry is established at all genera.
Bershadsky-Cecotti-Ooguri-Vafa (BCOV) proposed that the B-model of mirror symmetry should be described by a quantum field theory on a Calabi-Yau variety, which they called the Kodaira-Spenser theory (we call it the BCOV theory). This is the first of three papers in which we construct and analyze the quantum BCOV theory. In this paper, we construct the classical field theory on a Calabi-Yau variety of arbitrary dimension; define what it means to give a quantization; analyze the relation Givental's symplectic formalism for Gromov-Witten theory; prove uniqueness of the quantization on an elliptic…
We study certain differential rings over the moduli space of Calabi-Yau manifolds. In the case of an elliptic curve, we observe a close relation to the differential ring of quasi-modular forms due to Kaneko and Zagier.
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, followin…
We investigate holomorphic anomalies of partition functions underlying string compactifications on Calabi-Yau fourfolds with background fluxes. For elliptic fourfolds the partition functions have an alternative interpretation as elliptic genera of N=1 supersymmetric string theories in four dimensions, or as generating functions for relative Gromov-Witten invariants of fourfolds with fluxes. We derive the holomorphic anomaly equations by starting from the BCOV formalism of topological strings, and translating them into geometrical terms. The result can be recast into modular and elliptic anomal…
Inspired by the multiplicative nature of the Ramanujan modular discriminant, Delta, we consider physical realizations of certain multiplicative products over the Dedekind eta-function in two parallel directions: the generating function of BPS states in certain heterotic orbifolds and elliptic K3 surfaces associated to congruence subgroups of the modular group. We show that they are, after string duality to type II, the same K3 surfaces admitting Nikulin automorphisms. In due course, we will present some identities arising from q-expansions as well as relations to the sporadic Mathieu group M24…
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…
For a global field K and an elliptic curve E_eta over K(T), Silverman's specialization theorem implies that rank(E_eta(K(T))) <= rank(E_t(K)) for all but finitely many t in P^1(K). If this inequality is strict for all but finitely many t, the elliptic curve E_eta is said to have elevated rank. All known examples of elevated rank for K=Q rest on the parity conjecture for elliptic curves over Q, and the examples are all isotrivial. Some additional standard conjectures over Q imply that there does not exist a non-isotrivial elliptic curve over Q(T) with elevated rank. In positive characteristic, …
The ordinariness of elliptic curves is essential in proving various expected properties of elliptic curves in positive characteristic and can be extended to algebraic curves of arbitrary genus. The present paper deals with another kind of extension, i.e., ordinariness of dormant $\mathfrak{sl}_2$-opers, or more generally, dormant $\mathfrak{sl}_n$-opers. We prove that, for dormant $\mathfrak{sl}_2$-opers on elliptic curves, this notion is essentially equivalent to the classical ordinariness. Moreover, the main result of the present paper asserts that the pull-back of an ordinary dormant $\math…
We study rational points on conic bundles over elliptic curves with positive rank over a number field. We show that the etale Brauer-Manin obstruction is insufficient to explain failures of the Hasse principle for such varieties. We then further consider properties of the distribution of the set of rational points with respect to its image in the rational points of the elliptic curve. In the process, we prove results on a local-to-global principle for torsion points on elliptic curves over $\mathbb{Q}$.
In this paper we prove the Tamagawa number conjecture of Bloch and Kato for CM elliptic curves using a new explicit description of the specialization of the elliptic polylogarithm. The Tamagawa number conjecture describes the special values of the L-function of a CM elliptic curve in terms of the regulator maps of the K-theory of the variety into Deligne and etale cohomology. The regulator map to Deligne cohomology was computed by Deninger with the help of the Eisenstein symbol. For the Tamagawa number conjecture one needs an understanding of the $p$-adic regulator on the subspace of K-theory …
We compute the Brauer group of the moduli stack of elliptic curves over the integers, localizations of the integers, finite fields of odd characteristic, and algebraically closed fields of characteristic not $2$. The methods involved include the use of the parameter space of Legendre curves and the moduli stack of curves with full (naive) level $2$ structure, the study of the descent spectral sequence in étale cohomology and the Leray spectral sequence in fppf cohomology, the computation of the group cohomology of $S_3$ in a certain integral representation, the classification of cubic Galois e…
On the number of Frobenius periodic vector bundles on elliptic curves
School of Mathematical Sciences, Key Laboratory of Intelligent Computing and Applications (Tongji University), Ministry of Education(同济大学智能计算与应用重点实验室数学科学学院)
Let $E$ be an elliptic curve. When the symmetric group $Σ_{g+1}$ of order $(g+1)!$ acts on $E^{g+1}$ in the natural way, the subgroup $E_0^{g+1}$, consisting of those $(g+1)$-tuples whose coordinates sum to zero, is stable under the action of $Σ_{g+1}$. It is isomorphic to $E^g$. This paper concerns the structure of the quotient variety $E^g/Σ$ when $Σ$ is a subgroup of $Σ_{g+1}$ generated by simple transpositions. In an earlier paper we observed that $E^g/Σ$ is a bundle over a suitable power, $E^N$, with fibers that are products of projective spaces. This paper shows that $E^g/Σ$ has an étale…
In this paper, we study an analogue of the Tate conjecture for $K_2$ of U, the complement of split multiplicative fibers in an elliptic surface. A main result is to give an upper bound of the rank of the Galois fixed part of the etale cohomology $H^2(\bar{U},Q_p(2))$. As an application, we give an elliptic K3 surface $X$ over a p-adic field for which the torsion part of the Chow group $CH_0(X)$ of 0-cycles is finite. This would be the first example of a surface $X$ over a p-adic field whose geometric genus is non-zero and for which the torsion part of $CH_0(X)$ is finite.
For every odd prime number p, we give examples of non-constant smooth families of genus 2 curves over fields of characteristic p which have pro-Galois (pro-étale) covers of infinite degree with geometrically connected fibers. The Jacobians of the curves are isomorphic to products of elliptic curves.
This is an update of the first version. We clarify that the main results apply to more general smooth projective varieties X than products of elliptic curves (briefly: X is of "abelian type", e.g. an abelian variety or a product of curves, and the Tate conjecture holds). We also deduce the Gersten conjecture for dvrs whose residue field is the function field of such an X. In an appendix, we construct some functoriality for etale motivic cohomology. Finally, some errors which were in Section 5 of the first version are corrected.
We study the geometry and arithmetic of so-called primary Burniat surfaces, a family of surfaces of general type arising as smooth bidouble covers of a del Pezzo surface of degree 6 and at the same time as étale quotients of certain hypersurfaces in a product of three elliptic curves. We give a new explicit description of their moduli space and determine their possible automorphism groups. We also give an explicit description of the set of curves of geometric genus 1 on each primary Burniat surface. We then describe how one can try to obtain a description of the set of rational points on a giv…
The following divisors in the space Sym^{12} P^1 of twelve points on P^1 are actually the same: (A) the possible locus of the twelve nodal fibers in a rational elliptic fibration (i.e. a pencil of plane cubic curves); (B) degree 12 binary forms that can be expressed as a cube plus a square; (C) the locus of the twelve tangents to a smooth plane quartic from a general point of the plane; (D) the branch locus of a degree 4 map from a hyperelliptic genus 3 curve to P^1; (E) the branch locus of a degree 3 map from a genus 4 curve to P^1 induced by a theta-characteristic; and several more. The corr…
Consider three normalised cuspidal eigenforms of weight $2$ and prime level $p$. Under the assumption that the global root number of the associated triple product $L$-function is $+1$, we prove that the complex Abel-Jacobi image of the modified diagonal cycle of Gross-Kudla-Schoen on the triple product of the modular curve $X_0(p)$ is torsion in the corresponding Hecke isotypic component of the Griffiths intermediate Jacobian. The same result holds with the complex Abel-Jacobi map replaced by its étale counterpart. As an application, we deduce torsion properties of Chow-Heegner points associat…