English
Related papers

Related papers: Intersections of Leray complexes and regularity of…

200 papers

As a discretization of the Hodge Laplacian, the combinatorial Laplacian of simplicial complexes has garnered significant attention. In this paper, we study combinatorial Laplacians for complex pairs $(X, A)$, where $A$ is a subcomplex of a…

Combinatorics · Mathematics 2025-08-13 Xiongfeng Zhan , Xueyi Huang , Lu Lu

Given a commutative ring $R$ and finitely generated ideal $I$, one can consider the classes of $I$-adically complete, $L_0^I$-complete and derived $I$-complete complexes. Under a mild assumption on the ideal $I$ called weak pro-regularity,…

Commutative Algebra · Mathematics 2025-05-29 Luca Pol , Jordan Williamson

Let $\mathfrak{a}$ be a proper ideal of a commutative noetherian ring $R$ and $d$ a positive integer. We answer Hartshorne's question on cofinite complexes completely in the cases $\mathrm{dim}R=d$ or $\mathrm{dim}R/\mathfrak{a}=d-1$ or…

Commutative Algebra · Mathematics 2022-07-06 Xiaoyan Yang , Jingwen Shen

Every quotient R/I of a semigroup ring R by a radical monomial ideal I has a unique minimal injective-like resolution by direct sums of quotients of R modulo prime monomial ideals. The quotient R/I is Cohen-Macaulay if and only if every…

Commutative Algebra · Mathematics 2007-05-23 Ezra Miller

In this paper,we introduce the monomial ideals I(H) associated to a special class of non uniform hypergraphs H(X; E; d) namely uniformly increasing hypergraphs. These ideals are named as inclusion ideals. In this paper, we discuss some…

Commutative Algebra · Mathematics 2013-09-17 Sarfraz Ahmad , Imran Anwar , Azeem Haider , Amina Inam

Let $R$ be a commutative Noetherian ring and let ${\bf x} :=x_1,\ldots,x_d$ be a regular $R$-sequence contained in the Jacobson radical of $R$. An ideal $I$ of $R$ is said to be a monomial ideal with respect to ${\bf x}$ if it is generated…

Commutative Algebra · Mathematics 2018-11-19 Adeleh Azari , Simin Mollamahmoudi , Reza Naghipour

For a given pair of numbers $(d,k)$, we establish the minimal number of vertices in pure $d$-dimensional simplicial complexes with non-trivial homology in dimension $k$. Furthermore, we solve the problem under the additional constraint of…

Combinatorics · Mathematics 2025-12-02 Jon V. Kogan

Let $G$ be a simple graph on $n$ vertices and $\mathcal{I}_G$ denotes parity binomial edge ideal of $G$ in the polynomial ring $S = \mathbb{K}[x_1,\ldots, x_n, y_1, \ldots, y_n].$ We obtain a lower bound for the regularity of parity…

Commutative Algebra · Mathematics 2021-08-20 Arvind Kumar

We prove a conjectured upper bound for the Castelnuovo-Mumford regularity of binomial edge ideals of graphs, due to Matsuda and Murai. Indeed, we prove that $\mathrm{reg}(J_G)\leq n-1$ for any graph $G$ with $n$ vertices, which is not a…

Commutative Algebra · Mathematics 2015-04-08 Dariush Kiani , Sara Saeedi Madani

In its most basic form, Dubreil's Theorem states that for an ideal $I$ defining a codimension $2$, arithmetically Cohen--Macaulay subscheme of projective $n$-space, the number of generators of $I$ is bounded above by the minimal degree of a…

alg-geom · Mathematics 2008-02-03 Heath Martin , Juan Migliore

Let K be the face ring of the independence complex of a matroid. We show that if T is a generic linear system of parameters, then K/T satisfies a weak form of the Hard Lefschetz Theorem. As a result, the first half of the h-vector of the…

Combinatorics · Mathematics 2007-05-23 Edward Swartz

Given a set $\mathcal A = \{a_1,\ldots,a_n\} \subset \mathbb{N}^m$ of nonzero vectors defining a simplicial toric ideal $I_{\mathcal A} \subset k[x_1,...,x_n]$, where $k$ is an arbitrary field, we provide an algorithm for checking whether…

Commutative Algebra · Mathematics 2017-01-17 Isabel Bermejo , Ignacio García-Marco

Let $\mathcal{H}$ be a hypergraph of rank $r$. We show that the simplicial complex whose simplices are the hypergraphs $\mathcal{F}\subset\mathcal{H}$ with covering number at most $p$ is $\left(\binom{r+p}{r}-1\right)$-collapsible, and the…

Combinatorics · Mathematics 2019-10-16 Alan Lew

Let $\Delta$ be a stable simplicial complex on $n$ vertexes. Over an arbitrary base field $K$, the symmetric algebraic shifted complex $\Delta^s$ of $\Delta$ is defined. It is proved that the Betti numbers of the Stanley-Reisner ideals in…

Commutative Algebra · Mathematics 2007-05-23 Zhongming Tang , Guifen Zhuang

We show that the size of the largest simple d-cycle in a simplicial d-complex $K$ is at least a square root of $K$'s density. This generalizes a well-known classical result of Erd\H{o}s and Gallai \cite{EG59} for graphs. We use methods from…

Combinatorics · Mathematics 2019-10-11 Roy Meshulam , Ilan Newman , Yuri Rabinovich

Let A be a noetherian AS regular Koszul quiver algebra (if A is commutative, it is essentially a polynomial ring), and grA the category of finitely generated graded left A-modules. Following Jorgensen, we define the Castelnuovo-Mumford…

Commutative Algebra · Mathematics 2007-05-23 Kohji Yanagawa

The first part of the paper will describe a recent result of K. Retert in (\cite{Ret}) for $k[x_1,\ldots,x_n]$ and $k[[x_1,\ldots,x_n]]$. This result states that if $\mathfrak{D}$ is a set of commute $k$-derivations of $k[x,y]$ such that…

Rings and Algebras · Mathematics 2013-12-03 Rene Baltazar

Let $X$ be the Hankel matrix of size $2\times n$ and let $G$ be a closed graph on the vertex set $[n].$ We study the binomial ideal $I_G\subset K[x_1,\ldots,x_{n+1}]$ which is generated by all the $2$-minors of $X$ which correspond to the…

Commutative Algebra · Mathematics 2014-06-17 Faryal Chaudhry , Ahmet Dokuyucu , Viviana Ene

The partition number $\pi(K)$ of a simplicial complex $K\subset 2^{[m]}$ is the minimum integer $\nu$ such that for each partition $A_1\uplus\ldots\uplus A_\nu = [m]$ of $[m]$ at least one of the sets $A_i$ is in $K$. A complex $K$ is…

Algebraic Topology · Mathematics 2018-09-18 Duško Jojić , Wacław Marzantowicz , Siniša T. Vrećica , Rade T. Živaljević

Let R=k[x_1,...,x_n] be a polynomial ring over a field k. Let J={j_1,...,j_t} be a subset of [n]={1,...,n}, and let m_J denote the ideal (x_{j_1},...,x_{j_t}) of R. Given subsets J_1,...,J_s of [n] and positive integers a_1,...,a_s, we…

Commutative Algebra · Mathematics 2007-05-23 Christopher A. Francisco , Adam Van Tuyl