ScalingStacks

Subsection [04XI]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context Β· Original author HTML

(3.6) As a first application, let us discuss the case of abelian varieties. Let AA be an abelian KK-variety of dimension nn, and denote by π’œ\mathscr{A} its NΓ©ron model. Then Berkovich has constructed in [Be90, Β§6.5] a canonical skeleton Δ⁑(A)\Delta(A) in AanA^{\mathrm{an}}, together with a continuous retraction ρA:Aan→Δ⁑(A)\rho_{A}\colon A^{\mathrm{an}}\to\Delta(A), via the theory of non-archimedean uniformization. The dimension of Δ⁑(A)\Delta(A) is equal to the toric rank of π’œko\mathscr{A}^{o}_{k} (the dimension of the maximal subtorus). Let us make this construction more precise in the maximally degenerate case. Assume that AA has purely toric reduction, that is, π’œko\mathscr{A}^{o}_{k} is a torus. Let ee be the identity point on AA. Then the universal pointed covering space of (A,e)(A,e) (with respect to the Berkovich topology) is isomorphic to the analytification of a split nn-dimensional KK-torus TT. The kernel LL of the morphism Ο€:Ta​nβ†’Aan\pi\colon T^{an}\to A^{\mathrm{an}} is a lattice in T⁑(K)T(K) (called the period lattice), and the image ρT​(L)\rho_{T}(L) of LL in NℝN_{\mathbb{R}} is a lattice of rank nn. By definition, the canonical skeleton Δ⁑(A)\Delta(A) is the image of Δ⁑(T)\Delta(T) under the map Ο€\pi. Moreover, we have a Cartesian diagram of topological spaces

Tan\textstyle{T^{\mathrm{an}}\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces}ρT\scriptstyle{\rho_{T}}Ο€\scriptstyle{\pi}Nℝ\textstyle{N_{\mathbb{R}}\ignorespaces\ignorespaces\ignorespaces\ignorespaces}Aan\textstyle{A^{\mathrm{an}}\ignorespaces\ignorespaces\ignorespaces\ignorespaces}ρA\scriptstyle{\rho_{A}}Nℝ/ρT​(L)\textstyle{N_{\mathbb{R}}/\rho_{T}(L)}

such that ρA\rho_{A} sends Δ⁑(A)\Delta(A) homeomorphically onto Nℝ/ρT​(L)N_{\mathbb{R}}/\rho_{T}(L). In particular, Δ⁑(A)\Delta(A) is a real torus of dimension nn, ρA\rho_{A} is an nn-dimensional torus fibration, and the induced integral affine structure on Δ⁑(A)\Delta(A) coincides with the quotient structure on Nℝ/ρT​(L)N_{\mathbb{R}}/\rho_{T}(L).

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.