Cubical subdivisions and local h-vectors

DOI10.1007/S00026-012-0140-YMaRDI QIDQ1928577zbMATH OpenOpenAlexFDO

Authors Christos A. Athanasiadis

Publication date 3 January 2013

Published in Annals of Combinatorics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1007.3154

zbMATH Keywords

cubical \(h\)-vectorcubical complexcubical local \(h\)-vectorcubical subdivisionface enumerationformal subdivisionlocally Eulerian poset

Mathematics Subject Classification ID

Combinatorial aspects of simplicial complexes (05E45) Combinatorics of partially ordered sets (06A07) Combinatorial properties of polytopes and polyhedra (number of faces, shortest paths, etc.) (52B05)

Abstract: Face numbers of triangulations of simplicial complexes were studied by Stanley by use of his concept of a local $h$-vector. It is shown that a parallel theory exists for cubical subdivisions of cubical complexes, in which the role of the $h$-vector of a simplicial complex is played by the (short or long) cubical $h$-vector of a cubical complex, defined by Adin, and the role of the local $h$-vector of a triangulation of a simplex is played by the (short or long) cubical local $h$-vector of a cubical subdivision of a cube. The cubical local $h$-vectors are defined in this paper and are shown to share many of the properties of their simplicial counterparts. Generalizations to subdivisions of locally Eulerian posets are also discussed.

Review text

Simplicial subdivisions, or triangulations, of simplicial complexes were studied from an enumeration perspective by \textit{R. P. Stanley} [J. Am. Math. Soc. 5, No. 4, 805--851 (1992; Zbl 0768.05100)]. In particular, the \textit{(local) \(h\)-vector} of a simplicial complex, a useful way to represent the number of faces of the complex, is studied there extensively. The present paper develops an analog theory for \textit{cubical subdivisions} for cubical complexes, where the analog role of the \(h\)-vector is played by the (short and long) \textit{cubical \(h\)-vector} and its corresponding \textit{cubical \(h\)-polynomial}, a well behaved generating function introduced by \textit{R. M. Adin} [Discrete Math. 157, No. 1--3, 3--14 (1996; Zbl 0861.52007)] for cubical complexes. Roughly, a \textit{cubical complex} is a complex where each face is a hypercube, instead of the usual simplex as in a simplicial complex. The author shows that the role of the local \(h\)-vector of a triangulation of a simplex is played by both the short and long \textit{cubical local \(h\)-vector} of a cubical subdivision of a hypercube, something the author introduces in this paper. It is shown, among other things, that (i) for both the short and long type of cubical \(h\)-polynomials, similar formulas hold for cubical subdivisions of a \textit{pure cubical complex} as in the analogous case of the usual \(h\)-polynomial from [Zbl 0768.05100], (ii) also, the cubical local \(h\)-vectors are shown to have symmetric coefficients. It is shown that (iii) the coefficients of a short cubical local \(h\)-vector for \textit{locally quasi-geometric} cubical subdivisions are non-negative, and further (iv) that it has monotonicity property similar to the one described in [Zbl 0768.05100] in the simplicial case. The theory of cubical subdivisions of more general locally Eulerian posets are also discussed. All methods in the present paper are similar to those that are used in Stanley's [Zbl 0768.05100] with the appropriate variations and cubical analogues.

Recommendations

• A new cubical h-vector
• A survey of subdivisions and local h-vectors
• Subdivisions and Local h-Vectors
• Face numbers of barycentric subdivisions of cubical complexes
• On subdivisions of simplicial complexes: Characterizing local h- vectors

Cites work

• g-elements, finite buildings and higher Cohen-Macaulay connectivity.
• A generalized lower‐bound conjecture for simplicial polytopes
• A monotonicity property of h-vectors and h^*-vectors
• A new cubical h-vector
• A short simplicial h-vector and the upper bound theorem
• Combinatorics and commutative algebra.
• Decomposition theorem for the cd-index of Gorenstein posets
• scientific article; zbMATH DE number 4063945 (Why is no real title available?)
• scientific article; zbMATH DE number 1033382 (Why is no real title available?)
• scientific article; zbMATH DE number 2008526 (Why is no real title available?)
• scientific article; zbMATH DE number 863503 (Why is no real title available?)
• scientific article; zbMATH DE number 961240 (Why is no real title available?)
• Lectures on Polytopes
• Lower bounds for cubical pseudomanifolds
• Neighborly cubical spheres and a cubical lower bound conjecture
• On the Stanley ring of a cubical complex
• Posets, regular CW complexes and Bruhat order
• Subdivisions and Local h-Vectors
• The lower and upper bound problems for cubical polytopes

Cited in

(11)

• On subdivisions of simplicial complexes: Characterizing local h- vectors
• Local \(h\)-vectors of quasi-geometric and barycentric subdivisions
• A new cubical h-vector
• Face numbers of barycentric subdivisions of cubical complexes
• Subdivisions and Local h-Vectors
• On a cubical subdivision of the simplicial complex
• scientific article; zbMATH DE number 961240 (Why is no real title available?)
• Resolutions of local face modules, functoriality, and vanishing of local \(h\)-vectors
• Lefschetz properties of local face modules
• The local motivic monodromy conjecture for simplicial nondegenerate singularities
• Cubical local partial orders on cubically subdivided spaces -- existence and construction

This page was built for publication: Cubical subdivisions and local \(h\)-vectors

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1928577)