Related papers: On Restricted Powers of Complete Intersections
Let $A$ be a commutative Noetherian ring of dimension $n$ ($n \ge 3$). Let $I$ be a local complete intersection ideal in $A[T]$ of height $n$. Suppose $I/{I^2}$ is free ${A[T]}/I$-module of rank $n$ and $({A[T]}/I)$ is torsion in…
We show that a mixed characteristic valuation ring with a value group $\Gamma$, $\val$ its valuation and a residue field of characteristic $p>0$, is a filtered colimit of complete intersection $\bf Z$-algebras if $\Gamma/{\bf Z}\val(p)$ has…
Let $G$ be a graph obtained as the union of some $n$-vertex graph $H_n$ with minimum degree $\delta(H_n)\geq\alpha n$ and a $d$-dimensional random geometric graph $G^d(n,r)$. We investigate under which conditions for $r$ the graph $G$ will…
A current research theme is to compare symbolic powers of an ideal $I$ with the regular powers of $I$. In this paper, we focus on the case that $I=I_X$ is an ideal defining an almost complete intersection (ACI) sets of points $X$ in…
We develop tools to study the problem of containment of symbolic powers $I^{(m)}$ in powers $I^r$ for a homogeneous ideal $I$ in a polynomial ring $k[{\bf P}^N]$ in $N+1$ variables over an algebraically closed field $k$. We obtain results…
Let Q be a regular local ring of dimension 3. We show how to trim a Gorenstein ideal in Q to obtain an ideal that defines a quotient ring that is close to Gorenstein in the sense that its Koszul homology algebra is a Poincare duality…
A theory of cohomological support for pairs of DG modules over a Koszul complex is investigated. These specialize to the support varieties of Avramov and Buchweitz defined over a complete intersection ring, as well as support varieties over…
Given a symbolic power of a homogeneous ideal in a polynomial ring, we study the problem of determining which powers of the ideal contain it. For ideals defining 0-dimensional subschemes of projective space, as an immediate corollary of our…
In this note, we give short proofs of three theorems about intersection problems. The first one is a determination of the maximum size of a nontrivial $k$-uniform, $d$-wise intersecting family for $n\ge \left(1+\frac{d}{2}\right)(k-d+2)$,…
In this paper, we investigate the behavior of almost reverse lexicographic ideals with the Hilbert function of a complete intersection. More precisely, over a field $K$, we give a new constructive proof of the existence of the almost revlex…
We show that the Koszul functor of a homologically smooth graded gentle algebra can be realized as the half rotation in a geometric model. As a byproduct, we prove an intersection-dim formula involving the Koszul functor.
Let $S = \mathbb{K}[x_1, \dots, x_n]$ be the polynomial ring over a field $\mathbb{K}$. In this paper we present a criterion for componentwise linearity of powers of monomial ideals. In particular, we prove that if a square-free monomial…
We establish a criterion for the (failure of) the containment $I^{(m)}\subset I^r$ for 3-generated ideals $I$ defining reduced sets of points in $\mathbb{P}^2$. Our criterion arises from studying the minimal free resolutions of the powers…
Let A be a commutative noetherian local DG-ring with bounded cohomology. The Intersection Theorem for DG-modules is examined and some of its applications are provided. The first is to prove the DG-setting of the amplitude inequality, New…
Let $R$ be a commutative ring and $M$ be an $R$-module, and let $I(R)^*$ be the set of all non-trivial ideals of $R$. The $M$-intersection graph of ideals of $R$, denoted by $G_M(R)$, is a graph with the vertex set $I(R)^*$, and two…
Let $S$ be a positively graded polynomial ring over a field of characteristic 0, and $I\subset S$ a proper graded ideal. In this note it is shown that $S/I$ is Golod if $\partial(I)^2\subset I$. Here $\partial(I)$ denotes the ideal…
Free resolutions of ideals in commutative rings provide valuable insights into the complexity of these ideals. In 1966, Taylor constructed a free resolution for monomial ideals in polynomial rings, which Gemeda later showed admits a…
Let $E$ be an arbitrary directed graph and let $L$ be the Leavitt path algebra of the graph $E$ over a field $K$. It is shown that every ideal of $L$ is an intersection of primitive/prime ideals in $L$ if and only if the graph $E$ satisfies…
We study the almost complete intersection ring $R$ defined by $n+1$ general quadrics in a polynomial ring in $n$ variables over a field $\sf{k}$ and a corresponding linked Gorenstein ring $A$. The overarching theme is that, while not Koszul…
Let $I_X$ be the saturated homogeneous ideal defining a codimension two arithmetically Cohen-Macaulay scheme $X \subseteq \mathbb{P}^n$, and let $I_X^{(m)}$ denote its $m$-th symbolic power. We are interested in when $I_X^{(m)} = I_X^m$. We…