[論文レビュー] On Kottwitz' conjecture for twisted involutions

Meinolf Geck|arXiv (Cornell University)|Jun 3, 2012

Algebraic structures and combinatorial models参考文献 16被引用数 12

ひとこと要約

この論文は、有限コックスター群の型$D_n$におけるねじれた対合に関して、コットヴィッツの予想を証明し、分裂型および準分裂型の両方のケースで予想を完成させる。2つの主要な技術的要素——強化された分岐則と$ atural$-ねじれた対合——を、Iwahori-Hecke代数およびルスティグの先頭係数の文脈における修正されたセル理論と表現論的技法を用いて解決することで、証明を完了する。

ABSTRACT

Kottwitz' conjecture is concerned with the intersections of Kazhdan--Lusztig cells with conjugacy classes of involutions in finite Coxeter groups. In joint work with Bonnafé, we have recently found a way to prove this conjecture for groups of type $B_n$ and $D_n$. The argument for type $D_n$ relies on two ingredients which were used there without proof: (1) a strengthened version of the "branching rule" and (2) the consideration of "$\diamond$-twisted" involutions where $\diamond$ is a graph automorphism. In this paper we deal with (1), (2) and complete the argument for type $D_n$; moreover, we establish Kottwitz' conjecture for $\diamond$-twisted involutions in all cases where $\diamond$ is non-trivial.

研究の動機と目的

• 有限コックスター群の型$D_n$におけるコットヴィッツの予想を完全に証明すること。これは一部は証明済みであったが、未検証の技術的要素に依存していた。
• 欠落していた2つの要素を解決すること：非不変な$D_n$型群の既約キャラクターに対する強化された分岐則のバージョンと、グラフ自己同型の下での$ atural$-ねじれた対合の理論。
• 自動同型$ atural$が非自明なすべての群において、特に型$D_n$において、予想を準分裂型に拡張すること。
• 重み関数と左$L$-セルを用いた修正されたコットヴィッツの予想を通じて、分裂型と準分裂型の両方を統一的に扱う。
• 型$E_8$を除くすべての有限コックスター群に対して予想を確立すること。$E_8$については今後の研究に残されている。

提案手法

• ルスティグの意味における重み関数と左$L$-セルを用いて、コットヴィッツの予想の修正版を構築し、分裂型と準分裂型の両方を統一的に取り扱えるようにする。
• 補題5.2を用いて、修正されたコットヴィッツ対合モジュールを構成し、元のキャラクターを$ atural$-ねじれた共役類に一般化する。
• Iwahori-Hecke代数におけるキャラクター値の先頭係数の理論を、$ atural$-不変キャラクターを丁寧に持ち上げることで、準分裂設定に拡張する。
• 非不変な$D_n$型群の既約キャラクターに対するピエリの法則の強化版（命題3.7）を用い、キャラクター分解における曖昧さを解消する。
• 帰納法とセル分解の技法を用い、左セルと$ atural$-ねじれた共役類の交差のサイズが、修正された対合キャラクターとのスカラー積に一致することを示す。
• 特に極小および非極小の場合に、両側$L$-セルとその正規化部分群の構造を活用し、より小さい群における帰納的議論に問題を還元する。

実験結果

リサーチクエスチョン

• RQ1 カジム・ルスティグのセルとねじれた共役類の交差に関するコットヴィッツの予想が、型$D_n$において完全に確立可能か？
• RQ2 グラフ自己同型の作用下で、$D_n$型群の既約キャラクターに対する分岐則の正しい一般化は何か？
• RQ3 $ atural$-ねじれた対合の理論はどのように準分裂型に拡張可能か？また、キャラクター値の先頭係数はその過程でどのような役割を果たすか？
• RQ4 分裂型と準分裂型の両方のコットヴィッツの予想を同時に扱える統一的枠組みは存在するか？
• RQ5 ルスティグとボーガンのキャラクター論的およびセル論的道具は、ねじれた設定にどの程度適応可能か？

主な発見

• すべての有限コックスター群の型$D_n$において、分裂型および準分裂型の両方でコットヴィッツの予想が完全に証明された。
• 非不変な$D_n$型群の既約キャラクターに対するピエリの法則の強化版（命題3.7）が確立され、主要な技術的ギャップが解消された。
• Weyl群$ ilde{W}_n$における非極小の両側$L$-セルすべてに対して、修正されたコットヴィッツ予想が成り立ち、左セルと$ atural$-ねじれた共役類の交差の数が等しくなる。
• $n = d^2$のとき、$ ilde{W}_n$における極小の両側$L$-セルは、補題5.7に基づく形式的議論により、修正された予想を満たす。
• 修正されたコットヴィッツキャラクターと左$L$-セルが定めるキャラクターとのスカラー積は、そのセルとの交差における$ atural$-ねじれた対合の数に等しい。
• Iwahori–Hecke代数におけるキャラクター値の先頭係数が、準分裂型にまで拡張され、$ atural$-ねじれた設定に対して明示的な公式が導出された。