[論文レビュー] Complex Reflection Groups and Fake Degrees

Eric Opdam|ArXiv.org|Aug 5, 1998

Computability, Logic, AI Algorithms参考文献 9被引用数 14

ひとこと要約

本稿は、有限複素反射群の既約表現の偽次数を、その巡回的ヘケ代数とモノドロミーを用いて計算・解析する包括的な枠組みを構築する。ガロア作用およびカジダン–ルシュティグ型の対合を介して、偽次数に深い対称性を確立し、ガロア共役の下で半パリンドローム的性質を満たすことを証明する。また、表現の特徴標、ヘケ代数のパラメータ、および余不変代数の構造を結びつける明示的な公式を提示する。

ABSTRACT

In this paper we study the Hecke algebra associated with a complex reflection group W. We discuss some properties of the Galois group of the splitting field of this algebra, and study its action on the so-called fake degrees of W. The methods we use to study the Hecke algebra are based on the construction of representations of this algebra as monodromy of equations of Knizhnik-Zamolodchikov type.

研究の動機と目的

• 有限複素反射群の既約表現の偽次数を、その巡回的ヘケ代数を用いて体系的かつ系統的に計算する方法を提供すること。
• ガロア作用、図形自己同型、およびカジダン–ルシュティグ型の対合を介して、偽次数の対称性を理解すること。
• コクセター群表現理論における通常のヘケ代数が果たす役割に類似した、偽次数の理論的基盤を確立すること。
• 偽次数がガロア共役の下で半パリンドローム的性質を満たすことを証明し、表現論と代数的数論を結びつけること。
• ヘケ代数の1パラメータ特殊化における反射特徴標の有理数条件を明確にし、半パリンドローム的偽次数とその関連を解明すること。

提案手法

• CW = P / P P_+^W を、W-可換な次数付きモジュールとして、正則表現 $ \bbC[W] $ に同型であるとみなす。このとき、$ \tr_{RW}(w) = \frac{ \text{prod}_{i=1}^n (1 - T^{d_i}) }{ \text{det}_V(1 - T w^{-1}) } $ で与えられる。
• 既約表現 $ \tau $ の偽次数 $ R_\tau(T) $ を、$ F_{\bar\tau}(T) = \frac{1}{|W|} \text{sum}_{w \to W} \frac{ \bar\tau(w) }{ \text{det}_V(1 - T w) } \text{prod}_{i=1}^n (1 - T^{d_i}) $ として定義する。この式は $ \bbZ[T] $ に属し、非負の係数を持つ。
• 巡回的ヘケ代数上のカジダン–ルシュティグ対合 $ j $ を、$ j(T_i) = -q_{C,0} q_{C,1} T_{i'}^{-1} $ で定義し、コクセターの場合には $ j(\tau) = \tau \times \text{det} $、複素の場合には内自己同型を介して表現に作用させる。
• ガロア作用 $ \bar\tau \to \tau $ を $ \bar\tau \to \tau(k_b) \times \text{char}_b $ で特定し、$ b_C = 1 $ をすべての $ C $ に対して満たす。このとき $ \bar\tau $ が $ \tau(k_b) \times \text{char}_b $ で $ \tau $ に写されることが示され、半パリンドローム的性質と結びつく。
• 恒等式 $ T^{\text{rank}(\text{refl})} R_\tau(T^{-1}) = F_{\tau \times \text{det}}(T) $ を用いて、半パリンドローム的対称性 $ R_\tau(T) = T^c R_{\bar\tau}(T^{-1}) $ を導出する。ここで $ c = \text{rank}(\text{refl}) - \frac{1}{\text{dim} \tau} \text{sum}_{r \text{ refl}} \tau(r) $ である。
• マーレおよびオルリック–ソロモンの結果を用いて、ヘケ代数の1パラメータ特殊化における反射特徴標が有理数であるための必要十分条件が、偽次数の半パリンドローム的性質であることを確立する。

実験結果

リサーチクエスチョン

• RQ1 複素反射群の既約表現の偽次数を、ヘケ代数構造を用いて体系的かつ特徴づけて計算する方法は何か？
• RQ2 ガロア作用およびカジダン–ルシュティグ型の対合の下で、偽次数がどのように変換されるかを支配する対称性は何か？
• RQ3 巡回的ヘケ代数の1パラメータ特殊化における反射特徴標が有理数であるための条件は何か？
• RQ4 偽次数の半パリンドローム的性質と、1パラメータ特殊化における反射特徴標の有理数性の関係は何か？
• RQ5 ガロア作用 $ \bar\tau \to \tau(k_b) \times \text{char}_b $ が、偽次数の関数方程式にどのように関連するか、明確な代数的メカニズムは何か？

主な発見

• 複素反射群 $ W $ の既約表現 $ \tau $ の偽次数 $ R_\tau(T) $ は $ \bbZ[T] $ に属し、非負の係数を持つ。また、これは、$ \tau $ が余不変代数 $ RW $ に同次埋め込みされる次数 $ p_j^\tau $ に対する $ T^{p_j^\tau} $ の和に等しい。
• 偽次数は、$ c = \text{rank}(\text{refl}) - \frac{1}{\text{dim} \tau} \text{sum}_{r \text{ refl}} \tau(r) $ として与えられる半パリンドローム的恒等式 $ R_\tau(T) = T^c R_{\bar\tau}(T^{-1}) $ を満たし、ガロア共役の下で深い対称性を示す。
• コクセター群および $ G_{31} $ や $ G(4,2,n) $ のような例外的群では、$ g_{C,0} $ と $ g_{C,1} $ が位数2であり、一致することが示され、パラメータによって生成される体拡大が複素共役に関して閉じていることがわかる。
• ヘケ代数上のカジダン–ルシュティグ対合 $ j $ は、表現に作用させると $ j(\tau) = \tau \times \text{det} $ となり、この作用はガロア作用 $ g_{C,i} $ と可換である。この性質により、対称性の証明が可能になる。
• ヘケ代数の1パラメータ特殊化における反射特徴標が有理数であることは、偽次数の半パリンドローム的性質と同値であり、表現論と代数的数論の間の概念的リンクを提供する。
• ガロア作用 $ \bar\tau \to \tau(k_b) \times \text{char}_b $ で $ b_C = 1 $ をすべての $ C $ に対して満たすとき、これはマーレの研究で用いられるガロア自己同型 $ \bar\tau \to \tau $ に一致する。この作用は、半パリンドローム的恒等式の証明において中心的な役割を果たす。