[论文解读] Standard monomials and invariant theory for arc spaces III: special linear group

Andrew R. Linshaw, Bailin Song|arXiv (Cornell University)|Aug 20, 2021

Algebraic structures and combinatorial models参考文献 29被引用 4

一句话总结

本文建立了代数闭域上特殊线性群的不变量理论第一、第二基本定理在弧空间上的类比。利用标准单项式理论，证明了仿射商的弧空间的不变量环即使在弧空间非约的情况下，也由某些标准单项式生成，从而解决了SL_h情形与GL_h和Sp_h情形相比的关键细微差别。

ABSTRACT

This is the third in a series of papers on standard monomial theory and invariant theory of arc spaces. For any algebraically closed field $K$, we prove the arc space analogue of the first and second fundamental theorems of invariant theory for the special linear group. This is more subtle than the results for the general linear and symplectic groups obtained in the first two papers because the arc space of the corresponding affine quotients can be nonreduced.

研究动机与目标

• 将标准单项式理论扩展至特殊线性群SL_h的弧空间。
• 在弧空间设定下建立不变量理论的第一和第二基本定理。
• 解决弧空间的仿射商可能非约的问题，这与GL_h和Sp_h情形不同。
• 为SL_h表示簇的弧空间的不变量环提供一个标准单项式基。
• 将经典不变量理论结果推广至弧空间的无限维设定。

提出的方法

• 通过K[[t]]上的点函子，将弧空间J_∞(V)构造为喷射簇J_n(V)的逆极限。
• 通过在生成元X^{(k)}_{u;v}, Y^{(k)}_u, Z^{(k)}_v上定义偏序，将标准单项式理论适配至弧空间。
• 使用归一化导数∂̄^i生成微分关系，并在弧空间中定义标准单项式。
• 应用微分理想与微分有限生成理想的理论，以控制不变量环中的关系。
• 采用递归约化技巧与权重论证（wt, R(E,·)）证明非标准单项式为零。
• 利用已知的经典结果（SL_h的FFT与SFT）作为基例，并通过喷射滤子将其提升至弧空间。

实验结果

研究问题

• RQ1 如何将SL_h的不变量理论第一基本定理提升至弧空间设定？
• RQ2 在弧空间J_∞(V)中，不变量环K[V]^{SL_h}的结构是怎样的，尤其是当商非约时？
• RQ3 标准单项式理论能否扩展至SL_h表示的弧空间，以生成不变量环的基？
• RQ4 弧空间不变量环的定义关系（SFT）是什么，它们与经典情形有何不同？
• RQ5 微分算子与喷射结构如何影响弧空间中标准单项式基？

主要发现

• 第一基本定理的弧空间类比成立：不变量环K[J_∞(V)]^{SL_h}由标准单项式X^{(k)}_{u;v}, Y^{(k)}_u, Z^{(k)}_v生成。
• 第二基本定理的弧空间类比成立：关系理想由相同的关系（1.2）–（1.4）通过喷射导数提升至弧空间而生成。
• 即使弧空间非约，K[J_∞(V)]^{SL_h}的标准单项式基也由在所定义偏序下有序的生成元乘积构成。
• 证明表明，非标准单项式因微分关系中的抵消而为零，其依据为∂̄-列表上的权重与秩论证。
• 该方法成功处理了弧空间商的非约性，这是GL_h和Sp_h情形中所不存在的关键难点。
• 结果将经典不变量理论推广至无限喷射空间，为SL_h在弧空间中的不变量提供了完整的代数描述。