[論文レビュー] Maximal tori determining the algebraic group

Shripad M. Garge|arXiv (Cornell University)|Sep 23, 2004

Algebraic Geometry and Number Theory参考文献 3被引用数 4

ひとこと要約

この論文は、有限体、全般体、または非アーキメデス的局域体上の2つの分離可能で、連結かつ半単純な代数群が、それらの最大 $k$-トーラスの $k$-同型類の集合が同一である限り、中心を除いて同型であることを示している。主な結果は、そのような群が、ガロアコhomologyと $GL_n(\mathbb{Z})$ 内のWeyl群元の特性多項式解析を用いて、$B_n$ と $C_n$ 要因が交換可能である可能性を含めて、同型なWeyl群を持つことである。この結果は、フィリップ・ジルの最近の定理により、任意の巡回拡大を許容する体へと拡張可能である。

ABSTRACT

Let k be a finite field, a global field or a local non-archimedean field. Let H_1 and H_2 be two split, connected, semisimple algebraic groups defined over k. We prove that if H_1 and H_2 share the same set of maximal k-tori up to k-isomorphism, then the Weyl groups W(H_1) and W(H_2) are isomorphic, and hence the algebraic groups modulo their centers are isomorphic except for a switch of a certain number of factors of type B_n and C_n. We remark that due to a recent result of Philippe Gille, above result holds for fields which admit arbitrary cyclic extensions.

研究の動機と目的

• 体 $k$ 上の分離可能で、連結かつ半単純な代数群が、最大 $k$-トーラスの $k$-同型類によってどの程度同定可能かを特定すること。
• 2つのこのような群が同じ最大 $k$-トーラスの集合（$k$-同型類の意味で）を共有するならば、それらのWeyl群が同型であることを確立すること。
• 特に $B_n$ と $C_n$ 型の存在が、最大 $k$-トーラスの $k$-同型類からどの程度回復可能かを調査すること。
• フィリップ・ジルのガロアコホモロジー写像の全射性に関する最近の定理を用いて、結果を任意の巡回拡大を許容する体へと拡張すること。

提案手法

• 固定された最大トーラスの正規化群へのガロア作用を用いて、$k$-同型類の最大 $k$-トーラスを記述するガロアコホモロジーを用いる。
• 分離可能な最大トーラスの特徴群への作用を通じて、Weyl群を $GL_n(\mathbb{Z})$ の部分群として表現する。
• $\mathbb{Z}$ 上での特性多項式の比較により、Weyl群の元の共轭類を解析する。
• 特定のWeyl群因子の存在を追跡するための多重度不変量 $\mathfrak{m}_i(W)$, $\mathfrak{m}_i'(W)$, および $\mathfrak{m}_{i,j}(W)$ を定義する。
• 単純因子の最大ランクに関する帰納的議論を用い、多重度データを分析することで、問題を低ランクのケースに還元する。
• 定理4.2を適用し、多重度データが一致するならば、特に $A_m$ および $B_n/C_n$ 型に対して、Weyl群因子の同型が保証されることを示す。

実験結果

リサーチクエスチョン

• RQ1 有限体、全般体、または非アーキメデス的局所体上の2つの分離可能で、連結かつ半単純な代数群が、最大 $k$-トーラスの $k$-同型類の集合が同一であるならば、それらのWeyl群は同型か？
• RQ2 分離可能で半単純な群のWeyl群は、その最大 $k$-トーラスの $k$-同型類から再構成可能か？
• RQ3 $B_n$ と $C_n$ 型の群は、最大 $k$-トーラスによってどの程度区別不能のままであり、いつ区別可能になるか？
• RQ4 この結果は、任意の巡回拡大を許容する体へと拡張可能か？ もしそうならば、どのようなコホモロジー的条件下で成立するか？
• RQ5 多重度不変量 $\mathfrak{m}_i(W)$, $\mathfrak{m}_i'(W)$, および $\mathfrak{m}_{i,j}(W)$ は、Weyl群の単純因子への分解を一意に決定可能か？

主な発見

• 有限体、全般体、または非アーキメデス的局所体上の2つの分離可能で、連結かつ半単純な代数群が、最大 $k$-トーラスの $k$-同型類の集合が同一であるならば、それらのWeyl群 $W(H_1)$ と $W(H_2)$ は同型である。
• $W(H_1)$ と $W(H_2)$ の単純Weyl群への分解は、置換を除いて同一であり、$B_n$ と $C_n$ 要因が交換可能である可能性を含む。
• 中心が自明な群に対しては、各単純因子の同型型は $B_n/C_n$ 対称性の意味で決定され、$H_1$ と $H_2$ は中心を除いて同型であるが、$B_n$ と $C_n$ 要因については例外的である可能性がある。
• 多重度不変量 $\mathfrak{m}_i(W)$, $\mathfrak{m}_i'(W)$, および $\mathfrak{m}_{i,j}(W)$ は、分解における各単純Weyl群因子の存在と多重度を一意に決定する。
• フィリップ・ジルの最近の定理により、任意の巡回拡大を許容する体に対してもこの結果が成立し、元の体のクラスを超えて適用範囲が拡張される。
• 証明は、$GL_n(\mathbb{Z})$ 内のWeyl群元の特性多項式解析に依拠しており、多重度データによる帰納的再構成が鍵となる。