Search arXiv⌕ Search

arXiv · 0709.1432

On the integrality of the Taylor coefficients of mirror maps

Abstract

We show that the Taylor coefficients of the series ${\bf q}(z)=z\exp({\bf G}(z)/{\bf F}(z))$ are integers, where ${\bf F}(z)$ and ${\bf G}(z)+\log(z) {\bf F}(z)$ are specific solutions of certain hypergeometric differential equations with maximal unipotent monodromy at $z=0$. We also address the question of finding the largest integer $u$ such that the Taylor coefficients of $(z ^{-1}{\bf q}(z))^{1/u}$ are still integers. As consequences, we are able to prove numerous integrality results for the Taylor coefficients of mirror maps of Calabi-Yau complete intersections in weighted projective spaces, which improve and refine previous results by Lian and Yau, and by Zudilin. In particular, we prove the general ``integrality'' conjecture of Zudilin about these mirror maps. A further outcome of the present study is the determination of the Dwork-Kontsevich sequence $(u_N)_{N\ge1}$, where $u_N$ is the largest integer such that $q(z)^{1/u_N}$ is a series with integer coefficients, where $q(z)=\exp(F(z)/G(z))$, $F(z)=\sum_{m=0} ^{\infty} (Nm)! z^m/m!^N$ and $G(z)=\sum_{m=1} ^{\infty} (H_{Nm}-H_m)(Nm)! z^m/m!^N$, with $H_n$ denoting the $n$-th harmonic number, conditional on the conjecture that there are no prime number $p$ and integer $N$ such that the $p$-adic valuation of $H_N-1$ is strictly greater than 3.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Christian Krattenthaler, Tanguy Rivoal. 2009-07-15. On the integrality of the Taylor coefficients of mirror maps. https://arxiv.org/abs/0709.1432

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

The Recursive Behavior of the Number of Irreducible Factors of Certain Rational Transformations over Finite Fields

Constructing irreducible polynomials over finite fields via rational transformations is an active field of study. In this paper, we show that the method can be used for more than that. By considering normalized rational functions $Q$ that generate an invariant subfield $\mathbb{F}_q(x)^G$ of $\mathbb{F}_q(x)$, for a subgroup $G\le Aut(\mathbb{F}_q(x)/\mathbb{F}_q)$, and exploiting the factorization pattern of their rational transformations, we are able to prove that the sets arising from considering whether the rational transformation $f^Q$ has exactly $deg(Q)$ irreducible factors of the same degree as $f$, or an irreducible factor of higher degree, admit a recursive behavior, i.e. their numbers satisfy a recursive equation. These sets occasionally can be described in terms of arithmetical properties the roots of the irreducible polynomials satisfy, e.g. their roots satisfy certain trace or power/non-power conditions. These can often be translated to properties of their minimal polynomials. With that, we prove a new theorem about the number of certain irreducible factors of a class of linearized polynomials, which gives a new context to a recent paper by Granger.

math.NT↗

Relative Trace Formula And Simultaneous Nonvanishing for GL_3 x GL_2 and GL_3 x GL_1 L-functions

Fix a Dirichlet character $χ$ and a cuspidal GL$(2)$ eigenform $ϕ$ with relatively prime conductors. Then we show that there are infinitely many cusp forms $π$ on GL$(3)$ such that $L(1/2, π\times χ)$ and $L(1/2, π\times ϕ)$ are simultaneously non-zero. We achieve this by use of Jacquet's Relative Trace Formula. We derive an expression of the average over the GL$(3)$ cuspidal spectrum as a sum of a non-zero main term and two subsidiary terms which are forced to be zero for large enough level by use of a suitable test function. This modest article is dedicated to the memory of Harish Chandra, on the occasion of his hundredth birthday.

math.NT↗

On the pro-Kummer étale cohomology of $\mathbb B_{\operatorname{dR}}$

We investigate $p$-adic cohomologies of log rigid analytic varieties over a $p$-adic field. For a log rigid analytic variety $X$ defined over a discretely valued field, we compute the Kummer pro-étale cohomology of $\mathbb{B}_{\mathrm{dR}}^+$ and $\mathbb{B}_{\mathrm{dR}}$. When $X$ is defined over $\mathbb{C}_p$, we introduce a logarithmic ${B}_{\mathrm{dR}}^+$-cohomology theory, serving as a deformation of log de Rham cohomology. Additionally, we establish the log de Rham-étale comparison in this setting and prove the degeneration of both the Hodge-Tate and Hodge-log de Rham spectral sequences when $X$ is proper and log smooth.

math.NT↗