[論文レビュー] A $(-q)$-analogue of weight multiplicities

G. Lusztig, Zhiwei Yun|arXiv (Cornell University)|Mar 2, 2012

Advanced Algebra and Geometry参考文献 9被引用数 3

ひとこと要約

この論文は、アフィン・ウェイル群におけるねじれ自己同型と関連する多項式 $P^{\rho}_{d_{\rho},d_{\rho}}(q)$ が、ラングランズ双対群 $\check{G}$ の重み多重度の $(-q)$-アナローグを提供することを証明し、ホエッカー代数の組合せ論と表現論の深い関係を確立している。主な結果はルスティグの予想を確認しており、$P^{\rho}_{d_{\rho},d_{\rho}}(q) = P_{d_{\rho},d_{\rho}}(-q)$ を示し、さらにこれらの多項式が $\check{G}$ の既約表現上のヘルミート形式の符号と関連していることを示している。

ABSTRACT

We prove a conjecture in \cite{L} stating that certain polynomials $P^σ_{y,w}(q)$ introduced in \cite{LV1} for twisted involutions in an affine Weyl group give $(-q)$-analogues of weight multiplicities of the Langlands dual group $\check{G}$. We also prove that the signature of a naturally defined hermitian form on each irreducible representation of $\check{G}$ can be expressed in terms of these polynomials $P^σ_{y,w}(q)$.

研究の動機と目的

• 2011年におけるルスティグの予想を証明する。すなわち、$P^{\rho}_{d_{\rho},d_{\rho}}(q)$ がラングランズ双対群 $\check{G}$ の既約表現における重み多重度の $(-q)$-アナローグであることを示す。
• 精密化された $P^{\rho}$-多項式とアフィン・シュブーベル多様体の交差コホモロジーとの間の幾何学的・代数的関係を確立する。
• ラングランズ双対群 $\check{G}$ の既約表現上に自然に定義されるヘルミート形式の符号が、$P^{\rho}_{d_{\rho},d_{\rho}}(q)$ の形で表現可能であることを示す。
• 結果をアフィン・ウェイル群上の他の自己同型 $\diamond$ に一般化し、$(-q)$-アナローグ構成を拡張する。

提案手法

• 幾何的サタケ同型を用いて、$P^{\rho}_{d_{\rho},d_{\rho}}(q)$ を $G[[t]]$-軌道のグローバル交差コホモロジーのペオナリエ多項式として解釈する。
• 標準的な $\chi$-写像 $Z_w(q)$ を一般化する、$\mathcal{A}$-線形写像 $\zeta: M \to \mathbb{Q}(q)$ を定義する。$a_w \mapsto q^{\ell(w)} \left(\frac{q-1}{q+1}\right)^{\phi(w)}$ により定義される。
• アフィン・ウェイル群上の自己同型 $*$ の作用を活用し、$*$-ねじれ自己同型 $I_*$ を定義し、Kazhdan-Lusztig多項式の精密化アナローグとしての $P^\sigma$-多項式を構成する。
• $(-1)^\rho$ を上げる $\widetilde{g} \in \check{T}^{\text{sc}}$ の作用を用いて、交差コホモロジーシェーブのトレースを計算し、$\mathcal{H}^{2j}_{\mu}\Psi_\lambda$ が $(-1)^j$ によって作用することを示す。
• コホモロジー群の重み分解と関係式 $j = \langle \rho, \nu + \lambda - 2\mu \rangle$ を用いて、各重み空間における自己同型のトレースを計算する。
• 恒等式 $P^{\sigma,\diamond}_{d_1,d_2}(q) = \sum_j \text{tr}(\mathcal{H}^{2j}_{\mu}\Psi_\lambda, \mathcal{H}^{2j}_{\mu}\mathbf{C}_\lambda) q^j$ を確立し、$(-q)$-アナローグの結果に至る。

実験結果

リサーチクエスチョン

• RQ1 多項式 $P^\sigma_{d_\mu,d_\lambda}(q)$ は、ラングランズ双対群 $\check{G}$ の既約表現 $V_\lambda$ における重み多重度 $m(\mu, \lambda)$ の $(-q)$-アナローグを提供するか？
• RQ2 自然に定義される $V_\lambda$ 上のヘルミート形式の符号は、$P^\sigma$-多項式で表現可能か？
• RQ3 $P^\sigma$-多項式は、アフィン旗多様体 $G((t))/\mathbf{P}$ 内の $G[[t]]$-軌道のグローバル交差コホモロジーとどのように関係するか？
• RQ4 他の自己同型 $\diamond$ に対して、$(-q)$-アナローグ構成を一般化できるか？

主な発見

• 主な結果として、$P^\sigma_{d_\mu,d_\lambda}(q) = P_{d_\mu,d_\lambda}(-q)$ が確認され、$P^\sigma$-多項式が実際に $V_\lambda$ 内の重み多重度の $(-q)$-アナローグであることが証明された。
• ラングランズ双対群 $\check{G}$ の各既約表現 $V_\lambda$ 上のヘルミート形式の符号は、$P^\sigma_{d_\mu,d_\lambda}(q)$ の係数の交互和として与えられ、コホモロジー上の自己同型の作用を反映している。
• $\zeta$-写像を用いて定義される $Z^\sigma_w(q)$-多項式は、標準的な $Z_w(q)$-多項式を一般化し、$*$-自己同型の下でのグローバル交差コホモロジーのデータを符号化している。
• 自己同型 $\mathcal{H}^{2j}_{\mu}\Psi_\lambda$ が $\mathcal{H}^{2j}_{\mu}\mathbf{C}_\lambda$ 上で $(-1)^j$ に作用することが示され、$(-q)$-アナローグ恒等式の証明に不可欠である。
• 結果はアフィン・ウェイル群上の他の自己同型 $\diamond$ に対しても拡張可能であり、一般化された $P^{\sigma,\diamond}$-多項式に対しても同様の $(-q)$-アナローグ性質が成り立つ。
• 証明は幾何的サタケ同型と、$(-1)^\rho$ を上げる $\widetilde{g} \in \check{T}^{\text{sc}}$ の作用に依存しており、コホモロジーシェーブ上での正しい符号挙動を誘導している。