Skip to main content Accessibility help
×
Home
Hostname: page-component-78dcdb465f-jsbx8 Total loading time: 18.362 Render date: 2021-04-17T06:46:57.047Z Has data issue: true Feature Flags: { "shouldUseShareProductTool": true, "shouldUseHypothesis": true, "isUnsiloEnabled": true, "metricsAbstractViews": false, "figures": false, "newCiteModal": false, "newCitedByModal": true }

K3 surfaces with involution, equivariant analytic torsion, and automorphic forms on the moduli space IV: The structure of the invariant

Published online by Cambridge University Press:  19 November 2020

Shouhei Ma
Affiliation:
Department of Mathematics, Tokyo Institute of Technology, Tokyo 152-8551, Japan ma@math.titech.ac.jp
Ken-Ichi Yoshikawa
Affiliation:
Faculty of Science, Department of Mathematics, Kyoto University, Kyoto 606-8502, Japan yosikawa@math.kyoto-u.ac.jp
Corresponding

Abstract

Yoshikawa in [Invent. Math. 156 (2004), 53–117] introduces a holomorphic torsion invariant of $K3$ surfaces with involution. In this paper we completely determine its structure as an automorphic function on the moduli space of such $K3$ surfaces. On every component of the moduli space, it is expressed as the product of an explicit Borcherds lift and a classical Siegel modular form. We also introduce its twisted version. We prove its modularity and a certain uniqueness of the modular form corresponding to the twisted holomorphic torsion invariant. This is used to study an equivariant analogue of Borcherds’ conjecture.

Type
Research Article
Copyright
© The Author(s) 2020

Access options

Get access to the full version of this content by using one of the access options below.

References

Alexeev, V. and Nikulin, V. V., Del Pezzo and K3 surfaces, MSJ Memoires, vol. 15 (Mathematical Society of Japan, 2006).CrossRefGoogle Scholar
Alvarez-Gaumé, L., Moore, G. and Vafa, C., Theta functions, modular invariance, and strings, Commun. Math. Phys. 106 (1986), 140.CrossRefGoogle Scholar
Arbarello, E., Cornalba, M., Griffiths, P. A. and Harris, J., Geometry of algebraic curves, I (Springer, Berlin, 1985).CrossRefGoogle Scholar
Barth, W. P., Hulek, K., Peters, C. A. M. and Van de Ven, A., Compact complex surfaces, second edition (Springer, Berlin, 2004).CrossRefGoogle Scholar
Bershadsky, M., Cecotti, S., Ooguri, H. and Vafa, C., Kodaira-Spencer theory of gravity and exact results for quantum string amplitudes, Commun. Math. Phys. 165 (1994), 311427.CrossRefGoogle Scholar
Bismut, J.-M., Equivariant immersions and Quillen metrics, J. Differential Geom. 41 (1995), 53157.CrossRefGoogle Scholar
Bismut, J.-M., Gillet, H. and Soulé, C., Analytic torsion and holomorphic determinant bundles I, II, III, Commun. Math. Phys. 115 (1988), 4978, 79–126, 301–351.CrossRefGoogle Scholar
Borcherds, R. E., Automorphic forms with singularities on Grassmanians, Invent. Math. 132 (1998), 491562.CrossRefGoogle Scholar
Borcherds, R. E., Reflection groups of Lorentzian lattices, Duke Math. J. 104 (2000), 319366.CrossRefGoogle Scholar
Borcherds, R. E., Katzarkov, L., Pantev, T. and Shepherd-Barron, N. I., Families of $K3$ surfaces, J. Algebraic Geom. 7 (1998), 183193.Google Scholar
Borel, A., Some metric properties of arithmetic quotients of symmetric spaces and an extension theorem, J. Differential Geom. 6 (1972), 543560.CrossRefGoogle Scholar
Bost, J.-B. and Nelson, P., Spin-$\frac {1}{2}$ bosonization on compact surfaces, Phys. Rev. Lett. 57 (1986), 795798.CrossRefGoogle ScholarPubMed
Fang, H., Lu, Z. and Yoshikawa, K.-I., Analytic torsion for Calabi–Yau threefolds, J. Differential Geom. 80 (2008), 175259.CrossRefGoogle Scholar
Fay, J., Kernel functions, analytic torsion, and moduli spaces, Mem. Amer. Math. Soc. 464 (1992).Google Scholar
Finashin, S. and Kharlamov, V., Deformation classes of real four-dimensional cubic hypersurfaces, J. Algebraic Geom. 17 (2008), 677707.CrossRefGoogle Scholar
Fontanari, C. and Pascolutti, S., An affine open covering of ${\mathcal {M}}_{g}$ for $g\leq 5$, Geom. Dedicata 158 (2012), 6168.CrossRefGoogle Scholar
Gillet, H. and Soulé, C., An arithmetic Riemann-Roch theorem, Invent. Math. 110 (1992), 473543.CrossRefGoogle Scholar
Gross, M. and Wilson, P. M. H., Mirror symmetry via $3$-tori for a class of Calabi-Yau threefolds, Math. Ann. 309 (1997), 505531.CrossRefGoogle Scholar
Grothenidieck, A., Éléments de géométrie algébrique: II, Publ. Math. Inst. Hautes Etudes Sci. 8 (1961), 5222.Google Scholar
Grushevsky, S. and Salvati-Manni, R., The superstring cosmological constant and the Schottky form in genus $5$, Amer. J. Math. 133 (2011), 10071027.CrossRefGoogle Scholar
Igusa, J.-I., Modular forms and projective invariants, Amer. J. Math. 89 (1967), 817855.CrossRefGoogle Scholar
Igusa, J.-I., Theta functions (Springer, Berlin, 1972).CrossRefGoogle Scholar
Igusa, J.-I., On the irreducibility of Schottky's divisor, J. Fac. Sci. Univ. Tokyo 28 (1982), 531545.Google Scholar
Kondō, S., The rationality of the moduli space of Enriques surfaces, Compositio Math. 91 (1994), 159173.Google Scholar
Ma, S., Rationality of the moduli spaces of $2$-elementary $K3$ surfaces, J. Algebraic Geom. 24 (2015), 81158.CrossRefGoogle Scholar
Ma, X., Submersions and equivariant Quillen metrics, Ann. Inst. Fourier 50 (2000), 15391588.CrossRefGoogle Scholar
Ma, X., Orbifolds and analytic torsions, Trans. Amer. Math. Soc. 357 (2005), 22052233.CrossRefGoogle Scholar
Maillot, V. and Rössler, D., Formes automorphes et théorèmes de Riemann–Roch arithmétiques, Astérisque 328 (2009), 233249.Google Scholar
Martens, G. and Schreyer, F.-O., Line bundles and syzygies of trigonal bundles, Abh. Math. Semin. Univ. Hambg. 86 (1986), 169189.CrossRefGoogle Scholar
Mayer, A. L., Families of $K3$ surfaces, Nagoya Math. J. 48 (1972), 117.CrossRefGoogle Scholar
Mumford, D., Fogarty, J. and Kirwan, F. C., Geometric invariant theory, third edition (Springer, Berlin, 1994).CrossRefGoogle Scholar
Nikulin, V. V., Integral symmetric bilinear forms and some of their applications, Math. USSR Izv. 14 (1980), 103167.CrossRefGoogle Scholar
Nikulin, V. V., Factor groups of groups of automorphisms of hyperbolic forms with respect to subgroups generated by $2$-reflections, J. Soviet Math. 22 (1983), 14011476.CrossRefGoogle Scholar
Ray, D. B. and Singer, I. M., Analytic torsion for complex manifolds, Ann. Math. 98 (1973), 154177.CrossRefGoogle Scholar
Saint-Donat, B., Projective models of $K3$ surfaces, Amer. J. Math. 96 (1974), 602639.CrossRefGoogle Scholar
Scattone, F., On the compactification of moduli spaces for algebraic $K3$ surfaces, Mem. Amer. Math. Soc. 70 (1987), 374.Google Scholar
Scheithauer, N. R., On the classification of automorphic products and generalized Kac–Moody algebras, Invent. Math. 164 (2006), 641678.CrossRefGoogle Scholar
Schofer, J., Borcherds forms and generalizations of singular moduli, J. Reine Angew. Math. 629 (2009), 136.CrossRefGoogle Scholar
Shah, J., A complete moduli space for $K3$ surfaces of degree $2$, Ann. Math. 112 (1980), 485510.CrossRefGoogle Scholar
Skoruppa, N.-P., Jacbi forms of critical weight and Weil representations, in Modular forms on Schiermonnikoog (Cambridge University Press, Cambridge, 2008), 239266.CrossRefGoogle Scholar
Teixidor i Bigas, M., The divisor of curves with a vanishing theta-null, Compo. Math. 66 (1988), 1522.Google Scholar
Tsuyumine, S., Thetanullwerte on a moduli space of curves and hyperelliptic loci, Math. Zeit. 207 (1991), 539568.CrossRefGoogle Scholar
Wentworth, R. A., Gluing formulas for determinants of Dolbeault Laplacians on Riemann surfaces, Commun. Anal. Geom. 20 (2012), 455499.CrossRefGoogle Scholar
Yau, S.-T., On the Ricci curvature of a compact Kähler manifold and the complex Monge-Ampère equation, I, Commun. Pure Appl. Math. 31 (1978), 339411.CrossRefGoogle Scholar
Yoshikawa, K.-I., $K3$ surfaces with involution, equivariant analytic torsion, and automorphic forms on the moduli space, Invent. Math. 156 (2004), 53117.CrossRefGoogle Scholar
Yoshikawa, K.-I., Real $K3$ surfaces without real points, equivariant determinant of the Laplacian, and the Borcherds $\Phi$-function, Math. Zeit. 258 (2008), 213225.CrossRefGoogle Scholar
Yoshikawa, K.-I., $K3$ surfaces with involution, equivariant analytic torsion, and automorphic forms on the moduli space III, Math. Zeit. 272 (2012), 175190.CrossRefGoogle Scholar
Yoshikawa, K.-I., $K3$ surfaces with involution, equivariant analytic torsion, and automorphic forms on the moduli space II, J. Reine Angew. Math. 677 (2013), 1570.Google Scholar
Yoshikawa, K.-I., Analytic torsion for Borcea-Voisin threefolds, in Geometry, analysis and probability: in honor of Jean-Michel Bismut, Progress in Mathematics, vol. 310, eds. Bost, J.-B., Hofer, H., Labourie, F., Le Jan, Y., Ma, X. and Zhang, W. (Birkhäuser, Cham, 2017), 279361.CrossRefGoogle Scholar

Full text views

Full text views reflects PDF downloads, PDFs sent to Google Drive, Dropbox and Kindle and HTML full text views.

Total number of HTML views: 33
Total number of PDF views: 37 *
View data table for this chart

* Views captured on Cambridge Core between 19th November 2020 - 17th April 2021. This data will be updated every 24 hours.

Send article to Kindle

To send this article to your Kindle, first ensure no-reply@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle. Find out more about sending to your Kindle.

Note you can select to send to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

Find out more about the Kindle Personal Document Service.

K3 surfaces with involution, equivariant analytic torsion, and automorphic forms on the moduli space IV: The structure of the invariant
Available formats
×

Send article to Dropbox

To send this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Dropbox.

K3 surfaces with involution, equivariant analytic torsion, and automorphic forms on the moduli space IV: The structure of the invariant
Available formats
×

Send article to Google Drive

To send this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Google Drive.

K3 surfaces with involution, equivariant analytic torsion, and automorphic forms on the moduli space IV: The structure of the invariant
Available formats
×
×

Reply to: Submit a response


Your details


Conflicting interests

Do you have any conflicting interests? *