[論文レビュー] Automorphisms of Chevalley groups of types B_2 and G_2 over local rings

E. I. Bunina|ArXiv.org|Nov 4, 2007

Advanced Algebra and Geometry参考文献 12被引用数 3

ひとこと要約

この論文は、1/2 および 1/3 を持つ局所環上の型 $B_2$ および $G_2$ のアドジョイント・チェバレー群の任意の自己同型が、標準的であることを証明している—つまり、内自己同型、環自己同型、中心的自己同型の合成である。証明は、行列群の埋め込み、局所環上の線形代数、および基本部分群の構造を用いて、自己同型が環自己同型および行列表現における基底変更から生じることを示し、最終的に全行列環 $M_n(R)$ の自己同型を誘導する。

ABSTRACT

In the paper we prove that every automorphism of any adjoint Chevalley group of types B_2 or G_2 is standard, i.e., it is a composition of the ``inner'' automorphism, ring automorphism and central automorphism.

研究の動機と目的

• 1/2 および 1/3 を持つ局所可換環上の型 $B_2$ および $G_2$ のアドジョイント・チェバレー群のすべての自己同型を分類すること。
• 体およびネーター環上のチェバレー群の自己同型に関する既知の結果を、より広いクラスの局所環へと拡張すること。
• このような自己同型が標準的である、すなわち内自己同型、環自己同型、中心的自己同型の合成であることを示すこと。
• チェバレー群の自己同型が、埋め込まれている全行列環 $M_n(R)$ の自己同型を誘導することを確立すること。

提案手法

• アドジョイント表現を用いて、チェバレー群 $G_{ad}(R,\Phi)$ を $GL_n(R)$ に埋め込み、行列群として扱う。
• 局所環の性質（行列式の唯一の可逆性、可逆係数をもつ線形方程式系の可解性など）を用いて、行列構造を分析する。
• 基本部分群 $E_{ad}(R,\Phi)$ が行列単位への作用によって全行列環 $M_n(R)$ を生成することを示す。
• $E_{ad}(R,\Phi)$ を保存する任意の自己同型は、環自己同型 $\rho$ と可逆行列 $C$ による共役作用から生じることを証明し、標準的形を得る。
• ワイル群作用を用いてすべての行列単位 $E_{i,j}$ を生成し、自己同型の像が全行列代数を張ることを示す。
• 群上の誘導自己同型が基本部分群上で恒等的に固定されるのは、それが自明である場合に限ることを示し、自己同型が標準的であることを強制する。

実験結果

リサーチクエスチョン

• RQ1 局所環上の型 $B_2$ および $G_2$ のアドジョイント・チェバレー群のすべての自己同型は、標準的であるか、すなわち内自己同型、環自己同型、中心的自己同型の合成であるか？
• RQ2 このようなチェバレー群の自己同型群は、局所環上の行列群技法を用いて完全に記述可能か？
• RQ3 チェバリー群の自己同型は、埋め込まれている行列環 $M_n(R)$ の自己同型を誘導するか？
• RQ4 特に 2 および 3 が可逆であるという局所環の性質が、自己同型の分類を可能にする仕組みは何か？
• RQ5 基本部分群は、全自己同型群の構造を決定づける役割を果たすか？

主な発見

• 1/2 および 1/3 を持つ局所環 $R$ 上の型 $\Phi = B_2$ または $G_2$ の $G_{ad}(R,\Phi)$ の任意の自己同型は、標準的である。すなわち、内自己同型、環自己同型、中心的自己同型の合成である。
• $G_{ad}(R,\Phi)$ の自己同型群は、行列環 $M_n(R)$ に共役作用および環自己同型として作用し、$R$ に自己同型 $\rho$ を誘導する。
• 基本部分群 $E_{ad}(R,\Phi)$ は全行列環 $M_n(R)$ を生成する。任意のそれらを保存する自己同型は、環自己同型および基底変更から生じる。
• 群上の誘導自己同型が基本部分群上で恒等的に固定されるのは、それが自明である場合に限る。これにより、自己同型が標準的であることが強制される。
• $B_2$ および $G_2$ のアドジョイント表現の次元 $n$ はそれぞれ 10 および 14 であり、$n$ が 3 で割り切れないため、トーラス自己同型におけるスカラー係数は自明でなければならない。
• ゆえに、自己同型は環自己同型および共役作用によって完全に決定され、スカラー乗法による非自明な中心的自己同型は存在せず、次元条件によりユニタリ根によるスカラー乗法も消える。