Resolutions of local face modules, functoriality, and vanishing of local <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>h</mml:mi> </mml:math> -vectors

Abstract

We study the local face modules of triangulations of simplices, i.e. the modules over face rings whose Hilbert functions are local <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>h</mml:mi> </mml:math> -vectors. In particular, we give resolutions of these modules by subcomplexes of Koszul complexes as well as functorial maps between modules induced by inclusions of faces. As applications, we prove a new monotonicity result for local <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>h</mml:mi> </mml:math> -vectors and new results on the structure of faces in triangulations with vanishing local <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>h</mml:mi> </mml:math> -vectors.