--- title: Dehn-Sommerville Manifolds url: https://www.emergentmind.com/topics/dehn-sommerville-manifolds type: topic --- # Dehn-Sommerville Manifolds Searching arXiv for recent and foundational papers on Dehn–Sommerville manifolds and related generalizations. Dehn–Sommerville manifolds are finite abstract simplicial complexes defined so that local combinatorial data enforce the same Dehn–Sommerville symmetries that classically arise for simplicial polytopes, spheres, and Eulerian or homology-manifold settings. In recent work, the term has been used in at least two closely related but nonidentical senses: as a recursively defined class of finite abstract simplicial complexes generalizing discrete manifolds [2508.14372], and as a label for simplicial complexes that are homology manifolds, possibly with boundary, in the context of generalized Dehn–Sommerville relations [2108.13145]. Across these settings, the common theme is that the face-enumerative invariants—especially the \(f\)-vector, \(h\)-vector, and their refinements—satisfy linear symmetries or reciprocity formulas that make roughly half of the face data redundant, often reflecting Poincaré duality or its combinatorial analogues [1502.05499]. ## 1. Definitions and competing usages In the recursively defined finite-complex setting, a **Dehn-Sommerville \(q\)-manifold** is a \(q\)-dimensional finite abstract simplicial complex \(G\) such that every unit sphere \(S(x)\) is a Dehn-Sommerville \((q-1)\)-manifold of Euler characteristic \(1-(-1)^q\) [2508.14372]. Here the unit sphere is \(S(x)=\delta U(x)\), where \(U(x)=\{y\in G\mid x\subset y\}\) in the finite Alexandrov topology, and the base case is that the empty complex is the \((-1)\)-dimensional Dehn-Sommerville sphere [2508.14372]. A **Dehn-Sommerville \(q\)-sphere** is a Dehn-Sommerville \(q\)-manifold additionally satisfying the Euler-gem formula \(\chi(G)=1+(-1)^q\) [2508.14372]. In a distinct but standard enumerative-topology usage, a **Dehn–Sommerville manifold** is a finite simplicial complex that is a homology manifold, possibly with boundary, over a field \(k\) [2108.13145]. In this framework, the Dehn–Sommerville relations are derived from face-link multiplicities and interior-face enumeration rather than from a recursive unit-sphere axiom [2108.13145]. These usages overlap in motivation but differ in scope. The recursive definition is explicitly presented as a generalization of discrete manifolds and does not require the unit spheres to be spheres; instead, they need only be Dehn-Sommerville manifolds of one lower dimension [2508.14372]. By contrast, the homology-manifold usage places the theory inside the established Buchsbaum/Cohen–Macaulay framework for simplicial complexes [1502.05499, 2108.13145]. ## 2. Face-enumerative symmetries For a complex \(G\) of maximal dimension \(q\), the \(f\)-vector \((f_0,f_1,\dots,f_q)\) counts \(k\)-simplices, and the simplex generating function is \[ f_G(t)=\sum_{k=-1}^q f_k t^{k+1}, \] with \(f_{-1}=1\) by convention [2508.14372]. In the recursive Dehn-Sommerville setting, one equivalent formulation of the symmetry is \[ f_G(t)=(-1)^q f_G(-1-t), \] so the generating polynomial is even or odd around \(t_0=-1/2\) [2508.14372]. The associated \(h\)-vector, defined by \[ h_G(t)=(t-1)^{q+1} f_G\!\left(\frac{1}{t-1}\right), \] is palindromic: \[ h_i=h_{q+1-i}. \] This is presented as one of several equivalent forms of the Dehn-Sommerville symmetries [2508.14372]. A parallel formulation appears in the Gauss–Bonnet approach, where Dehn-Sommerville is expressed as the reflection symmetry \[ f_G(t)+(-1)^d f_G(-1-t)=0. \] This symmetry is proved for an inductively defined class \(\mathcal X_d\) satisfying \(\chi(G)=1+(-1)^d\) and \(S(x)\in \mathcal X_{d-1}\) for all vertices \(x\) [1905.04831]. The class includes simplicial spheres, including homology spheres, all odd-dimensional discrete manifolds, and any even-dimensional discrete manifold with \(\chi(G)=2\) [1905.04831]. For homology manifolds, the Dehn–Sommerville relations are encoded in polynomial identities involving the tilded \(f\)- and \(h\)-polynomials, \[ \tilde f(x)=\sum_{i=0}^d f_{i-1}x^i,\qquad \tilde h(x)=\sum_{i=0}^d h_i x^i, \] together with multiplicities \[ m_F=\sum_{F\subseteq G\in\Delta}(-1)^{d-|G|} =(-1)^{d-1-|F|}\widetilde\chi(\mathrm{lk}_\Delta F). \] The key relation for a homology manifold is \[ (-1)^d\tilde f(x)=\tilde f^{\mathrm{int}}(-x-1)+m_\emptyset, \] from which the generalized linear Dehn–Sommerville relations follow [2108.13145]. This formulation subsumes the Euler–Poincaré relation and isolates the role of interior faces [2108.13145]. ## 3. Local structure, links, and errors from the links The recursive definition makes the local structure of unit spheres primary. A discrete \(q\)-manifold is a simplicial complex where all unit spheres are \((q-1)\)-spheres; Dehn-Sommerville manifolds enlarge this class by requiring only that all unit spheres be Dehn-Sommerville \((q-1)\)-manifolds [2508.14372]. This produces a class described as “much larger than traditional manifolds,” and examples include suspensions of non-sphere manifolds [2508.14372]. A central warning in this framework is that **most Dehn-Sommerville manifolds do not satisfy Poincaré duality** [2508.14372]. This sharply distinguishes the recursive class from closed orientable homology manifolds, where Poincaré duality is typically the source of \(h\)-vector symmetry [1502.05499, 2506.13547]. For general pure simplicial complexes, the failure of Dehn–Sommerville symmetry can be quantified explicitly by local link defects. The generalized formula is \[ h_{d-j}(\Delta)-h_j(\Delta) = (-1)^j \sum_{F\in\Delta}\binom{d-|F|}{j}\varepsilon_\Delta(F), \] where \[ \varepsilon_\Delta(F)=\widetilde\chi(\mathrm{lk}_\Delta F)-(-1)^{d-1-|F|}. \] This expresses any asymmetry in terms of “errors coming from the links” [2003.00160]. The same philosophy appears in the 2021 revisiting paper, where the error term \[ \epsilon_F=\widetilde\chi(\mathrm{lk}_\Delta F)-(-1)^{d-1-|F|} \] governs the general Dehn–Sommerville relation \[ h_{d-i}-h_i = (-1)^i\sum_{F\in\Delta}\binom{d-|F|}{i}\epsilon_F \] for arbitrary simplicial complexes [2108.13145]. This local-error perspective suggests a broad conceptual unification: exact Dehn–Sommerville symmetry corresponds to sphere-like or Eulerian behavior of links, while departures from symmetry are entirely localized in the combinatorics of those links [2003.00160, 2108.13145]. ## 4. Topological realizations and duality explanations In several settings, Dehn–Sommerville symmetries are explained by topological duality rather than by direct combinatorial manipulation. For simplicial posets whose geometric realization is a closed orientable homology manifold, a manifold with boundary \((\widehat X,\partial_1\widehat X)\) can be constructed so that \[ \dim \operatorname{PD}^{2k}(\widehat X,\partial_1\widehat X)=h''_k(S), \] and \[ \operatorname{PD}^*(\widehat X,\partial_1\widehat X)\cong (\mathbb k[S]/\Theta)/I_{NS}. \] Because this is a Poincaré duality algebra, one gets \[ h''_k(S)=h''_{n-k}(S), \] giving a topological basis for the generalized Dehn–Sommerville symmetry of \(h''\)-numbers [1502.05499]. A related topological explanation appears for Bier spheres. Given a simplicial complex \(K\neq \Delta_{[m]}\), a canonical \((2m-2)\)-dimensional toric manifold \(X_K\) is associated to a canonical \((m-1)\)-dimensional complete regular fan \(\Sigma_K\), whose underlying simplicial complex is isomorphic to the Bier sphere \(\mathrm{Bier}(K)\) [2506.13547]. The Dehn-Sommerville relations for Bier spheres take the form \[ h_i(\mathrm{Bier}(K))=h_{n-i}(\mathrm{Bier}(K)), \] and the proof proceeds by Danilov’s theorem, \[ \beta_{2i}(X_K)=h_i(\mathrm{Bier}(K)), \] combined with Poincaré duality on the closed, orientable, smooth manifold \(X_K\), \[ \beta_{2i}(X_K)=\beta_{2n-2i}(X_K). \] Thus, the symmetry of the \(h\)-vector becomes a direct consequence of manifold duality [2506.13547]. These constructions show that, in manifold-like settings, Dehn–Sommerville relations often encode the same formal dualities as cohomological Poincaré duality. A plausible implication is that the term “Dehn-Sommerville manifold” functions partly as a bridge concept between combinatorial face enumeration and duality phenomena in topology. ## 5. Algebraic, valuation-theoretic, and refinement properties The recursive theory associates Dehn-Sommerville symmetry with vanishing of specific linear valuations \(X_{k,q}\) and eigenvector functionals \(Y_{k,q}\) of the barycentric refinement operator [2508.14372]. For \(0\leq k0\), it simultaneously encodes Ehrhart–Macdonald reciprocity [1805.01504]. The same framework extends to non-simple polytopes through \(g\)-polynomial weights and connects the Dehn–Sommerville phenomenon with intersection cohomology and toric varieties [1805.01504]. The poset-theoretic direction develops linear relations between the numbers \(b_i(L)\) of Boolean intervals in a distributive lattice \(L=J(P)\) and clique counts \(f_i(P)\) in an associated graph \(G(P)\), rederiving the Dehn–Sommerville equations for simplicial polytopes through Stanley–Reisner theory and free resolutions [1002.2049]. This again shows that Dehn–Sommerville symmetry can be realized in algebraic-combinatorial categories that are not manifolds in any ordinary topological sense. Taken together, these developments suggest that “Dehn-Sommerville manifold” sits inside a broader landscape of Dehn-Sommerville objects: homology manifolds, semi-Eulerian and reciprocal complexes, balanced and completely balanced complexes, toric constructions from Bier spheres, recursive simplicial complexes defined by unit spheres, and oriented-matroidal simplicial complexes [2108.13145, 2003.00160, 2506.13547, 1703.04508]. The unifying principle is not a single manifold axiom, but the persistence of face-enumerative dualities—often expressible as palindromicity, reciprocity, or vanishing curvature-like valuations—under conditions that range from Poincaré duality to purely local link constraints. Source: https://www.emergentmind.com/topics/dehn-sommerville-manifolds