ScalingStacks

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 ℝ3\mathbb{R}^{3} consider the 33-dimensional simplex Ξ\Xi spanned by the points

P0=(−1,−1,−1),P1=(3,−1,−1),P2=(−1,3,−1),P3=(−1,−1,3).P_{0}=(-1,-1,-1),\ \ P_{1}=(3,-1,-1),\ \ P_{2}=(-1,3,-1),\ \ P_{3}=(-1,-1,3).

Let B=∂ΞB=\partial\Xi. We explain how to construct a simple affine structure with singularities on BB. Each edge ℓj\ell_{j} of Ξ\Xi has 55 integral points (i.e. belonging to ℤn\mathbb{Z}^{n}), which divide ℓj\ell_{j} into 44 segments. For each j=1,…,6j=1,\ldots,6 denote by Δkj\Delta^{j}_{k}, k=1,…,4k=1,\ldots,4 the four barycenters of these four segments. We let

Δ={Δkj;j=1…6andk=1,…,4}.\Delta=\{\Delta^{j}_{k};j=1\ldots 6\ \text{and}\ k=1,\ldots,4\}.

A covering of B0=B−ΔB_{0}=B-\Delta can be defined as follows. The first four open sets consist of the four open faces Σi\Sigma_{i}, i=1​…,4i=1\ldots,4 with the affine coordinate maps ϕi\phi_{i} induced by their affine embeddings in ℝ3\mathbb{R}^{3}. Denote by II the set of integral points of BB which lie on an edge. For every Q∈IQ\in I we can choose a small open set UQU_{Q} in B0B_{0} such that {Σi}i=1,…,4∪{UQ}Q∈I\{\Sigma_{i}\}_{i=1,\ldots,4}\cup\{U_{Q}\}_{Q\in I} is a covering of B0B_{0}. Let RQR_{Q} denote the 11-dimensional subspace of ℝ3\mathbb{R}^{3} generated by Q∈IQ\in I. One can verify that if UQU_{Q} is small enough, the projection ϕQ:UQ→ℝ3/RQ\phi_{Q}:U_{Q}\rightarrow\mathbb{R}^{3}/R_{Q} is an homeomorphism. A computation shows that the atlas 𝒜={Σi,ϕi}i=1,…,4∪{UQ,ϕQ}Q∈I\mathscr{A}=\{\Sigma_{i},\phi_{i}\}_{i=1,\ldots,4}\cup\{U_{Q},\phi_{Q}\}_{Q\in I} defines an affine structure on B0B_{0} making (B,Δ,𝒜)(B,\Delta,\mathscr{A}) simple.

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