On Mirror Symmetry and Irrationality of Zeta Values
Abstract: A fundamental object of study in mirror symmetry of $n$-dimensional Fano varieties is the A-side connection on small quantum cohomology. When the Picard rank is 1, the Borel transform relates the quantum differential operator of the Fano to the Picard-Fuchs operator of the mirror to the associated pencil of anticanonical Calabi-Yau $(n-1)$-folds on the Fano variety. Expanding on related work by W. Yang on the Beukers-Peters pencil of K3 surfaces associated with Ap\'ery's proof for the irrationality of $\zeta(3)$, for such operators we define holomorphic prepotentials, virtual Yukawa couplings, and virtual instanton numbers, analogous to the usual ingredients of Calabi-Yau mirror symmetry. We prove that when the underlying Calabi-Yau operator is modular, the virtual Yukawa coupling is a modular form of weight-$(n+1)$, with the holomorphic prepotential as an Eichler integral. We then analyze the quantum differential operators for modular pencils of K3 surfaces arising as Dolgachev-Nikulin-Pinkham mirrors for the anticanonical linear systems for the 17 deformation classes of Fano threefolds of Picard rank-1 classified by Iskovskikh from the perspective of Golyshev & Zagier's proof of the Gamma conjecture for such Fanos, the natural setting of Yang's work. Here, the virtual instanton numbers are proven to be periodic integers with period equal to the level of the modular subgroup. Finally, we conjecture that the geometric nature of these virtual instanton numbers can be understood in terms of relative genus zero Gromov-Witten invariants of the associated log Calabi-Yau pair from the Fano threefold and anticanonical K3.
- Special polynomial rings, quasi modular forms and duality of topological strings. Adv. Theor. Math. Phys., 18(2):401–467, 2014.
- Tables of Calabi–Yau equations, Oct. 2010. arXiv:math/0507430.
- G. Almkvist and D. van Straten. Calabi-yau operators of degree two, 2021.
- R. Apéry. Irrationalité de ζ(2)𝜁2\zeta(2)italic_ζ ( 2 ) et ζ(3)𝜁3\zeta(3)italic_ζ ( 3 ). In Journées Arithmétiques de Luminy, number 61 in Astérisque. Société mathématique de France, 1979.
- Topological field theory and rational curves. Comm. Math. Phys., 151(2):245–262, 1993.
- A. Beauville. Les familles stables de courbes elliptiques sur 𝐏1superscript𝐏1{\bf P}^{1}bold_P start_POSTSUPERSCRIPT 1 end_POSTSUPERSCRIPT admettant quatre fibres singulières. C. R. Acad. Sci. Paris Sér. I Math., 294(19):657–660, 1982.
- F. Beukers. A note on the irrationality of ζ(2)𝜁2\zeta(2)italic_ζ ( 2 ) and ζ(3)𝜁3\zeta(3)italic_ζ ( 3 ). Bull. London Math. Soc., 11(3):268–272, 1979.
- F. Beukers. Irrationality of π2superscript𝜋2\pi^{2}italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT, periods of an elliptic curve and Γ1(5)subscriptΓ15\Gamma_{1}(5)roman_Γ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( 5 ). In Diophantine approximations and transcendental numbers (Luminy, 1982),, Progr. Math., 31, pages 47–66. 1983.
- F. Beukers. Irrationality proofs using modular forms. Number 147-148, pages 271–283, 345. 1987. Journées arithmétiques de Besançon (Besançon, 1985).
- F. Beukers. Consequences of Apéry’s work on ζ(3)𝜁3\zeta(3)italic_ζ ( 3 ), 2003. Accepted: 2008-02-25T11:46:59Z.
- F. Beukers and C. A. M. Peters. A family of K3𝐾3K3italic_K 3 surfaces and ζ(3)𝜁3\zeta(3)italic_ζ ( 3 ). J. Reine Angew. Math., 351:42–54, 1984.
- M. Bogner. On differential operators of Calabi-Yau type. PhD thesis, Johannes Gutenberg-Universität Mainz, 2012.
- M. Bogner. Algebraic characterization of differential operators of calabi-yau type. arXiv preprint arXiv:1304.5434, 2013.
- M. Bogner and S. Reiter. On symplectically rigid local systems of rank four and Calabi-Yau operators. J. Symbolic Comput., 48:64–100, 2013.
- An exactly soluble superconformal theory from a mirror pair of Calabi-Yau manifolds. Phys. Lett. B, 258(1-2):118–126, 1991.
- A pair of Calabi-Yau manifolds as an exactly soluble superconformal theory. Nuclear Phys. B, 359(1):21–74, 1991.
- Normal functions, Picard-Fuchs equations, and elliptic fibrations on K3𝐾3K3italic_K 3 surfaces. J. Reine Angew. Math., 721:43–79, 2016.
- P. Deligne. Équations différentielles à points singuliers réguliers. Lecture Notes in Mathematics, Vol. 163. Springer-Verlag, Berlin-New York, 1970.
- I. V. Dolgachev. Mirror symmetry for lattice polarized K3𝐾3K3italic_K 3 surfaces. volume 81, pages 2599–2630. 1996. Algebraic geometry, 4.
- Modularity of Landau-Ginzburg models, July 2023. arXiv:2307.15607 [math].
- C. F. Doran. Picard-Fuchs uniformization and modularity of the mirror map. Comm. Math. Phys., 212(3):625–647, 2000.
- C. F. Doran. Algebro-geometric isomonodromic deformations linking Hauptmoduls: variation of the mirror map. In Proceedings on Moonshine and related topics (Montréal, QC, 1999), volume 30 of CRM Proc. Lecture Notes, pages 27–35. Amer. Math. Soc., Providence, RI, 2001.
- C. F. Doran and A. Malmendier. Calabi-Yau manifolds realizing symplectically rigid monodromy tuples. Adv. Theor. Math. Phys., 23(5):1271–1359, 2019.
- Gamma classes and quantum cohomology of Fano manifolds: gamma conjectures. Duke Math. J., 165(11):2005–2077, 2016.
- Apéry extensions, July 2023. arXiv:2009.14762 [math].
- V. Golyshev and J. Stienstra. Fuchsian equations of type DN. Commun. Number Theory Phys., 1(2):323–346, 2007.
- V. Golyshev and M. Vlasenko. Equations D3 and spectral elliptic curves. In Feynman amplitudes, periods and motives, volume 648 of Contemp. Math., pages 135–152. Amer. Math. Soc., Providence, RI, 2015.
- V. V. Golyshev. Classification problems and mirror duality. In Surveys in geometry and number theory: reports on contemporary Russian mathematics, volume 338 of London Math. Soc. Lecture Note Ser., pages 88–121. Cambridge Univ. Press, Cambridge, 2007.
- V. V. Golyshev and D. Zagier. Proof of the gamma conjecture for Fano 3-folds with a Picard lattice of rank one. Izv. Ross. Akad. Nauk Ser. Mat., 80(1):27–54, 2016.
- P. A. Griffiths. Periods of integrals on algebraic manifolds. I. Construction and properties of the modular varieties. Amer. J. Math., 90:568–626, 1968.
- P. A. Griffiths. Periods of integrals on algebraic manifolds. II. Local study of the period mapping. Amer. J. Math., 90:805–865, 1968.
- P. A. Griffiths. Periods of integrals on algebraic manifolds. III. Some global differential-geometric properties of the period mapping. Inst. Hautes Études Sci. Publ. Math., (38):125–180, 1970.
- P. A. Griffiths. A theorem concerning the differential equations satisfied by normal functions associated to algebraic cycles. Amer. J. Math., 101(1):94–131, 1979.
- Calabi-Yau modular forms in limit: elliptic fibrations. Commun. Number Theory Phys., 11(4):879–912, 2017.
- S. Herfurtner. Elliptic surfaces with four singular fibres. Math. Ann., 291(2):319–342, 1991.
- H. Iritani. Mirror symmetric gamma conjecture for fano and calabi-yau manifolds, 2023.
- V. A. Iskovskikh. Fano threefolds. I. Izv. Akad. Nauk SSSR Ser. Mat., 41(3):516–562, 717, 1977.
- V. A. Iskovskikh. Fano threefolds. II. Izv. Akad. Nauk SSSR Ser. Mat., 42(3):506–549, 1978.
- M. Kerr. Motivic irrationality proofs, June 2020. arXiv:1708.03836 [math].
- BPS states of exceptional non-critical strings. volume 58, pages 177–194. 1997. Advanced quantum field theory (La Londe les Maures, 1996).
- A. Klemm and R. Pandharipande. Enumerative geometry of Calabi-Yau 4-folds. Comm. Math. Phys., 281(3):621–653, 2008.
- K. Kodaira. On the structure of compact complex analytic surfaces. I, II. Proc. Nat. Acad. Sci. U.S.A., 50:218–221; ibid. 51 (1963), 1100–1104,, 1963.
- S.-C. Lau and J. Zhou. Modularity of open Gromov-Witten potentials of elliptic orbifolds. Commun. Number Theory Phys., 9(2):345–386, 2015.
- Non-critical strings, del Pezzo singularities and Seiberg-Witten curves. Nuclear Phys. B, 499(1-2):125–148, 1997.
- Picard-Fuchs equations for relative periods and Abel-Jacobi map for Calabi-Yau hypersurfaces. Amer. J. Math., 134(5):1345–1384, 2012.
- R. S. Maier. On rationally parametrized modular equations. J. Ramanujan Math. Soc., 24(1):1–73, 2009.
- A. Malmendier and M. T. Schultz. On the mixed-twist construction and monodromy of associated Picard-Fuchs systems. Commun. Number Theory Phys., 16(3):459–513, 2022.
- R. Miranda. Smooth models for elliptic threefolds. In The birational geometry of degenerations (Cambridge, Mass., 1981),, Progr. Math., 29,, pages 85–133,. ,, 1983.
- R. Miranda and U. Persson. On extremal rational elliptic surfaces. Math. Z., 193(4):537–558, 1986.
- D. R. Morrison. Picard-Fuchs equations and mirror maps for hypersurfaces. In Essays on mirror manifolds, pages 241–264. Int. Press, Hong Kong, 1992.
- D. R. Morrison. Compactifications of moduli spaces inspired by mirror symmetry. Number 218, pages 243–271. 1993. Journées de Géométrie Algébrique d’Orsay (Orsay, 1992).
- D. R. Morrison and J. Walcher. D-branes and normal functions. Adv. Theor. Math. Phys., 13(2):553–598, 2009.
- C. Peters and J. Stienstra. A pencil of K3𝐾3K3italic_K 3-surfaces related to Apéry’s recurrence for ζ(3)𝜁3\zeta(3)italic_ζ ( 3 ) and Fermi surfaces for potential zero. In Arithmetic of complex manifolds (Erlangen, 1988), volume 1399 of Lecture Notes in Math., pages 110–127. Springer, Berlin, 1989.
- V. V. Przhiyalkovskiĭ. Quantum cohomology of smooth complete intersections in weighted projective spaces and in singular toric varieties. Mat. Sb., 198(9):107–122, 2007.
- T. Shioda. On elliptic modular surfaces. J. Math. Soc. Japan, 24:20–59, 1972.
- J. Stienstra. Mahler measure variations, Eisenstein series and instanton expansions. In Mirror symmetry. V, volume 38 of AMS/IP Stud. Adv. Math., pages 139–150. Amer. Math. Soc., Providence, RI, 2006.
- J. Stienstra and F. Beukers. On the Picard-Fuchs equation and the formal Brauer group of certain elliptic K3𝐾3K3italic_K 3-surfaces. Math. Ann., 271(2):269–304, 1985.
- P. F. Stiller. Differential equations associated with elliptic surfaces. J. Math. Soc. Japan, 33(2):203–233, 1981.
- H. A. Verrill. Picard-Fuchs equations of some families of elliptic curves. In Proceedings on Moonshine and related topics (Montréal, QC, 1999), volume 30 of CRM Proc. Lecture Notes, pages 253–268. Amer. Math. Soc., Providence, RI, 2001.
- F. R. Villegas. Modular Mahler measures. I. In Topics in number theory (University Park, PA, 1997), volume 467 of Math. Appl., pages 17–48. Kluwer Acad. Publ., Dordrecht, 1999.
- W. Yang. Apéry’s irrationality proof, Beukers’s modular forms and Mirror Symmetry. arXiv preprint arXiv:1911.02608, 2019.
- Y. Yang and W. Zudilin. On Sp4subscriptSp4{\rm Sp}_{4}roman_Sp start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT modularity of Picard-Fuchs differential equations for Calabi-Yau threefolds. In Gems in experimental mathematics, volume 517 of Contemp. Math., pages 381–413. Amer. Math. Soc., Providence, RI, 2010.
- D. Zagier. Elliptic modular forms and their applications. In The 1-2-3 of modular forms, Universitext, pages 1–103. Springer, Berlin, 2008.
- D. Zagier. Integral solutions of Apéry-like recurrence equations. In Groups and symmetries, volume 47 of CRM Proc. Lecture Notes, pages 349–366. Amer. Math. Soc., Providence, RI, 2009.
- D. Zagier. The arithmetic and topology of differential equations. In European Congress of Mathematics, pages 717–776. Eur. Math. Soc., Zürich, 2018.
- J. Zhou. Arithmetic Properties of Moduli Spaces and Topological String Partition Functions of Some Calabi-Yau Threefolds. ProQuest LLC, Ann Arbor, MI, 2014. Thesis (Ph.D.)–Harvard University.
- J. Zhou. GKZ hypergeometric series for the Hesse pencil, chain integrals and orbifold singularities. SIGMA Symmetry Integrability Geom. Methods Appl., 13:Paper No. 030, 32, 2017.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.