Borcherds products and arithmetic intersection theory on Hilbert modular surfaces

Jan H. Bruinier,Jose I. Burgos Gil,Ulf Kuehn
DOI: https://doi.org/10.48550/arXiv.math/0310201
2004-09-28
Abstract:We prove an arithmetic version of a theorem of Hirzebruch and Zagier saying that Hirzebruch-Zagier divisors on a Hilbert modular surface are the coefficients of an elliptic modular form of weight two. Moreover, we determine the arithmetic self-intersection number of the line bundle of modular forms equipped with its Petersson metric on a regular model of a Hilbert modular surface, and study Faltings heights of arithmetic Hirzebruch-Zagier divisors.
Number Theory,Algebraic Geometry
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is Borcherds products on Hilbert modular surfaces and arithmetic intersection theory. Specifically, the authors prove an arithmetic version of the Hirzebruch - Zagier theorem, that is, the theorem that Hirzebruch - Zagier divisors are coefficients of elliptic modular forms. In addition, they determine the arithmetic self - intersection number of the modular form line bundle equipped with the Petersson metric on the regular model of the Hilbert modular surface and study the Faltings heights of arithmetic Hirzebruch - Zagier divisors. The following are several specific key points: 1. **Hirzebruch - Zagier Divisors and Modular Forms**: The authors prove that Hirzebruch - Zagier divisors on Hilbert modular surfaces are coefficients of an elliptic modular form of weight 2. This extends the classical results of Hirzebruch and Zagier and provides a deeper arithmetic explanation. 2. **Arithmetic Self - Intersection Number**: The arithmetic self - intersection number of the modular form line bundle equipped with the Petersson metric on the regular model of the Hilbert modular surface is determined. This number is essentially given by the logarithmic derivative of the Dedekind zeta function \(\zeta_K(s)\) at \(s = - 1\). The specific formula is as follows: \[ \widehat{c_1}(M_k(\Gamma_K(N)))^3=-k^3d_N\zeta_K(-1)\left(\frac{\zeta'_K(-1)}{\zeta_K(-1)}+\frac{\zeta'(-1)}{\zeta(-1)}+\frac{3}{2}+\frac{1}{2}\log(D)\right) \] where \(d_N = [\Gamma_K:\Gamma_K(N)][Q(\zeta_N):Q]\), and \(E(\tau)\) is the Eisenstein series defined in (4.2). 3. **Faltings Heights**: For those Hirzebruch - Zagier divisors that are disjoint from the boundary, the authors determine their Faltings heights. For a Hirzebruch - Zagier divisor \(T(m)\) disjoint from the boundary, the formula for its Faltings height is: \[ \text{ht}_{M_k(\Gamma_K(N))}(T_N(m))=-(2k)^2d_N\text{vol}(T(m))\left(\frac{\zeta'(-1)}{\zeta(-1)}+\frac{1}{2}+\frac{1}{2}\frac{\sigma'_m(-1)}{\sigma_m(-1)}\right) \] Through these studies, the authors not only deepen the understanding of the geometric structure of Hilbert modular surfaces but also provide some new tools and methods for arithmetic intersection theory. These results have important application values in fields such as algebraic geometry and number theory.