Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.21866

Edge ideals of gapfree graphs with matching number $3$

Nursel Erey·Tài Huy Hà·Takayuki Hibi·Selvi Kara·Susan Morey
View original source ↗Read source document ↗Export metadata ↓

Abstract

We prove that if $G$ is a gapfree graph with matching number $3$, then every power $I(G)^q$, $q\geq2$, of its edge ideal has linear quotients, and hence a linear resolution. Our approach combines graph reductions based on clique domination of gapfree graphs and matching number with operations preserving linear quotients. We reduce the problem to $26$ non-co-chordal graphs on at most seven vertices. A new preservation theorem for gapfree edge addition, together with known results on duplication and gapfree expansion, handles all but one of these graphs. For the remaining graph on seven vertices, we construct a linear quotients ordering for the square and extend it recursively to every higher power.

Explore related subjects

math.ACmath.CO

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Nursel Erey, Tài Huy Hà, Takayuki Hibi, Selvi Kara, Susan Morey. 2026-10-15. Edge ideals of gapfree graphs with matching number $3$. https://arxiv.org/abs/2610.21866

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

KEEP EXPLORING

Related papers

arXiv2026

Homological Detection by Perfectoid Algebras

We first establish estimates for the projective and injective dimensions for quotients of perfectoid algebras by radical ideals. As applications, we obtain homological characterizations of modules of finite injective dimension, (big) Cohen--Macaulay modules, Gorenstein local rings, and regular local rings in mixed characteristic in terms of perfectoid algebras. These are mixed characteristic analogues of the corresponding characterizations via Frobenius morphisms in positive characteristic.

math.AC↗
arXiv2026

Holomorphy rings and the Nullstellensatz over large fields

For an infinite field $K$ and an ideal $I\subseteq K[X_1,\dots,X_n]$, let $J(Z_K(I))$ be the ideal of polynomials vanishing on the $K$-rational zero locus of $I$. A Nullstellensatz over $K$ is an algebraic description of this closure operator on ideals. Hilbert's classical theorem provides such a description via the radical of $I$ over any algebraically closed field. In the present article, we introduce a unifying framework for Nullstellensätze over arbitrary rings using the notion of an $A$-radical, for $A$ is a subring of $K(X)$ containing $K[X]$. We show that a single canonical holomorphy ring gives a Nullstellensatz over every infinite field, recovering Hilbert's theorem when $K$ is algebraically closed. In addition, we give a new characterization of large fields (in the sense of Pop) via a particular Nullstellensatz: a perfect field is large exactly when the \emph{rational} holomorphy ring $A_n(K)$--the intersection of all $K$-rational places of residue field exactly $K$--satisfies the corresponding Nullstellensatz. Finally we study the order structure of the class of rings $A$ for which the $A$-radical gives a Nullstellensatz. We show that over non-algebraically closed fields this class has no minimal element, showing there is no optimal Nullstellensatz over such fields.

math.AC↗
arXiv2026

On the variety of sum of powers of certain complete intersection forms

Let $F$ be a homogeneous polynomial (form). If the annihilator ideal $F^\perp$ is a complete intersection, then $F$ is called as a complete intersection form. For many complete intersection forms, we show that its minimal apolar ideal is a complete intersection and further we show that ${\rm VSP}(F)$ is irreducible and compute its dimension.

math.AC↗