ScalingStacks

Definition 3.6 . [04I7]

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 3.6.

An (integral) affine manifold with singularities is a triple (B,Δ,𝒜)(B,\Delta,\mathscr{A}), where BB is a topological nn-dimensional manifold, Δ⊂B\Delta\subset B a set which is locally a finite union of locally closed submanifolds of codimension at least 22 and 𝒜\mathscr{A} is an (integral) affine structure on B0=B−ΔB_{0}=B-\Delta. A continuous map between (integral) affine manifolds with singularities

α:B→B′\alpha:B\rightarrow B^{\prime}

is (integral) affine if α−1​(B0′)∩B0\alpha^{-1}(B_{0}^{\prime})\cap B_{0} is dense in BB and the restriction α0=α|α−1​(B0′)∩B0\alpha_{0}=\alpha|_{\alpha^{-1}(B_{0}^{\prime})\cap B_{0}}:

α0:α−1​(B0′)∩B0→B0′\alpha_{0}:\alpha^{-1}(B_{0}^{\prime})\cap B_{0}\rightarrow B_{0}^{\prime}

is an (integral) affine map. We say that α\alpha is an (integral) affine isomorphism if α\alpha is an homeomorphism and α0\alpha_{0} is an (integral) affine isomorphism of (integral) affine manifolds.

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