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 be the -simplex in spanned by
Let . Denote by the open -face of opposite to the point and by the closed -face separating and . Each contains integral points (including those on its boundary). These form the vertices of a triangulation of 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 to be the union of all such graphs in each -face. Denote by the set of integral points of . Just as in the previous example, we can form a covering of by taking the open -faces and small open neighborhoods inside of . A coordinate chart on can be obtained from its affine embedding in . If we denote again by the linear space spanned by , as a chart on we take the projection . A computation shows that this affine structure is simple. In fact the vertices of which are contained in the interior of each -face are of negative type and those which are contained in the -faces are of positive type.