ScalingStacks

Definition 3.1 . [04HX]

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

Let BB be a topological nn-dimensional manifold.

  • (i)

    An affine manifold is a pair (B,๐’œ)(B,\mathscr{A}) where BB is an nn-dimensional manifold and ๐’œ\mathscr{A} is a maximal atlas on BB whose transition maps are Affโก(โ„)\aff(\mathbb{R}) transformations. We call ๐’œ\mathscr{A} an affine structure on BB.

  • (ii)

    An affine manifold (B,๐’œ)(B,\mathscr{A}) is integral if the transition maps of the affine structure ๐’œ\mathscr{A} are Affโ„โก(โ„ค)\aff_{\mathbb{R}}(\mathbb{Z}) transformations. We call ๐’œ\mathscr{A} an integral affine structure on BB.

  • (iii)

    A continuous map ฮฑ:Bโ†’Bโ€ฒ\alpha:B\rightarrow B^{\prime} is (integral) affine if on each local coordinate chart, ฮฑ\alpha is an element of (Affโ„โก(โ„คn,โ„คnโ€ฒ)\aff_{\mathbb{R}}(\mathbb{Z}^{n},\mathbb{Z}^{n^{\prime}})) Affโก(โ„n,โ„nโ€ฒ)\aff(\mathbb{R}^{n},\mathbb{R}^{n^{\prime}}). Two (integral) affine manifolds BB and Bโ€ฒB^{\prime} are said to be (integral) affine isomorphic if there is an (integral) affine homeomorphism between them.

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