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

E. I. Bunina|arXiv (Cornell University)|Feb 2, 2007

Finite Group Theory Research参考文献 28被引用数 6

ひとこと要約

本稿は、1/2 を含む局所可換環上の型 $A_l$、$D_l$、または $E_l$ の基本的アドジョイント・チェバレー群の任意の自己同型が、環自己同型と $\mathrm{GL}(V)$ 内の正規化子の元による共役の合成であることを証明する。この結果は、アベの $E_8$ に関する証明における欠陥を是正し、$1/2$ を含む局所環への標準的自己同型記述を拡張する。主な貢献は、表現論的および群論的技法を用いた、このような自己同型の完全な分類である。

ABSTRACT

In the paper we prove that every automorphism of and elementary adjoint Chevalley group of types $A_l, D_l$, or $E_l$, over local commutative ring with 1/2 is a composition of a ring automorphism and conjugation by some matrix from the normalizer of the Chevalley group in $\GL(V)$ ($V$ is the adjoint representation space).

研究の動機と目的

• 1/2 を含む局所可換環上の型 $A_l$、$D_l$、$E_l$ の基本的アドジョイント・チェバレー群の完全な自己同型群を記述すること。
• アベの以前の証明における重大な誤りを是正すること、特に長根に対して $\mathrm{ad}(x_\alpha)^2 \neq 0$ となる $E_8$ のアドジョイント表現における問題。
• 標準的自己同型記述（環自己同型と正規化子内の共役の合成）を、$1/2$ を含む局所環の状況にまで拡張し、可換環上のチェバレー群理論における長年のギャップを埋めること。
• ペテチュクの手法を一般化し、$\mathrm{ad}(x_\alpha)^2 = 0$ を満たさない長根に対しては成り立たない例外的な $E_8$ の場合を扱うこと。

提案手法

• 環 $R$ 上のリー代数 $\mathcal{L}$ への忠実な整数表現 $\pi: \mathcal{L} \to \mathfrak{gl}(V)$ を用いて、$\mathrm{GL}(V)$ の部分群としての基本的チェバレー群 $E_{\pi}(\Phi,R)$ を定義する。
• $\pi(x_\alpha)$ の冪零性により、$x_\alpha(t) = \exp(t\pi(x_\alpha))$ を有限指数級数として構成する。
• ワイル群作用を用いて、根空間間の性質を移行させ、$M_n(R)$ のすべての行列単位を生成可能にする。
• トーラス $H$ の正規化子 $N$ を用い、$N/H \cong W$（ワイル群）であることを用いて、共役作用を分析する。
• $C \in \mathrm{GL}(V)$ による $E_{\mathrm{ad}}(\Phi,R)$ の共役像が、$R$ の部分環 $R' \subseteq R$ 上の $M_n(R')$ を生成することを証明し、行列単位の生成により $R' = R$ を得る。
• 共役と群の生成を用いて、環自己同型 $\rho$ を確立し、$E_{\mathrm{ad}}(\Phi,R)$ の任意の自己同型が $\rho$ とある $C \in N$ による共役に因数分解されることを示す。

実験結果

リサーチクエスチョン

• RQ1 1/2 を含む局所環 $R$ 上の基本的アドジョイント・チェバレー群 $E_{\mathrm{ad}}(\Phi,R)$ の完全な自己同型群の構造は何か？
• RQ2 アベの以前の証明はなぜ $E_8$ で失敗するのか？ そして、表現論的技法を用いてこの失敗を是正できるか？
• RQ3 標準的自己同型記述（環自己同型と正規化子内の共役の合成）は、$A_l$、$D_l$、$E_l$ のすべての型について、$1/2$ を含む局所環にまで拡張可能か？
• RQ4 ワイル群作用と行列単位の生成は、群 $E_{\mathrm{ad}}(\Phi,R)$ から全行列環 $M_n(R)$ を再構成するためにどのように利用できるか？
• RQ5 群 $E_{\mathrm{ad}}(\Phi,R)$ によって一意に決定される環 $R$ は自己同型の意味で一意的か？ また、共役は環構造を保存するか？

主な発見

• 1/2 を含む局所環 $R$ 上の型 $A_l$、$D_l$、$E_l$ の $E_{\mathrm{ad}}(\Phi,R)$ の任意の自己同型は、環自己同型と $\mathrm{GL}(V)$ 内の正規化子 $N$ の元による共役の合成である。
• 証明により、アベの研究における欠陥が是正され、$E_8$ のアドジョイント表現において長根に対して $\mathrm{ad}(x_\alpha)^2 \neq 0$ であることが示され、彼の核心的仮定が誤りであることが判明した。
• 基本的チェバレー群 $E_{\mathrm{ad}}(\Phi,R)$ は全行列環 $M_n(R)$ を生成するため、群構造から元の環 $R$ を再構成可能である。
• 行列 $C \in \mathrm{GL}(V)$ による共役で $E_{\mathrm{ad}}(\Phi,R)$ が $E_{\mathrm{ad}}(\Phi,R')$ に写されるとき、$R' = R$ であることが示され、このような共役によって環構造が保存される。
• $E_{\mathrm{ad}}(\Phi,R)$ の自己同型群は、環自己同型群と正規化子をトーラスで割った群の半直積と同型であり、標準的自己同型定理と整合的である。
• この手法は、長根に対して $\mathrm{ad}(x_\alpha)^2 = 0$ を満たさない $E_8$ の例外的ケースを扱えるように、ペテチュクの技法を一般化している。