[论文解读] On Kottwitz' conjecture for twisted involutions

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

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

一句话总结

本文證明了有限 Coxeter 群類型 $D_n$ 中扭轉對合的 Kottwitz 猜想，涵蓋了分裂與擬分裂兩種情況。透過在 Iwahori-Hecke 代數與 Lusztig 的首項係數理論背景下，運用修改後的細胞理論與特徵理論方法，解決了兩個關鍵技術要點——強化版分支規則與 $ atural$-扭轉對合，從而完成證明。

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.

研究动机与目标

• 完成對有限 Coxeter 群類型 $D_n$ 的 Kottwitz 猜想的證明，該猜想雖已部分成立，但依賴尚未證明的技術要件。
• 解決兩個缺失的組成部分：強化版分支規則與圖自同構下 $ atural$-扭轉對合的理論。
• 將猜想推廣至所有自同構 $ atural$ 非平凡的群之擬分裂情況，特別是在 $D_n$ 類型中。
• 透過使用權重函數與左 $L$-細胞的修改版 Kottwitz 猜想，統一處理分裂與擬分裂兩種情況。
• 在除可能 $E_8$ 類型外的所有有限 Coxeter 群中建立該猜想，$E_8$ 類型留待未來研究。

提出的方法

• 發展 Kottwitz 猜想的修改版本，使用 Lusztig 意義下的左 $L$-細胞與權重函數，從而統一處理分裂與擬分裂兩種情況。
• 透過引理 5.2 建構修改版 Kottwitz 對合模，將原始特徵推廣至包含 $ atural$-扭轉共軛類。
• 應用 Lusztig 對 Iwahori-Hecke 代數中特徵值首項係數的理論，透過仔細提升 $ atural$-不變特徵，將其推廣至擬分裂設定。
• 使用非不變不可約特徵之 $D_n$-型群的 Pieri 法則強化版本（命題 3.7），解決特徵分解中的模糊性。
• 採用歸納法與細胞分解技術，證明左細胞與 $ atural$-扭轉共軛類交集的大小，等於與修改版對合特徵的標量積。
• 利用雙邊 $L$-細胞及其正規化子的結構，特別是在尖點與非尖點情況下，將問題簡化為對較小群的歸納論證。

实验结果

研究问题

• RQ1 Kottwitz 對 Kazhdan–Lusztig 細胞與扭轉共軛類交集的猜想，是否可在 $D_n$ 類型中完全成立？
• RQ2 在圖自同構作用下，$D_n$-型群不可約特徵的分支規則之正確推廣為何？
• RQ3 $ atural$-扭轉對合的理論如何推廣至擬分裂情況？首項係數在其中扮演何種角色？
• RQ4 是否存在一個統一框架，能同時處理 Kottwitz 猜想的分裂與擬分裂兩種情況？
• RQ5 Lusztig 與 Vogan 的特徵理論與細胞理論工具，在扭轉設定下可多大程度上被適應？

主要发现

• Kottwitz 猜想在所有有限 Coxeter 群類型 $D_n$ 中，無論是分裂或擬分裂情況，均已完全證明。
• 針對 $D_n$-型群的非不變不可約特徵，建立了 Pieri 法則的強化版本（命題 3.7），解決了一個關鍵技術缺口。
• 在 Weyl 群 $ ilde{W}_n$ 中，所有非尖點雙邊 $L$-細胞的修改版 Kottwitz 猜想成立，且左細胞與 $ atural$-扭轉共軛類交集的計數結果等於該值。
• 當 $n = d^2$ 時，$ ilde{W}_n$ 中的尖點雙邊 $L$-細胞透過基於引理 5.7 的形式論證，滿足修改版猜想。
• 修改版 Kottwitz 特徵與左 $L$-細胞所實現特徵的標量積，等於該細胞與 $ atural$-扭轉對合交集的元素數。
• Iwahori–Hecke 代數中特徵值首項係數的理論已推廣至擬分裂情況，並為 $ atural$-扭轉設定推導出明確公式。