[论文解读] Noetherianity up to symmetry

Jan Draisma|arXiv (Cornell University)|Oct 7, 2013

Advanced Combinatorial Mathematics参考文献 6被引用 7

一句话总结

本文引入了具有大对称群的无限维代数簇的对称性下诺特性的概念，表明在这些对称性下稳定的子簇由有限个方程轨道定义。利用克鲁斯卡尔树定理和等变格罗布纳理论，证明了多重线性代数和代数统计中的关键代数结构——如高斯k因子模型和张量簇——在对称群作用下是等变诺特的。

ABSTRACT

These lecture notes for the 2013 CIME/CIRM summer school Combinatorial Algebraic Geometry deal with manifestly infinite-dimensional algebraic varieties with large symmetry groups. So large, in fact, that subvarieties stable under those symmetry groups are defined by finitely many orbits of equations---whence the title Noetherianity up to symmetry. It is not the purpose of these notes to give a systematic, exhaustive treatment of such varieties, but rather to discuss a few "personal favourites": exciting examples drawn from applications in algebraic statistics and multilinear algebra. My hope is that these notes will attract other mathematicians to this vibrant area at the crossroads of combinatorics, commutative algebra, algebraic geometry, statistics, and other applications.

研究动机与目标

• 建立一个适用于在大对称群作用下不变的无限维代数簇的诺特性框架。
• 证明在这些对称性下稳定的子簇并非由无限多个方程定义，而是由有限个方程轨道定义。
• 将该理论应用于代数统计和多重线性代数中的具体例子，如高斯k因子模型和张量簇。
• 为对称无限维设定下的算法成员测试和结构分析提供基础。
• 尽管理想生成无法由有限个轨道实现，仍需调和几何上的等变诺特性与理想理论中的有限性。

提出的方法

• 使用克鲁斯卡尔树定理和希格曼引理作为基础组合工具，建立树集和多重集上的良好偏序。
• 应用等变格罗布纳理论分析具有群作用的多项式环，特别是对称群在无限变量集上的作用。
• 采用 $\Delta$-簇的概念来建模对称的无限维代数集，如张量空间中出现的集合。
• 通过轨道有限生成，将诺特性问题约化为无限对称群子群作用下稳定的子簇。
• 通过保持等变性和闭性的投影映射，将对称簇嵌入有限维空间，构造闭嵌入。
• 利用行列式条件和支持基分割论证，将有限支撑外的变量用有限个生成元表示，从而实现向诺特基环的约化。

实验结果

研究问题

• RQ1 能否证明具有大对称群的无限维代数簇满足类似于诺特性的有限性条件？
• RQ2 诺特性在多大程度上可通过定义方程轨道的有限生成来在对称性下恢复？
• RQ3 如何为对称代数结构（如高斯k因子模型或张量簇）建立等变诺特性？
• RQ4 为何像塞格雷嵌入锥这样的对称簇的理想不能由有限个群轨道生成？这对理想理论中的有限性意味着什么？
• RQ5 对称簇类在如展平等操作下是否封闭？这如何影响定义方程的结构？

主要发现

• 无限维下的高斯k因子模型是 $G_\infty$-诺特的，意味着其定义簇由有限个 $G_\infty$-轨道的方程截得。
• 对于k因子模型，通过将其约化为有限维空间中一个 $H$-稳定子空间，证明了 $Y^{(k)}_\infty$ 是 $G_\infty$-诺特的，其中 $H$ 是有限支撑的稳定子。
• 该证明表明，$Z_a$（行列式非零的局部）是 $H$-诺特的，通过行列式恒等式将所有支撑外的变量用有限个生成元表示。
• 投影映射 $\operatorname{pr}: Z_a \to Q$ 是一个 $H$-等变闭嵌入，使得诺特性可从有限维基传递到无限维簇。
• 更强的结果被证明：$X_\infty$ 由有限个 $G_\infty$-轨道的方程定义，从而实现了该簇的多项式时间成员测试。
• 尽管如此，$X_\infty$ 的理想并非由有限个 $G_\infty$-轨道生成，表明几何有限性与理想理论有限性之间存在差距，这一差距可通过考虑额外的线性映射（如收缩和张量积）来调和。