[논문 리뷰] Positive conjugacy classes in Weyl groups

G. Lusztig|arXiv (Cornell University)|2018. 05. 10.

Advanced Algebra and Geometry참고 문헌 5인용 수 3

한 줄 요약

이 논문은 Weyl 군에서의 양의 쌍대류를 도입하여 타원형 정규류를 일반화한다. 최소 길이 집합 $C_{\text{min}}$에 속하는 원소들에 대해 중심화자 순서의 $q$-해석 $N^{w,w}$가 $\mathbb{N}[q]$ 안의 다항식이 됨을 증명하며, 이러한 군을 '양의'로 정의한다. 이 결과는 표현 이론, 헤케 대수, 스프링거 섬유의 $l$-adic 코hom올로지와 연결되며, 유한체 위에서 유리점의 수를 세는 데 응용된다.

ABSTRACT

Let W be a Weyl group. We introduce the notion of positive conjugacy class in W. This generalizes the notion of regular elliptic conjugacy class in the sense of Springer.

연구 동기 및 목표

• Weyl 군에서 '양의' 쌍대류라 불리는 새로운 쌍대류의 정의 및 특성화, 타원형 정규류의 일반화.
• 최소 길이 원소들이 속한 쌍대류에서 중심화자 순서의 $q$-해석인 $N^{w,w}$가 $\mathbb{N}[q]$에 속함을 증명.
• 양의 조건이 스프링거 섬유의 $l$-adic 코호몰로지의 표현론적 성질과 프로베니우스 작용과 어떻게 연결되는지 밝힘.
• 양의 쌍대류 조건이 $G^F$-모듈 구조에서 코호몰로지 성분의 분리성을 암시한다는 추측을 제기함.

제안 방법

• Iw아토-헤케 대수 $H$ 위에서 $h \mapsto T_w h T_{w^{-1}}$의 사상의 트레이스로 $q$-해석 $N^{w,w}$를 정의.
• Geck와 Pfeiffer의 결과로부터 유도된 바에 따라, 기약 $H$-모듈 $E_v$에 대해 $\operatorname{tr}(T_w, E_v)$는 $C_{\text{min}}$ 위에서 일정함을 이용.
• $H$-대수의 구조상수 $\phi(a,a',b)$가 주어진 계수의 선형 항에 대해 비음성 및 지지 조건을 만족함을 증명.
• $f(a,a'',a')_{|a|+|a''|} \geq 0$ 이며, $S_a \subset \mathcal{L}_{a'}$ 이고 $S_{a''} \subset \mathcal{R}_{a'}$ 일 때 정확히 1이 되며, 이는 $T_a T_{a'} T_{a''}$의 주요 항을 제어함.
• 그로텐디크-레프셰츠 고정점 공식을 적용하여 $N^{w,w}(q^e)$를 프로베니우스 고유값 $q^{j/2}\lambda_\circ$를 가진 $l$-adic 코호몰로지 군의 트레이스와 연결.
• 양의 쌍대류 조건이 $i \not\equiv i' \mod 2$ 일 때, $H^i_c(X_w, \overline{\mathbb{Q}}_l)$ 와 $H^{i'}_c(X_w, \overline{\mathbb{Q}}_l)^*$ 의 코호몰로지 성분이 분리됨을 추측함.

실험 결과

연구 질문

• RQ1 주어진 쌍대류 $C$의 원소 $w$에 대해 중심화자 순서의 $q$-해석인 $N^{w,w}$가 비음성 정수 계수 다항식이 되는 조건은 무엇인가?
• RQ2 $w \in C_{\text{min}}$ 일 때 $N^{w,w} \in \mathbb{N}[q]$ 의 기하학적 및 표현론적 의미는 무엇인가?
• RQ3 쌍대류의 양의 성질이 스프링거 섬유의 $l$-adic 코호몰로지의 구조와 어떻게 관련되는가?
• RQ4 쌍대류 $C$의 양의 성질이 $i \not\equiv i' \mod 2$ 일 때 $H^i_c(X_w, \overline{\mathbb{Q}}_l)$ 의 코호몰로지 성분이 분리됨을 암시하는가?
• RQ5 양의 조건이 헤케 대수의 구조상수 $\phi(a,a',b)$ 의 지지에 의해 순수하게 기술될 수 있는가?

주요 결과

• 다항식 $N^{w,w}$ 가 $\mathbb{N}[q]$ 에 속하는 것은 쌍대류 $C$ 가 양의 조건을 만족할 때이고, 이는 $C \neq \{1\}$ 이며 $w \in C_{\text{min}}$ 에 대해 $N^{w,w} \in \mathbb{N}[q]$ 를 만족함으로 정의된다.
• $\phi(a,a',b)$ 의 주요 계수는 비음성이며, $a' = b$, $S_a \subset \mathcal{L}_{a'}$, 또는 $|b| < |a'|$ 일 때 정확히 1이 되며, 오른쪽 지지에 대해서도 유사한 결과가 성립한다.
• $T_a T_{a'} T_{a''} = \sum_b f(a,a',a'',b) T_b$ 에 대해 계수 $f(a,a',a'',a')_{|a|+|a''|}$ 는 비음성이며, $S_a \subset \mathcal{L}_{a'}$ 과 $S_{a''} \subset \mathcal{R}_{a'}$ 일 때 정확히 1이 된다.
• $\mathcal{N}_G$ 의 $\mathbb{F}_q$-유리점의 수는 $N^{w,w}(q)$ 와 같으며, 이는 $q$-해석의 산술적 의미를 보여준다.
• $H^i_c(X_w, \overline{\mathbb{Q}}_l) \cong \bigoplus_\circ V^i_{\circ,j} \otimes \circ$ 의 코호몰로지 분해는 $N^{w,w} = \sum_{i,i',j,j',\circ} (-1)^{i+i'} \dim V^i_{\circ,j} \dim V^{i'}_{\circ^*,j'} v^{j+j'}$ 를 유도하며, 코호몰로지와 $q$-해석을 연결한다.
• 양의 쌍대류 $C$ 이고 $w \in C_{\text{min}}$ 이면, $G^F$-모듈 $H^i_c(X_w, \overline{\mathbb{Q}}_l)$ 와 $H^{i'}_c(X_w, \overline{\mathbb{Q}}_l)^*$ 는 $i \not\equiv i' \mod 2$ 일 때 서로 분리됨을 추측한다.