arXiv ScienceSearch

arXiv subjects

Dancheng Lu

Publications and source records attributed to Dancheng Lu.

At least 19 recordsLinked to original sources

Categories of Multigraded Local Cohomology Modules: Serre Filtrations and Nakayama Duality

Let $\Bbbk$ be a field, let $S=\Bbbk[x_1,\ldots,x_n]$ with its standard $\mathbb N^n$-grading, and let $\mathfrak m=(x_1,\ldots,x_n)$. For $0\le i<n$ and $q=n-i$, we identify the category $\mathcal H_i(\mathbf t)$ of shifted multigraded local cohomology modules with \[ \Rep(U_q(\mathbf t)),\qquad U_q(\mathbf t)=\{\mathbf a\in[\mathbf0,\mathbf t]\mid |\operatorname{supp}(\mathbf a)|\ge q\}. \] This gives the finite and global Serre filtrations and their pure support-rank quotients. We organize the resulting torsion and quotient structures through abelian recollement: an order-ideal decomposition produces a canonical TTF triple, hereditary support torsion pairs, and Gabriel quotients. For finite posets both complementary recollement orientations exist, whereas for the global finite-support categories only the inward-finite orientation is automatic. These recollements admit bounded derived lifts. Under an additional finite-resolution condition the derived finite-support categories have right Serre functors, and derived Kan extensions satisfy a right-Serre exchange. In finite boxes we further construct a functorial rank-layer resolution comparing the left and right Kan sections; Nakayama--Serre duality transforms it into an explicit costandard rank complex. The exceptional top category $\mathcal H_n(\mathbf t)$ is treated separately via second cosyzygies.

math.AC

Further results on monomial ideals of projective dimension one

We prove that a monomial ideal has projective dimension one if and only if its minimal monomial generators can be ordered so that each successive colon ideal is principal, and show that this characterization is equivalent to the monomial version of the Hilbert-Burch Lemma. Furthermore, we prove that any squarefree monomial ideal of projective dimension one with a linear resolution has the property that all its powers \(I^s\) admit linear quotients, and we provide a partial classification of such ideals.

math.AC

Homological shifts of powers a complementary edge ideal

The homological shift algebra and the projective dimension function of complementary edge ideals are investigated. Let $G$ be a connected graph, and let $I$ be its complementary edge ideal. For bipartite graphs $G$, we show that the projective dimension of $I^s$ increases strictly with $s$ until reaching its maximum value. For trees and cycles, explicit expressions for the projective dimension of $I^s$ are provided, along with detailed descriptions of their homological shift algebras. In particular, it is shown that the $i$-th homological shift algebra of such ideals is generated in degree at most $i$. Additionally, we prove that if $G$ is a tree, then the homological shift ideal $\mathrm{HS}_i(I^i)$, when divided by a suitable monomial, becomes a Veronese-type ideal, and every Veronese-type ideal arises in this manner.

math.AC

Polymatroidal ideals and their asymptotic syzygies

Let $I$ be a polymatroidal ideal. In this paper, we study the asymptotic behavior of the homological shift ideals of powers of polymatroidal ideals. We prove that the first homological shift algebra $\text{HS}_1(\mathcal{R}(I))$ of $I$ is generated in degree one as a module over the Rees algebra $\mathcal{R}(I)$ of $I$. We conjecture that the $i$th homological shift algebra $\text{HS}_i(\mathcal{R}(I))$ of $I$ is generated in degrees $\le i$, and we confirm it in many significant cases. We show that $I$ has the $1$st homological strong persistence property, and we conjecture that the sequence $\{\text{Ass}\,\text{HS}_i(I^k)\}_{k>0}$ of associated primes of $\text{HS}_i(I^k)$ becomes an increasing chain for $k\ge i$. This conjecture is established when $i=1$ and for many families of polymatroidal ideals. Finally, we explore componentwise polymatroidal ideals, and we prove that $\text{HS}_1(I)$ is again componentwise polymatroidal, if $I$ is componentwise polymatroidal.

math.AC

Betti Numbers of Edge Ideals of Weighted Oriented Crown Graphs

We compute the multigraded Betti numbers of edge ideals for weighted oriented crown graphs using a novel approach. This approach, which we still call the \emph{induced subgraph approach}, originates from our prior work on computing Betti numbers of normal edge rings(see \cite{WL}). Notably, we prove that the total Betti numbers of edge ideals for weighted oriented crown graphs are independent of the weight function.

math.AC

Betti numbers of normal edge rings (II)

We compute the Betti numbers of the edge rings of multi-path graphs using the \emph{induced-subgraph approach} introduced in \cite{WL1}. Here, a multi-path graph refers to a simple graph composed of several paths that have the same starting point and the same ending point. Special cases include the graph $G_{r,d}$ introduced in \cite{GHK}, the graph $G_{r,s,d}$ introduced in \cite{NN}, and the graph $B_{\underline{\ell},h}$ introduced in \cite{LZ}. In particular, we show that all the multi-graded Betti numbers of a multi-path graph are the top multi-graded Betti numbers of some of its induced subgraphs.

math.AC

The chain algebra of a pure poset

We extend the notion of chain algebra, originally defined in \cite{GN} for finite distributive lattices, to that of finite pure posets. We show this algebra corresponds to the Ehrhart ring of a (0,1)-polytope, termed the chain polytope, and characterize the indecomposability of this polytope. Furthermore, we prove the normality of the chain algebra, describe its canonical module, and extend one of main results from \cite{GN} by computing its Krull dimension. For width-2 pure posets, we determine the algebra's regularity and conditions for it to be Gorenstein or nearly Gorenstein.

math.CO

Betti numbers of normal edge rings (\bf{I})

We introduce a novel approach named the {\it induced-subgraph approach} for investigating the Betti numbers of normal edge rings. Utilizing this approach, we compute all the multigraded Betti numbers of the edge rings associated with two-ear graphs (Definition~4.1) and compact graphs (Definition~5.1). In particular, we show that for two-ear graphs and compact graphs of type 1 or 2, their multigraded Betti numbers are always equal to the top multigraded Betti numbers of some of their induced subgraphs. In contrast, some of the multigraded Betti numbers of compact graphs of type 3 are not the top multigraded Betti numbers of any of their induced subgraphs. We expect that our approach may apply to many other normal edge rings.

math.AC

Multiplicity of powers of path ideals of a line graph

Let $S=K[x_1,\ldots,x_n]$ and let $I$ be the $t$-path ideal of the line graph $L_n$ with $n$-vertices. It is shown that the set of associated prime ideals of $I^s$ is equal to the set of minimal prime ideals of $I$ for all $s\geq 1$, and we provide an explicit description of these prime ideals. Additionally, as the main contribution of this paper, we derive an explicit formula for the multiplicity of $S/I^s$ for all $s\geq 1$, revealing that it is a polynomial in $s$ from the beginning.

math.AC

The resolutions of generalized co-letterplace ideals and their powers

We present a natural and explicit multigraded minimal free resolution for each generalized co-letterplace ideal (see Definition 1.1). Our resolution differs significantly from the ones presented in the works of Ene et al. \cite{EHM} and D'Al{`\i} et al. \cite{DFN}. Additionally, we show that each power of a large class of generalized co-letterplace ideals can be represented as the quotient of another generalized co-letterplace ideal by a regular sequence of variable differences. Finally, we provide a new class of simplicial spheres

math.AC

The edge rings of compact graphs

We define a simple graph as compact if it lacks even cycles and satisfies the odd-cycle condition. Our focus is on classifying all compact graphs and examining the characteristics of their edge rings. Let $G$ be a compact graph and $\mathbb{K}[G]$ be its edge ring. Specifically, we demonstrate that the Cohen-Macaulay type and the projective dimension of $\mathbb{K}[G]$ are both equal to the number of induced cycles of $G$ minus one, and that the regularity of $\mathbb{K}[G]$ is equal to the matching number of $G_0$. Here, $G_0$ is obtained from $G$ by removing the vertices of degree one successively, resulting in a graph where every vertex has a degree greater than 1.

math.AC

Monomial ideals with regular quotients and some edge rings

We introduce and study monomial ideals with regular quotients, which can be seen as an extension of monomial ideals with linear quotients. Based on these investigations, we are able to calculate the Betti numbers of toric ideals belonging to various classes of edge rings.

math.AC

Regularity of powers of path ideals of line graphs

Let $L_n$ be a line graph with $n$ vertices and let $I$ be its $t$-path ideal. It is shown that $I^s$ has a linear resolution for some $s\geq 1$ (or equivalently for all $s\geq 1$) if and only if $I^s$ has linear quotients for some $s\geq 1$ (or equivalently for all $s\geq 1$) if and only if $t\leq n\leq 2t$. In addition, we present an explicit formula for the regularity of $I^s$ for all $s\geq 1$. It turns out it is linear in $s$ from the very beginning.

math.AC

On powers of the cover ideals of graphs

For a simple graph $G$, assume that $J(G)$ is the vertex cover ideal of $G$ and $J(G)^{(s)}$ is the $s$-th symbolic power of $J(G)$. We prove that $(J(C)^{(s)})=(J(C)^s)$ for all $s\geq 1$ and for all odd cycle $C$. For a simplicial complex $\Delta$, we show that $\Delta$ is vertex decomposable if $I_{\Delta}^{\vee}$ is weakly polymatroidal. Let $W=G^{\pi}$ be a fully clique-whiskering graph, we prove that $J(W)^s$ is weakly polymatroidal for all $s\geq 1$.

math.AC

Linear resolutions and quasi-linearity of monomial ideals

We introduce the concept of quasi-linearity and prove it is necessary for a monomial ideal to have a linear resolution and identify all the quasi-linear quadratic monomial ideals. We define a strongly linear monomial for a monomial ideal $I$ and prove that if $\mathbf{u}$ is a strongly linear monomial over $I$ then $I$ has a linear resolution (resp: is quasi-linear) if and only if $I+\mathbf{u}\mathfrak{p}$ has a linear resolution (resp: is quasi-linear). Here $\mathfrak{p}$ is any monomial prime ideal.

math.AC

The $a_0$-invariants of powers of a two-dimensional squarefree monomial ideal

Let $\Delta$ be an one-dimensional simplicial complex on $\{1,2,\ldots,s\}$ and $S$ the polynomial ring $K[x_1,\ldots,x_s]$ over a field $K$. The explicit formula for $a_0(S/I_{\Delta}^n)$ is presented when $\mathrm{girth}(\Delta)\geq 4$. If $\mathrm{girth}(\Delta)=3$ we characterize the simplicial complexes $\Delta$ for which $a_0(S/I_{\Delta}^n)=3n-1$ or $3n-2$.

math.AC