The Picard group of the Baily--Borel compactification of the moduli space of quasi-polarized K3 surfaces and generalizations
Fuente:
arXiv
Salvato in:
| Autori principali: | , , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2024
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866911010997141504 |
|---|---|
| author | Huang, Chenxin Li, Zhiyuan Müller, Manuel K. -H. Ye, Zelin |
| author_facet | Huang, Chenxin Li, Zhiyuan Müller, Manuel K. -H. Ye, Zelin |
| contents | In this paper, we investigate the Picard group of the Baily--Borel compactification of orthogonal Shimura varieties. As a key result, we determine the Picard group of the Baily--Borel compactification of the moduli space of quasi-polarized K3 surfaces, proving that it is isomorphic to $\mathbb{Z}$. Notably, this contrasts with the moduli space of smooth curves, where the Picard group exhibits a more complex structure after natural compactification.
Our result follows from a general theorem for orthogonal Shimura varieties: for even lattices $M$ of signature $(2,n)$ with $n > 8$ satisfying specific arithmetic conditions (e.g. K3 type or $p$-elementary), the rational Picard group of $\overline{\operatorname{Sh}}_Γ(M)$ with $Γ$ containing the stable orthogonal group is $1$-dimensional. The core of our proof lies in constructing an arithmetic obstruction space that governs the extension of Heegner divisors to the generic points of the boundary in orthogonal Shimura varieties. We further establish a connection between this obstruction space and the space of theta series, demonstrating that the obstruction space is maximal under our conditions. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2411_12931 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | The Picard group of the Baily--Borel compactification of the moduli space of quasi-polarized K3 surfaces and generalizations Huang, Chenxin Li, Zhiyuan Müller, Manuel K. -H. Ye, Zelin Algebraic Geometry Number Theory 14J28, 14J15, 11F27, 11F37 In this paper, we investigate the Picard group of the Baily--Borel compactification of orthogonal Shimura varieties. As a key result, we determine the Picard group of the Baily--Borel compactification of the moduli space of quasi-polarized K3 surfaces, proving that it is isomorphic to $\mathbb{Z}$. Notably, this contrasts with the moduli space of smooth curves, where the Picard group exhibits a more complex structure after natural compactification. Our result follows from a general theorem for orthogonal Shimura varieties: for even lattices $M$ of signature $(2,n)$ with $n > 8$ satisfying specific arithmetic conditions (e.g. K3 type or $p$-elementary), the rational Picard group of $\overline{\operatorname{Sh}}_Γ(M)$ with $Γ$ containing the stable orthogonal group is $1$-dimensional. The core of our proof lies in constructing an arithmetic obstruction space that governs the extension of Heegner divisors to the generic points of the boundary in orthogonal Shimura varieties. We further establish a connection between this obstruction space and the space of theta series, demonstrating that the obstruction space is maximal under our conditions. |
| title | The Picard group of the Baily--Borel compactification of the moduli space of quasi-polarized K3 surfaces and generalizations |
| topic | Algebraic Geometry Number Theory 14J28, 14J15, 11F27, 11F37 |
| url | https://arxiv.org/abs/2411.12931 |