Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 0709.0031

Alexander Duality and Serre's Property $(S_i)$ for Square-free Monomial Ideals

Manoj Kummini
View original source ↗Read source document ↗Export metadata ↓

Abstract

In this note, we study Serre's property $(S_i)$, and its relation to Alexander duality for monomial ideals in a polynomial ring over a field. We describe ideals that define the non-Cohen-Macaulay- and the non-$(S_i)$-loci of finitely generated modules over regular rings, and show that minimal prime ideals in these loci are homogeneous, in the graded case. We show that a square-free monomial ideal has property $(S_i)$ if and only if its Alexander dual has a linear resolution up to homological degree $i-1$. We prove that for square-free monomial ideals, having property $(S_2)$ is equivalent to being locally connected in codimension 1.

Explore related subjects

math.AC

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Manoj Kummini. 2007-12-04. Alexander Duality and Serre's Property $(S_i)$ for Square-free Monomial Ideals. https://arxiv.org/abs/0709.0031

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Multigraded Local Cohomology Categories: Homological Structure and Canonical Sources

Let $S=\kk[x_1,\ldots,x_n]$ with its standard $\mathbb N^n$-grading. For $0\le i<n$, we identify the finite-box local-cohomology category $\mathcal H_i(\mathbf t)$ with the representation category of the upper support poset $U_{n-i}(\mathbf t)$. The local-cohomology functor admits an exact functorial section selecting sources of minimal projective dimension and maximal depth in every non-top degree, but for $n\ge2$ and $\mathbf t\ge\mathbf1$ no fully faithful section exists for $i=1$ or $i=n-1$, even without exactness. We construct explicit sources in $\mathcal A^+_{\mathbf t}$ for all indecomposable projective objects. The source attached to $\mathbf a$ is a prescribed syzygy of a Brun--Fløystad interval module; it is a brick of projective dimension $n-i$ and is Cohen--Macaulay exactly on the bottom support-rank stratum $\ell(\mathbf a)=n-i$. We relate these sources in adjacent degrees to the support-rank torsion filtration, obtaining a syzygy tower, and identify their additive category with the projective part of $\mathcal H_i(\mathbf t)$. As applications, we determine attached primes from projective covers and compute the Bass numbers of projective and injective objects. We also pose questions about extensions to complete-intersection and general monomial supports.

math.AC↗
arXiv2026

Stanley-Reisner Theory in Mixed Characteristic

We discuss a class of mixed characteristic rings defined analogously to Stanley-Reisner rings by replacing one variable with a uniformizing parameter for a discrete valuation ring. We adapt Hochster's formula for Tor and Ext modules, Hochster's formula for local cohomology, and Terai's criterion for Serre conditions to this new setting; one of the tools needed is cellular sheaf cohomology, for which we give a brief treatment.

math.AC↗
arXiv2026

A complex associated to a family of ideals and applications to subspace arrangements

We reprove and generalize a result of Derksen describing the Hilbert polynomial of the vanishing ideal of a transversal subspace arrangement in projective space. When the subspaces have all codimension 2, we describe explicitly the local cohomology modules of the corresponding defining ideal. This is achieved via a complex naturally associated to the subspace arrangement, whose basic properties are also investigated.

math.AC↗