\(K3\) surfaces with involution, equivariant analytic torsion, and automorphic forms on the moduli space. (English) Zbl 1058.58013
Author’s abstract: We introduce an invariant of a \(K3\) surface with \(\mathbb Z_2\)-action equipped with a \(\mathbb Z_2\)-invariant Kähler metric, which we obtain using the equivariant analytic torsion of the trivial line bundle. This invariant is shown to be independent of the choice of the Kähler metric. It can be viewed as a function on the moduli space of \(K3\) surfaces with involution. The main result of this paper is that this function can be identified with an automorphic form, which characterizes the discriminant locus. In particular, we show that the Ray-Singer analytic torsion of the trivial line bundle on an Enriques surface with Ricci-flat Kähler metric is given by the value of the norm of the Borcherds \(\Phi\)-function and its period point.
Reviewer: Lucian Bădescu (Genova)
MSC:
58J52 | Determinants and determinant bundles, analytic torsion |
14J15 | Moduli, classification: analytic theory; relations with modular forms |
14J28 | \(K3\) surfaces and Enriques surfaces |