[論文レビュー] Linear groups of finite Morley rank

Alexandre Borovik, Jeffrey Burdges|ArXiv.org|Jan 25, 2008

Advanced Topology and Set Theory参考文献 4被引用数 4

ひとこと要約

この論文は、特徴量が0の体上に定義された、無限大の単純な定義的線形群で、Zariski閉でないものについて、その群が非自明な2-トーラスを含まず、すべての対合を含まず、自己正規化Borel部分群を持つことを証明する。主な議論は、外部自己同型の2-トーラスの排除と、対合の集合に導入された射影平面構造に依拠し、最終的にバッハマンの定理に矛盾することにより、与えられた条件下ではこのような群が存在し得ないことを示す。

ABSTRACT

We show that a non-algebraic simple group of finite Morley rank with a definable representation over a field has no involutions, and otherwise resembles a bad group. In particular, the modern form of the Cherlin-Zilber alebaricity conjecture hold for such groups.

研究の動機と目的

• 特徴量0の体上に定義された、Zariski閉でない定義的線形単純群の分類を行うこと。
• 単純群の有限Morleyランク分類の広範な枠組みにおける主要な障害である対合の存在を排除すること。
• このような群におけるBorel部分群が自己正規化する構造的性質を確立すること。
• 特に、対合の射影平面構造を用いた幾何学的・モデル理論的技法を適用し、バッハマンの定理に基づいて矛盾を導出すること。
• 広範な「L*-プロジェクト」を支援するため、対合を持つ群が、強く実元条件を満たすためには、代数的でなければならないことを示すこと。

提案手法

• 特徴量正の体上での単純線形群が代数的であることを示すポイザの結果を用いて、特徴量0への還元を行う。
• Zariski閉でない単純な定義的線形群におけるすべての元が半単純であることを利用し、Borel部分群がアーベル的かつ共役であることを保証する。
• Deveney-Nesinの議論を適用して、主要な技術的ステップである外部自己同型の2-トーラスの排除を行う。
• 対合の集合に、Borel部分群の共役の逆元作用によって定義される直線を備えた射影平面構造を構成する。
• バッハマンの定理を用いて、3つの対合が同一直線上にあることと、それらの積が対合であることの同値性を示し、群が有限Morleyランクを持つことは不可能であることを導く。
• 対合とBorel部分群の構成が、群が代数的でない限り矛盾を引き起こすことを示し、したがってこのような非代数的群は存在しないことを証明する。

実験結果

リサーチクエスチョン

• RQ1 特徴量0の体上に定義された、Zariski閉でない単純な定義的線形群が、対合を含むことは可能か？
• RQ2 このような群におけるBorel部分群は、自らを正規化する必要があるか？
• RQ3 すべての強く実元がSylow 2-トーラスの中心化群に含まれる場合、有限Morleyランクにおいて矛盾が生じる可能性はあるか？
• RQ4 Borel部分群から導かれる対合の射影平面構造を、バッハマンの定理に基づいて矛盾を導くために利用可能か？
• RQ5 すべての元が半単純で、かつ群がZariski閉でない場合、どのような構造的制約が生じるか？

主な発見

• 特徴量0の体上に定義された、Zariski閉でない定義的線形単純群は、対合を含まない。
• このような群におけるBorel部分群は自己正規化する。これは、共役性とアーベル構造の結果である。
• 対合の集合は、Borel部分群と反転作用によって誘導される幾何的構造の下で射影平面をなす。
• 対合とBorel部分群の構成は、3つの対合が同一直線上にあることと、それらの積が対合であることの同値性を満たす。
• この構造はバッハマンの定理に矛盾する。その定理より、このような群が有限Morleyランクを持つためには、代数的でなければならない。
• 本論文は、すべての強く実元がSylow 2-トーラスの中心化群に含まれるような単純群が存在しないという予想を支持する。