[论文解读] The first fundamental theorem of invariant theory for the orthosymplectic super group

Deligne, P., R. B. Zhang+1 more|arXiv (Cornell University)|Aug 18, 2015

Advanced Algebra and Geometry参考文献 30被引用 22

一句话总结

本文通过超形式 B 的配对，利用 Atiyah-Bott-Patodi 的约化技术的超类比，为正交辛超群（OSp）和对偶超群提供了第一基本定理（FFT）的新几何证明。它证明了不变量由超形式 B 的配对生成，并解释了 Sergeev 的超 Pfaffian 作为超行列式的平方根的多项式性质，该性质对特殊正交辛超群成立。

ABSTRACT

We give a new proof, inspired by an argument of Atiyah, Bott and Patodi, of the first fundamental theorem of invariant theory for the orthosymplectic super group. We treat in a similar way the case of the periplectic super group. Lastly, the same method is used to explain the fact that Sergeev's super Pfaffian, an invariant for the special orthosymplectic super group, is polynomial.

研究动机与目标

• 为正交辛超群（OSp）的第一基本定理（FFT）提供一种新的几何证明，灵感来自 Atiyah、Bott 和 Patodi 的方法。
• 将相同方法扩展至对偶超群，建立其在超设定下的 FFT。
• 解释为何 Sergeev 的超 Pfaffian（作为特殊正交辛超群的不变量）是多项式不变量。
• 通过下降法与谱技术统一处理超代数几何中的不变量。

提出的方法

• 采用 Atiyah-Bott-Patodi 约化技术的超类比，通过超向量空间与分次张量积，将 OSp 的 FFT 关联至 GL(V) 的 FFT。
• 利用超向量空间的符号规则：$ v \otimes w \mapsto (-1)^{|v||w|} w \otimes v $，定义超对称双线性型。
• 通过超概形与忠实平坦下降建模超群作用，应用 SGA1 的结果将不变量延拓至开子集。
• 通过局部坐标中的二项式展开，将超 Pfaffian 构造为 $ \det(B(v_i, v_j))^{2n+1} $ 的平方根，证明其为多项式延拓。
• 应用 étale 下降，通过分析行列式可逆的开集的补集，证明超 Pfaffian 可延拓至整个空间。
• 通过将向量丛分解为正交子丛，分离奇部，并定义该型的局部平方根。

实验结果

研究问题

• RQ1 如何通过几何约化至一般线性超群，证明正交辛超群的第一基本定理？
• RQ2 对偶超群在 $ V^N $ 上的不变多线性型的结构是什么？它们如何与双线性型的配对相关？
• RQ3 为何 Sergeev 的超 Pfaffian 在特殊正交辛超群作用下是多项式不变量？
• RQ4 尽管超 Pfaffian 是行列式的平方根，它如何实现全局延拓？

主要发现

• 通过将 OSp 的 FFT 约化至 GL(V) 的 FFT，证明了 OSp 的 FFT，表明不变量由超形式 B 的配对生成。
• 相同方法适用于对偶超群，得出其作用下不变量的类似 FFT。
• 超 Pfaffian $ \Delta^{2n+1} $ 定义为 $ \det(B(v_i, v_j))^{2n+1} $ 的平方根，通过因 Grassmann 关系而终止的二项式展开，证明其为多项式。
• 通过 étale 下降，超 Pfaffian 可延拓至整个空间 $ \mathbf{V}^m $，因为行列式可逆的开集的补集的余维数 ≥ 2。
• 超 Pfaffian 在连通分支 $ \mathrm{SOSp}(V) $ 上不变，而另一分支的元素使其变号，确认其作为特殊群基本不变量的角色。
• 对称张量上的 $ \mathrm{SOSp}(V) $ 不变量由 $ \mathrm{OSp}(V) $ 的不变量与超 Pfaffian 生成，此结论通过 $ \mathfrak{gl}_N $-模结构得以证明。