arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.09926

Minimal examples of Cohen-Macaulay independence complexes that fail to be shellable or vertex decomposable

Adam Van Tuyl
View original source ↗Read source document ↗Export metadata ↓

Abstract

We report on an exhaustive census of all 1,006,700,565 connected graphs on $11$ vertices to find the minimal examples of graphs whose independence complexes are Cohen-Macaulay but not shellable, or shellable but not vertex decomposable. In particular, there are exactly two graphs $G$ where ${\rm Ind}(G)$ is Cohen-Macaulay but not shellable, when the characteristic is not two, and exactly six graphs where ${\rm Ind}(G)$ is shellable but not vertex decomposable.

Explore related subjects

math.ACmath.CO

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Adam Van Tuyl. 2026-10-07. Minimal examples of Cohen-Macaulay independence complexes that fail to be shellable or vertex decomposable. https://arxiv.org/abs/2610.09926

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

KEEP EXPLORING

Related papers

arXiv2026

Structural properties of admissible subgraphs and the depth of symbolic powers of cover ideals

Let $G$ be a simple graph with cover ideal $J(G)$ in a polynomial ring $S = \k[x_1, \ldots, x_n]$. For each integer $t \ge 1$, let $α_t(G)$ denote the maximum size of an ordered matching $M$ of $G$ with alternating path length $\ell(M) \le 2t - 1$. Hang, Tam, and Vu established that \[ \operatorname{depth}\!\left(S/J(G)^{(t)}\right) \le n - 1 - α_t(G) \] for all $t \ge 1$, where $J(G)^{(t)}$ is the $t$-th symbolic power of $J(G)$. In this paper, we introduce a natural hereditary class of graphs $\mathcal{P}_\k$ for which this inequality holds with equality for every $t \ge 1$. We prove that $\mathcal{P}_\k$ contains all distance-hereditary graphs, and we show that within the class of chordal graphs, $\mathcal{P}_\k$ coincides with the class of distance-hereditary (or gem-free) graphs.

math.AC↗
arXiv2026

The Hassanzadeh-Nasrollah Nejad-Simis Conjecture on Euler Conductors

We prove the Hassanzadeh-Nasrollah Nejad-Simis conjecture: if $f\in (x_1,\ldots,x_n)^2\subsetneq k[[x_1,\ldots,x_n]]$ has an isolated critical point and $\operatorname{char}k=0$, then its Euler conductor $J_f:f$ is not contained in the Tjurina ideal $(J_f,f)$. More generally, if $A=R/I$ is a nonzero Noetherian $k$-algebra and $a=[f]\in A$ is nilpotent with $d_{A/k}a=0$, then $I:f\nsubseteq(I,f)$. For a local ring $(R,\mathfrak n)$ we obtain the stronger noncontainment $I:f\nsubseteq(I,f)+\mathfrak n(I:f)$. The proof reduces a hypothetical containment to a self-exact square-zero element and detects its differential by the trace of a regular representation over the dual numbers. Finally, an explicit five-variable isolated singularity satisfies $J_f:f\subseteq\overline{J_f}$, disproving the integral-closure strengthening proposed by Ma and Zuo.

math.AC↗