A duality in Buchsbaum rings and triangulated manifolds

DOI10.2140/ANT.2017.11.635MaRDI QIDQ2397616zbMATH OpenOpenAlexFDO

Authors Satoshi Murai, Isabella Novik, Ken-Ichi Yoshida

Publication date 23 May 2017

Published in Algebra \& Number Theory (Search for Journal in Brave)

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

zbMATH Keywords

\(h\)-vectorsBuchsbaum ringsStanley-Reisner ringstriangulated manifolds

Mathematics Subject Classification ID

Combinatorial aspects of commutative algebra (05E40) Commutative rings defined by monomial ideals; Stanley-Reisner face rings; simplicial complexes (13F55) Special types (Cohen-Macaulay, Gorenstein, Buchsbaum, etc.) (13H10) Combinatorial properties of polytopes and polyhedra (number of faces, shortest paths, etc.) (52B05) Triangulating manifolds (57Q15)

Abstract: Let $Delta$ be a triangulated homology ball whose boundary complex is $partialDelta$. A result of Hochster asserts that the canonical module of the Stanley--Reisner ring of $Delta$, $mathbbF[Delta]$, is isomorphic to the Stanley--Reisner module of the pair $(Delta,partialDelta)$, $mathbbF[Delta,partialDelta]$. This result implies that an Artinian reduction of $mathbbF[Delta,partialDelta]$ is (up to a shift in grading) isomorphic to the Matlis dual of the corresponding Artinian reduction of $mathbbF[Delta]$. We establish a generalization of this duality to all triangulations of connected orientable homology manifolds with boundary. We also provide an explicit algebraic interpretation of the $$-numbers of Buchsbaum complexes and use it to prove the monotonicity of $$-numbers for pairs of Buchsbaum complexes as well as the unimodality of $$-vectors of barycentric subdivisions of Buchsbaum polyhedral complexes. We close with applications to the algebraic manifold $g$-conjecture.

Review text

In the paper under review, the authors study an algebraic duality of Stanley-Reisner rings of triangulated homology manifolds with nonempty boundary. Let \(\Delta\) be a triangulated homology ball whose boundary complex is \(\partial \Delta\). A result of Hochster asserts that the canonical module of the Stanley-Reisner ring \(\mathbb{F}[\Delta]\) of \(\Delta\) is isomorphic to the Stanley-Reisner module \(\mathbb{F}[\Delta, \partial \Delta]\) of the pair \((\Delta, \partial \Delta)\). This result implies that an Artinian reduction of \(\mathbb{F}[\Delta, \partial \Delta]\) is (up to a shift in grading) isomorphic to the Matlis dual of the corresponding Artinian reduction of \(\mathbb{F}[\Delta]\). In this paper, the authors establish a generalization of this duality to all triangulations of connected orientable homology manifolds with boundary. They also provide an explicit algebraic interpretation of the \(h\)-numbers of Buchsbaum complexes and use it to prove the monotonicity of \(h\)-numbers for pairs of Buchsbaum complexes as well as the unimodality of \(h\)-vectors of barycentric subdivisions of Buchsbaum polyhedral complexes. They also provide applications to the algebraic manifold \(g\)-conjecture.

Recommendations

• scientific article; zbMATH DE number 4200366
• Publication:3204593
• scientific article; zbMATH DE number 857334
• On the homology of the dual de Rham complex
• scientific article; zbMATH DE number 2145099
• A geometric theory of the Buchsbaum-Rim multiplicity
• scientific article; zbMATH DE number 3979217
• scientific article; zbMATH DE number 1364667
• Duality for graded manifolds
• scientific article; zbMATH DE number 3979216

Cites work

• A generalized lower‐bound conjecture for simplicial polytopes
• A monotonicity property of h-vectors and h^*-vectors
• Combinatorics and commutative algebra.
• Dualisierende Komplexe in der lokalen Algebra und Buchsbaum-Ringe
• Face enumeration on simplicial complexes
• Generalized Dehn-Sommerville equations and an upper bound theorem
• Gorenstein rings through face rings of manifolds
• scientific article; zbMATH DE number 3717449 (Why is no real title available?)
• scientific article; zbMATH DE number 482758 (Why is no real title available?)
• Konstruktionsmethoden und das kombinatorische Homöomorphieproblem für Triangulationen kompakter semilinearer Mannigfaltigkeiten. (Methods of constructions and the combinatorical homeomorphism problem for triangulations of compact semilinear manifolds)
• On r-stacked triangulated manifolds
• On face vectors of barycentric subdivisions of manifolds
• On the associated graded rings of parameter ideals in Buchsbaum rings
• On the number of faces of simplicial complexes and the purity of Frobenius
• P.l. homeomorphic manifolds are equivalent by elementary shellings
• Relative Stanley-Reisner theory and upper bound theorems for Minkowski sums
• Socles of Buchsbaum modules, complexes and posets
• Some special cases of a conjecture of Sharp
• Squarefree \( P\)-modules and the \({\mathbf {cd}}\)-index
• Upper bound theorems for homology manifolds
• Über den Stanley-Reisner-Ring von Quasimannigfaltigkeiten

Cited in

(9)

• Stanley-Reisner rings of simplicial complexes with a free action by an abelian group
• A generalized lower bound theorem for balanced manifolds
• \(g\)-vectors of manifolds with boundary
• On \(f\)- and \(h\)-vectors of relative simplicial complexes
• Algebraic \(h\)-vectors of simplicial complexes through local cohomology. I
• scientific article; zbMATH DE number 3979216 (Why is no real title available?)
• Combinatorial g-conjecture for interval subdivisions
• Weak Lefschetz property and stellar subdivisions of Gorenstein complexes
• A generalization of a result of Dong and Santos-Sturmfels on the Alexander dual of spheres and balls

This page was built for publication: A duality in Buchsbaum rings and triangulated manifolds

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