[論文レビュー] Symmetric ideals of the infinite polynomial ring

Rohit Nagpal, Andrew Snowden|arXiv (Cornell University)|Jul 27, 2021

Commutative Algebra and Its Applications参考文献 28被引用数 4

ひとこと要約

この論文は、無限対称群 $\mathfrak{S}$ の作用の下で無限多項式環 $R = \mathbb{C}[\xi_1, \xi_2, \ldots]$ における $\Gamma$-素イデアルを分類し、$\mathfrak{S}$-根基イデアルが $\mathfrak{S}$-素イデアルの有限交差であることを確立し、$\mathfrak{S}$-不変設定における古典的コポテンシーの失敗を補うために、標準的可換代数結果の等変類似を導入することで、等変スペクトル $\operatorname{Spec}_{\mathfrak{S}}(R)$ を完全に記述する。

ABSTRACT

Let $R=\mathbf{C}[ξ_1,ξ_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.

研究の動機と目的

• 無限対称群 $\mathfrak{S}$ の作用の下で無限多項式環 $R = \mathbb{C}[\xi_1, \xi_2, \ldots]$ におけるすべての $\mathfrak{S}$-素イデアルを分類すること。
• $\mathfrak{S}$-素イデアルの包含関係を特定し、$\mathfrak{S}$-スペクトル $\operatorname{Spec}_{\mathfrak{S}}(R)$ の構造を記述すること。
• 古典的コポテンシーが $\mathfrak{S}$-イデアルにおいて失敗する理由を解明し、根基および素イデアル分解の等変類似を導入することで、良好な構造を回復すること。
• $\mathfrak{S}$-イデアルがその $\mathfrak{S}$-根基および $\mathfrak{S}$-素成分によってコポテンシーの意味で分類可能であることを確立すること。

提案手法

• $\mathfrak{S}$-素および $\mathfrak{S}$-根基イデアルの概念を導入し、古典的概念を等変設定に一般化する。
• $\Theta$-構成を用いて、引き戻しと射影を通じて $\mathfrak{S}$-不変な閉集合を定義・分析する。
• 写像 $\rho: \mathscr{X} \to \operatorname{Spec}_{\mathfrak{S}}(R)$ による $\mathfrak{S}$-閉集合の逆像が閉であることを証明し、$\rho$ の連続性を確立する。
• $\mathscr{X}$ の $\Theta$-閉集合は、すべて $Z$ が既約かつ閉であるような形の $\Gamma_{\lambda,e}(Z)$ および $\Gamma_\infty(Z)$ の有限和集合であることを示す。
• $\mathfrak{S}$-根基イデアルが $\mathfrak{S}$-素イデアルの有限交差として表され、包含関係の最小性の下で一意的であることを確立する。
• $\mathscr{X}$ 上の $\Theta$-位相のネーター性を用いて、閉集合の分類を既約成分に還元する。

実験結果

リサーチクエスチョン

• RQ1 無限多項式環 $R = \mathbb{C}[\xi_1, \xi_2, \ldots]$ における $\mathfrak{S}$-素イデアルの完全な分類は何か？
• RQ2 $\mathfrak{S}$-素イデアルは包含関係においてどのように関係し合うのか？また、$\mathfrak{S}$-スペクトル $\operatorname{Spec}_{\mathfrak{S}}(R)$ の構造は何か？
• RQ3 なぜ古典的コポテンシー結果は $\mathfrak{S}$-イデアルにおいて失敗するのか？等変類似を用いることで、どのように良好な構造を回復できるか？
• RQ4 任意の $\mathfrak{S}$-イデアルは、その $\mathfrak{S}$-根基および $\mathfrak{S}$-素成分によってコポテンシーの意味で分類可能か？
• RQ5 $\Theta$-構成は、$\mathfrak{S}$-不変な閉集合を実現し、等変スペクトル写像の連続性を証明するために果たす役割は何か？

主な発見

• $\mathfrak{S}$-素イデアルは $\Theta$-構成を用いて分類可能であり、例 $\mathfrak{a} = \langle \xi_i^2 \rangle_{i \geq 1}$ によって、それらが根基的であるとは限らないことが示されている。
• $\mathfrak{S}$-スペクトル $\operatorname{Spec}_{\mathfrak{S}}(R)$ は、閉集合が $\mathfrak{S}$-素イデアル $\mathfrak{p}$ に対して $V_{\mathfrak{S}}(\mathfrak{p})$ の形の有限和集合であるような位相空間である。
• すべての $\mathfrak{S}$-イデアルはその $\mathfrak{S}$-根基とコポテンシーであり、各 $\mathfrak{S}$-イデアル類には一意的な $\mathfrak{S}$-根基イデアルが含まれる。
• すべての $\mathfrak{S}$-根基イデアルは、包含関係の最小性の下で順序の入れ替えを除き一意的な $\mathfrak{S}$-素イデアルの有限交差として表される。
• 写像 $\rho: \mathscr{X} \to \operatorname{Spec}_{\mathfrak{S}}(R)$ は連続な全射であり、閉集合の逆像が閉であることが示され、等変スペクトルの位相的構造が確立される。
• $\mathscr{X}$ の $\Theta$-閉集合は、$Z$ が既約かつ閉であるような集合 $\Gamma_{\lambda,e}(Z)$ および $\Gamma_\infty(Z)$ の有限和集合に限り、これらの集合は $\Theta$-位相において閉である。