Related papers: Computing the core of ideals in arbitrary characte…

Our focus in this paper is in effective computation of the core core(I) of an ideal I which is defined to be the intersection of all minimal reductions of I. The first main result is a closed formula for the graded core(m) of the maximal…

The notion of $p_g$-ideals for normal surface singularities has been proved to be very useful. On the other hand, the core of ideals has been proved to be very important concept and also very mysterious one. However, the computation of the…

Let $(R,\mathfrak{m})$ be a $d$-dimensional Cohen-Macaulay local ring with infinite residue field. Let $I$ be an ideal of $R$ that has analytic spread $\ell(I)=d$, satisfies the $G_d$ condition, the weak Artin-Nagata property $AN_{d-2}^-$…

We prove formulas for the core of ideals that apply in arbitrary characteristic.

The core of an $R$-ideal $I$ is the intersection of all reductions of $I$. This object was introduced by D. Rees and J. Sally and later studied by C. Huneke and I. Swanson, who showed in particular its connection to J. Lipman's notion of…

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$…

Let $R$ be a Noetherian local ring and let $I$ be an ideal in $R$. The ideal $I$ is called balanced if the colon ideal $J:I$ is independent of the choice of the minimal reduction $J$ of $I$. Under suitable assumptions, Ulrich showed that…

A commutative noetherian local ring $(R,\mathfrak{m})$ is Gorenstein if and only if every parameter ideal of $R$ is irreducible. Although irreducible parameter ideals may exist in non-Gorenstein rings, Marley, Rogers, and Sakurai show there…

Assume $R$ is a polynomial ring over a field and $I$ is a homogeneous Gorenstein ideal of codimension $g\ge3$ and initial degree $p\ge2$. We prove that the number of minimal generators $\nu(I_p)$ of $I$ that are in degree $p$ is bounded…

Let $R=K[x_1,\ldots,x_n]$ be a polynomial ring in $n$ variables over a field $K$ and $I$ be a matroidal ideal of degree $d$. Let $\astab(I)$ and $\dstab(I)$ be the smallest integers $l$ and $k$, for which $\Ass(I^l)$ and $\depth(R/I^k)$…

The core of an ideal is the intersection of all of its reductions. The core has geometric significance coming, for example, from its connection to adjoint and multiplier ideals. In general, though, the core is difficult to describe…

Let $K$ be a field and let $R$ be a regular domain containing $K$. Let $G$ be a finite subgroup of the group of automorphisms of $R$. We assume that $|G|$ is invertible in $K$. Let $R^G$ be the ring of invariants of $G$. Let $I$ be an ideal…

Given an ideal $a \subseteq R$ in a (log) $Q$-Gorenstein $F$-finite ring of characteristic $p > 0$, we study and provide a new perspective on the test ideal $\tau(R, a^t)$ for a real number $t > 0$. Generalizing a number of known results…

Given an Artinian local ring $R$, we define its Gorenstein colength $g(R)$ to measure how closely we can approximate $R$ by a Gorenstein Artin local ring. In this paper, we show that $R = T/I$ satisfies the inequality $g(R) \leq…

Let $R=k[x_1, ..., x_n]/(x_1^d + ... + x_n^d)$, where $k$ is a field of characteristic $p$, $p$ does not divide $d$ and $n \geq 3$. We describe a method for computing the test ideal for these diagonal hypersurface rings. This method…

We study minimal reductions of edge ideals of graphs and determine restrictions on the coefficients of the generators of these minimal reductions. We prove that when $I$ is not basic, then $\core{I}\subset \m I$, where $I$ is an edge ideal…

The core of an ideal is defined as the intersection of all of its reductions. In this paper we provide an explicit description for the core of a monomial ideal $I$ satisfying certain residual conditions, showing that ${\rm core}(I)$…

Let $J_G$ be the binomial edge ideal of a graph $G$. We characterize all graphs whose binomial edge ideals, as well as their initial ideals, have regularity $3$. Consequently we characterize all graphs $G$ such that $J_G$ is extremal…

Let $m$, $n$, $a_1$, ..., $a_r$, $b_1$, ..., $b_r$ be integers with $1\leq a_1<...<a_r\leq m$ and $1\leq b_1<...<b_r\leq n$. And let $x$ be the universal $m\times n$ matrix with the property that $i$-minors of first $a_i-1$ rows and first…

The core of an ideal is the intersection of all its reductions. For large classes of ideals I we explicitly describe the core as a colon ideal of a power of a single reduction and a power of I.