[論文レビュー] Automorphisms of Chevalley groups of types $A_l, D_l, E_l$ over local rings without 1/2

E. I. Bunina|arXiv (Cornell University)|Feb 5, 2010

Finite Group Theory Research参考文献 34被引用数 5

ひとこと要約

この論文は、1/2 を含まない可換局所環上での $A_l$、$D_l$、$E_l$ 型（$l \geq 3$）のChevalley群の任意の自己同型が標準的である、すなわち、環自己同型、内部自己同型、中心的自己同型、およびグラフ自己同型の合成であることを証明している。証明は、1/2 を含む環に対して先行研究で得られた結果を拡張し、行列の共役作用と重み格子の構造を用いて、任意の自己同型が適切な基底変更の後で環自己同型から生じることを示している。

ABSTRACT

In the given paper we prove that every automorphism of a Chevalley group of type $A_l$, $D_l$, or $E_l$, $l\geqslant 3$, over a commutative local ring without 1/2 is standard, i. e., it is a composition of ring, inner, central and graph automorphisms.

研究の動機と目的

• 1/2 が可逆でない可換局所環上での $A_l$、$D_l$、$E_l$ 型 Chevalley 群の完全な自己同型群を記述すること。
• 1/2 を含む環に対して既に確立された Chevalley 群の自己同型に関する先行結果を、1/2 が存在しない場合にまで拡張すること。
• 1/2 が環に存在しない状況においても、すべての自己同型が標準的である、すなわち、環自己同型、内部自己同型、中心的自己同型、およびグラフ自己同型の合成であることを示すこと。
• 可換環上での Chevalley 群の自己同型分類におけるギャップを埋め、古典的および例外型 $A_l$、$D_l$、$E_l$ の 1/2 が存在しない場合の分類を解決すること。

提案手法

• 1/2 を含む環に対して標準的自己同型構造が確立された先行研究（特に [15]）の結果を、1/2 を含まない環へと拡張する。
• Chevalley 群の随伴表現を用いて、自己同型を $\mathrm{GL}(V)$ 内の行列による共役作用として実現し、基本群 $E_{\mathrm{ad}}(\Phi,R)$ をある部分環 $R'$ に対する $E_{\mathrm{ad}}(\Phi,R')$ に写す。
• 重み格子とChevalley基底の構造を用いて、自己同型が根元 $x_\alpha(t)$ および余根元 $h_\alpha(t)$ に与える作用を分析し、パrameter $t$ への誘導写像が環準同型 $\rho: R \to R'$ を定義することを示す。
• 誘導された環準同型 $\rho$ が $R$ の自己同型であることを証明する。具体的には、行列単位の再構成により $R' = R$ を示す：群作用を用いて行列単位 $E_{ij}$ を生成し、共役された行列の係数が $R$ に属することを示すことで、$R' = R$ を強制する。
• 局所環の任意の元が2つの単元の和として書けるという事実を用いて、$\rho$ を $R^*$ から $R$ 全体へと拡張し、加法性と乗法性を保証する。
• 自己同型 $\varphi$ を $\mathrm{GL}(V)$ 内の行列 $C$ による基底変更と組み合わせることで、問題を環自己同型 $\rho$ に還元し、$\varphi$ が標準的であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 1/2 を含まない局所環上での $A_l$、$D_l$、$E_l$ 型 Chevalley 群のすべての自己同型は、標準的である、すなわち、環自己同型、内部自己同型、中心的自己同型、およびグラフ自己同型の合成であるか？
• RQ2 1/2 を含む環上での基本 Chevalley 群の自己同型分類を、1/2 が存在しない環へと拡張可能か？
• RQ3 2 が可逆でないとき、随伴表現における Chevalley 群の正規化群は、標準的自己同型構造を保存するか？
• RQ4 Chevalley 群の自己同型から誘導されるパrameter 環 $R$ への写像は、1/2 が $R$ に属さない場合でも、$R$ の自己同型であるか？
• RQ5 1/2 が可逆でない場合に、随伴表現における群作用から行列単位を再構成可能か？ その結果、像となる環 $R'$ が元の環 $R$ に等しくなることを保証できるか？

主な発見

• 1/2 を含まない可換局所環上での $A_l$、$D_l$、$E_l$ 型（$l \geq 3$）の Chevalley 群 $G_{\pi}(\Phi,R)$ の任意の自己同型は標準的である。すなわち、環自己同型、内部自己同型、中心的自己同型、およびグラフ自己同型の合成である。
• 自己同型は、行列 $C \in \mathrm{GL}(V)$ による共役作用の後で、純粋に環自己同型として表現され、その結果として $\rho: R \to R$ が誘導される。
• 行列 $C$ による $E_{\mathrm{ad}}(\Phi,R)$ の共役像として得られる部分環 $R'$ は、行列単位 $E_{ij}$ の再構成と、$C$ 及び $C^{-1}$ の可逆成分の性質から $R$ に等しいことが示される。これにより $R' = R$ が成立する。
• $\rho: R \to R$ は単元上で加法的かつ乗法的であり、$R$ の任意の元が2つの単元の和として書けることから、$\rho$ は $R$ 全体に一意に拡張され、環自己同型としての性質が保証される。これにより標準的形が証明される。
• Weil群の根への推移的作用を用いて、1つの根系列から得られる行列単位の生成を他の根系列へと拡張し、群およびその自己同型の構造に対する完全な制御を可能にする。
• この結果により、可換局所環上での $A_l$、$D_l$、$E_l$ 型 Chevalley 群の自己同型分類が完成し、1/2 が存在しない場合のケースが解決された。