[论文解读] Symmetric subvarieties of infinite affine space

Rohit Nagpal, Andrew Snowden|arXiv (Cornell University)|Nov 18, 2020

Commutative Algebra and Its Applications参考文献 13被引用 7

一句话总结

本文对无限维仿射空间 $χ = \mathbf{A}^\infty$ 的 $σ$-不可约闭子簇进行了分类，这些子簇在无限对称群 $\mathfrak{S}$ 作用下保持稳定。文章建立了此类子簇与配对 $(\lambda, Z)$ 之间的自然双射，其中 $\lambda$ 是一个 $\infty$-分拆，$Z$ 是空间 $\mathbf{A}^{[r]}$ 中具有互异坐标的点的 $\operatorname{Aut}(\lambda)$-不可约闭子簇。主要贡献在于通过类型分层和群作用不变量，对对称子簇实现了完整分类。

ABSTRACT

We classify the subvarieties of infinite dimensional affine space that are stable under the infinite symmetric group. We determine the defining equations and point sets of these varieties as well as the containments between them.

研究动机与目标

• 对复数域上无限维仿射空间 $\mathfrak{X} = \mathbf{A}^\infty$ 的所有 $\mathfrak{S}$-稳定扎里斯基闭子集进行分类。
• 理解无限多项式环 $R = \mathbf{C}[\xi_1, \xi_2, \ldots]$ 中的根 $\mathfrak{S}$-理想结构。
• 利用有限型点和类型分层，刻画对称子簇的包含关系与定义方程。
• 通过 $\infty$-分拆的自同构群，建立 $\mathfrak{X}$ 的 $\mathfrak{S}$-不可约子簇与有限维空间 $\mathbf{A}^{[r]}$ 中不可约子簇之间的对应关系。
• 为未来在 $\mathfrak{S}$-等变交换代数方面的工作奠定基础，包括初等分解与一般 $\mathfrak{S}$-理想的结构研究。

提出的方法

• 引入 $\mathfrak{X}$ 中的有限型点概念，定义为坐标仅取有限多个不同值的点，并将其与满足 $\lambda_1 = \infty$ 的 $\infty$-分拆 $\lambda = (\lambda_1, \ldots, \lambda_r)$ 关联。
• 将类型分层 $\mathfrak{X}_{[\lambda]}$ 定义为所有类型为 $\lambda$ 的有限型点的集合，构成有限型点集 $\mathfrak{X}_{\mathrm{fin}}$ 的分解。
• 利用无限对称群 $\mathfrak{S}$ 的作用，定义 $\mathfrak{S}$-不可约子簇，即不可分解为更小的 $\mathfrak{S}$-稳定闭子集的最小 $\mathfrak{S}$-稳定闭子簇。
• 构造 $\mathfrak{X}$ 的 $\mathfrak{S}$-不可约子簇与配对 $(\lambda, Z)$ 之间的双射，其中 $Z$ 是 $\mathbf{A}^{[r]}$（$\mathbf{A}^r$ 中具有互异坐标的开子集）上关于 $\operatorname{Aut}(\lambda)$-不可约的闭子簇。
• 应用科恩的 $\mathfrak{S}$-诺特性定理，确保 $\mathfrak{S}$-稳定理想满足升链条件，从而实现对称子簇的有限分解。
• 引入 $\Pi$-闭包与 $\mathrm{I}$-闭包运算，以分析 $\mathfrak{S}$-等变模的支集，并将其与对称子簇的扎里斯基闭包联系起来。

实验结果

研究问题

• RQ1 无限维仿射空间中 $\mathfrak{S}$-不可约闭子簇的完整分类是什么？
• RQ2 对称子簇如何与基于其 $\infty$-分拆类型的有限型点分层相关联？
• RQ3 对称子簇 $\mathfrak{X}$ 与有限维空间 $\mathbf{A}^{[r]}$ 中不可约子簇之间的确切对应关系是什么？
• RQ4 光滑且有限生成的 $\mathfrak{S}$-生成的 $\mathfrak{S}$-等变 $R$-模 $M$ 的支集如何与对称子簇的扎里斯基闭包相关联？
• RQ5 $\Pi$-闭包运算能否用于刻画模的支集在其消去理想簇中是否稠密？

主要发现

• 所有 $\mathfrak{S}$-不可约真闭子簇的集合与配对 $(\lambda, Z)$ 之间存在自然双射，其中 $\lambda$ 是一个 $\infty$-分拆，$Z$ 是 $\mathbf{A}^{[r]}$ 中关于 $\operatorname{Aut}(\lambda)$-不可约的闭子簇。
• 任何 $\mathfrak{S}$-稳定的 $\mathfrak{X}$ 闭子簇都是有限个 $\mathfrak{S}$-不可约子簇的并集，这是科恩的 $\mathfrak{S}$-诺特性定理的推论。
• 光滑且有限生成的 $\mathfrak{S}$-等变 $R$-模 $M$ 的支集等于某个闭的 $\mathfrak{S}_{\geq n}$-子簇 $\mathfrak{Z}$ 的 $\mathrm{I}(\mathfrak{Z})$，且 $V(\operatorname{Ann}(M)) = \overline{\mathrm{I}}(\mathfrak{Z})$。
• 支集 $\operatorname{Supp}(M)$ 在 $V(\operatorname{Ann}(M))$ 中是扎里斯基稠密的；若 $\operatorname{Supp}(M)$ 有界，则其最高维分量位于 $\operatorname{Supp}(M)$ 内部。
• 存在支集不是扎里斯基闭的 $\mathfrak{S}$-等变模，通过一个例子表明 $\operatorname{Supp}(M)$ 可能不是 $\Pi$-闭的，这意味着 $\mathrm{I}(\mathfrak{Z})$ 可能严格小于 $\overline{\mathrm{I}}(\mathfrak{Z})$。
• $\mathrm{I}(\mathfrak{Z})$ 的 $\Pi$-闭包可能严格大于 $\mathrm{I}(\mathfrak{Z})$，且在某些情况下 $\overline{\mathrm{I}}(\mathfrak{Z}) = \mathfrak{X}$，即使 $\mathrm{I}(\mathfrak{Z})$ 是真子集。