Buchsbaum Stanley–Reisner Rings and Cohen–Macaulay Covers

First, we give a new criterion for Buchsbaum Stanley–Reisner rings to have linear resolutions. Next, we prove that every (d ? 1)-dimensional complex Δ of initial degree d is contained in the same dimensional Cohen–Macaulay complex whose (d ? 1)th reduced homology is isomorphic to that of Δ. We call such a simplicial complex a Cohen–Macaulay cover of Δ. And we also show that all the intermediate complexes between Δ and its Cohen–Macaulay cover are Buchsbaum provided that Δ is Buchsbaum. As an application, we determine the h-vectors of the 3-dimensional Buchsbaum Stanley–Reisner rings with initial degree 3.     

The Multiplicity Conjecture for Barycentric Subdivisions

For a simplicial complex Δ we study the effect of barycentric subdivision on ring theoretic invariants of its Stanley–Reisner ring. In particular, for Stanley–Reisner rings of barycentric subdivisions we verify a conjecture by Huneke and Herzog and Srinivasan, that relates the multiplicity of a standard graded k-algebra to the product of the maximal and minimal shifts in its minimal free resolution up to the height. On the way to proving the conjecture, we develop new and list well-known results on behavior of dimension, Hilbert series, multiplicity, local cohomology, depth, and regularity when passing from the Stanley–Reisner ring of Δ to the one of its barycentric subdivision.     

The Stanley–Reisner Ideals of Polygons as Set-Theoretic Complete Intersections

We show that the Stanley–Reisner ideal of the one-dimensional simplicial complex whose diagram is an n-gon is always a set-theoretic complete intersection in any positive characteristic.     

Linear balls and the multiplicity conjecture

A linear ball is a simplicial complex whose geometric realization is homeomorphic to a ball and whose Stanley–Reisner ring has a linear resolution. It turns out that the Stanley–Reisner ring of the sphere which is the boundary complex of a linear ball satisfies the multiplicity conjecture. A class of shellable spheres arising naturally from commutative algebra whose Stanley–Reisner rings satisfy the multiplicity conjecture will be presented.     

Schubert Patches Degenerate to Subword Complexes

We study the intersections of general Schubert varieties X _w with permuted big cells, and give an inductive degeneration of each such “Schubert patch” to a Stanley–Reisner scheme. Similar results had been known for Schubert patches in various types of Grassmannians. We maintain reducedness using the results of Knutson [Kn07] on automatically reduced degenerations, or through more standard cohomology-vanishing arguments. The underlying simplicial complex of the Stanley–Reisner scheme is a subword complex, as introduced for slightly di_erent purposes in Knutson–Miller [KnM05], and is homeomorphic to a ball. This gives a new proof of the Andersen–Jantzen–Soergel/Billey and Graham/Willems formulae for restrictions of equivariant Schubert classes to fixed points.     

Skeletons of monomial ideals

In analogy to the skeletons of a simplicial complex and their Stanley–Reisner ideals we introduce the skeletons of an arbitrary monomial ideal I ? S = K [x₁, …, x_n ]. This allows us to compute the depth of S /I in terms of its skeleton ideals. We apply these techniques to show that Stanley's conjecture on Stanley decompositions of S /I holds provided it holds whenever S /I is Cohen–Macaulay. We also discuss a conjecture of Soleyman Jahan and show that it suffices to prove his conjecture for monomial ideals with linear resolution (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Betti numbers of Stanley–Reisner rings determine hierarchical Markov degrees

There are two seemingly unrelated ideals associated with a simplicial complex Δ: one is the Stanley–Reisner ideal I _Δ , the monomial ideal generated by minimal non-faces of Δ, well-known in combinatorial commutative algebra; the other is the toric ideal I _M(Δ) of the facet subring of Δ, whose generators give a Markov basis for the hierarchical model defined by Δ, playing a prominent role in algebraic statistics. In this note we show that the complexity of the generators of I _M(Δ) is determined by the Betti numbers of I _Δ . The unexpected connection between the syzygies of the Stanley–Reisner ideal and degrees of minimal generators of the toric ideal provide a framework for further exploration of the connection between the model and its many relatives in algebra and combinatorics.     

Stanley–Reisner resolution of constant weight linear codes

Given a constant weight linear code, we investigate its weight hierarchy and the Stanley–Reisner resolution of its associated matroid regarded as a simplicial complex. We also exhibit conditions on the higher weights sufficient to conclude that the code is of constant weight.     

Simplicial Girth and Pure Resolutions

Generalizing the notion of the girth of a graph, a sequence of simplicial girths is assigned to each simplicial complex. Given a simplicial girth, lower bounds on higher simplicial girths are proven. When a simplicial girth is given and the Stanley–Reisner ring has a pure resolution, upper bounds on the number of vertices are proven.     

A Gorenstein simplicial complex for symmetric minors

We show that the ideal generated by the (n - 2) minors of a general symmetric n by n matrix has an initial ideal that is the Stanley–Reisner ideal of the boundary complex of a simplicial polytope and has the same graded Betti numbers.     

On the Stanley–Reisner ideal of an expanded simplicial complex

Let Δ be a simplicial complex. We study the expansions of Δ mainly to see how the algebraic and combinatorial properties of Δ and its expansions are related to each other. It is shown that Δ is Cohen–Macaulay, sequentially Cohen–Macaulay, Buchsbaum or k-decomposable, if and only if an arbitrary expansion of Δ has the same property. Moreover, some homological invariants like the regularity and the projective dimension of the Stanley–Reisner ideals of Δ and those of their expansions are compared.     

Constructible Ideals

Based on the study of simplicial complexes, one may naturally define the constructible monomial ideals. We connect the square-free constructible ideal with the Stanley–Reisner ideal of the Alexander dual associated to a constructible simplicial complex. We give some properties of constructible ideals, and we compute the Betti numbers. We prove that all monomial ideals with linear quotients are constructible ideals. We also show that all constructible ideals have a linear resolution.     

Embedding of Jordan Copairs into Lie Coalgebras

Let (V, Δ) be a Jordan copair over a field Φ and let V? be its dual pair. Then there exists a Lie coalgebra (L ^c (V), Δ _L ) whose dual algebra (L ^c (V))? is the Kantor–Koecher–Tits construction for the pair V?. If Φ is a field of characteristic other than 2 or 3 then the Lie coalgebra (L ^c (J), Δ _L ) is locally finite-dimensional. As a corollary we derive that Jordan copairs over fields of characteristic other than 2 or 3 are locally finite-dimensional.     

(Bi-)Cohen–Macaulay Simplicial Complexes and Their Associated Coherent Sheaves

ABSTRACT

Via the BGG correspondence, a simplicial complex Δ on [n] is transformed into a complex of coherent sheaves on P ^n?1. We show that this complex reduces to a coherent sheaf ? exactly when the Alexander dual Δ* is Cohen–Macaulay.

We then determine when both Δ and Δ* are Cohen–Macaulay. This corresponds to ? being a locally Cohen–Macaulay sheaf.

Lastly, we conjecture for which range of invariants of such Δ's it must be a cone, and show the existence of such Δ's which are not cones outside of this range.     

Simplicial complexes and Macaulay’s inverse systems

Let Δ be a simplicial complex on V = {x ₁, . . . , x _n }, with Stanley–Reisner ideal ${I_{\Delta}\subseteq R=k[x_1,\ldots, x_n]}Let Δ be a simplicial complex on V = {x ₁, . . . , x _n }, with Stanley–Reisner ideal I_D í R=k[x₁,?, x_n]{I_{\Delta}\subseteq R=k[x_1,\ldots, x_n]} . The goal of this paper is to investigate the class of artinian algebras A=A(D,a₁,?,a_n) = R/(I_D,x₁^a₁,?,x_n^a_n){A=A(\Delta,a_1,\ldots,a_n)= R/(I_{\Delta},x_1^{a_1},\ldots,x_n^{a_n})} , where each a _i ≥ 2. By utilizing the technique of Macaulay’s inverse systems, we can explicitly describe the socle of A in terms of Δ. As a consequence, we determine the simplicial complexes, that we will call levelable, for which there exists a tuple (a ₁, . . . , a _n ) such that A(Δ, a ₁, . . . , a _n ) is a level algebra.     

Degenerations to unobstructed Fano Stanley–Reisner schemes

We construct degenerations of Mukai varieties and linear sections thereof to special unobstructed Fano Stanley–Reisner schemes corresponding to convex deltahedra. This can be used to find toric degenerations of rank one index one Fano threefolds. Furthermore, we show that the Stanley–Reisner ring of the boundary complex of the dual polytope of the associahedron has trivial \(T^2\) . This can be used to find new toric degenerations of linear sections of \(G(2,n)\) .     

Torus Actions, Equivariant Moment-Angle Complexes, and Coordinate Subspace Arrangements

We show that the cohomology algebra of the complement of a coordinate subspace arrangement in the m-dimensional complex space is isomorphic to the cohomology algebra of the StanleyReisner face ring of a certain simplicial complex on m vertices. (The face ring is regarded as a module over the polynomial ring on m generators.) After that we calculate the latter cohomology algebra by means of the standard Koszul resolution of a polynomial ring. To prove these facts, we construct a homotopy equivalence (equivariant with respect to the torus action) between the complement of a coordinate subspace arrangement and the moment-angle complex defined by a simplicial complex. The moment-angle complex is a certain subset of the unit polydisk in the m-dimensional complex space invariant with respect to the action of the m-dimensional torus. This complex is a smooth manifold provided that the simplicial complex is a simplicial sphere; otherwise, the complex has a more complicated structure. Then we investigate the equivariant topology of the moment-angle complex and apply the EilenbergMoore spectral sequence. We also relate our results with well-known facts in the theory of toric varieties and symplectic geometry. Bibliography: 23 titles.     

Distributive Lattices,Bipartite Graphs and Alexander Duality

A certain squarefree monomial ideal H _P arising from a finite partially ordered set P will be studied from viewpoints of both commutative algbera and combinatorics. First, it is proved that the defining ideal of the Rees algebra of H _P possesses a quadratic Gröbner basis. Thus in particular all powers of H _P have linear resolutions. Second, the minimal free graded resolution of H _P will be constructed explicitly and a combinatorial formula to compute the Betti numbers of H _P will be presented. Third, by using the fact that the Alexander dual of the simplicial complex Δ whose Stanley–Reisner ideal coincides with H _P is Cohen–Macaulay, all the Cohen–Macaulay bipartite graphs will be classified.