ScalingStacks

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 VV be a finite set, S⊂2VS\subset 2^{V} belongs to the set of (n+1)(n+1)-element subsets of VV. Then we have a nn-dimensional simplicial complex B=∪Y∈SΔY⊂ΔVB=\cup_{Y\in S}\Delta^{Y}\subset\Delta^{V}.

Let us choose a 𝐙{\bf Z}-affine structure on nn-dimensional faces of BB which is compatible with the standard affine structure, and consider all (n−1)(n-1)-dimensional faces which enjoy the following property: they belong to exactly two nn-dimensional faces. For any two such nn-dimensional faces σ\sigma and τ\tau we choose a 𝐙{\bf Z}-affine structure on σ∪τ\sigma\cup\tau which is compatible with the already chosen 𝐙{\bf Z}-affine structures on σ\sigma and τ\tau (such a choice is equivalent to a choice of 𝐙{\bf Z}-affine structure in a neighborhood of the (n−1)(n-1)-dimensional face σ∩τ\sigma\cap\tau). In this way we obtain a 𝐙{\bf Z}-affine structure on the union UU of the interior points of all nn-dimensional simplices and also the interior points of (n−1)(n-1)-dimensional faces belonging to exactly two top-dimensional cells.

Proposition 3

There exists (and unique) maximal extension of this 𝐙{\bf Z}-affine structure to an open subset Umax⊂BU_{\max}\subset B containing UU.

Proof. Let us proceed inductively by codimension of faces. The induction step reduces to the obvious remark that the extension of the standard 𝐙{\bf Z}-affine structure on 𝐑n∖L{{\bf R}}^{n}\setminus L to a neighborhood of point p∈Lp\in L in 𝐑n{\bf R}^{n} is unique in the case when L⊂𝐑nL\subset{\bf R}^{n} is an affine subspace, dimL≤n−2\dim L\leq n-2\,\,. ■\blacksquare

It is easy to see that Bs​m:=UmaxB^{sm}:=U_{\max} with 𝐙{\bf Z}-affine structure on it, compactified by BB 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 BB conjecturally related to the Gromov-Hausdorff limit. Space BB is topologically a sphere SnS^{n}, it carries two dual cell decompositions. Each of these decompositions is identified with the boundary ∂P1\partial P_{1} or ∂P2\partial P_{2} of a convex (n+1)(n+1)-dimensional polytope. Moreover, on each nn-dimensional face of each polytope we have a 𝐙{\bf Z}-affine structure compatible with the natural affine structure. The assumption is that for any two open nn-cells U,U′U,U^{\prime} from the first and the second cell decompositions, two induced 𝐙{\bf Z}-affine structures on U∩U′U\cap U^{\prime} coincide. This gives a 𝐙{\bf Z}-affine structure on B∖(S​kn−1∩S​kn−1′)B\setminus\left(Sk_{n-1}\cap Sk_{n-1}^{\prime}\right) where S​kn−1Sk_{n-1} and S​kn−1′Sk_{n-1}^{\prime} are (n−1)(n-1)-skeletons of two CW-structures.

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