Partial canonical subgroups

DOI10.1007/S00229-010-0359-ZMaRDI QIDQ993391zbMATH OpenOpenAlexFDO

Publication date 10 September 2010

Published in Manuscripta Mathematica (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0907.1682

abelian variety partial canonical subgroup

Arithmetic aspects of modular and Shimura varieties (11G18) Rigid analytic geometry (14G22) Modular and Shimura varieties (14G35)

Abstract: The reduction of Siegel varieties modulo a prime number p is stratified by the multiplicative rank of the p-divisible group of the universal abelian variety. For rgeq 0 the maximal multiplicative subgroup of the restriction of the p-torsion group of the universal abelian variety to the r-th stratum lifts canonically to the tube of this stratum and defines a partial canonical subgroup of rank r. We prove that this subgroup extends in a finite flat way on some strict neighborhood of the tube. On the ordinary stratum and on its neighborhood, we recover the usual canonical subgroup considered by Abbes and Mokrane, and Andreatta and Gasbarri. ----- La reduction des varietes de Siegel modulo un nombre premier p est stratifiee par le rang multiplicatif du groupe p-divisible de la variete abelienne universelle. Pour rgeq 0, le sous-groupe multiplicatif maximal de la restriction du groupe de p-torsion de la variete abelienne universelle a la r-ieme strate se releve canoniquement sur le tube de cette strate et definit un sous-groupe canonique partiel de rang r. Nous montrons qu'il existe un voisinage strict du tube sur lequel ce sous-groupe s'etend de maniere finie et plate. Sur la strate ordinaire et au voisinage de celle-ci, on retrouve le sous-groupe canonique usuel etudie par Abbes et Mokrane d'une part, Andreatta et Gasbarri d'autre part.

Review text

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}[\).

Recommendations

Cites work

Cited in

(4)

This page was built for publication: Partial canonical subgroups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q993391)