ScalingStacks

Definition 1.6.1 . [04MX]

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

Definition 1.6.1.

Let ρ:Xan⟶B\rho:X^{\text{an}}\longrightarrow B be a continuous map to a topological space BB. For any point b∈Bb\in B, we say that ρ\rho is an affinoid torus fibration at bb if there exists an open neighbourhood UU of bb in BB, such that the restriction to ρ−1​(U)\rho^{-1}(U) fits into a commutative diagram:

ρ−1​(U){\lx@inpgf@ignorespaces\rho^{-1}(U)}val−1⁡(V){\lx@inpgf@ignorespaces\val^{-1}(V)}U{\lx@inpgf@ignorespaces U}V,{\lx@inpgf@ignorespaces V,}≃\simeqρ\rhoval\val≃\simeq

VV being an open subset of ℝn\mathbb{R}^{n}, the upper horizontal map an isomorphism of analytic spaces, the lower horizontal map a homeomorphism, and the map val\val defined as in Section 1.5.

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