Minimal compactification and bad reduction (Q983150): Difference between revisions

In this paper the author constructs the arithmetic minimal compactification of the Siegel moduli scheme \(\mathcal A_{g,n,0}\) with a parahoric level structure at \(p\) and level-\(n\) structure over \(\mathbb Z[1/n]\). The construction relies on the author's earlier work on the toroidal compactification [Bull. Soc. Math. Fr. 138, No. 2, 259--315 (2010; Zbl 1203.14048)]. The method is first to extend the universal family of abelian varieties over \(\mathcal A_{g,n,0}\) to a chain of semi-abelian schemes over a toroidal compactification \(\overline {\mathcal A_{g,n,0}}\) and obtain a chain of Hodge bundles \(\omega_i\) over \(\overline {\mathcal A_{g,n,0}}\). The minimal compactification \(\mathcal A_{g,n,0}^*\) is obtained as the Stein factorization of the proper morphism from \(\overline{\mathcal A_{g,n,0}}\) to the product of the projective bundles \(\mathbb P (H^0( \overline{\mathcal A_{g,n,0}}, \omega_i^{\otimes m}))\). The author then shows that there is a canonical isomorphism \( \mathcal A_{g,n,0}^*\simeq \text{Proj}\left (\bigoplus_{k\in \mathbb Z} H^0(\mathcal A_{g,n,0}, \otimes_i \omega_i^k) \right ) \) (for \(g\geq 2\)) using the Köcher principle. To prove the Köcher principle, the author needs extensive results on the special fiber of \(\mathcal A_{g,n,0}\) obtained in some earlier works [\textit{U. Görtz}, Adv. Math. 176, No. 1, 89--115 (2003; Zbl 1051.14027); \textit{B. C. Ngô} and \textit{A. Genestier}, Ann. Inst. Fourier 52, No. 6, 1665--1680 (2002; Zbl 1046.14023); \textit{C.-F. Yu}, Int. Math. Res. Not. 2004, No. 48, 2593--2597 (2004; Zbl 1065.14059)]. The paper is well-organized.