We study the symbolic powers of the Stanley-Reisner ideal $I_{B_n}$ of a bipyramid $B_n$ over a $n-$gon $Q_n$. Using a combinatorial approach, based on analysis of subtrees in $Q_n$ we compute the Waldschmidt constant of $I_{B_n}$.
Let $Δ$ be a one-dimensional simplicial complex. Let $I_Δ$ be the Stanley-Reisner ideal of $Δ$. We prove that for all $s \ge 1$ and all intermediate ideals $J$ generated by $I_Δ^s$ and some minimal generators of $I_Δ^{(s)}$, we have $${\rm reg} J = {\rm reg} I_Δ^s = {\rm reg} I_Δ^{(s)}.$$
We consider ideals $I$ in a Stanley-Reisner ring $k[Δ]$ over the simplical complex $Δ$, such that the tight closure of $I$, $I^*$, is equal to $\mathfrak{m}$, the standard graded maximal ideal of $k[Δ]$. We determine the minimal number of generators of $I$ to be the $\dim Δ+1$ and note the important role this value plays in bounding the intersection of all such ideals $I$. We make mention of this intersection in special cases of Stanley-Reisner rings. We conclude with a description of how this work relates to integral closure.
A triangulation of a polygon has an associated Stanley-Reisner ideal. We obtain a full algebraic and combinatorial understanding of these ideals, and describe their separated models. More generally we do this for stacked simplicial complexes, in particular for stacked polytopes.
The Frobenius complexity of a local ring $R$ measures asymptotically the abundance of Frobenius operators of order $e$ on the injective hull of the residue field of $R$. It is known that, for Stanley-Reisner rings, the Frobenius complexity is either $-\infty$ or $0$. This invariant is determined by the complexity sequence $\{c_ e\}_e $ of the ring of Frobenius operators on the injective hull of the residue field. We will show that $\{c_ e\}_e $ is constant for $e\geq 2,$ generalizing work of Alvarez Montaner, Boix and Zarzuela. Our result settles an open question mentioned by Alvarez Montaner …
We study the properties of the rook complex $\mathcal{R}$ of a polyomino $\mathcal{P}$ seen as independence complex of a graph $G$, and the associated Stanley--Reisner ideal $I_\mathcal{R}$. In particular, we characterize the polyominoes $\mathcal{P}$ having a pure rook complex, and the ones whose Stanley--Reisner ideal has linear resolution. Furthermore, we prove that for a class of polyominoes the Castelnuovo-Mumford regularity of $I_\mathcal{R}$ coincides with the induced matching number of $G$.
The goal of the present paper is the study of some algebraic invariants of Stanley-Reisner rings of Cohen-Macaulay simplicial complexes of dimension $d - 1$. We prove that the inequality $d \leq \mathrm{reg}(Δ) \cdot \mathrm{type}(Δ)$ holds for any $(d-1)$-dimensional Cohen-Macaulay simplicial complex $Δ$ satisfying $Δ=\mathrm{core}(Δ)$, where $\mathrm{reg}(Δ)$ (resp. $\mathrm{type}(Δ)$) denotes the Castelnuovo-Mumford regularity (resp. Cohen-Macaulay type) of the Stanley-Reisner ring $\Bbbk[Δ]$. Moreover, for any given integers $d,r,t$ satisfying $r,t \geq 2$ and $r \leq d \leq rt$, we constr…
In this short note we give an elementary description of the linear part of the minimal free resolution of a Stanley-Reisner ring of a simplicial complex $Δ$. Indeed, the differentials in the linear part are simply a compilation of restriction maps in the simplicial cohomology of induced subcomplexes of $Δ$. Along the way, we also show that if a monomial ideal has at least one generator of degree $2$, then the linear strand of its minimal free resolution can be written using only $\pm 1$ coefficients.
In this paper we settle long-standing questions regarding the combinatorial complexity of Minkowski sums of polytopes: We give a tight upper bound for the number of faces of a Minkowski sum, including a characterization of the case of equality. We similarly give a (tight) upper bound theorem for mixed faces of Minkowski sums. This has a wide range of applications and generalizes the classical the Upper Bound Theorems of McMullen and Stanley. Our main tool is relative Stanley--Reisner theory, a powerful generalization of the algebraic theory of simplicial complexes inaugurated by Hochster, Reis…
