ScalingStacks

4.2.2 Tate tori [03U5]

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

4.2.2 Tate tori

Let ฯ:๐™nโ†’(Kร—)n\rho:{{\bf Z}}^{n}\to(K^{\times})^{n} be a group homomorphism such that the image of the composition vโ€‹aโ€‹lโˆ˜ฯ:๐™nโ†’๐‘nval\circ\rho:{{\bf Z}}^{n}\to{{\bf R}}^{n} is a rank nn lattice in ๐‘n{{\bf R}}^{n}. Group (Kร—)n(K^{\times})^{n} acts by translations on the analytic space (๐†maโ€‹n)n({\bf G}_{m}^{an})^{n}. Restriction of this action to ๐™n{{\bf Z}}^{n} (via ฯ\rho) is discrete and cocompact. The quotient is a KK-analytic space XX called Tate torus. There is an obvious map ฯ€:Xโ†’B:=๐‘n/(vโ€‹aโ€‹lโˆ˜ฯ)โ€‹(๐™n)\pi:X\to B:={{\bf R}}^{n}/(val\circ\rho)({{\bf Z}}^{n}). All points of BB are smooth. The space XX depends on n2n^{2} parameters taking values in Kร—K^{\times}(cf. with the flat tori example in Section 3.2.1).

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