Abstract
We discuss a trinity, i.e., three distinct expressions, of the Borcherds Φ-function on the analogy of the trinity of the Dedekind η-function.
Access provided by Autonomous University of Puebla. Download conference paper PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
1 Introduction—A Trinity of Dedekind η-Function
The Dedekind η-function is the holomorphic function on the complex upper half-plane \({\frak{H}}\) defined as the infinite product
where q:=e 2πiτ. It is classical that η(τ)24 is a modular form for \(\mathit{SL}_{2}({\bf Z})\) of weight 12 vanishing at +i∞ and this property characterizes the Dedekind η-function up to a constant.
Let us recall the trinity of the Dedekind η-function. Besides the definition as above, the Dedekind η-function admits at least two other distinct expressions, one analytic and the other algebro-geometric. Precisely speaking, we consider the Petersson norm
rather than the Dedekind η-function itself.
Let us explain an analytic counterpart of the Dedekind η-function. For \(\tau\in{\frak{H}}\), let E τ be the elliptic curve defined by
which is equipped with the flat Kähler metric of normalized volume 1
The Laplacian of (E τ ,g τ ) is the differential operator defined as
The set of eigenvalues of □ τ is given by \(\{\pi^{2}|m\tau +n|^{2}/\Im\tau\}_{(m,n)\in{\bf Z}^{2}}\) and hence the spectral zeta function of □ τ is defined as
It is classical that ζ τ (s) converges absolutely when ℜs>1 and extends to a meromorphic function on \({\bf C}\). Moreover, ζ τ (s) is holomorphic at s=0. The value
is called the (regularized) determinant of □ τ on the analogy of the identity for finite dimensional, non-degenerate, Hermitian matrices
By Ray-Singer [29], the classical Kronecker limit formula can be stated as follows in this setting:
Theorem 1
The following equality holds
Let us explain an algebro-geometric counterpart of the Dedekind η-function. Let M m,n (K) be the set of m×n-matrices with entries in \(K\subset{\bf C}\). Recall that every elliptic curve is expressed as the complete intersection of two quadrics of \({\bf P}^{3}\)
where \(A=(a_{ij})=({\bf a}_{1},{\bf a}_{2},{\bf a}_{3},{\bf a}_{4})\in M_{2,4}({\bf C})\). For \(A\in M_{2,4}({\bf C})\) and 1≤i<j≤4, we define
Since the value ∥η(τ)∥ depends only on the isomorphism class of the elliptic curve E τ , it makes sense to set ∥η(E τ )∥:=∥η(τ)∥.
Theorem 2
With the same notation as above, the following equality holds
Here \(\alpha_{A}\in H^{0}(E_{A},\varOmega^{1}_{E_{A}})\) is defined as the residue of f 1,f 2, i.e.,
where Ξ is a meromorphic 1-form on \({\bf P}^{3}\) satisfying the equation
For \(A=(a_{ij})\in M_{2,4}({\bf C})\), one can associate another elliptic curve
Namely, C A is the double covering of \({\bf P}^{1}\) with 4 branch points (a 11:−a 21), (a 12:−a 22), (a 13:−a 23), (a 14:−a 24). If a 11=0 and a 12=1, then C A is an elliptic curve expressed by the Weierstrass equation. It is not difficult to see C A ≅E A and
(We shall study an analogue of E A and C A for K3 surfaces later.)
Theorem 2 is easily verified when E A is the projective embedding of E τ by the linear system |4Θ|. In this situation, the equations of E A are the linear relations between the theta functions θ a,b (z,τ) \((a,b\in\{0,\frac{1}{2}\})\). General case of Theorem 2 follows from this special case by the invariance of the expression in Theorem 2 under the action of \(\mathit{GL}_{2}({\bf C})\times({\bf C}^{*})^{4}\). See [16] for the details.
In this survey, we explain a generalization of the trinity of the Dedekind η-function as above to that of the Borcherds Φ-function. For this, we make the following replacements:
-
elliptic curves ⟹ Enriques surfaces
-
determinant of Laplacian ⟹ analytic torsion
-
∏1≤i<j≤4 Δ ij (A) ⟹ resultant of three quadratic forms in three variables
For the analytic aspect of the Borcherds Φ-function, our explanation is based on [34, 36], while for the algebro-geometric aspect of the Borcherds Φ-function, our explanation is based on [16]. In this survey, we will not give proofs. We refer the reader to these papers for the details.
2 Borcherds Φ-Function
In this section, we recall the Borcherds Φ-function.
2.1 Domains of Type IV and Its Realization as a Tube Domain
A free \({\bf Z}\)-module of finite rank equipped with a non-degenerate, integral, symmetric bilinear form is called a lattice. The automorphism group of a lattice L is denoted by O(L). For a lattice \(L=({\bf Z}^{r},\langle\cdot,\cdot\rangle_{L})\) and \(k\in {\bf Q}\), we set \(L(k):=({\bf Z}^{r},k\langle\cdot,\cdot\rangle_{L})\). We define \({\mathbb{U}}:=({\bf Z}^{2},\binom{0\,1}{1\,0})\). There exists a unique positive-definite, even, unimodular lattice of rank 8, up to an isometry. This lattice is denoted by \({\mathbb{E}}_{8}\).
Let Λ be a lattice of signature (2,b −). We define an open manifold Ω Λ of dimension b − as
Then Ω Λ is the set of maximal positive-definite subspaces of \({\varLambda}\otimes{\bf R}\) and is isomorphic to SO(2,b −)/SO(2)×SO(b −). Hence each connected component of Ω Λ is isomorphic to a symmetric bounded domain of type IV of dimension b −.
Assume that there exists \(k\in{\bf Z}_{>0}\) and a lattice of signature (1,b −−1) such that \(\varLambda={\mathbb{U}}(k)\oplus L\). Let \(\{{\bf e},{\bf f}\}\) be a basis of \({\mathbb{U}}(k)\) with \({\bf e}^{2}={\bf f}^{2}=0\), \({\bf e}\cdot{\bf f}=k\). We set \({\bf v}:={\bf e}\in{\mathbb{U}}(k)\) and \({\bf v}':={\bf f}/k\in{\mathbb{U}}(k)^{\lor}\). Then we have an isomorphism of complex manifolds \(L\otimes{\bf R}+i{\mathcal{C}}_{L}\cong\varOmega_{\varLambda}\) given by the map
Here \({\mathcal{C}}_{L}:=\{x\in L\otimes{\bf R};\langle x,x\rangle_{L}>0\}\) is the positive cone of L. Since L is Lorentzian and hence \({\mathcal{C}}_{L}\) consists of two connected components, we choose one of them, say \({\mathcal{C}}_{L}^{+}\). Write \(\varOmega_{\varLambda}^{+}\) for the component of Ω Λ corresponding to \(L\otimes{\bf R}+i{\mathcal{C}}_{L}^{+}\). Then we have the decomposition \(\varOmega_{\varLambda}=\varOmega_{\varLambda}^{+}\amalg\overline{\varOmega_{\varLambda}^{+}}\). The subgroup of O(Λ) preserving the connected components \(\varOmega_{\varLambda}^{+}\), \(\overline{\varOmega_{\varLambda}^{+}}\) is denoted by O +(Λ). Clearly, [O(Λ):O +(Λ)]=2.
2.2 Automorphic Forms over Domains of Type IV
Let us recall the notion of automorphic forms over \(\varOmega_{\varLambda}^{+}\). There are several mutually equivalent definitions.
2.2.1 Automorphic Form as a Multicanonical Form on \(\varOmega_{\varLambda}^{+}\)
Let \({\mathcal{L}}\) be the tautological line bundle on \(\varOmega_{\varLambda}^{+}\):
The natural action of O +(Λ) on \(\varOmega_{\varLambda}^{+}\times (\varLambda\otimes{\bf C})\) induces the O +(Λ)-action on \({\mathcal{L}}\). A holomorphic section \(f\in H^{0}(\varOmega_{\varLambda}^{+},{\mathcal{L}}^{k})\) is called an automorphic form for Γ⊂O +(Λ) of weight k with character χ if
for all \(Z\in\varOmega_{\varLambda}^{+}\) and γ∈Γ, where \(\chi\colon\varGamma\to{\bf C}^{*}\) is a finite character.
2.2.2 Automorphic Form as a Homogeneous Function on the Cone over \(\varOmega_{\varLambda}^{+}\)
Let \(C_{\varOmega_{\varLambda}^{+}}\) be the cone over \(\varOmega_{\varLambda}^{+}\) obtained from \({\mathcal{L}}\) by contracting the zero section. Then a holomorphic function \(F\in {\mathcal{O}}(C_{\varOmega_{\varLambda}^{+}})\) is called an automorphic form on \(\varOmega_{\varLambda}^{+}\) for Γ⊂O +(Λ) of weight k with character χ if
for all \(\zeta\in C_{\varOmega_{\varLambda}^{+}}\), γ∈Γ and \(\lambda\in{\bf C}^{*}\).
2.2.3 Automorphic Form as a Function on \(\varOmega_{\varLambda}^{+}\)
Let \(\ell\in\varLambda\otimes{\bf R}\) be such that 〈ℓ,ℓ〉≥0. Observe that
is a nowhere vanishing holomorphic section of \({\mathcal{L}}\). Via the assignment \(f\mapsto f/\sigma_{\ell}^{k}\), we can define automorphic forms as follows: A holomorphic function \(F(Z)\in{\mathcal{O}}(\varOmega_{\varLambda}^{+})\) is an automorphic form for Γ of weight k with character χ if for all \(Z\in\varOmega_{\varLambda }^{+}\) and γ∈Γ,
The choice of ℓ corresponds to the choice of a hyperplane at infinity of \({\bf P}(\varLambda\otimes{\bf C})\).
2.2.4 Automorphic Form as a Function on \(L\otimes{\bf R}+i{\mathcal{C}}_{L}^{+}\)
We have the O +(Λ)-action on the tube domain \(L\otimes{\bf R}+i{\mathcal{C}}_{L}^{+}\) via the identification \(\varOmega_{\varLambda}^{+}\cong L\otimes{\bf R}+i{\mathcal{C}}_{L}^{+}\). Write J(γ,y) for the Jacobian determinant of \(\gamma\in O^{+}(\varLambda)\subset{\rm Aut}(L\otimes{\bf R}+i{\mathcal{C}}_{L}^{+})\). By the relation between the canonical line bundle of \(\varOmega_{\varLambda }^{+}\) and \({\mathcal{L}}\), there is a holomorphic function j(γ,z) with
A holomorphic function \(F(z)\in{\mathcal{O}}(L\otimes{\bf R}+i{\mathcal{C}}_{L}^{+})\) is an automorphic form for Γ of weight k with character χ if for all \(z\in L\otimes{\bf R}+i{\mathcal{C}}_{L}^{+}\) and γ∈Γ,
2.3 Borcherds Φ-Function
Define the Enriques lattice Λ as
Then Λ is an even lattice of signature (2,10). We define the discriminant divisor of Ω Λ by
where \(d^{\perp}:=\{[Z]\in\varOmega_{\boldsymbol{\varLambda}}^{+};\,\langle d,Z\rangle =0\}\). Define {c(n)} by the generating series:
2.3.1 Borcherds Φ-Function at the Level 1 Cusp
Let \({\bf v}\) be a primitive isotropic vector of \({\mathbb{U}}\subset{\boldsymbol{\varLambda}}\) and set \(L_{1}:={\bf v}^{\perp}/{\bf v}\cong{\mathbb{U}}(2)\oplus{\mathbb{E}}_{8}(2)\). Then \(L_{1}\otimes{\bf R}+i\,{\mathcal{C}}_{L_{1}}^{+}\cong\varOmega_{\boldsymbol{\varLambda}}^{+}\).
Definition 1
The Borcherds Φ-function is the formal Fourier series on the tube domain \(L_{1}\otimes{\bf R}+i{\mathcal{C}}_{L_{1}}^{+}\) defined as
2.3.2 Borcherds Φ-Function at the Level 2 Cusp
Let \({\bf v}\) be a primitive isotropic vector of \({\mathbb{U}}(2)\subset\boldsymbol{\varLambda}\) and set \(L_{2}={\bf v}^{\perp}/{\bf v}\cong{\mathbb{U}}\oplus{\mathbb{E}}_{8}(2)\). Then \(L_{2}\otimes{\bf R}+i\,{\mathcal{C}}_{L_{2}}^{+}\cong\varOmega_{\boldsymbol{\varLambda}}^{+}\).
Definition 2
The Borcherds Φ-function is the formal Fourier series on the tube domain \(L_{2}\otimes{\bf R}+i\,{\mathcal{C}}_{L_{2}}^{+}\) defined as
where ρ=((0,1),0), ρ′=((1,0),0)∈L 2.
Theorem 3
For j=1,2, the formal Fourier series Φ j (z) as above converges absolutely for \(z\in L_{j}\otimes{\bf R}+i\,{\mathcal{C}}_{L_{j}}^{+}\) with ℑz≫0 and extends to an automorphic form on \(L_{j}\otimes{\bf R}+i\,{\mathcal{C}}_{L_{j}}^{+}\) for O +(Λ) of weight 4. Regarded as holomorphic functions on \(\varOmega_{\boldsymbol{\varLambda}}^{+}\), one has the equality up to a constant of modulus 1
In what follows, we write Φ(z) for Φ 1(z) and Φ 2(z).
Definition 3
The Petersson norm of Φ is the C ∞ function on \(L_{j}\otimes{\bf R}+i\,{\mathcal{C}}_{L_{j}}^{+}\) defined as
Since the Petersson norm ∥Φ(z)∥ is O +(Λ)-invariant, we regard ∥Φ(z)∥ as a function on the orthogonal modular variety \(\varOmega_{{\boldsymbol{\varLambda}}}^{+}/O^{+}({\boldsymbol{\varLambda}})\).
By [9, Th. 13.3], log∥Φ∥ is defined as the finite part of the divergent integral:
where F(τ) is a certain vector-valued elliptic modular form for \(Mp_{2}({\bf Z})\) (cf. [36, Def. 7.6] with Λ=Λ) and Θ Λ (τ,Z) is the Siegel theta function [9] of the Enriques lattice Λ. Then the expressions Φ 1(z) and Φ 2(z) are obtained by computing the above integral at the level 1 cusp and the level 2 cusp, respectively. For the necessity of the constant 28 in Φ 2(z), see [9, Th. 13.3 (5)] and [36, Eq. (7.9)].
Remark 1
One can rewrite the expression of Φ(z) using the dual lattice of Λ. Set \(L:={\mathbb{U}}\oplus{\mathbb{E}}_{8}(-1)\). Since the dual lattice of Λ is given by \({\boldsymbol{\varLambda}}^{\lor}={\mathbb{U}}\oplus L(1/2)\), we get
Then the Borcherds Φ-function can be expressed as a function on \(L\otimes{\bf R}+i\,{\mathcal{C}}_{L}^{+}\)
This identity is known as the denominator identity for the fake monster superalgebra. See [9, Example 13.7] and [30] for more details about the denominator identity for the fake monster superalgebra. See [7, 8] for the Fourier expansion of Φ 2(z).
3 Enriques Surfaces and Their Moduli Space
In this section, we recall Enriques surfaces.
3.1 K3 Surfaces
A compact connected complex surface X is a K3 surface if
It is known that the diffeomorphism type underlying a K3 surface is unique. In particular, the second integral cohomology group of a K3 surface equipped with the cup-product pairing is isometric to the K3-lattice
For a K3 surface X, an isometry of lattices \(\alpha\colon H^{2}(X,{\bf Z})\cong{\mathbb{L}}_{K3}\) is called a marking.
Let X be a K3 surface and let \(\alpha\colon H^{2}(X,{\bf Z})\cong {\mathbb{L}}_{K3}\) be a marking. Since \(\varOmega_{X}^{2}\) is trivial, there exists a unique nowhere vanishing holomorphic 2-form η on X, up to a non-zero constant. By the Hodge decomposition, we get the natural inclusion \(H^{0}(X,\varOmega_{X}^{2})\subset H^{2}(X,{\bf Z})\otimes{\bf C}\), so that the line \({\bf C}\eta\in{\bf P}(H^{2}(X,{\bf C}))\) is uniquely determined by X. The period of (X,α) is defined as the point of \({\bf P}({\mathbb{L}}_{K3}\otimes{\bf C})\) corresponding to \({\bf C}\eta\) via the marking α:
Here we define \(\varOmega_{{\mathbb{L}}_{K3}}=\{[Z]\in{\bf P}({\mathbb{L}}_{K3}\otimes{\bf C});\, \langle Z,Z\rangle=0,\langle Z,\bar{Z}\rangle>0\}\) as before. Notice that \([\alpha(\eta)]\in\varOmega_{{\mathbb{L}}_{K3}}\) by the Riemann-Hodge bilinear relations ∫ X η∧η=0 and \(\int_{X}\eta\wedge\overline{\eta}>0\). For K3 surfaces and their moduli space, see [1] for more details.
3.2 Enriques Surfaces
A compact connected complex surface Y is an Enriques surface if
It is known that the universal covering of an Enriques surface is a K3 surface and an Enriques surface is obtained as the quotient of its universal covering by a fixed-point-free involution. Notice that a single K3 surface can cover many distinct Enriques surfaces (cf. [25–28] and Subsect. 5.3 below).
Let Y be an Enriques surface and let \(\widetilde{Y}\to Y\) be the universal covering. Let ι:Y→Y be the non-trivial covering transformation of \(\widetilde{Y}\to Y\). Write \(H^{2}(\widetilde{Y},{\bf Z})_{+}\) and \(H^{2}(\widetilde{Y},{\bf Z})_{-}\) for the invariant and anti-invariant subspaces of \(H^{2}(\widetilde{Y},{\bf Z})\) with respect to the ι-action, respectively. Let \(I\colon{\mathbb{L}}_{K3}\to{\mathbb{L}}_{K3}\) be the involution defined as
By [13, 14], there exists a marking \(\alpha\colon H^{2}(\widetilde{Y},{\bf Z})\cong{\mathbb{L}}_{K3}\) such that
Let \(({\mathbb{L}}_{K3})_{+}\) and \(({\mathbb{L}}_{K3})_{-}\) be the invariant and anti-invariant subspaces of \({\mathbb{L}}_{K3}\) with respect to the I-action, respectively. Then we have isometries of lattices
Since Y has no non-zero holomorphic 2-forms, we get \(H^{0}(\widetilde{Y},\varOmega^{2}_{\widetilde{Y}})\subset H^{2}(\widetilde {Y},{\bf Z})_{-}\otimes{\bf C}\). Hence \(\varpi(\widetilde{Y},\alpha)\in\varOmega_{\boldsymbol{\varLambda}}\) if α is a marking as above. The period of an Enriques surface \(Y=\widetilde{Y}/\iota\) is defined as the period of its universal covering \(\widetilde{Y}\), i.e.,
where α is a marking satisfying α∘ι ∗∘α −1=I and \([\varpi(\widetilde{Y},\alpha)]\) denotes the O +(Λ)-orbit of \(\varpi(\widetilde{Y},\alpha)\). It is known that the isomorphism class of an Enriques surface is classified by its period:
Theorem 4
There exists a coarse moduli space of Enriques surfaces, denoted by \({\mathcal{M}}\). The period mapping induces an isomorphism between the analytic spaces
In what follows, we identify \({\mathcal{M}}\) with \((\varOmega_{\boldsymbol{\varLambda}}^{+}\setminus{\mathcal{D}}_{\boldsymbol{\varLambda }})/O^{+}({\boldsymbol{\varLambda}})\) by the map ϖ. We refer the reader to [1] for more details about Enriques surfaces and their moduli space. By Theorem 4, the period mapping for Enriques surfaces omit the discriminant locus. The Borcherds Φ-function characterize exactly the discriminant locus \({\mathcal{D}}_{\boldsymbol{\varLambda}}\).
Theorem 5
(Borcherds [8])
The Borcherds Φ-function vanishes exactly on \({\mathcal{D}}_{\boldsymbol {\varLambda}}\) of order 1. In particular, Φ is a nowhere vanishing holomorphic section of the Hodge line bundle on \({\mathcal{M}}\).
Since the line bundle of automorphic forms on an arithmetic quotient of a symmetric bounded domain is an ample line bundle by Baily-Borel, the moduli space of Enriques surfaces is quasi-affine by Theorem 5 [8]. In fact, the quasi-affinity of the moduli space holds for wider classes of K3 surfaces with involution. See [36].
4 Analytic Torsion and Borcherds Φ-Function: An Analytic Counterpart
The notion of holomorphic analytic torsion was introduced by Ray-Singer [29] in their works extending the classical notion of torsion in algebraic topology to certain analytic settings; they extended the construction of torsion of finite-dimensional acyclic complex to the setting of de Rham or Dolbeault complex, in which they replaced the usual finite-dimensional determinant of the combinatorial Laplacian to the regularized determinant of the Hodge-Kodaira Laplacian. In this section, we explain the construction of the Borcherds Φ-function via analytic torsion.
4.1 Analytic Torsion
Let (M,h TM) be a compact connected Kähler manifold. Let \(\square_{q}=(\bar{\partial}+\bar{\partial}^{*})^{2}\) be the Hodge-Kodaira Laplacian acting on (0,q)-forms on M. Since M is compact, the Hilbert space of square integrable (0,q)-forms on M splits into the direct sum \(L^{0,q}_{M}=\bigoplus_{\lambda\in\sigma(\square_{q})}E(\lambda,\square_{q})\), where \(\sigma(\square_{q})\subset{\bf R}_{\geq0}\) is the spectrum of □ q and E(λ,□ q ) is the eigenspace of □ q with respect to the eigenvalue λ. Then E(λ,□ q ) is of finite-dimensional. The zeta function of □ q is defined as
By the Weyl law of the asymptotic distribution of the eigenvalues of □ q , ζ q (s) converges absolutely for \(s\in{\bf C}\) with ℑs>dimM. From the existence of the asymptotic expansion of the trace of the heat operator \(e^{-t\square_{q}}\) as t→0, it follows that ζ q (s) extends to a meromorphic function on \({\bf C}\) and that ζ q (s) is holomorphic at s=0. After Ray-Singer [29], we make the following
Definition 4
The analytic torsion of (M,h TM) is the real number defined as
When dimM=1, τ(M)−1 is exactly the determinant of Laplacian appearing in the formula for ∥η(τ)∥. After Theorem 1, it is natural to expect that the determinant of Laplacian or analytic torsion may produce a nice function on the moduli space. This is the main topic of this section.
One natural direction of such a generalization seems to be the study of the determinant of Laplacian for compact Riemann surfaces of higher genus g>1. Among numbers of studies of the determinant of Laplacian for hyperbolic Riemann surfaces of genus g>1, it is Zograf [37] and McIntyre-Takhtajan [24] who obtained a holomorphic function with infinite product expression on the Schottky space by using the determinant of Laplacian. On the other hand, Kokotov-Korotkin [17] considered the determinant of Laplacian with respect to the flat (but degenerate) Kähler metric \(\omega\otimes\overline {\omega}\), where ω is an Abelian differential on a compact Riemann surface of genus g>1. They proved that, as a function on the moduli space of pairs (C,ω), with C being a marked Riemann surfaces of genus g>1 and ω being an Abelian differential on C, the determinant of Laplacian is expressed by using some classical quantities like prime forms, theta function and periods. Hence there are two different generalizations of Theorem 1 in higher genus g>1.
Another direction of generalization is the study of analytic torsion for higher dimensional varieties. (For several reasons, in higher dimensions, analytic torsion seems to be more appropriate than a single determinant of Laplacian in considering a generalization of Theorem 1.) Among those varieties, we are interested in Enriques surfaces, since they can be regarded as one of the natural generalizations of elliptic curves in dimension 2. For other directions of generalization, we refer to [11, 33], where analytic torsion produces the Siegel modular form characterizing the Andreotti-Mayer locus and the section of certain line bundle on the moduli space of Calabi-Yau threefolds characterizing the discriminant locus.
4.2 Borcherds Φ-Function as the Analytic Torsion of Enriques Surface
As in the case of elliptic curves, we choose some special Kähler metric to construct an invariant of an Enriques surface. Since \(c_{1}(Y)_{\bf R}=0\) for an Enriques surface Y, there exists by Yau [31] a unique Ricci-flat Kähler form in each Kähler class on Y. In contrast to elliptic curves, the condition of Ricci-flatness with normalized volume 1 does not determine a unique Kähler form on Y, because the space of Kähler classes on Y has real dimension 10. Even though, we get the following:
Theorem 6
([34])
Let Y be an Enriques surface and let γ be a Ricci-flat Kähler metric on Y with normalized volume 1. Then the analytic torsion τ(Y,γ) is independent of the choice of such a Kähler metric γ. In particular, τ(Y,γ) is an invariant of Y.
After Theorem 6, we may write τ(Y) for τ(Y,γ). Then the analytic torsion gives rise to the function on the moduli space of Enriques surfaces
Recall that the Petersson norm of the Borcherds Φ-function ∥Φ∥ is O +(Λ)-invariant and hence it descends to a function on \({\mathcal{M}}\). We write ∥Φ(Y)∥ for \(\|\varPhi(\varpi(\widetilde{Y},\alpha))\|\).
Theorem 7
([34])
There exists an absolute constant \(C\not=0\) such that for every Enriques surface Y, the following equality holds
The proofs of Theorems 6 and 7 are based on the curvature formula for (equivariant) Quillen metrics [4–6, 19] and the immersion formula for (equivariant) Quillen metrics [2, 3]. We compare the \(\partial\bar{\partial}\) of logτ and log∥Φ∥ as currents on the Baily-Borel compactification of \(\varOmega_{\boldsymbol{\varLambda }}^{+}/O^{+}({\boldsymbol{\varLambda}})\). For this, the curvature formula and the immersion formula for (equivariant) Quillen metrics play crucial roles. We refer the reader to [34] for the details of the proofs of Theorems 6 and 7.
As in the case of elliptic curves, we get an analytic expression of the Borcherds Φ-function by using analytic torsion. In fact, we can extend this result to arbitrary K3 surfaces with anti-symplectic involution. Namely, for a K3 surface X equipped with an involution ι:X→X acting non-trivially on \(H^{0}(X,\varOmega_{X}^{2})\), we can construct an invariant τ M (X,ι) by using the equivariant analytic torsion of (X,ι), the analytic torsion of the fixed-point-set of ι and a certain Bott-Chern secondary class. Here M refers to the isometry class of the invariant sublattice of \(H^{2}(X,{\bf Z})\) with respect to the ι-action, which determines the topological type of ι. When \(M={\mathbb{U}}(2)\oplus{\mathbb{E}}_{8}(-2)\), we get the analytic torsion of Enriques surface τ as above. It is worth remarking that we can construct the invariant τ M (X,ι) without assuming the existence of Ricci-flat Kähler metrics on X. After fixing M, i.e., the topological type of the involution, the invariant τ M (X,ι) gives rise to a function on the moduli space of K3 surfaces with involution, which is again a certain arithmetic quotient of a symmetric bounded domain of type IV, with the discriminant divisor removed. As before in Theorem 7, the resulting function τ M is the Petersson norm of an automorphic form on the moduli space of K3 surfaces with involution. It is remarkable that the corresponding automorphic form on the moduli space of K3 surfaces with involution thus obtained, is very often expressed as the product of a certain Borcherds lift and Igusa’s Siegel modular form. We refer the reader to [34, 36] for more details about the analytic torsion invariant τ M of K3 surfaces with involution.
5 Resultants and Borcherds Φ-Function: An Algebraic Counter Part
In this section, we explain an algebro-geometric counterpart of the Borcherds Φ-function.
5.1 (2,2,2)-Model of an Enriques Surface
Let
be homogeneous polynomials of degree 2. We define \(f,g,h\in{\bf C}[x_{1},x_{2},x_{3},x_{4}, x_{5},x_{6}]\) by
and the corresponding surface X (f,g,h) by
If the quadratic forms f 1, g 1, h 1, f 2, g 2, h 2 are generic enough, then X (f,g,h) equipped with the line bundle \({\mathcal{O}}_{{\bf P}^{5}}(1)\) is a K3 surface of degree 8 by the adjunction formula. Let ι be the involution on \({\bf C}^{6}\) defined as
The involution on \({\bf P}^{5}\) induced by ι is again denoted by the same symbol ι. Since the set of fixed points of the ι-action on \({\bf P}^{5}\) is the disjoint union of two projective planes P 1:={x 1=x 2=x 3=0} and P 2:={x 4=x 5=x 6=0}, we see that \(X_{(f,g,h)}^{\iota}\), the set of fixed points of the ι-action on X (f,g,h), is given by
For three quadratic forms in three variables q 1(x,y,z), q 2(x,y,z), q 3(x,y,z), let R(q 1,q 2,q 3) be the resultant of q 1, q 2, q 3. Then R(q 1,q 2,q 3) is the polynomial of degree 12 of the coefficients of q 1, q 2, q 3 characterizing the existence of common intersection points of the three conics of \({\bf P}^{2}\) defined by q 1=0, q 2=0 and q 3=0. Namely,
If q i (x,y,z)=a i1 x 2+a i2 y 2+a i3 z 2+a i4 xy+a i5 xz+a i6 yz, then R(q 1,q 2,q 3) is expressed as an explicit integral linear combination of the polynomials of the form
where
See [15, p. 215 Table 1] for an explicit formula for R(q 1,q 2,q 3).
If the quadrics f 1, g 1, h 1, f 2, g 2, h 2 are generic enough, then we may assume that \(R(f_{1},g_{1},h_{1})R(f_{2},g_{2},h_{2})\not =0\), so that ι has no fixed points on X (f,g,h) in that case. Hence, if \(R(f_{1},g_{1},h_{1})R(f_{2},g_{2},h_{2})\not=0\) and X (f,g,h) is smooth, then
is an Enriques surface. Let us see that a generic Enriques surface is constructed in this manner.
Assume that \(R(f_{1},g_{1},h_{1})R(f_{2},g_{2},h_{2})\not=0\) and that X (f,g,h) is smooth. For simplicity, set X 0:=X (f,g,h). Let \(S:={\rm Gr}_{3}({\rm Sym}^{2}{\bf C}^{6})\cong{\rm Gr}_{3}({\bf C}^{\binom{7}{2}})\) be the Grassmann variety of 3-dimensional subspaces in the vector space of quadratic forms in the variables x 1,…,x 6. Then S is equipped with the ι-action induced from the one on \({\bf C}^{6}\) and with the \(\mathit{PGL}({\bf C}^{6})\)-action induced from the standard \(\mathit{GL}({\bf C}^{6})\)-action on \({\bf C}^{6}\). By choosing f 1, g 1, h 1, f 2, g 2, h 2 generic enough, we may assume that \(\frak{sl}({\bf C}^{6})\) is a subspace of the tangent space of S at the point \({\rm Span}\{f,g,h\}\in S\).
For s∈S, we define \(X_{s}:=\{[x]\in{\bf P}^{5};q(x)=0\,(\forall\,q\in s)\}\). Then we get a flat family π:X→S with π −1(s)=X s . Write [X 0]∈S for \({\rm Span}\{f,g,h\}\in S\). We get a flat deformation π:(X,X 0)→(S,[X 0]) of K3 surfaces of degree 8. Since ι preserves X 0 and hence ι([X 0])=[X 0], we get a subfamily \(\pi\colon(X|_{S^{\iota}},\iota,X_{0})\to(S^{\iota},[X_{0}])\) of K3 surfaces with involution, where S ι:={s∈S;ι(s)=s} is the fixed-point-set of the ι-action on S. Since ι has no fixed points on X 0 by assumption and since the set of fixed points of the ι-action on X is a closed subset of X, we see that ι has no fixed points on X s if s∈S ι is sufficiently close to [X 0]. We define \(Y:=(X|_{S^{\iota}})/\iota\) and Y 0:=X 0/ι. Let p:Y→S be the projection induced from π:X→S. Since ι has no fixed points on X s , Y s is an Enriques surface for s∈S sufficiently close to [X 0]. Hence p:(Y,Y 0)→(S ι,[X 0]) is a flat deformation of Y 0.
Let \(\rho_{X_{0}}\colon T_{[X_{0}]}S\to H^{1}(X_{0},\varTheta_{X_{0}})\) and \(\rho_{Y_{0}}\colon T_{[X_{0}]}S^{\iota}\to H^{1}(Y_{0},\varTheta_{Y_{0}})\) be the Kodaira-Spencer maps of the deformations π:(X,X 0)→(S,[X 0]) and p:(Y,Y 0)→(S ι,[X 0]), respectively. Let \((T_{[X_{0}]}S)_{+}\) and \(H^{1}(X_{0},\varTheta_{X_{0}})_{+}\) be the invariant subspaces of \(T_{[X_{0}]}S\) and \(H^{1}(X_{0},\varTheta_{X_{0}})\) with respect to the ι-action, respectively. Since \(\rho_{X_{0}}\) commutes with the ι-action, we set \((\rho_{X_{0}})_{+}:=\rho_{X_{0}}|_{(T_{[X_{0}]}S)_{+}}\colon (T_{[X_{0}]}S)_{+}\to H^{1}(X_{0},\varTheta_{X_{0}})_{+}\). Since \((\rho_{X_{0}})_{+}\) can be identified with \(\rho_{Y_{0}}\) under the identifications \((T_{[X_{0}]}S)_{+}=T_{[X_{0}]}S^{\iota}\) and \(H^{1}(X_{0},\varTheta_{X_{0}})_{+}=H^{1}(Y_{0},\varTheta_{Y_{0}})\), we get
Here the second equality follows from the equality \(\ker\rho_{X_{0}}=\frak{sl}({\bf C}^{6})\), which is a consequence of the fact that X s ≅X s′ as polarized K3 surfaces of degree 8 if and only if s and s′ lie on the same \(\mathit{PGL}({\bf C}^{6})\)-orbit. (We can also see the equality \(\ker\rho_{X_{0}}=\frak{sl}({\bf C}^{6})\) as follows. Set \({\mathcal{L}}_{0}:={\mathcal{O}}_{{\bf P}^{5}}(1)|_{X_{0}}\). We consider the semiuniversal deformation \(q\colon(({\frak{X}},{\mathcal{L}}),(X_{0},{\mathcal{L}}_{0}))\to({\rm Def}(X_{0},{\mathcal{L}}_{0}),[X_{0}])\) of the polarized K3 surface (X 0,L 0) of degree 8. Since \({\mathcal{L}}_{0}\) is very ample on X 0, we may assume that \({\mathcal{L}}\) is very ample on \({\frak{X}}_{t}\) for \(t\in{\rm Def}(X_{0},{\mathcal{L}}_{0})\). Since \(\deg {\mathcal{L}}|_{{\frak{X}}_{t}}=8\), the image of the projective embedding \(\varPhi_{|{\mathcal{L}}|_{{\frak{X}}_{t}}|}\colon{\frak{X}}_{t}\to{\bf P}^{5}\) must be a (2,2,2)-complete intersection. Namely, \(({\frak{X}}_{t},{\mathcal{L}}|_{{\frak{X}}_{t}})\) is isomorphic to \((X_{s},{\mathcal{O}}_{{\bf P}^{5}}(1))\) for some s∈S. Hence the deformation germ of polarized K3 surfaces π:(X,X 0)→(S,[X 0]) is complete, which implies the equality \(\dim\ker\rho_{X_{0}}=\dim S-\dim{\rm Def}(X_{0},{\mathcal{L}}_{0})=35=\dim\frak{sl}({\bf C}^{6})\). This, together with the inclusion \(\frak{sl}({\bf C}^{6})\subset\ker\rho_{X_{0}}\), yields the equality \(\ker\rho_{X_{0}}=\frak{sl}({\bf C}^{6})\).)
Since dimS ι=27 and \(\dim\ker\rho_{Y_{0}}=17\), we get \(\dim{\rm Im}\,\rho_{Y_{0}}=27-17=10=\dim H^{1}(Y_{0},\varTheta_{Y_{0}})\). Hence the Kodaira-Spencer map \(\rho_{Y_{0}}\) is surjective and the family p:(Y,Y 0)→(S ι,[X 0]) is complete.
Set \(U:=\{s\in S^{\iota};\,{\rm Sing}\,X_{s}=X_{s}^{\iota}=\emptyset\}\). Then U is a Zariski open subset of S ι. For s∈U, Y s =X s /ι is an Enriques surface. Let \(\varpi\colon U\ni s\to\varpi(X_{s}/\iota)\in{\mathcal{M}}\) be the period mapping for the family of Enriques surfaces p:Y| U →U. By the Borel-Kobayashi-Ochiai extension theorem, ϖ extends to a rational map from S ι to the Baily-Borel compactification of \(\varOmega_{{\boldsymbol{\varLambda}}}^{+}/O^{+}({\boldsymbol{\varLambda}})\). By the completeness of the deformation germ p:(Y,Y 0)→(S ι,[X 0]), the image of ϖ contains a dense Zariski open subset of \({\mathcal{M}}\), say \({\mathcal{U}}\). If Y is an Enriques surface with \(\varpi(Y)\in{\mathcal{U}}\), then Y=Y (F,G,H) for some quadratic forms F,G,H.
5.2 An Algebraic Expression of Borcherds Φ-Function
Since we have a nice projective model of Enriques surfaces of degree 4, it is natural to expect that the Borcherds Φ-function may admit an algebraic expression analogous to the one for the Dedekind η-function associated to the plane cubic model or the (2,2)-complete intersection model. In fact, this is the case.
Theorem 8
([16])
Let Y (f,g,h) be the (2,2,2)-model of an Enriques surface defined by the quadric polynomials f=f 1+f 2, g=g 1+g 2, \(h=h_{1}+h_{2}\in{\bf C}[x_{1},x_{2},x_{3},x_{4},x_{5},x_{6}]\). Then the following equality holds
Here \(\alpha_{(f,g,h)}\in H^{0}(X_{(f,g,h)},\varOmega^{2}_{X_{(f,g,h)}})\) is defined as the residue of f, g, h, i.e.,
where Ξ is a meromorphic 2-form on \({\bf P}^{5}\) satisfying the equation
We remark that a weaker version of this result was obtained by Maillot-Roessler [20] under a certain arithmeticity assumption on X (f,g,h). In their formula, the contribution from the resultants is understood as the contribution from the bad primes with respect to the reductions of X (f,g,h). When f, g, h are defined over the ring of integers of a number field K, Theorem 8 implies that the Borcherds Φ-function detects the degenerations of ι over \({\rm Spec}({\mathcal{O}}_{K})\), since \(R(f_{1},g_{1},h_{1})R(f_{2},g_{2},h_{2})\in{\frak{p}}\) for a prime ideal \({\frak{p}}\in{\rm Spec}({\mathcal{O}}_{K})\) if and only if ι has non-empty fixed points on the reduction \(X_{(f,g,h)}({\mathcal{O}}_{K}/{\frak{p}})\). This picture of the Borcherds Φ-function is quite analogous to the corresponding picture of the Dedekind η-function: For an elliptic curve E={y 2=4x 3−g 2 x−g 3} over K, ∥η∥24 is identified with the discriminant of E up to the L 2-norm of dx/y. Hence the algebraic part of ∥η∥ detects the degenerations of E over \({\rm Spec}({\mathcal{O}}_{K})\). See [10] for more explanation of this view point.
The proof of Theorem 8 shall be given in [16]. The strategy is as follows. We compare the \(\partial\bar{\partial}\) of the both hand sides as currents on S. Then it turns out that they satisfy the same \(\partial\bar{\partial}\)-equation of currents on S. For this, we use Theorem 7 and a formula for the asymptotic behavior of equivariant analytic torsion for degenerating family of algebraic manifolds [35]. In this way, we get the desired equality, up to an absolute constant. To fix the absolute constant, we compare the behavior of the both hand sides for certain explicit 2-parameter family of Enriques surfaces, whose universal coverings are Kummer surfaces of product type.
In fact, Theorem 8 holds even if Y (f,g,h) has at most rational double points by the continuity of the both hand sides at those points of S ι corresponding to Enriques surfaces with rational double points. This continuity is a consequence of the existence of simultaneous resolution of 2-dimensional rational double points.
By Theorem 8, we get a Thomae type formula for the Borcherds Φ-function.
Corollary 1
([16])
Let \({\bf v},{\bf v}'\in H^{2}(X_{(f,g,h)},{\bf Z})\) be anti-ι-invariant, primitive, isotropic vectors with \(\langle{\bf v},{\bf v}'\rangle=1\) and let \({\bf v}^{\lor}\in H_{2}(X_{(f,g,h)},{\bf Z})\) be the Poincaré dual of \({\bf v}\). Under the identification of lattices \(({\bf Z}{\bf v}+{\bf Z}{\bf v}')^{\perp}\cong{\mathbb{U}}(2)\oplus {\mathbb{E}}_{8}(-2)=:L\), the vector
is regarded as the period of Y (f,g,h). Then, by a suitable choice of the 2-cocycles \(\{{\bf v},{\bf v}'\}\), one has
When X (f,g,h) is birational to a Kummer surface of product type, the 2-cycle \({\bf v}^{\lor}\) can be given explicitly. See [16] for the details.
5.3 A 4-Parameter Family of Enriques Surfaces Associated to \(M_{3,6}({\bf C})\)
For a non-zero 3×6-complex matrix \(A\in M_{3,6}({\bf C})\), we define
For \(A=({\bf a}_{1},\ldots,{\bf a}_{6})\in M(3,6;{\bf C})\) and i<j<k, we define
A matrix \(A\in M(3,6;{\bf C})\) is said to be non-degenerate if \(\prod_{i<j<k}\varDelta _{ijk}(A)\not=0\). Then, for a non-degenerate \(A\in M_{3,6}({\bf C})\), X A is a K3 surface. We write α A for α (f,g,h). As an immediate consequence of Theorem 8, we get the following:
Corollary 2
([16])
Let \(A\in M_{3,6}({\bf C})\) be non-degenerate. For a partition of 6 letters {1,2,3,4,5,6}
define an involution \(\iota_{\binom{ijk}{lmn}}\) on \({\bf P}^{5}\) by
Then \(\iota_{\binom{ijk}{lmn}}\) is a free involution on X A called a switch such that
By Corollary 2 , if A∈M 3,6(K) with \(K\subset{\bf C}\), then for any partitions \(\binom{ijk}{lmn}\) and \(\binom{i'j'k'}{l'm'n'}\), one has
Since \({|\varDelta _{ijk}(A)|^{4}|\varDelta _{lmn}(A)|^{4}}/{|\varDelta _{i'j'k'}(A)|^{4}|\varDelta _{l'm'n'}(A)|^{4}}\not=1\) for all pairs of partitions \(\binom{ijk}{lmn}\), \(\binom {i'j'k'}{l'm'n'}\) for generic non-degenerate A, we conclude that all of the 10 Enriques surfaces \(X_{A}/\iota_{\binom{ijk}{lmn}}\) are mutually distinct for a generic choice of A.
6 Theta Function and Borcherds Φ-Function
In this section, we explain a relation between the Borcherds Φ-function and Freitag’s theta function.
6.1 The Matsumoto-Sasaki-Yoshida Model
Recall that, for \(A\in M_{2,4}({\bf C})\), we could associate two distinct models E A and C A of an elliptic curve. By a similar construction, we can associate another K3 surface to \(A\in M_{3,6}({\bf C})\) as follows. For \(A\in M_{3,6}({\bf C})\), define a K3 surface
which is identified with its minimal resolution. Then Z A is (the minimal resolution of) the double covering of \({\bf P}^{2}\), whose branch divisor is the union of 6 lines in general position a 1i x 1+a 2i x 2+a 3i x 3=0 (i=1,…,6). The period mapping and its inverse for the family of K3 surfaces Z A over a certain open subset of \(M_{3,6}({\bf C})\) were worked out by Matsumoto-Sasaki-Yoshida [23] and Matsumoto [21].
We define a holomorphic 2-form η A on Z A by
By Matsumoto-Sasaki-Yoshida [23], there are 6 independent transcendental 2-cycles {γ ij }1≤i<j≤4 on Z A and 16 independent algebraic 2-cycles on Z A , which form a basis of \(H_{2}(Z_{A},{\bf Q})\).
Following Matsumoto-Sasaki-Yoshida [23], define the period of Z A as the matrix
where
By a suitable choice of the cycles {γ ij }1≤i<j≤4, one has
where \({\mathbb{D}}\) is isomorphic to a symmetric bounded domain of type IV of dimension 4.
6.2 Theta Function on \({\mathbb{D}}\)
Write \({\bf e}(x):=\exp(2\pi i x)\).
Definition 5
For \(\varOmega\in{\mathbb{D}}\) and \(a,b\in{\bf Z}[i]^{2}\), define the Freitag theta function as
Following [32], we identify the characteristic \(\binom {a}{b}\) with the partition \(\binom{ijk}{lmn}\) by the rule:
Under this identification, we define
and its Petersson norm by
Theorem 9
([16])
For a non-degenerate \(A=(A_{1},A_{2})\in M_{3,6}({\bf C})\) with \(A_{1},A_{2}\in M_{3}({\bf C})\), define
Then
The proof of Theorem 9 shall be given in [16]. We use Matsumoto-Terasoma’s Thomae type formula [22] to rewrite the right hand side of Theorem 9. Comparing this with Theorem 8, we get the result. See [16] for the details. We remark that, after Freitag-Salvati-Manni [12, Th. 5.6], Theorem 9 is not very surprising, because they proved that the Borcherds Φ-function itself is expressed as a linear combination of certain additive Borcherds lifts.
6.3 The Case of Jacobian Kummer Surfaces
For \(\lambda=(\lambda_{1},\ldots,\lambda_{6})\in{\bf C}^{6}\) with \(\lambda_{i}\not=\lambda_{j}\) \((i\not=j)\), define a genus 2 curve C λ by the affine equation
Define holomorphic differentials ω 1 and ω 2 on C λ by
Let {A 1,A 2,B 1,B 2} be a certain symplectic basis of \(H_{1}(C_{\lambda},{\bf Z})\) and set
Then the Kummer surface K(C λ ) of the Jacobian variety \({\rm Jac}(C_{\lambda})\) is expressed as follows:
By Theorem 9, we get the following.
Corollary 3
([16])
If the partition \(\binom{pqr}{stu}\) corresponds to the characteristic (a,b), then
Here θ α,β (T), α,β∈{0,1/2}2, is the Riemann theta constant
Recall that Igusa’s Siegel modular form Δ 5 is defined as the product of all even theta constants
For a genus 2 curve C with period \(T\in{\frak{S}}_{2}\), its Petersson norm
is independent of the choice of a symplectic basis of \(H_{1}(C,{\bf Z})\). Hence ∥Δ 5(C)∥ is an invariant of C. Form Corollary 3, it follows the following:
Corollary 4
([16])
The Igusa cusp form Δ 5 is the average of Φ with respect to the 10 switches, i.e.,
7 Some Problems
Problem 1
For elliptic curves, two distinct models E A and C A yield distinct algebro-geometric expressions of ∥η∥. For projective models of Enriques surfaces distinct from the (2,2,2)-complete intersection of \({\bf P}^{5}\), find the corresponding algebro-geometric expressions of ∥Φ∥.
Problem 2
On a generic Jacobian Kummer surface, there exists 31 conjugacy classes of free involutions ([25, 28]), which split into three families:
-
10 switches,
-
15 Hutchinson-Göpel involutions,
-
6 Hutchinson-Weber involutions.
Recall that, as the average of the Borcherds Φ-function by 10 switches, we get Igusa’s Siegel modular form Δ 5. Determine the Siegel modular form constructed as the average of the Borcherds Φ-function by the 15 Hutchinson-Göpel involutions (resp. 6 Hutchinson-Weber involutions).
Problem 3
As mentioned in Sect. 4.2, there exists an analytic torsion invariant τ M for K3 surfaces with involution [34], which is often expressed as the Petersson norm of the tensor product of an explicit Borcherds lift and Igusa’s Siegel modular form [36]. After Theorem 8, it is an interesting problem to find an algebro-geometric expression of τ M for general M.
Problem 4
(The inverse of the period mapping for Enriques surfaces)
For elliptic curves, the inverse of the period mapping was constructed by Jacobi by using theta constants. We ask the same problem for the (2,2,2)-model of Enriques surfaces: For 1≤i<j≤3 and 4≤k<l≤6, find a system of automorphic forms
on \(\varOmega_{\boldsymbol{\varLambda}}^{+}\) for (a finite index subgroup of) O +(Λ) such that
is the Enriques surface whose period is the given by \(Z\in\varOmega_{\bf {\varLambda}}^{+}\). Here
Kondō [18] and Freitag-Salvati-Manni [12] constructed certain (birational) projective embeddings of the moduli space of Enriques surfaces with some level structure. Are the system of automorphic forms appearing in their embeddings regarded as the set of coefficients of the defining equations of appropriately polarized Enriques surfaces?
References
Barth, W., Hulek, K., Peters, C., Van de Ven, A.: Compact Complex Surfaces, 2nd edn. Springer, Berlin (2004)
Bismut, J.-M.: Equivariant immersions and Quillen metrics. J. Differ. Geom. 41, 53–157 (1995)
Bismut, J.-M., Lebeau, G.: Complex immersions and Quillen metrics. Publ. Math. IHES 74, 1–297 (1991)
Bismut, J.-M., Gillet, H., Soulé, C.: Analytic torsion and holomorphic determinant bundles I. Commun. Math. Phys. 115, 49–78 (1988)
Bismut, J.-M., Gillet, H., Soulé, C.: Analytic torsion and holomorphic determinant bundles II. Commun. Math. Phys. 115, 79–126 (1988)
Bismut, J.-M., Gillet, H., Soulé, C.: Analytic torsion and holomorphic determinant bundles III. Commun. Math. Phys. 115, 301–351 (1988)
Borcherds, R.E.: Monstrous moonshine and monstrous Lie superalgebras. Invent. Math. 109, 405–444 (1992)
Borcherds, R.E.: The moduli space of Enriques surfaces and the fake monster Lie superalgebra. Topology 35, 699–710 (1996)
Borcherds, R.E.: Automorphic forms with singularities on Grassmanians. Invent. Math. 132, 491–562 (1998)
Bost, J.-B.: Théorie de l’intersection et théorème de Riemann-Roch arithmétiques, 1990–91, No. 731. In: Séminaire Bourbaki. Astérisque, vol. 201–203, pp. 43–88 (1991)
Fang, H., Lu, Z., Yoshikawa, K.-I.: Analytic torsion for Calabi–Yau threefolds. J. Differ. Geom. 80, 175–250 (2008)
Freitag, E., Salvati Manni, R.: Modular forms for the even unimodular lattice of signature (2,10). J. Algebr. Geom. 16, 753–791 (2007)
Horikawa, E.: On the periods of Enriques surfaces, I. Math. Ann. 234, 73–108 (1978)
Horikawa, E.: On the periods of Enriques surfaces, II. Math. Ann. 235, 217–246 (1978)
Kapranov, M.M., Sturmfels, B., Zelevinsky, A.: Chow polytopes and general resultants. Duke Math. J. 67, 189–218 (1992)
Kawaguchi, S., Mukai, S., Yoshikawa, K.-I.: Resultants and Borcherds Φ-function (in preparation)
Kokotov, A., Korotkin, D.: Tau-functions on spaces of Abelian differentials and higher genus generalizations of Ray-Singer formula. J. Differ. Geom. 82, 35–100 (2009)
Kondō, S.: The moduli space of Enriques surfaces and Borcherds products. J. Algebr. Geom. 11, 601–627 (2002)
Ma, X.: Submersions and equivariant Quillen metrics. Ann. Inst. Fourier 50, 1539–1588 (2000)
Maillot, V., Rössler, D.: Formes automorphes et théorèmes de Riemann–Roch arithmétiques. In: Dai, X., Léandre, R., Ma, X., Zhang, W. (eds.) From Probability to Geometry (II), Volume in honor of Jean-Michel Bismut. Astérisque, vol. 328, pp. 233–249 (2009)
Matsumoto, K.: Theta functions on the bounded symmetric domain of type I 2,2 and the period map of a 4-parameter family of K3 surfaces. Math. Ann. 295, 383–409 (1993)
Matsumoto, K., Terasoma, T.: Thomae type formula for K3 surfaces given by double covers of the projective plane branching along six lines. J. Reine Angew. Math. (2011). doi:10.1515/CRELLE.2011.144
Matsumoto, K., Sasaki, T., Yoshida, M.: The monodromy of the period map of a 4-parameter family of K3 surfaces and the hypergeometric function of type (3,6). Int. J. Math. 3, 1–164 (1992)
McIntyre, A., Takhtajan, L.A.: Holomorphic factorization of determinants of Laplacians on Riemann surfaces and a higher genus generalization of Kronecker’s first limit formula. Geom. Funct. Anal. 16, 1291–1323 (2006)
Mukai, S.: Kummer’s quartics and numerically reflective involutions of Enriques surfaces. RIMS preprint 1633 (2008)
Mukai, S.: Numerically trivial involutions of Kummer type of an Enriques surface. Kyoto J. Math. 50, 889–904 (2011)
Ohashi, H.: On the number of Enriques quotients of a K3 surface. Publ. RIMS, Kyoto Univ. 43, 181–200 (2007)
Ohashi, H.: Enriques surfaces covered by Jacobian Kummer surfaces. Nagoya Math. J. 195, 165–186 (2009)
Ray, D.B., Singer, I.M.: Analytic torsion for complex manifolds. Ann. Math. 98, 154–177 (1973)
Scheithauer, N.: The fake monster superalgebras. Adv. Math. 151, 226–269 (2000)
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, 339–411 (1978)
Yoshida, M.: Hypergeometric Functions, My Love. Aspects of Math. Vieweg, Braunschweig (1997)
Yoshikawa, K.-I.: Discriminant of theta divisors and Quillen metrics. J. Differ. Geom. 52, 73–115 (1999)
Yoshikawa, K.-I.: K3 surfaces with involution, equivariant analytic torsion, and automorphic forms on the moduli space. Invent. Math. 156, 53–117 (2004)
Yoshikawa, K.-I.: Singularities and analytic torsion. Preprint (2010). arXiv:1007.2835v1
Yoshikawa, K.-I.: K3 surfaces with involution, equivariant analytic torsion, and automorphic forms on the moduli space II. J. Reine Angew. Math. (to appear)
Zograf, P.G.: Determinants of Laplacians, Liouville action, and an analogue of the Dedekind η-function on Teichmüller space. Unpublished manuscript (1997)
Acknowledgements
The author is partially supported by JSPS Grants-in-Aid (B) 23340017, (A) 22244003, (S) 22224001.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag London
About this paper
Cite this paper
Yoshikawa, KI. (2013). A Trinity of the Borcherds Φ-Function. In: Iohara, K., Morier-Genoud, S., Rémy, B. (eds) Symmetries, Integrable Systems and Representations. Springer Proceedings in Mathematics & Statistics, vol 40. Springer, London. https://doi.org/10.1007/978-1-4471-4863-0_25
Download citation
DOI: https://doi.org/10.1007/978-1-4471-4863-0_25
Publisher Name: Springer, London
Print ISBN: 978-1-4471-4862-3
Online ISBN: 978-1-4471-4863-0
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)