[論文レビュー] Semisimple algebraic tensor categories

Rainer Weissauer|ArXiv.org|Sep 9, 2009

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

ひとこと要約

本稿は、特性0の代数的に閉じた体上の半単純代数的テンソル圏を分類し、任意の such 圏が再帰的超群スキームの有限次元超表現の圏として実現されることを示す。主な結果は、直交超シンプレクティック超群と再帰的代数群の半直積として再帰的超群を構造的に分解することを確立し、ハリシ・チャンドラ三重項とホップ代数論を用いて、古典的な再帰的群の結果を超群設定に一般化する。

ABSTRACT

A semisimple algebraic tensor category over an algebraically closed field k of characteristic zero is the representation category of all finite dimensional twisted super representations of an affine reductive supergroup G over k. Such a supergroup is reductive if and only if its connected component is reductive. The connected component is reductive if and only if the Lie superalgebra divided by its center is a product of simple Lie algebras of classical type and Lie superalgebras spo(1,2r) of the orthosymplectic types BC_r.

研究の動機と目的

• 代数的に閉じた体の特性0における半単純代数的テンソル圏を分類すること。
• 超アフィン群スキームの有限次元超表現の圏が半単純である条件を特定すること。
• 再帰的超群スキームを直交超シンプレクティック超群と再帰的代数群の観点から構造的に分解すること。
• ホップ代数およびコモジュール論を用いて、リー代数および代数群の古典的再帰的理論を超群設定に拡張すること。

提案手法

• 超アフィン群スキームの超表現の圏とその超ホップ代数上のコモジュールの圏との同値性を用いる。
• 再帰的超群構造をパラメトライズするため、ハリシ・チャンドラ三重項 (G, g₋, Q) の理論を適用する。ここで G は還元群、g はリー超代数、Q は G-不変な対称双線形写像である。
• 超ホップ代数 A の超ルート J を用いて、還元群スキーム G = Spec(A/J) を定義する。A が連結で char(k) = 0 であれば、G は再帰的代数群である。
• 表現の対称冪および外冪にフィルトレーションを導入し、テンソル冪における既約性および重複度の上限を分析する。
• カテゴリの同値性 Rep_k(G, g₋, Q) ≅ Rep_k(𝐺, ε) を用いて、半単純性の問題をリー超代数の再帰的性に還元する。
• ドジョコビッチおよびホフシュライブの再帰的リー超代数に関する結果を応用し、再帰的超群スキームを特徴付ける。

実験結果

リサーチクエスチョン

• RQ1 超アフィン群スキームの有限次元超表現の圏が半単純であるのはいつか？
• RQ2 超群スキーム G に対して、その超表現の圏が半単純であるための条件は何か？
• RQ3 再帰的超群スキームは、その基礎となる代数群およびリー超代数を用いてどのように分類できるか？
• RQ4 代数的に閉じた体の特性0における連結再帰的超群の構造は何か？
• RQ5 再帰的超群の自己同型および成分群は、その直交超シンプレクティック成分にどのように作用するか？

主な発見

• 代数的に閉じた体の特性0における任意の代数的テンソル圏は、超アフィン群スキームの有限次元超表現の圏と同値である。
• 超アフィン群スキーム G が再帰的であるための必要十分条件は、その還元群 G が再帰的であり、そのリー超代数が再帰的であることである。
• 連結再帰的超群 G は、G′ × H に同型であり、ここで G′ は直交超シンプレクティック超群 Spo(1,2r) の積であり、H は再帰的代数群である。
• 再帰的超群の超表現の圏が半単純であるための必要十分条件は、基礎となるリー超代数が再帰的であることである。
• 成分群 π₀(G) は、G′ の因子の置換を通じて作用し、この作用は標準的ホモオモルフィズム p: H → ∏Σₙᵣ によって符号化される。
• 特性0の代数的に閉じた体上の任意の再帰的超群は、G′ ⋊ H の形の半直積に同型であり、ここで G′ は単純なBC型超群の積であり、H は因子の置換を通じて作用する。