ScalingStacks

Definition 4 [03U0]

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 4

We call a point x∈Bx\in B smooth (or π\pi-smooth) if there is a neighborhood UU of xx such that the fibration π−1​(U)→U\pi^{-1}(U)\to U is isomorphic to a fibration πc​a​n−1​(V)→V\pi_{can}^{-1}(V)\to V for some open subset V⊂𝐑nV\subset{{\bf R}}^{n}. Here the isomorphism π−1​(U)≃πc​a​n−1​(V)\pi^{-1}(U)\simeq\pi_{can}^{-1}(V) is taken in the category of KK-analytic spaces while U≃VU\simeq V is a homeomorphism.

In this case we will call π\pi (or the triple (π−1​(U),π,U)(\pi^{-1}(U),\pi,U)) an analytic torus fibration.

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