No Arabic abstract
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 these ideals, and describe the equivariant spectrum of $R$. We emphasize that $mathfrak{S}$-prime ideals need not be radical, which is a primary source of difficulty. Our results yield a classification of $mathfrak{S}$-ideals of $R$ up to copotency. Our work is motivated by the interest and applications of $mathfrak{S}$-ideals seen in recent years.
Let $R$ be a polynomial ring over a field and $I subset R$ be a Gorenstein ideal of height three that is minimally generated by homogeneous polynomials of the same degree. We compute the multiplicity of the saturated special fiber ring of $I$. The obtained formula depends only on the number of variables of $R$, the minimal number of generators of $I$, and the degree of the syzygies of $I$. Applying results from arXiv:1805.05180, we get a formula for the $j$-multiplicity of $I$ and an effective method to study a rational map determined by a minimal set of generators of $I$.
We describe an algorithm which finds binomials in a given ideal $Isubsetmathbb{Q}[x_1,dots,x_n]$ and in particular decides whether binomials exist in $I$ at all. Binomials in polynomial ideals can be well hidden. For example, the lowest degree of a binomial cannot be bounded as a function of the number of indeterminates, the degree of the generators, or the Castelnuovo--Mumford regularity. We approach the detection problem by reduction to the Artinian case using tropical geometry. The Artinian case is solved with algorithms from computational number theory.
The Qth-power algorithm for computing structured global presentations of integral closures of affine domains over finite fields is modified to compute structured presentations of integral closures of ideals in affine domains over finite fields relative to a local monomial ordering. A non-homogeneous version of the standard (homogeneous) Rees algebra is introduced as well.
We introduce a new class of monomial ideals which we call symmetric shifted ideals. Symmetric shifted ideals are fixed by the natural action of the symmetric group and, within the class of monomial ideals fixed by this action, they can be considered as an analogue of stable monomial ideals within the class of monomial ideals. We show that a symmetric shifted ideal has linear quotients and compute its (equivariant) graded Betti numbers. As an application of this result, we obtain several consequences for graded Betti numbers of symbolic powers of defining ideals of star configurations.
Let $k$ be a field, $ mathcal{L}subset mathbb{Z}^n$ be a lattice such that $Lcap mathbb{N}^n={{bf 0}}$, and $I_Lsubset Bbbk[x_1,..., x_n]$ the corresponding lattice ideal. We present the generalized Scarf complex of $I_L$ and show that it is indispensable in the sense that it is contained in every minimal free resolution of $R/I_L$.