Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 0707.1311

Multiplicity Bounds for Quadratic Monomial Ideals

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

Abstract

We prove the multiplicity bounds conjectured by Herzog-Huneke-Srinivasan and Herzog-Srinivasan in the following cases: the strong conjecture for edge ideals of bipartite graphs, and the weaker Taylor bound conjecture for all quadratic monomial ideals. We attach a directed graph to a bipartite graph with perfect matching, and describe operations on the directed graph that would reduce the problem to a Cohen-Macaulay bipartite graph. We determine when equality holds in the conjectured bound for edge ideals of bipartite graphs, and verify that when equality holds, the resolution is pure. We characterize bipartite graphs that have Cohen-Macaulay edge ideals and quasi-pure resolutions.

Explore related subjects

math.ACmath.CO

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Manoj Kummini. 2007-10-15. Multiplicity Bounds for Quadratic Monomial Ideals. https://arxiv.org/abs/0707.1311

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↗