ScalingStacks

3.2.1 Flat tori [03TT]

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.2.1 Flat tori

First example is the triple (X,ฯ€,B0)(X,\pi,B_{0}) where X=๐‘2โ€‹n/ฮ›,B0=๐‘n/ฮ›โ€ฒX={{\bf R}}^{2n}/\Lambda,\,\,B_{0}={{\bf R}}^{n}/\Lambda^{\prime} are tori (here ฮ›โ‰ƒ๐™2โ€‹n,ฮ›โ€ฒโ‰ƒ๐™n\Lambda\simeq{{\bf Z}}^{2n},\,\,\Lambda^{\prime}\simeq{{\bf Z}}^{n} are lattices), projection ฯ€:Xโ†’B0\pi:X\to B_{0} is an affine map of tori, and XX carries a constant symplectic form. Assuming that fibers of ฯ€\pi are connected we have B0=B=Bsโ€‹mB_{0}=B=B^{sm}. The monodromy representation is a homomorphism ฯ:ฯ€1โ€‹(B)โ†’๐‘nโŠ‚Gโ€‹Lโ€‹(n,๐™)โ‹‰๐‘n\rho:\pi_{1}(B)\to{{\bf R}}^{n}\subset GL(n,{{\bf Z}})\ltimes{{\bf R}}^{n}. Integral affine structure on BB depends on n2n^{2} real parameters, which are coefficients of an invertible nร—nn\times n matrix expressing a basis of the lattice ฮ›โ€ฒโŠ‚Txโ€‹B\Lambda^{\prime}\subset T_{x}B as a linear combination of generators of the lattice (Txโ€‹B)๐™โŠ‚Txโ€‹B(T_{x}B)^{{\bf Z}}\subset T_{x}B, where xโˆˆBx\in B is an arbitrary point.

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