A duality in Buchsbaum rings and triangulated manifolds

Combinatorial properties of polytopes and polyhedra (number of faces, shortest paths, etc.) (52B05) 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) Triangulating manifolds (57Q15)

Abstract: Let

D e l t a

be a triangulated homology ball whose boundary complex is

p a r t i a l D e l t a

. A result of Hochster asserts that the canonical module of the Stanley--Reisner ring of

D e l t a

,

m a t h b b F [D e l t a]

, is isomorphic to the Stanley--Reisner module of the pair

(D e l t a, p a r t i a l D e l t a)

,

m a t h b b F [D e l t a, p a r t i a l D e l t a]

. This result implies that an Artinian reduction of

m a t h b b F [D e l t a, p a r t i a l D e l t a]

is (up to a shift in grading) isomorphic to the Matlis dual of the corresponding Artinian reduction of

m a t h b b F [D e l t a]

. 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.

Recommendations

Cites work

Cited in

(9)

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)