Stanley-Reisner rings, sheaves, and Poincare-Verdier duality

A "squarefree module" over a polynomial ring $S = k[x_1, .., x_n]$ is a generalization of a Stanley-Reisner ring, and allows us to apply homological methods to the study of monomial ideals systematically. Let $Sq$ be the category of squarefree modules. Then the derived category $D^b(Sq)$ of $Sq$ has three duality functors which act on $D^b(Sq)$ just like three transpositions of the symmetric group $S_3$ (up to translation). This phenomenon is closely related to the Koszul dul...

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 som...

Let $\Delta$ be a simplicial complex on $V = \{x_1,...,x_n\}$, with Stanley-Reisner ideal $I_{\Delta}\subseteq R = k[x_1,...,x_n]$. The goal of this paper is to investigate the class of artinian algebras $A=A(\Delta,a_1,...,a_n)= R/(I_{\Delta},x_1^{a_1},...,x_n^{a_n})$, where each $a_i \geq 2$. By utilizing the technique of Macaulay's inverse systems, we can explicitly describe the socle of $A$ in terms of $\Delta$. As a consequence, we determine the simplicial complexes, tha...

``What kind of ring can be represented as the singular cohomology ring of a space?'' is a classic problem in algebraic topology, posed by Steenrod. In this paper, we consider this problem when rings are the graded Stanley-Reisner rings, in other words the polynomial rings divided by an ideal generated by square-free monomials. Under some assumption, we give a necessary and sufficiently condition that a graded Stanley-Reisner ring is realizable.

Let $\Delta$ be a triangulated homology ball whose boundary complex is $\partial\Delta$. A result of Hochster asserts that the canonical module of the Stanley--Reisner ring of $\Delta$, $\mathbb F[\Delta]$, is isomorphic to the Stanley--Reisner module of the pair $(\Delta, \partial\Delta)$, $\mathbb F[\Delta,\partial \Delta]$. This result implies that an Artinian reduction of $\mathbb F[\Delta,\partial \Delta]$ is (up to a shift in grading) isomorphic to the Matlis dual of th...

The proof of the combinatorial Hard Lefschetz Theorem for the ``virtual'' intersection cohomology of a not necessarily rational polytopal fan that has been presented by K. Karu completely establishes Stanley's conjectures for the generalized $h$-vector of an arbitrary polytope. The main ingredients, namely, Poincare Duality and the Hard Lefschetz Theorem, both rely on the intersection product. In the constructions of Barthel, Brasselet, Fieseler and Kaup and Bressler and Lunt...

Let $k$ be a field and $R=k[x_1,\ldots,x_n]/I=S/I$ a graded ring. Then $R$ has a $t$-linear resolution if $I$ is generated by homogeneous elements of degree $t$, and all higher syzygies are linear. Thus $R$ has a $t$-linear resolution if ${\rm Tor}^S_{i,j}(S/I,k)=0$ if $j\ne i+t-1$. For a simplicial complex $\Delta$ on $[{\bf n}]=\{1,\ldots,n\}$ and a field $k$, the Stanley-Reisner ring $k[\Delta]$ is $k[x_1,\ldots,x_n]/I$, where $I$ is generated by those squarefree monomia...

We provide a new foundation for combinatorial commutative algebra and Stanley-Reisner theory using the partition complex introduced in [Adi18]. One of the main advantages is that it is entirely self-contained, using only a minimal knowledge of algebra and topology. On the other hand, we also develop new techniques and results using this approach. In particular, we provide - A novel, self-contained method of establishing Reisner's theorem and Schenzel's formula for Buchsbaum...

We review a class of problems on the borders of topology of torus actions, commutative homological algebra and combinatorial geometry, which is currently being investigated by Victor Buchstaber and the author. The text builds on the lectures delivered on the transformation group courses in Osaka City University and Universitat Autonoma de Barcelona. We start with discussing several well-known results and problems on combinatorial geometry of polytopes and simplicial complexes...

For regular local ring, the ``second vanishing theorem'' or ``SVT'' of local cohomology has been proved in several cases. In this paper, we explore the result similar to that of the SVT to Stanley-Reisner ring with an interpretation from combinatorial topology.