[論文レビュー] 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 = \text{Ker}\thinspace F_G $ を得る。
• 関手的視点の使用：超アフィン群は、$ ext{CommAlgebras} \to \text{Groups} $ への表現可能関手 $ G $ として与えられ、$ \text{Hom}(R, G) $ が $ R $-点を与える。
• 積分を $ \bold{k} $-線形写像 $ \text{int}: \text{Hom}(A, \bold{k}) \to \bold{k} $ として定義し、これは左／右 $ A $-コモジュール写像である。$ \text{int}(1) \neq 0 $ であれば、両側積分の存在が保証される。
• 単純性とコアルゲブラ $ \text{Hom}(A, \bold{k}) $ の非可約性の同値性を用い、$ G $ が単純的であるための必要十分条件は $ G_{\text{ev}} $ が単純的であることである。

実験結果

リサーチクエスチョン

• RQ1 超代数群の閉じた正規超部分群と商超群の間に一対一対応は存在するか？
• RQ2 正の特徴値における超代数群のフロベニウス核 $ G_p $ の構造はいかなるものか？
• RQ3 超代数群が非ゼロの積分をもつのはいつか？これは偶数部分群 $ G_{\text{ev}} $ とどのように関係するか？
• RQ4 超代数群が単純的であるための条件は何か？また、その偶数部分の単純性とどのように関係するか？
• RQ5 積分および線形再帰的性質は、特に特徴値ゼロと正の特徴値の間で、超代数群においてどのように振る舞うか？

主な発見

• 超代数群 $ G $ の閉じた正規超部分群とその商超群の間には一対一対応が存在し、理論における基礎的ギャップが解消された。
• 超代数群 $ G $ のフロベニウス核 $ G_p $ は無限小的（すなわち、$ \text{dim} \thinspace \text{Hom}(A, \bold{k}) < \bold{\text{infty}} $）かつ局所的（すなわち、増幅イデアルが冪零）である。
• 左積分空間 $ \text{Int}_{\text{left}}(G) $ の次元は1以下であり、$ G $ が積分をもつための必要十分条件は $ G_{\text{ev}} $ が積分をもつことである。
• 超アフィン群 $ G $ が単純的であるための必要十分条件は、その偶数部分 $ G_{\text{ev}} $ が単純的であることである（Zubkov による結果）。
• 特徴値ゼロでは、$ G $ が積分をもつための必要十分条件は $ G_{\text{ev}} $ が線形再帰的であることである。特徴値 $ p > 2 $ では、$ (G_{\text{ev}})^0_{\bar{\bold{k}}} $ の簡約化群 $ F_{\text{red}} $ がトーラスである場合に限る。
• 線形再帰的性質は、$ \text{int}(1) \neq 0 $ を満たす両側積分の存在と同値であり、$ G $ が純粋に偶数的でない限り、この条件はほとんど満たされない。