Symmetric ideals of the infinite polynomial ring

Abstract

Let $R=\mathbf{C}[{\xi }_1,{\xi }_2,\dots ]$ 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.

References in corpus (8)

• Equivariant Hilbert Series in non-Noetherian Polynomial Rings
• FI- and OI-modules with varying coefficients
• Castelnuovo-Mumford regularity up to symmetry
• Subspace arrangements defined by products of linear forms
• Finite Groebner bases in infinite dimensional polynomial rings and applications
• Plücker varieties and higher secants of Sato's Grassmannian
• Symmetric subvarieties of infinite affine space
• An application of the theory of FI-algebras to graph configuration spaces

Cited by in corpus (1)

• Nonlinear Algebra and Applications