--- title: Stacked Piecewise Manifolds Overview url: https://www.emergentmind.com/topics/stacked-piecewise-manifolds type: topic --- # Stacked Piecewise Manifolds Overview A stacked piecewise manifold is a triangulated piecewise-linear (PL) homology manifold, with or without boundary, constructed through a hierarchy of combinatorial stacking operations starting from the simplex or the boundary of a simplex. These objects play a fundamental role in the combinatorial theory of manifolds, providing extremal examples that saturate lower bound theorems for face numbers, and they exhibit deep connections to notions of tightness, neighborliness, and minimal triangulations. In higher dimensions, stackedness is closely tied to tightness: in dimensions $d\geq4$, a tight, homologically simple closed PL manifold is necessarily stacked. Generalizations, such as $k$-stacked (or $r$-stacked) manifolds, stratify this hierarchy, yielding a combinatorial stratification of the category of PL homology manifolds. The classification, enumerative invariants, and extremal properties of stacked piecewise manifolds have been clarified in a series of foundational works [1406.4299, 1407.6767, 1209.0868, 1506.00447]. ## 1. Definitions and Hierarchy of Stackedness Let $\Delta$ be a finite simplicial complex of dimension $d$, viewed as a triangulation of a (homology) $d$-manifold (possibly with boundary) over a field $\Bbbk$. - **Stacked triangulated $(d+1)$-manifolds with boundary**: $\Delta$ is *stacked* if every interior face of $\Delta$ has dimension at least $d$; equivalently, the $(d-1)$-skeleton of $\Delta$ coincides with that of its boundary: $\mathrm{Skel}_{d-1}(\Delta) = \mathrm{Skel}_{d-1}(\partial\Delta)$ [1407.6767, 1506.00447]. - **Stacked triangulated $d$-manifolds without boundary**: $\Delta$ is *stacked* if it is the boundary of some stacked $(d+1)$-manifold with boundary. For spheres, stackedness coincides with being the boundary of a stacked ball [1406.4299]. - **$k$-stacked (or $(r-1)$-stacked) triangulations**: A $(d+1)$-manifold with boundary is $k$-stacked if its $(d-k)$-skeleton is the same as that of its boundary: $\mathrm{Skel}_{d-k}(\Delta) = \mathrm{Skel}_{d-k}(\partial\Delta)$. A closed $d$-manifold is $k$-stacked if it is the boundary of a $k$-stacked $(d+1)$-manifold [1209.0868, 1406.4299]. - **Locally stacked manifolds**: For $d\geq4$, closed $d$-manifolds are stacked if and only if all vertex-links are stacked spheres (local stackedness) [1506.00447, 1407.6767]. The hierarchy generalizes the notion of stacked polytopes and gives rise to a graded structure on triangulated manifolds. ## 2. Generating Operations and Classification Stacked manifolds admit a recursive construction through emblematic combinatorial moves: - **Stacking operation (with boundary)**: Attach a $(d+1)$-simplex along a single $(d)$-face to a boundary face of a stacked ball increases the number of interior facets and vertices in a controlled fashion [1407.6767]. - **Combinatorial handle addition (closed case)**: Remove two disjoint $(d-1)$-dimensional facets from a closed manifold and identify their vertices through an admissible bijection, preserving the manifold condition and stackedness [1407.6767, 1506.00447]. Letting $\mathcal{H}_{d+1}(0)$ denote the boundary of the $(d+1)$-simplex, iterating handle additions yields a filtration $\mathcal{H}_{d+1}(k)$ of all stacked closed $d$-manifolds. Every stacked manifold (with or without boundary) is constructed through such stacking and handle moves [1407.6767]. **Classification Theorem ([1407.6767])**: For $d\ge2$, every connected stacked $d$-manifold (closed or with boundary) arises from a sequence of stacking (if with boundary) or handle additions (if closed) starting from the simplex or simplex boundary. ## 3. Enumerative and Topological Properties Stacked manifolds occupy the minimal possible position in the face number lattice for manifolds of fixed dimension and topology, saturating generalized lower bound theorems: - **Face vector minimization**: Stacked manifolds minimize non-topological entries in $f$-vectors, achieving the lower bound in Kalai's and Novik–Swartz's inequalities for the $g_2$-invariant [1506.00447]. - **Extremal characterizations**: For homology $d$-manifolds, stackedness is equivalent to the vanishing of enumerative invariants such as the $h^{\prime\prime}$-vector above a certain index; specifically, for $r$-stacked manifolds, $h^{\prime\prime}_r = 0$ [1209.0868]. - **Missing faces**: If $\Delta$ is $(r-1)$-stacked with boundary, then $\Delta$ has no missing $k$-faces for $k>r+1$, and $\beta_i(\Delta)=0$ for $i\ge r$ [1209.0868]. - **Vertex-transitivity and minimality**: Infinite families of stacked manifolds (e.g., the Datta–Singh series) exhibit vertex-transitive automorphism groups and are conjecturally minimal and strongly minimal triangulations [1506.00447]. ## 4. Tightness, Neighborliness, and Stackedness A triangulated $d$-manifold is $\Bbbk$-tight if for any induced subcomplex $Y\subseteq X$ and all $i$, the map $H_i(Y;\Bbbk)\to H_i(X;\Bbbk)$ is injective [1406.4299]. - **Tightness criterion**: Any $(k+1)$-neighborly, $k$-stacked $\Bbbk$-homology manifold with (or without, under orientability and $d\ne2k+1$) boundary is $\Bbbk$-tight [1406.4299]. - **Characterization in high dimensions ($d\geq4$)**: Tightness plus vanishing intermediate homology ($\tilde H_i=0$ for $1