arXiv++ Combinatorics

The classical Dehn--Sommerville relations assert that the $h$-vector of an Eulerian simplicial complex is symmetric. We establish three generalizations of the Dehn--Sommerville relations: one for the $h$-vectors of pure simplicial complexes, another one for the flag $h$-vectors of balanced simplicial complexes and graded posets, and yet another one for the toric $h$-vectors of graded posets with restricted singularities. In all of these cases, we express any failure of symmetry in terms of "errors coming from the links." For simplicial complexes, this further extends Klee's semi-Eulerian relations.

Given an infinite field $\mathbb{k}$ and a simplicial complex $Δ$, a common theme in studying the $f$- and $h$-vectors of $Δ$ has been the consideration of the Hilbert series of the Stanley--Reisner ring $\mathbb{k}[Δ]$ modulo a generic linear system of parameters $Θ$. Historically, these computations have been restricted to special classes of complexes (most typically triangulations of spheres or manifolds). We provide a compact topological expression of $h_{d-1}^\mathfrak{a}(Δ)$, the dimension over $\mathbb{k}$ in degree $d-1$ of $\mathbb{k}[Δ]/(Θ)$, for any complex $Δ$ of dimension $d-1$. In the process, we provide tools and techniques for the possible extension to other coefficients in the Hilbert series.

There are a large number of theorems detailing the homological properties of the Stanley--Reisner ring of a simplicial complex. Here we attempt to generalize some of these results to the case of a simplicial poset. By investigating the combinatorics of certain modules associated with the face ring of a simplicial poset from a topological viewpoint, we extend some results of Miyazaki and Gräbe to a wider setting.

We consider simplicial complexes admitting a free action by an abelian group. Specifically, we establish a refinement of the classic result of Hochster describing the local cohomology modules of the associated Stanley--Reisner ring, demonstrating that the topological structure of the free action extends to the algebraic setting. If the complex in question is also Buchsbaum, this new description allows for a specialization of Schenzel's calculation of the Hilbert series of some of the ring's Artinian reductions. In further application, we generalize to the Buchsbaum case the results of Stanley and Adin that provide a lower bound on the $h$-vector of a Cohen-Macaulay complex admitting a free action by a cyclic group of prime order.

We study properties of the Stanley-Reisner rings of simplicial complexes with isolated singularities modulo two generic linear forms. Miller, Novik, and Swartz proved that if a complex has homologically isolated singularities, then its Stanley-Reisner ring modulo one generic linear form is Buchsbaum. Here we examine the case of non-homologically isolated singularities, providing many examples in which the Stanley-Reisner ring modulo two generic linear forms is a quasi-Buchsbaum but not Buchsbaum ring.

A simplicial complex of dimension $d-1$ is said to be balanced if its graph is $d$-colorable. Juhnke-Kubitzke and Murai proved an analogue of the generalized lower bound theorem for balanced simplicial polytopes. We establish a generalization of their result to balanced triangulations of closed homology manifolds and balanced triangulations of orientable homology manifolds with boundary under an additional assumption that all proper links of these triangulations have the weak Lefschetz property. As a corollary, we show that if $Δ$ is an arbitrary balanced triangulation of any closed homology manifold of dimension $d-1 \geq 3$, then $2h_2(Δ) - (d-1)h_1(Δ) \geq 4{d \choose 2}(\tildeβ_1(Δ)-\tildeβ_0(Δ))$, thus verifying a conjecture by Klee and Novik. To prove these results we develop the theory of flag $h''$-vectors.