Related papers: H-vectors of simplicial complexes with Serre's con…

As is well known, h-vectors of simple (or simplicial) convex polytopes are characterized. In fact, those h-vectors must satisfy Dehn-Sommerville equations and some other inequalities. Simple convex polytopes determine Gorenstein* simplicial…

A relative simplicial complex is a collection of sets of the form $\Delta \setminus \Gamma$, where $\Gamma \subset \Delta$ are simplicial complexes. Relative complexes played key roles in recent advances in algebraic, geometric, and…

We study the equivariant flag $f$-vector and equivariant flag $h$-vector of a balanced relative simplicial complex with respect to a group action. When the complex satisfies Serre's condition $(S_{\ell}),$ we show that the equivariant flag…

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…

We give a negative answer to a question proposed in [3], regarding the $h$-vector of ($S_r$) simplicial complexes.

Given any finite simplicial complex \Delta, we show how to construct a new simplicial complex \Delta_{\chi} that is balanced and vertex decomposable. Moreover, we show that the h-vector of the simplicial complex \Delta_{\chi} is precisely…

We resolve a conjecture of Kalai asserting that the $g_2$-number of any simplicial complex $\Delta$ that represents a connected normal pseudomanifold of dimension $d\geq 3$ is at least as large as ${d+2 \choose 2}m(\Delta)$, where…

Let $R$ be a standard graded algebra over a field. We investigate how the singularities of $R$ affect its $h$-vector, which is the coefficients of the numerator of its Hilbert series. The most concrete consequences of our work asserts that…

Given X,Y two Q-vector spaces, and f:X -> Y, we study under which conditions on the sets $B_k\subseteq X$, k=1,...,s, if $\Delta_{h_1h_2... h_s}f(x)=0$ for all x in X and h_k in B_k, k=1,2,...,s, then $\Delta_{h_1h_2... h_s}f(x)=0$ for all…

Given an infinite field $\mathbb{k}$ and a simplicial complex $\Delta$, a common theme in studying the $f$- and $h$-vectors of $\Delta$ has been the consideration of the Hilbert series of the Stanley--Reisner ring $\mathbb{k}[\Delta]$…

A triangulation of a simplicial complex $\Delta$ is called uniform if the $f$-vector of its restriction to a face of $\Delta$ depends only on the dimension of that face. This paper proves that the entries of the $h$-vector of a uniform…

Let $\Delta$ be a $(d-1)$-dimensional simplicial complex and $h^ \Delta = (h_0^ \Delta ,\ldots, h_d^ \Delta)$ its $h$-vector. For a face uniform subdivision operation ${\mathcal F}$ we write $\Delta_{\mathcal F}$ for the subdivided complex…

We say that a pure simplicial complex ${\mathbf K}$ of dimension $d$ satisfies the removal-collapsibility condition if ${\mathbf K}$ is either empty or ${\mathbf K}$ becomes collapsible after removing $\tilde \beta_d ({\mathbf K}; {\mathbb…

We introduce sequentially $S_r$ modules over a commutative graded ring and sequentially $S_r$ simplicial complexes. This generalizes two properties for modules and simplicial complexes: being sequentially Cohen-Macaulay, and satisfying…

We associate with every pure flag simplicial complex $\Delta$ a standard graded Gorenstein $\mathbb{F}$-algebra $R_{\Delta}$ whose homological features are largely dictated by the combinatorics and topology of $\Delta$. As our main result,…

A simplicial cell ball is a simplicial poset whose geometric realization is homeomorphic to a ball. Recently, Samuel Kolins gave a series of necessary conditions and sufficient conditions on $h$-vectors of simplicial cell balls, and…

Throughout, let $R$ be a commutative Noetherian ring. A ring $R$ satisfies Serre's condition $(S_{\ell})$ if for all $P \in \Spec R,$ $\depth R_P \geq \min \{ \ell , \dim R_P \}$. Serre's condition has been a topic of expanding interest. In…

A simplicial complex $\Delta$ is a virtually Cohen-Macaulay simplicial complex if its associated Stanley-Reisner ring $S$ has a virtual resolution, as defined by Berkesch, Erman, and Smith, of length ${\rm codim}(S)$. We provide a…

We call a monoidal category ${\mathcal C}$ a Serre category if for any $C$, $D \in {\mathcal C}$ such that $C\ot D$ is semisimple, $C$ and $D$ are semisimple objects in ${\mathcal C}$. Let $H$ be an involutory Hopf algebra, $M$, $N$ two…

For a simplicial complex X and a field K, let h_i(X)=\dim \tilde{H}_i(X;K). It is shown that if X,Y are complexes on the same vertex set, then for all k h_{k-1}(X\cap Y) \leq \sum_{\sigma \in Y} \sum_{i+j=k} h_{i-1}(X[\sigma])\cdot…