Related papers: Simplicial complexes and Macaulay's inverse system…

Let $S = K[x_1, ..., x_n]$ denote the polynomial ring in $n$ variables over a field $K$ with each $\deg x_i = 1$. Let $\Delta$ be a simplicial complex on $[n] = \{1, ..., n \}$ and $I_\Delta \subset S$ its Stanley--Reisner ideal. We write…

In this paper we study the Alexander dual of a vertex decomposable simplicial complex. We define the concept of a vertex splittable ideal and show that a simplicial complex $\Delta$ is vertex decomposable if and only if $I_{\Delta^{\vee}}$…

We show that for a vertex decomposable simplicial complex $\Delta$, the Rees algebra of $I_{\Delta^{\vee}}$ is a normal Cohen-Macaulay domain. As consequences, we show that any squarefree weakly polymatroidal ideal is normal and we obtain…

{\tt AbstractSimplicialComplexes.m2} is a computer algebra package written for the computer algebra system {\tt Macaulay2} \cite{M2}. It provides new infrastructure to work with abstract simplicial complexes and related homological…

We extend a result of Minh and Trung to get criteria for $\depth I=\depth\sqrt{I}$ where $I$ is an unmixed monomial ideal of the polynomial ring $S=K[x_1,..., x_n]$. As an application we characterize all the pure simplicial complexes…

Let $A$ be an Artinian Gorenstein algebra over an infinite field $k$ with either $\hbox{char}(k)=0$ or $\hbox{char}(k)>\nu$, where $\nu$ is the socle degree of $A$. To every such algebra and a linear projection $\pi$ on its maximal ideal…

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]$…

There are two seemingly unrelated ideals associated with a simplicial complex \Delta. One is the Stanley-Reisner ideal I_\Delta, the monomial ideal generated by minimal non-faces of \Delta, well-known in combinatorial commutative algebra.…

Stanley-Reisner rings of Buchsbaum* complexes are studied by means of their quotients modulo a linear system of parameters. The socle of these quotients is computed. Extending a recent result by Novik and Swartz for orientable homology…

To a simplicial complex, we associate a square-free monomial ideal in the polynomial ring generated by its vertex set over a field. We study algebraic properties of this ideal via combinatorial properties of the simplicial complex. By…

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…

A finite poset $P$ is called "simplicial", if it has the smallest element $\hat{0}$, and every interval $[\hat{0}, x]$ is a boolean algebra. The face poset of a simplicial complex is a typical example. Generalizing the Stanley-Reisner ring…

For $\Bbbk$ a field, let $X$ a $m \times n$ matrix of variables and $S=\Bbbk[X].$ We consider the determinantal ideal $I_2 \subseteq S$ generated by the $2$-minors of $X.$ In this paper we find a suitable monomial order over $S$ such that…

We study a quadruple of interrelated subexponential subsystems of arithmetic WKL$_0^-$, RCA$^-_0$, I$\Delta_0$, and $\Delta$RA$_1$, which complement the similarly related quadruple WKL$_0$, RCA$_0$, I$\Sigma_1$, and PRA studied by Simpson,…

We consider the relationship between the Stanley-Reisner ring (a.k.a. face ring) of a simplicial or boolean complex $\Delta$ and that of its barycentric subdivision. These rings share a distinguished parameter subring. S. Murai asked if…

During the last months or so we had the opportunity to read two papers trying to relate the study of Macaulay (1916) inverse systems with the so-called Riquier (1910)-Janet (1920) initial conditions for the integration of linear analytic…

Since its original publication in 1916 under the title "The Algebraic Theory of Modular Systems", the book by F. S. Macaulay has attracted a lot of scientists with a view towards pure mathematics (D. Eisenbud,...) or applications to control…

We investigate generalized notions of the nerve complex for the facets of a simplicial complex. We show that the homologies of these higher nerve complexes determine the depth of the Stanley-Reisner ring $k[\Delta]$ as well as the…

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…

We generalize the definition and enumeration of spanning trees from the setting of graphs to that of arbitrary-dimensional simplicial complexes $\Delta$, extending an idea due to G. Kalai. We prove a simplicial version of the Matrix-Tree…