[论文解读] Hopf algebraic techniques applied to super algebraic groups

Akira Masuoka|arXiv (Cornell University)|Nov 6, 2013

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

一句话总结

本文应用霍普夫代数技巧研究超代数群，建立了基础性结果，例如闭正规超子群与商超群之间的一一对应关系。证明了超代数群的弗罗贝尼乌斯核是无穷小且局部的，并通过其偶部群和余代数结构刻画了积分与幂零性。

ABSTRACT

Reproducing my talk at Algebra Symposium held at Hiroshima University, August 26--29, 2013, I review recent results on super algebraic groups, emphasizing results obtained by myself and my coauthors using Hopf algebraic techniques. The results are all basic, and I intend to make this report into a somewhat informal introduction to the subject.

研究动机与目标

• 为超代数群发展霍普夫代数框架，动机源于尽管德利涅关于超坦纳卡分类的定理已存在，但基础性结果仍显不足。
• 建立超代数群的闭正规超子群与商超群之间的一一对应关系，这是早期研究中缺失的关键结构性性质。
• 在正特征下分析弗罗贝尼乌斯态射及其核（即弗罗贝尼乌斯核），证明其为无穷小且局部的。
• 通过偶部群结构与余代数性质刻画超代数群中积分存在性与幂零性的条件。
• 利用玻色化与霍普夫代数技巧，将经典代数群结果推广至超情形。

提出的方法

• 利用超仿射群与超霍普夫代数之间的反等价关系，其中超仿射群 $ G $ 对应其坐标超霍普夫代数 $ ext{Sp} hinspace A $，且 $ A = ext{Hom}_{ ext{gr}}(A, old{k}) $。
• 应用玻色化技巧将超霍普夫代数与普通霍普夫代数联系起来，从而实现经典霍普夫代数理论结果的转移。
• 通过坐标超代数 $ A^{(p)} = A igotimes old{k}^{1/p} $ 上的 $ p $ 次幂映射定义弗罗贝尼乌斯态射 $ F_G: G o G^{(p)} $，进而得到弗罗贝尼乌斯核 $ G_p = ext{Ker} hinspace F_G $。
• 采用函子观点：超仿射群是一个表示函子 $ G: ext{CommAlgebras} o ext{Groups} $，其中 $ ext{Hom}(R, G) $ 给出 $ R $-点。
• 将积分定义为 $ old{k} $-线性映射 $ ext{int}: ext{Hom}(A, old{k}) o old{k} $，使其成为左/右 $ A $-余模映射，且 $ ext{int}(1) eq 0 $ 意味着存在双边积分。
• 利用余代数 $ ext{Hom}(A, old{k}) $ 的不可约性与幂零性的等价性，以及结果：$ G $ 是幂零的当且仅当 $ G_{ ext{ev}} $ 是幂零的。

实验结果

研究问题

• RQ1 是否存在超代数群的闭正规超子群与商超群之间的一一对应关系？
• RQ2 在正特征下，超代数群的弗罗贝尼乌斯核 $ G_p $ 的结构是怎样的？
• RQ3 在什么条件下，超代数群会存在非零积分，这与偶部群 $ G_{ ext{ev}} $ 有何关联？
• RQ4 在何种条件下，超代数群是幂零的，这与其偶部的幂零性有何关系？
• RQ5 在特征零与正特征下，积分与线性约化性在超代数群中如何表现？

主要发现

• 超代数群 $ G $ 的闭正规超子群与商超群之间存在一一对应关系，解决了该理论中的一个基础性空白。
• 超代数群 $ G $ 的弗罗贝尼乌斯核 $ G_p $ 是无穷小的（即 $ ext{dim} hinspace ext{Hom}(A, old{k}) < old{ ext{infty}} $）且局部的（即余单位理想是幂零的）。
• 左积分空间 $ ext{Int}_{ ext{left}}(G) $ 的维数至多为 1，且 $ G $ 存在积分当且仅当 $ G_{ ext{ev}} $ 存在积分。
• 超仿射群 $ G $ 是幂零的当且仅当其偶部 $ G_{ ext{ev}} $ 是幂零的，此结果由祖布科夫证明。
• 在特征零下，若 $ G_{ ext{ev}} $ 是线性约化的，则 $ G $ 存在积分；在特征 $ p > 2 $ 时，此结论成立当且仅当 $ (G_{ ext{ev}})^0_{ar{old{k}}} $ 的约化群 $ F_{ ext{red}} $ 是一个环面。
• 线性约化性等价于存在一个双边积分且满足 $ ext{int}(1) eq 0 $，这一条件通常仅在 $ G $ 为纯偶部时才成立。