[論文レビュー] Constructible characters and b-invariants

Cédric Bonnafé|arXiv (Cornell University)|Feb 12, 2013

Algebraic structures and combinatorial models参考文献 5被引用数 3

ひとこと要約

この論文は、任意の重み関数をもつ有限コクセター群において、各Lusztig $φ$-族には一意に定まる最小の $b$-不変量をもつ既約指標が存在し、各 $φ$-構成可能指標には最小の $b$-不変量をもつ一意の既約成分が存在することを確立している。これらの結果は、Lusztigの特殊指標理論を定数でない重み関数へ一般化し、Kazhdan-LusztigとCalogero-Moserの細分構造の予想される同値性に対する強い証拠を提供する。

ABSTRACT

To each finite Coxeter system (W,S) and to each weight function L, Lusztig has defined the notions of constructible characters and of Lusztig families of W, using the so-called J-induction. Whenever L is constant, and using a general argument, Lusztig has shown that all Lusztig family contains a unique character with minimal b-invariant, and that every constructible character contains an irreducible constituent with minimal b-invariant. We show in this paper that this can be generalized to the case where L is not constant: our proof is by a case-by-case analysis.

研究の動機と目的

• 有限コクセター群上の任意の正の重み関数に対して、以前は定数重み関数に限られていたLusztigの特殊指標理論を一般化すること。
• 表現論における重要な不変量である $b$-不変量が、Kazhdan-LusztigとCalogero-Moserの細分構造の予想される同値性と整合するかを調査すること。
• Calogero-Moser細分指標において既に知られていた最小 $b$-不変量の性質が、Lusztigの $φ$-構成可能指標およびその族に対しても成り立つかを検証すること。
• Lusztigの $φ$-構成可能指標がCalogero-Moser $φ$-細分指標およびその族と一致するという予想を、構造的証拠で支持すること。

提案手法

• 既約指標の $b$-不変量を、その偽次数多項式 $f_{\chi}(\mathbf{t})$ の付値として定義する。
• 頂点が既約指標であり、同じ $φ$-構成可能指標に現れる指標同士を結ぶ辺を持つグラフ $\mathcal{G}_{W,\varphi}^{\mathrm{Lus}}$ を定義し、Lusztig $φ$-族をその連結成分として定義する。
• 既知のCalogero-Moser細分指標およびその $b$-不変量に関する結果（定理CM）を活用し、Lusztigの $φ$-構成可能指標と比較する。
• 特定の集合 $Z'$ のサイズに関する帰納法を用いて、$b$-不変量と反射データを含む不等式が成り立つことを示し、重要な構成における $b$-不変量の最小性を確立する。
• $t=0$ における有理Cherednik代数の理論およびCalogero-Moser空間の幾何学を応用し、$b$-不変量と細分構造との関係を明らかにする。
• $b_{\chi} = 1$ であることは $\chi$ が標準的反射表現の成分であることと同値であり、$b_{\varepsilon}$ は反射の数に等しいことを利用して、極端な場合を分析する。

実験結果

リサーチクエスチョン

• RQ1 重み関数 $\varphi$ が定数でない場合、各Lusztig $\varphi$-族に最小の $b$-不変量をもつ一意の既約指標が存在するか？
• RQ2 各 $φ$-構成可能指標に最小の $b$-不変量をもつ一意の既約成分が存在するか？
• RQ3 Calogero-Moser設定における細分指標の $b$-不変量最小性が、Lusztigの $φ$-構成可能指標と整合するか？
• RQ4 非定数重み関数の場合に、$b$-不変量が $φ$-構成可能指標およびその族を区別・分類するのに使えるか？
• RQ5 $b$-不変量の構造は、Kazhdan-LusztigとCalogero-Moserの細分分割の予想される同値性をどの程度支持するか？

主な発見

• Lusztig $\varphi$-族は、すべて一意に定まる最小の $b$-不変量をもつ既約指標を含む。これは、定数重み関数における特殊指標に関するLusztigの結果を非定数重み関数へ一般化するものである。
• $φ$-構成可能指標は、すべて一意に定まる最小の $b$-不変量をもつ既約成分を含む。これは、最小性の性質を族の範囲を越えて、指標自体へ拡張するものである。
• 以前はCalogero-Moser細分指標（係数 $r_{\chi_{\gamma}} = 1$）に対してのみ知られていた $b$-不変量最小性の性質が、今やLusztigの $φ$-構成可能指標に対しても示された。
• 証明は、集合 $Z'$ に関する帰納法に依拠し、特定の分割の $b$-不変量に関係する重要な不等式を確立することで、臨界的な構成における最小性を確認する。
• 結果は、$\mathrm{Cons}_{\varphi}^{\mathrm{Lus}}(W) = \mathrm{Cell}_{\varphi}^{\mathrm{CM}}(W)$ および $\mathrm{Fam}_{\varphi}^{\mathrm{Lus}}(W) = \mathrm{Fam}_{\varphi}^{\mathrm{CM}}(W)$ という予想と整合しており、強い構造的証拠を提供する。
• $b$-不変量は、各 $φ$-族および $φ$-構成可能指標内での標準的な選択子として機能し、定数重み関数における特殊指標が果たす役割を模倣する。