Example 3.16 . [04II]
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
Example 3.16.
In consider the -dimensional simplex spanned by the points
Let . We explain how to construct a simple affine structure with singularities on . Each edge of has integral points (i.e. belonging to ), which divide into segments. For each denote by , the four barycenters of these four segments. We let
A covering of can be defined as follows. The first four open sets consist of the four open faces , with the affine coordinate maps induced by their affine embeddings in . Denote by the set of integral points of which lie on an edge. For every we can choose a small open set in such that is a covering of . Let denote the -dimensional subspace of generated by . One can verify that if is small enough, the projection is an homeomorphism. A computation shows that the atlas defines an affine structure on making simple.