[論文レビュー] Nilpotence, radicaux et structures mono\"ıdales

Yves André, Bruno Kahn+1 more|arXiv (Cornell University)|Mar 26, 2002

Algebraic structures and combinatorial models参考文献 30被引用数 72

ひとこと要約

本稿は、K-線型圏で局所的に冪零な根基と半単純な商を持つWedderburn圏に関する基礎的な結果を確立し、特にモノイダル構造の下で、商写像に対する切断の存在と一意性を証明する。主な貢献は、特性0の体上の任意のアフィン群スキーム $G$ に対して、$^p\mathrm{Red}(G)$ と呼ばれるプロ再帰的包あらわしを構成することによるJacobson-Morozov定理の一般化であり、$^p\mathrm{Red}(\mathbb{G}_a) = \mathrm{SL}_2$ が成り立ち、モチーフやTannakian圏への応用がなされる。

ABSTRACT

For $K$ a field, a Wedderburn $K$-linear category is a $K$-linear category $\sA$ whose radical $\sR$ is locally nilpotent and such that $\bar \sA:=\sA/\sR$ is semi-simple and remains so after any extension of scalars. We prove existence and uniqueness results for sections of the projection $\sA o \bar\sA$, in the vein of the theorems of Wedderburn. There are two such results: one in the general case and one when $\sA$ has a monoidal structure for which $\sR$ is a monoidal ideal. The latter applies notably to Tannakian categories over a field of characteristic zero, and we get a generalisation of the Jacobson-Morozov theorem: the existence of a pro-reductive envelope $\Pred(G)$ associated to any affine group scheme $G$ over $K$. Other applications are given in this paper as well as in a forthcoming one on motives.

研究の動機と目的

• 体 $K$ 上の半単純的圏（Wedderburn圏）のためのカテゴリカルな枠組みを構築し、古典的なWedderburn定理を複数の対象を持つ圏に一般化すること。
• スカラー拡張の下での根基の挙動を調べ、半単純性がいつ保存されるかを明確化すること。
• Tannakian圏やモチーフの文脈において、特に特性0の下で、古典的なWedderburn定理をモノイダル圏へと拡張すること。
• 特性0の体上の任意のアフィン群スキーム $G$ に対して、プロ再帰的包あらわし $^p\mathrm{Red}(G)$ を構成し、Jacobson-Morozov定理を一般化すること。
• モチーフのガロア群のためのカテゴリカルな基盤を提供し、モチーフ論における純粋なカテゴリカル構造と幾何的予想を分離すること。

提案手法

• K-線型圏 $\mathcal{A}$ として、根基 $\mathcal{R}$ が局所的に冪零で、$\bar{\mathcal{A}} = \mathcal{A}/\mathcal{R}$ が半単純であり、任意のスカラー拡張後でも半単純のままであるような、Wedderburn的 $K$-圏の概念を導入する。
• 一般の場合およびモノイダル構造の仮定の下で、商写像 $\mathcal{A} \to \bar{\mathcal{A}}$ に対する切断の存在と一意性を確立する。
• Tannakian圏、特に特性0の下で、モノイダル版のWedderburn定理を適用し、プロ再帰的包あらわし $^p\mathrm{Red}(G)$ を構成する。
• Hochschildコホモロジーとトレース理論を用いて、自己準同型代数とその根基の構造を分析する。
• モチーフの圏に理論を適用し、標準的予想の下で根基がモノイダル構造と両立することを示し、モチーフ的ガロア群の非条件的構成が可能になることを示す。
• Tannakian圏およびファイバー関手の理論を用いて、プロ再帰的包あらわしを $G$ の表現論に関連付ける。

実験結果

リサーチクエスチョン

• RQ1 K-線型圏 $\mathcal{A}$ において、商写像 $\mathcal{A} \to \mathcal{A}/\mathrm{rad}(\mathcal{A})$ に対して切断が存在する条件は何か？
• RQ2 Wedderburn圏において、根基はスカラー拡張の下でどのように振る舞い、半単純性はいつ保存されるか？
• RQ3 非再帰的群スキームに対して、プロ再帰的包あらわしの構成を用いて、古典的なJacobson-Morozov定理を一般化できるか？
• RQ4 ユニポテンツ群 $G$ に対して、プロ再帰的包あらわし $^p\mathrm{Red}(G)$ の構造は何か？また、いつ有限次元になるか？
• RQ5 圏のモノイダル構造を用いて、根基商への切断をどのように構成できるか？そしてTannakian双対性にどのような意味を持つのか？

主な発見

• 特性0の体 $K$ 上の任意のアフィン群スキーム $G$ に対して、プロ再帰的包あらわし $^p\mathrm{Red}(G)$ が存在し、$G$ の不定値表現と $^p\mathrm{Red}(G)$ の既約表現との間の自然な全単射によって特徴づけられる。
• $^p\mathrm{Red}(\mathbb{G}_a) = \mathrm{SL}_2$ であり、これはJacobson-Morozov定理のカテゴリカルな一般化を提供する。
• プロ再帰的包あらわし $^p\mathrm{Red}(G)$ は一般に無限次元であり、$G = \mathbb{G}_a \times \mathbb{G}_a$ の場合ですら同様であるため、プロ再帰的包あらわしは有限次元性を保存しないことが示される。
• モノイダル設定において、根基商へのモノイダル的切断の存在が確立され、Wedderburn定理のモノイダル版が得られる。
• $^p\mathrm{Red}(G)$ の構成により、モチーフ的ガロア群の非条件的構成が可能となり、モチーフに関する標準的予想に依存しない。
• 特性0の体上のTannakian圏の根基はモノイダル構造と両立し、標準的予想の下では圏がWedderburn圏である。