Related papers: On the complete intersection conjecture of Murthy

A theorem of Macaulay on colons of ideals in polynomial rings is proved for homogeneous Gorenstein algebras.

We study an inductive method of computing initial ideals and Gr\"obner bases for families of ideals in a polynomial ring. This method starts from a given set of pairs $(I,J)$ where $I$ is any ideal and $J$ is a monomial ideal contained in…

Let $R$ be a commutative ring and $M_n(R)$ be the ring of $n \times n$ matrices with entries from $R$. For each $S \subseteq M_n(R)$, we consider its (generalized) null ideal $N(S)$, which is the set of all polynomials $f$ with coefficients…

Let $A$ be a commutative noetherian ring and $I$ an ideal in $A$. We characterize algebraically when all the minimal primes of the associated graded ring $G_I A$ contract to minimal primes of $A/I$. This, applied to intersection theory,…

We introduce the concept of matching powers of monomial ideals. Let $I$ be a monomial ideal of $S=K[x_1,\dots,x_n]$, with $K$ a field. The $k$th matching power of $I$ is the monomial ideal $I^{[k]}$ generated by the products $u_1\cdots u_k$…

We show that the Stanley's Conjecture holds for an intersection of three monomial primary ideals of a polynomial algebra S over a field.

Let R be the local ring of a point on a variety X over an algebraically closed field k. We make a connection between the notion of mixed (Samuel) multiplicity of m-primary ideals in R and intersection theory of subspaces of rational…

An ideal I of a local Cohen-Macaulay ring R is called a cohomologically complete intersection if H^i_I(R) = 0 for all i \neq c = height(I). Here H^i_I(R), i \in Z denotes the local cohomology of R with respect to I. For instance, a…

Let $R = k[x_1,\ldots, x_d]$ denote a standard graded polynomial ring over an algebraically closed field $k$, and let $I \subset R$ be a perfect ideal of codimension $2$ with an $n\times (n-1)$ linear presentation matrix $\phi$. We prove an…

In this article we first compare the set of elements in the socle of an ideal of a polynomial algebra $K[x_1,\ldots,x_d]$ over a field $K$ that are not in the ideal itself and Macaulay's inverse systems of such polynomial algebras in a…

We exhibit an equigenerated monomial ideal $I\subseteq K[x,y,z,w]$ with $\operatorname{reg}(\overline{I})>\operatorname{reg}(I)$. The ideal $I$ is generated in degree 4 and satisfies $\operatorname{reg}(I)=4$, while its integral closure…

In this paper we describe the defining equations of the Rees algebra and the special fiber ring of a truncation I of a complete intersection ideal in a polynomial ring over a field with homogeneous maximal ideal m. To describe explicitly…

A field $k$ is called large if every irreducible $k$-curve with a $k$-rational smooth point has infinitely many $k$-points. Let $k$ be a perfect large field and let $f \in k[x]$. Consider the evaluation map $f_k: k \to k$. Assume that $f_k$…

Many classical ring-theoretic results state that an ideal that is maximal with respect to satisfying a special property must be prime. We present a "Prime Ideal Principle" that gives a uniform method of proving such facts, generalizing the…

The subject matter is the structure of the Rees algebra of almost complete intersection ideals of finite colength in low-dimensional polynomial rings over fields. The main tool is a mix of Sylvester forms and iterative mapping cone…

Macaulay's theorem and Fr\"oberg's conjecture deal with the Hilbert function of homogeneous ideals in polynomial rings $S$ over a field $K$. In this short note we present some questions related to variants of Macaulay's theorem and…

Let $R$ be a normal Noetherian local domain of Krull dimension two. We examine intersections of rank one discrete valuation rings that birationally dominate $R$. We restrict to the class of prime divisors that dominate $R$ and show that if…

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 $R=\mathbf{C}[\xi_1,\xi_2,\ldots]$ be the infinite variable polynomial ring, equipped with the natural action of the infinite symmetric group $\mathfrak{S}$. We classify the $\mathfrak{S}$-primes of $R$, determine the containments among…

Let D be a division algebra with center F. A maximal subfield of D is defined to be a field K such that CD(K) = K; that is, K is its own centralizer in D. A maximal subfield K is said to be self-invariant if it normalises by itself, i.e.…