[论文解读] 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}$-素理想的交，并完全刻画了等变谱 $\operatorname{Spec}_{\mathfrak{S}}(R)$，通过引入经典交换代数结果的等变类比，解决了 $\mathfrak{S}$-不变设定下经典共素性的失效问题。

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$-闭子集均为形如 $\Gamma_{\lambda,e}(Z)$ 与 $\Gamma_\infty(Z)$ 的有限并，其中 $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}$-不变闭子集及证明等变谱映射的连续性中起到什么作用？

主要发现

• 通过 $\Theta$-构造对 $R$ 的 $\mathfrak{S}$-素理想进行分类，且其不一定是根理想，如例子 $\mathfrak{a} = \langle \xi_i^2 \rangle_{i \geq 1}$ 所示。
• $\mathfrak{S}$-谱 $\operatorname{Spec}_{\mathfrak{S}}(R)$ 是一个拓扑空间，其闭集为形如 $V_{\mathfrak{S}}(\mathfrak{p})$ 的有限并，其中 $\mathfrak{p}$ 为 $\mathfrak{S}$-素理想。
• 每个 $\mathfrak{S}$-理想与它的 $\mathfrak{S}$-根理想共素，且每个 $\mathfrak{S}$-理想类中包含唯一的 $\mathfrak{S}$-根理想。
• 每个 $\mathfrak{S}$-根理想均为有限个 $\mathfrak{S}$-素理想的交，且在包含关系的极小性下唯一（至多置换）。
• 映射 $\rho: \mathscr{X} \to \operatorname{Spec}_{\mathfrak{S}}(R)$ 是连续满射，且其闭集的原像为闭集，从而确立了等变谱的拓扑结构。
• $\mathscr{X}$ 中的 $\Theta$-闭子集恰好为形如 $\Gamma_{\lambda,e}(Z)$ 与 $\Gamma_\infty(Z)$ 的有限并，其中 $Z$ 为不可约且闭的集合，且这些集合在 $\Theta$-拓扑下是闭的。