English
Related papers

Related papers: Uniform Harbourne-Huneke Bounds via Flat Extension…

200 papers

Let $R=k[x,y,z]$ be a standard graded $3$-variable polynomial ring, where $k$ denotes any field. We study grade $3$ homogeneous ideals $I \subseteq R$ defining compressed rings with socle $k(-s) \oplus k(-2s+1)$, where $s \geq3$ is some…

Commutative Algebra · Mathematics 2020-02-21 Keller VandeBogert

Let $R_0$ be any domain, let $R=R_0[U_1, ..., U_s]/I$, where $U_1, ..., U_s$ are indeterminates of some positive degrees, and $I\subset R_0[U_1, ..., U_s]$ is a homogeneous ideal. The main theorem in this paper is states that all the…

Commutative Algebra · Mathematics 2007-05-23 Mordechai Katzman

A natural candidate for a generating set of the (necessarily prime) defining ideal of an $n$-dimensional monomial curve, when the ideal is an almost complete intersection, is a full set of $n$ critical binomials. In a somewhat modified and…

Commutative Algebra · Mathematics 2012-07-02 Liam O'Carroll , Francesc Planas-Vilanova

Let $R=k[x,y,z]$ be a standard graded $3$-variable polynomial ring, where $k$ denotes any field. We study grade $3$ homogeneous ideals $I \subseteq R$ defining compressed rings with socle $k(-s)^{\ell} \oplus k(-2s+1)$, where $s \geq3$ and…

Commutative Algebra · Mathematics 2021-05-28 Keller VandeBogert

In our previous work with Grifo and H\`a, we showed the stable Harbourne-Huneke containment and Chudnovsky's conjecture for the defining ideal of sufficiently many general points in $\mathbb{P}^N$. In this paper, we establish the…

Commutative Algebra · Mathematics 2022-06-30 Sankhaneel Bisui , Thái Thành Nguyên

A conjecture by the second author, proven by Bonnaf\'e-Rouquier, says that the multiplicity matrix for baby Verma modules over the restricted rational Cherednik algebra has rank one over $\mathbb{Q}$ when restricted to each block of the…

Representation Theory · Mathematics 2023-03-31 Gwyn Bellamy , Ulrich Thiel

Border bases are traditionally restricted to 0-dimensional ideals due to the finiteness of the underlying order ideal. In this paper we extend the theory to homogeneous ideals of positive Krull dimension by introducing homogeneous border…

Commutative Algebra · Mathematics 2026-03-09 Cristina Bertone , Sofia Bovero

Let $R$ be a commutative ring, $Y\subseteq \mathrm{Spec}(R)$ and $ h_Y(S)=\{P\in Y:S\subseteq P \}$, for every $S\subseteq R$. An ideal $I$ is said to be an $\mathcal{H}_Y$-ideal whenever it follows from $h_Y(a)\subseteq h_Y(b)$ and $a\in…

Commutative Algebra · Mathematics 2018-07-31 A. R. Aliabad , M. Badie , S. Nazari

Let $R^h$ denote the polynomial ring in variables $x_1,\,\ldots,\, x_h$ over a specified field $K$. We consider all of these rings simultaneously, and in each use lexicographic (lex) monomial order with $x_1 > \cdots > x_h$. Given a fixed…

Commutative Algebra · Mathematics 2020-03-03 Tigran Ananyan , Melvin Hochster

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

L\'evai and Pyber proposed the following as a conjecture: Let $G$ be a profinite group such that the set of solutions of the equation $x^n=1$ has positive Haar measure. Then $G$ has an open subgroup $H$ and an element $t$ such that all…

Group Theory · Mathematics 2021-04-12 Alireza Abdollahi , Meisam Soleimani Malekan

Let $(R,\frak{m})$ be a Noetherian local ring, $I$ an ideal of $R$ and $N$ a finitely generated $R$-module. Let $k{\ge}-1$ be an integer and $ r=\depth_k(I,N)$ the length of a maximal $N$-sequence in dimension $>k$ in $I$ defined by M.…

Commutative Algebra · Mathematics 2012-11-08 Nguyen Tu Cuong , Nguyen Van Hoang

Suppose $R$ is a $\mathbb{Q}$-Gorenstein $F$-finite and $F$-pure ring of prime characteristic $p>0$. We show that if $I\subseteq R$ is a compatible ideal (with all $p^{-e}$-linear maps) then there exists a module finite extension $R\to S$…

Commutative Algebra · Mathematics 2022-11-08 Thomas Polstra , Karl Schwede

We investigate symbolic and regular powers of monomial ideals. For a square-free monomial ideal $I$ in $k[x_0, \ldots, x_n]$ we show $I^{t(m+e-1)-e+r)}$ is a subset of $M^{(t-1)(e-1)+r-1}(I^{(m)})^t$ for all positive integers $m$, $t$ and…

Commutative Algebra · Mathematics 2016-01-26 Susan M. Cooper , Robert J. D. Embree , Huy Tài Hà , Andrew H. Hoefel

The classical "generalized principal ideal theorems" of Macaulay, Eagon-Northcott, and others give sharp bounds on the heights of determinantal ideals in arbitrary rings. But in regular local rings (or graded polynomial rings) these are far…

Commutative Algebra · Mathematics 2007-05-23 David Eisenbud , Craig Huneke , Bernd Ulrich

An ideal I in a Noetherian ring R is normally torsion-free if Ass(R/I^t)=Ass(R/I) for all natural numbers t. We develop a technique to inductively study normally torsion-free square-free monomial ideals. In particular, we show that if a…

Commutative Algebra · Mathematics 2009-04-25 Huy Tai Ha , Susan Morey

Let $(R,\mathfrak m)$ be an analytically unramified local ring of positive prime characteristic $p.$ For an ideal $I$, let $I^*$ denote its tight closure. We introduce the tight Hilbert function $H^*_I(n)=\ell(R/(I^n)^*)$ and the…

Commutative Algebra · Mathematics 2020-08-19 Kriti Goel , Vivek Mukundan , J. K. Verma

For a commutative ring R we investigate the property that the sets of minimal primes of finitely generated ideals of R is always finite. We prove this property passes to polynomial ring extensions (in an arbitrary number of variables) over…

Commutative Algebra · Mathematics 2007-05-23 Thomas Marley

It has been conjectured by Eisenbud, Green and Harris that if $I$ is a homogeneous ideal in $k[x_1,...,x_n]$ containing a regular sequence $f_1,...,f_n$ of degrees $\deg(f_i)=a_i$, where $2\leq a_1\leq ... \leq a_n$, then there is a…

Commutative Algebra · Mathematics 2012-12-13 Abed Abedelfatah

Let $R$ be a smooth affine algebra over an infinite perfect field $k$. Let $I\subset R$ be an ideal, $\omega_I:(R/I)^n\to I/I^2$ a surjective homomorphism and $Q_{2n}\subset \mathbb{A}^{2n+1}$ be the smooth quadric defined by the equation…

Commutative Algebra · Mathematics 2017-08-22 Jean Fasel