[論文レビュー] A Jordan-Hoelder Theorem for Differential Algebraic Groups

Phyllis J. Cassidy, Michael F. Singer|arXiv (Cornell University)|Mar 16, 2010

advanced mathematical theories参考文献 6被引用数 4

ひとこと要約

この論文は、微分代数的群に対するJordan-Hölder定理を確立し、このような群がほとんど単純な連続する商を持つ有限部分正規系列をもつことを証明するとともに、一意性結果を提示する。また、通常微分の場合のほとんど単純な線型微分代数的群を分類し、群論的手法を用いて因数分解理論を偏微分作用素へと拡張する。

ABSTRACT

We show that a differential algebraic group can be filtered by a finite subnormal series of differential algebraic groups such that successive quotients are almost simple, that is have no normal subgroups of the same type. We give a uniqueness result, prove several properties of almost simple groups and, in the ordinary differential case, classify almost simple linear differential algebraic groups.

研究の動機と目的

• 有限群論におけるJordan-Hölder定理を微分代数的群の設定へ拡張すること。
• ほとんど単純な商を持つ微分代数的群の部分正規系列についての一意性結果を確立すること。
• 特に通常微分の場合に、ほとんど単純な微分代数的群の構造を特徴づけること。
• 線型偏微分作用素の因数分解を理解するための群論的枠組みを提供し、通常微分作用素の古典的結果を一般化すること。
• 一般の微分代数的群の研究を、ほとんど単純群およびその拡張の分類に還元すること。

提案手法

• 微分体上の多項式微分方程式系によって定義される、$\mathrm{GL}_n(\mathbb{U})$ の部分群として微分代数的群を定義する。
• 同じタイプの非自明な正規部分群を持たない群として「ほとんど単純」な群の概念を導入する。
• 連続する商がほとんど単純となるような微分代数的群の有限部分正規系列を構成する。
• $\Delta$-群および$\Delta$-有理同型の理論を用いて、微分代数的群を定数体上の代数的群と関連付ける。
• 代数的群のChevalley構造理論および単純根の理論を応用し、微分代数的群のZariski閉包を分析する。
• 導出部分群の$\Delta$-微分の定数体上の有理点群に同型である、準単純な線型$\Delta$-群の同型性を活用する。

実験結果

リサーチクエスチョン

• RQ1 有限群論における古典的定理と類似する、微分代数的群に対するJordan-Hölder型定理を定式化できるか？
• RQ2 このような系列における連続する商は、同型および順序の入れ替えを除いて一意的か？また、系列の長さは不変か？
• RQ3 通常微分の場合における、ほとんど単純な線型微分代数的群の構造は何か？
• RQ4 偏微分作用素の非一意的因数分解を、群論的手段によってどのように調和させられるか？
• RQ5 微分代数的群の表現論は、どの程度までほとんど単純群およびその拡張の研究に還元可能か？

主な発見

• すべての微分代数的群は、ほとんど単純な連続する商を持つ有限部分正規系列をもつ。これは、この設定におけるJordan-Hölder定理の一般化である。
• このような系列の長さおよび連続する商の同型型は、順序の入れ替えを除いて一意的であり、一意性結果が確立される。
• 通常微分の場合、すべてのほとんど単純な線型微分代数的群は、$\mathbb{Q}$ 上に定義された準単純代数的群$H$ および導出微分の導出集合の定数$C'$ に対して、$H(C')$ に$\Delta$-同型である。
• 準単純な線型$\Delta$-群の構造は、その定数体上の準単純代数的群の有理点群への同型性によって完全に特徴づけられる。
• 準単純な線型$\Delta$-群のZariski閉包は半単純代数的群であり、群は定数体の部分体上の有理点群に同型である。
• この理論により、一般の微分代数的群の研究は、ほとんど単純群およびその拡張の分類への還元が可能となり、さらなる解析のための構造的基盤が提供される。