The Hirzebruch-Mumford volume for the orthogonal group and applications

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

Other groups and their modular and automorphic forms (several variables) (11F55) Modular and Shimura varieties (14G35) Automorphic functions in symmetric domains (32N15)

Abstract: In this paper we derive an explicit formula for the Hirzebruch-Mumford volume of an indefinite lattice L of rank at least 3. If Gamma is an arithmetic subgroup of the group O(L) of isometries of L and L has signature (2,n), then an application of Hirzebruch-Mumford proportionality allows us to determine the leading term of the growth of the dimension of the spaces S_k(Gamma) of cusp forms of weight k, as k goes to infinity. We compute this in a number of examples, which are important for geometric applications.

Review text

This paper derives an explicit formula for the Hirzebruch-Mumford volume of an indefinite lattice \(L\) of rank \(\geq 3\). Let \(O(L)\) denote the group of isometries of \(L\). Then the main formula for the Hirzebruch-Mumford volume is \[ \text{{vol}}_{HM}(O(L))={{2}\over{{g_{sp}^+}}}| \text{det}(L)| ^{(\rho+1)/2} \prod_{k=1}^{\rho} \pi^{-k/2}\Gamma(k/2)\prod_p\alpha_p(L)^{-1} \] where \(\alpha_p(L)\) is the local density of \(L\) over the \(p\)-adic integers, and \(g_{sp}^+\) is the number of the proper spinor genera in the genus of \(L\). Applications of this formula are considered for lattices and groups related to moduli problems. For instance, if \(\Gamma\subset O(L)\) is an arithmetic subgroup and \(L\) has signature \((2,n)\), then by applying Hirzebruch-Mumford proportionality, the leading term of the growth of the dimension of the spaces \(S_k(\Gamma)\) of cusp forms of weight \(k\) as \(k\to\infty\) is obtained. The Hirzebruch-Mumford volume is calculated for a number of specific groups. This includes an arithmetic subgroup of \(O(L)\) of a lattice of signature \((2,n)\,(n\geq 1)\) containing at least one hyperbolic plane, the even unimodular lattices \(II_{2,8m+2}\), the lattices \(T_{2,8m+2}\), the lattices \(L_{2d}^{(m)}=2U\oplus mE_8(-1)\oplus\langle-2d\rangle,\) lattices associated to Heegner divisors, among others. For these groups, the leading term of the dimension of the spaces of cusp forms of weight \(k\) is computed as \(k\to \infty\).

Recommendations

Cited in

(18)

This page was built for publication: The Hirzebruch-Mumford volume for the orthogonal group and applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2369719)