Local Borcherds products

Bruinier, Jan Hendrik; Freitag, Eberhard

Annales de l'Institut Fourier, Tome 51 (2001) no. 1, pp. 1-26.

On calcule le groupe de Picard local en un point générique de la limite de Baily-Borel de dimension 1 d’un quotient symétrique hermitien de type $\mathrm{O}(2,n)$. Le principal ingrédient est une version locale des produits automorphes de Borcherds. Les obstructions locales pour qu’un diviseur de Heegner soit principal sont données par certaines séries thêta à des coefficients harmoniques. Elles engendrent dans certains cas l’espace de Borcherds des obstructions globales. Dans ces cas particuliers, nous obtenons une preuve simple d’un résultat dû au premier auteur : supposons que $\Gamma \subset \mathrm{O}(2,n)$ soit le groupe orthogonal attaché à un réseau unimodulaire pair. Alors, chaque forme modulaire méromorphe pour $\Gamma$, dont les zéros et les pôles s’étendent sur les diviseurs de Heegner, est donnée par un produit de Borcherds.

The local Picard group at a generic point of the one-dimensional Baily-Borel boundary of a Hermitean symmetric quotient of type $\mathrm{O}(2,n)$ is computed. The main ingredient is a local version of Borcherds’ automorphic products. The local obstructions for a Heegner divisor to be principal are given by certain theta series with harmonic coefficients. Sometimes they generate Borcherds’ space of global obstructions. In these particular cases we obtain a simple proof of a result due to the first author: Suppose that $\Gamma \subset \mathrm{O}(2,n)$ is the orthogonal group attached to an even unimodular lattice. Then every meromorphic modular form for $\Gamma$, whose zeros and poles lie on Heegner divisors, is given by a Borcherds product.

Classification : 11F55, 14L35
Keywords: automorphic forms, automorphic product, orthogonal group, Heegner divisor, local Picard group
Mot clés : formes automorphes, produit automorphe, group orthogonal, diviseur de Heegner, groupe de Picard local

[Ba] L. Ballweg Die lokalen Cohomologiegruppen der Baily-Borel-Kompaktifizierung in generischen Randpunkten (1992) (Dissertation University of Heidelberg)

[Bo1] R. E. Borcherds Automorphic forms with singularities on Grassmannians, Invent. Math, Volume 132 (1998), pp. 491-562 | DOI | MR | Zbl

[Bo2] R. E. Borcherds The Gross-Kohnen-Zagier theorem in higher dimensions, Duke Math. J, Volume 97 (1999), pp. 219-233 | DOI | MR | Zbl

[Br1] J. H. Bruinier Borcherds products on $O(2,l)$ and Chern classes of Heegner divisors (January 2000) (Preprint, http://www.mathi.uni-heidelberg.de/~bruinier/) | Zbl

[Br2] J. H. Bruinier Borcherds products and Chern classes of Hirzebruch-Zagier divisors, Invent. Math, Volume 138 (1999), pp. 51-83 | DOI | MR | Zbl

[Ca] H. Cartan Fonctions automorphes, Séminaire, Paris, Volume No. 10 (1957/58)

[EZ] M. Eichler; D. Zagier The Theory of Jacobi Forms, Progress in Math, 55, Birkhäuser, 1985 | MR | Zbl

[Fr1] E. Freitag Siegelsche Modulfunktionen, Springer-Verlag, 1983 | MR | Zbl

[Fr2] E. Freitag Hilbert Modular Forms, Springer-Verlag, 1990 | MR | Zbl

[GrRe] H. Grauert; R. Remmert Plurisubharmonische Funktionen in komplexen Räumen, Math. Zeitschr, Volume 65 (1956), pp. 175-194 | DOI | EuDML | MR | Zbl

[No] A. Nobs Die irreduziblen Darstellungen der Gruppen $S{L}_2\left({\mathbb{Z}}_p\right)$, insbesondere $S{L}_2\left({\mathbb{Z}}_2\right)$. I. Teil, Comment Math. Helvetici, Volume 51 (1976), pp. 465-489 | DOI | MR | Zbl

[Sh] G. Shimura Introduction to the Arithmetic Theory of Automorphic Functions, Princeton University Press, 1971 | MR | Zbl

[Wal] J.-L. Waldspurger Engendrement par des séries thêta de certains espaces de formes modulaires, Invent. Math., Volume 50 (1979), pp. 135-168 | DOI | EuDML | MR | Zbl

[Wat] G. L. Watson Integral quadratic forms, Cambridge University Press, 1960 | MR | Zbl