ScalingStacks

Example 3.17 . [04IJ]

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

This three dimensional example is taken from [10] §19.3. Let Ξ\Xi be the 44-simplex in ℝ3\mathbb{R}^{3} spanned by

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

Let B=∂ΞB=\partial\Xi. Denote by Σj\Sigma_{j} the open 33-face of BB opposite to the point PjP_{j} and by Fi​jF_{ij} the closed 22-face separating Σi\Sigma_{i} and Σj\Sigma_{j}. Each Fi​jF_{ij} contains 2121 integral points (including those on its boundary). These form the vertices of a triangulation of Fi​jF_{ij} as in Figure 7. By joining the barycenter of each triangle with the barycenters of its sides we form a trivalent graph as in Figure 7. Define the set Δ\Delta to be the union of all such graphs in each 22-face. Denote by II the set of integral points of BB. Just as in the previous example, we can form a covering of B0=B−ΔB_{0}=B-\Delta by taking the open 33-faces Σj\Sigma_{j} and small open neighborhoods UQU_{Q} inside B0B_{0} of Q∈IQ\in I. A coordinate chart ϕi\phi_{i} on Σi\Sigma_{i} can be obtained from its affine embedding in ℝ4\mathbb{R}^{4}. If we denote again by RQR_{Q} the linear space spanned by Q∈IQ\in I, as a chart on UQU_{Q} we take the projection ϕQ:UQ→ℝ4/RQ\phi_{Q}:U_{Q}\rightarrow\mathbb{R}^{4}/R_{Q}. A computation shows that this affine structure is simple. In fact the vertices of Δ\Delta which are contained in the interior of each 22-face are of negative type and those which are contained in the 11-faces are of positive type.

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