Reciprocal domains and {C}ohen-{M}acaulay {d}-complexes in { R^ d}

MaRDI QIDQ1773145zbMATH OpenFDO

Authors Ezra Miller, Victor Reiner

Publication date 25 April 2005

Published in The Electronic Journal of Combinatorics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0408169, https://eudml.org/doc/125794, http://www.emis.de/journals/EJC/Volume_11/Abstracts/v11i2n1.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

Cohen-Macaulay complexlattice point enumeratorspolyhedral rational conereciprocal domains

Mathematics Subject Classification ID

Algebraic combinatorics (05E99) Special types (Cohen-Macaulay, Gorenstein, Buchsbaum, etc.) (13H10) Polyhedra and polytopes; regular figures, division of spaces (51M20) Lattice polytopes in convex geometry (including relations with commutative algebra and algebraic geometry) (52B20) General topology of complexes (57Q05)

Abstract: We extend a reciprocity theorem of Stanley about enumeration of integer points in polyhedral cones when one exchanges strict and weak inequalities. The proof highlights the roles played by Cohen-Macaulayness and canonical modules. The extension raises the issue of whether a Cohen-Macaulay complex of dimension d embedded piecewise-linearly in d-space is necessarily a d-ball. This is observed to be true for d at most 3, but false for d=4.

Review text

Let \(C\) be a pointed polyhedral rational cone of full dimension \(d\). \textit{R. P. Stanley} has shown that, for two \(\Delta, \Delta'\) subcomplexes of \(C\) that are linearly separated reciprocal domains, their lattice point enumerators satisfy the relationship \(F_{C \setminus \Delta'} (x^{-1}) =(-1)^d F _{C \setminus \Delta} (x)\) [Adv. Math. 14, 194-253 (1974; Zbl 0294.05006)]. The authors show here that this relationship holds true if \(\Delta\) is a Cohen-Macaulay subcomplex over some field \(k\), a condition which is weaker than Stanley's hypothesis. The paper also shows that if a \(d\)-dimensional proper subcomplex \(K\) of the boundary of a \((d+1)\)-polytope is Cohen-Macaulay over some field \(k\), then \(K\) has its topological space \(| K |\) isomorphic to a \(d\)-ball for \(d \leq 3\). This fails to be true for \(d=4\), as the authors show by using an example of Mazur coupled with a result by Shewchuk.

Recommendations

• Cohen-Macaulay cell complexes
• Steinitz' theorem analogue for two-dimensional Cohen-Macaulay complexes
• Cohen-Macaulay simplicial complexes
• A monotonicity property of h-vectors and h^*-vectors
• Topological results in combinatorics

Cited in

(2)

• Discrete Morse theory for manifolds with boundary
• An Alexander-type duality for valuations

This page was built for publication: Reciprocal domains and {C}ohen-{M}acaulay {\(d\)}-complexes in {\(\mathbb R^ d\)}

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