Related papers: On the complete intersection conjecture of Murthy

The symmetric group $\mathfrak{S}_n$ acts on the polynomial ring $\mathbb{Q}[\mathbf{x}_n] = \mathbb{Q}[x_1, \dots, x_n]$ by variable permutation. The invariant ideal $I_n$ is the ideal generated by all $\mathfrak{S}_n$-invariant…

Let I be an m-primary ideal of a Noetherian local ring (R,m). We consider the Gorenstein and complete intersection properties of the associated graded ring G(I) and the fiber cone F(I) of I as reflected in their defining ideals as…

Let $R$ be a Cohen-Macaulay local ring of dimension one with a canonical module $\rm{K_R}$. Let $I$ be a faithful ideal of $R$. We explore the problem of when $I \otimes_RI^{\vee}$ is torsionfree, where $I^{\vee} = \operatorname{Hom_R(I,…

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…

Let $A$ be a local complete intersection ring. Let $M,N$ be two finitely generated $A$-modules and $I$ an ideal of $A$. We prove that \[ \bigcup_{i\geqslant 0}\bigcup_{n \geqslant 0}\mathrm{Ass}_A\left(\mathrm{Ext}_A^i(M,N/I^n N)\right) \]…

Let $k$ be a field and $x,y$ indeterminates over $k$. Let $R=k[x^a,x^{p_1}y^{s_1},\ldots,x^{p_t}y^{s_t},y^b] \subseteq k[x,y]$. We calculate the Hilbert polynomial of $(x^a,y^b)$. The multiplicity of this ideal provides part of a criterion…

Based on the structure theory of pairs of skew-symmetric matrices, we give a conjecture for the Hilbert series of the exterior algebra modulo the ideal generated by two generic quadratic forms. We show that the conjectured series is an…

Let $R$ be a commutative ring with unity. The co-maximal ideal graph of $R$, denoted by $\Gamma(R)$, is a graph whose vertices are the proper ideals of $R$ which are not contained in the Jacobson radical of $R$, and two vertices $I_1$ and…

The properties of the intersection algebra of two principal monomial ideals in a polynomial ring are investigated in detail. Results are obtained regarding the Hilbert series and the canonical ideal of the intersection algebra using methods…

We study basic properties of monomial ideals with linear quotients. It is shown that if the monomial ideal $I$ has linear quotients, then the squarefree part of $I$ and each component of $I$ as well as $\mm I$ have linear quotients, where…

Given a perfect field $k$ with algebraic closure $\overline{k}$ and a variety $X$ over $\overline{k}$, the field of moduli of $X$ is the subfield of $\overline{k}$ of elements fixed by field automorphisms…

Let K be a finite field and let X be a subset of a projective space, over the field K, which is parameterized by monomials arising from the edges of a clutter. We show some estimates for the degree-complexity, with respect to the revlex…

P. Erd\H{o}s conjectured in 1962 that on the ring $\mathbb{Z}$, every set of $n$ congruence classes in $\mathbb{Z}$ that covers the first $2^n$ positive integers also covers the ring $\mathbb{Z}$. This conjecture was first confirmed in 1970…

We give sufficent conditions for a derivation of a $k$-algebra $A$ of finite type to be $\infty$-integrable in the sense of Hasse-Schmidt, when $A$ is a complete intersection, or when $A$ is reduced and $k$ is a regular ring. As a…

Let $R$ be a commutative Noetherian ring that is a smooth $\mathbb Z$-algebra. For each ideal $I$ of $R$ and integer $k$, we prove that the local cohomology module $H^k_I(R)$ has finitely many associated prime ideals. This settles a crucial…

Let C be a clutter and let A be its incidence matrix. If the linear system x>=0;xA<=1 has the integer rounding property, we give a description of the canonical module and the a-invariant of certain normal subrings associated to C. If the…

Let $H=\langle n_1, \ldots ,n_4\rangle$ be a numerical semigroup generated by $4$ elements, which is symmetric and let $k[H]$ be the semigroup ring of $H$ over a field $k$. H. Bresinski proved that the defining ideal of $k[H]$ is minimally…

Let $I \subset K[x,y]$ be a monomial ideal. How small can $\mu(I^2)$ be in terms of $\mu(I)$? It has been expected that the inequality $\mu(I^2) > \mu(I)$ should hold whenever $\mu(I) \ge 2$. Here we disprove this expectation and provide a…

Consider the conjugation action of the general linear group $\operatorname{GL}_{2}(K)$ on the polynomial ring $K[X_{2 \times 2}]$. When $K$ is an infinite field, the ring of invariants is a polynomial ring generated by the trace and the…

We compute low-dimensional K-groups of certain rings associated with the study of the Hermite ring conjecture. This includes a monoid ring whose low-dimensional K-groups were recently computed by Krishna and Sarwar in the case where the…