Partial canonical subgroups (Q993391): Difference between revisions

Let \(1\leq r\leq g\) be integers, \(p\) a prime number, \(n\geq 3\) prime to \(p\), \({\mathcal A}_{g,n}\) the scheme over \(\text{Spec}({\mathbb Z}[\frac 1n]) \) which parametrizes the principally polarized abelian varieties with principal level structure in \(n\), \(G\) the universal abelian scheme over \({\mathcal A}_{g,n}\), \(\overline{\mathcal A}_{g,n}\) the toroidal compactification of \({\mathcal A}_{g,n}\) associated to an admissible choice of a polarized polyhedral decomposition. The set of points \(x\in \overline{\mathcal A}_{g,n}\times \text{Spec}({\mathbb F}_p)\) such that the group of \(p\)-torsion \(G_x[p]\) is of multiplicative rank \(p^r\) defines a locally closed subscheme \(\overline{\mathcal A}^r_{g,n}\). The set of points \(x\in \overline{\mathcal A}_{g,n}\times \text{Spec}({\mathbb F}_p)\) such that \(G_x[p]\) is of multiplicative rank \(\leq p^r\) defines a closed subscheme \(\overline{\mathcal A}^{\leq r}_{g,n}\). Let \(\overline{\mathcal A}^{\text{rig}}_{g,n}\) be the rigid analytical variety associated to \(\overline{\mathcal A}_{g,n}\times\text{Spec}({\mathbb Q}_p)\), \(]\overline{\mathcal A}^r_{g,n}[\) and \(]\overline{\mathcal A}^{\leq r}_{g,n}[\) the tubes of \(\overline{\mathcal A}^r_{g,n}\) and \(\overline{\mathcal A}^{\leq r}_{g,n}\) in \(\overline{\mathcal A}^{\text{rig}}_{g,n} \). The authors prove that there exists a strict neighborhood \(U\) of \(]\overline{\mathcal A}^r_{g,n}[\) in \(]\overline{\mathcal A}^{\leq r}_{g,n}[\) and a subgroup \(H_{\text{can},U}^r\) of \(G_U[p]\) which is finite and flat of rank \(p^r\) over \(U\) and extends \(H_{\text{can},U}^r\). The subgroup \(H_{\text{can},U}^r\) is called partial canonical. It is unique over the union of the connected components of \(U\) which meet \(]\overline{\mathcal A}^r_{g,n}[\).