6.2 PL compactifications [03US]
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
6.2 PL compactifications
Let be a finite set, belongs to the set of -element subsets of . Then we have a -dimensional simplicial complex .
Let us choose a -affine structure on -dimensional faces of which is compatible with the standard affine structure, and consider all -dimensional faces which enjoy the following property: they belong to exactly two -dimensional faces. For any two such -dimensional faces and we choose a -affine structure on which is compatible with the already chosen -affine structures on and (such a choice is equivalent to a choice of -affine structure in a neighborhood of the -dimensional face ). In this way we obtain a -affine structure on the union of the interior points of all -dimensional simplices and also the interior points of -dimensional faces belonging to exactly two top-dimensional cells.
Proposition 3
There exists (and unique) maximal extension of this -affine structure to an open subset containing .
Proof. Let us proceed inductively by codimension of faces. The induction step reduces to the obvious remark that the extension of the standard -affine structure on to a neighborhood of point in is unique in the case when is an affine subspace, .
It is easy to see that with -affine structure on it, compactified by satisfies both Finiteness and Independence properties.
We introduce PL compactifications both as a “toy model”, and also (as we hope, see Conjecture 6 in Section 6.3) as a sufficiently representative class for applications. In this case we can try to formulate additional desired properties. One of goals is to find a good substitution for the algebro-geometric notion of a canonical singularity (which is, morally, a singularity of a non-collapsing limit of a family of Calabi-Yau manifolds with fixed Kähler class).
For a large class of maximally degenerating Calabi-Yau manifolds there is a proposal by several authors (see [GS] and [HZh]) for a PL compactification conjecturally related to the Gromov-Hausdorff limit. Space is topologically a sphere , it carries two dual cell decompositions. Each of these decompositions is identified with the boundary or of a convex -dimensional polytope. Moreover, on each -dimensional face of each polytope we have a -affine structure compatible with the natural affine structure. The assumption is that for any two open -cells from the first and the second cell decompositions, two induced -affine structures on coincide. This gives a -affine structure on where and are -skeletons of two CW-structures.