[논문 리뷰] A $(-q)$-analogue of weight multiplicities

G. Lusztig, Zhiwei Yun|arXiv (Cornell University)|2012. 03. 02.

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}$-다항식과 애질리프 색부버트 다양체의 교차 코hom로지 사이의 기하학적 및 대수적 연결 고리를 확립하는 것.
• $\check{G}$ 의 기약 표현 위의 자연스러운 헤르미트 형식의 부호가 $P^{\rho}_{d_{\rho},d_{\rho}}(q)$ 를 통해 표현될 수 있음을 보이는 것.
• 이 결과를 애질리프 와일 군 위의 다른 치환 $\diamond$ 로 일반화하여, $(-q)$-해석 구축을 확장하는 것.

제안 방법

• 기하학적 사타케 동치를 사용하여 $P^{\rho}_{d_{\rho},d_{\rho}}(q)$ 를 $G[[t]]$-궤도의 전역 교차 코호몰로지의 푸아생 다항식으로 해석한다.
• 표준 $\chi$-사상의 일반화인 $\mathcal{A}$-선형 사상 $\zeta: M \to \mathbb{Q}(q)$ 를 정의한다: $a_w \mapsto q^{\ell(w)} \left(\frac{q-1}{q+1}\right)^{\phi(w)}$, 이는 $Z_w(q)$ 를 일반화한다.
• 애질리프 와일 군 위의 $*$-치환 작용을 활용하여 $*$-비틀린 치환 $I_*$ 를 정의하고, 카즈단-루스티그 다항식의 정밀화된 해석으로서 $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$-다항식 $P^\sigma_{d_\mu,d_\lambda}(q)$ 는 랭랜즈 쌍대군 $\check{G}$ 의 기약 표현 $V_\lambda$ 에서의 무게 다중도 $m(\mu, \lambda)$ 에 대한 $(-q)$-해석이 되는가?
• RQ2 기본 헤르미트 형식의 부호는 $P^\sigma$-다항식으로 표현될 수 있는가?
• RQ3 $P^\sigma$-다항식은 애질리프 플래그 다양체 $G((t))/\mathbf{P}$ 에서의 $G[[t]]$-궤도의 전역 교차 코호몰로지와 어떻게 관련되는가?
• RQ4 이를 바탕으로 $(-q)$-해석 구축을 애질리프 와일 군 위의 다른 치환 $\diamond$ 로 일반화할 수 있는가?

주요 결과

• 주요 결과는 $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}}$ 의 작용에 의존하며, 이는 코호몰로지 층 위에서 정확한 부호 행동을 유도한다.