Enumerative geometry for complex geodesics on quasi-hyperbolic 4-spaces with cusps. (English) Zbl 1053.14060

Mladenov, Ivaïlo M. (ed.) et al., Proceedings of the 4th international conference on geometry, integrability and quantization, Sts. Constantine and Elena, Bulgaria, June 6–15, 2002. Sofia: Coral Press Scientific Publishing (ISBN 954-90618-4-1/pbk). 42-87 (2003).
An orbital surface \(\widehat{\mathbb X} = (\widehat{X}, \widehat{B}^1)\) is a complex normal algebraic surface \(\widehat{X}\) with at most quotient and cusp singularities together with an orbital Weil divisor \(\widehat{B}^1\). Orbital functionals can be defined simultaneously for each commensurability class of orbital surfaces, and they are realized on infinite-dimensional orbital divisor spaces spanned by orbital curves on an orbital surface. In this paper the author finds infinitely many orbital functionals on each commensurability class of orbital Picard surfaces, which are real 4-spaces with cusps and negative constant Kähler-Einstein metric degenerated along an orbital cycle. For a suitable Heegner sequence \((\int h_N)\) of such functionals he studies the the corresponding formal orbital \(q\)-series \(\sum^\infty_{N=0} (\int h_N) q^N\). After substitution \(q = e^{2\pi i \tau}\) and the application to arithmetic orbital curves \(\widehat{\mathbb Y}\) on a fixed Picard surface class, the author proves that the series \(\sum^\infty_{N=0} (\int_{\widehat{\mathbb Y}} h_N) e^{2\pi i N \tau}\) defines modular forms of well-determined fixed weight, level and Nebentypus. The proof uses the notion of orbital heights and Mumford-Fulton’s rational intersection theory on singular surfaces in the Riemann-Roch-Hirzebruch style.
For the entire collection see [Zbl 1008.00022].


14N20 Configurations and arrangements of linear subspaces
11F55 Other groups and their modular and automorphic forms (several variables)