[논문 리뷰] A decomposition formula for the Kazhdan-Lusztig basis of affine Hecke algebras of rank 2

Xun Xie|arXiv (Cornell University)|2015. 09. 20.

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

한 줄 요약

이 논문은 계수 2의 애프인 히브 알제브라($\tilde{B}_2$ 및 $\tilde{G}_2$ 유형)에서 비균일 매개변수를 가진 카즈단-류스트리그 기저에 대한 분해 공식을 수립한다. 이 공식에 따르면, 기저 원소 $C_{bdu}$는 하위 이중 셀들에 모odulo하여 $E_b C_d F_u$로 분해되며, 여기서 $E_b$와 $F_u$는 상호 독립적이다. 이는 루스티그의 추측 P1–P15를 P8' 검증과 $\mathbf{a}$-함수의 명시적 계산으로 줄이는 데 기여한다.

ABSTRACT

In this paper, we prove a decomposition formula for the Kazhdan-Lusztig basis of affine Hecke algebras of rank 2 with positive weight function. Then we discuss some applications of this kind of decomposition to Lusztig's conjectures P1-P15.

연구 동기 및 목표

• 계수 2의 애프인 히브 알제브라, 특히 $\tilde{B}_2$ 및 $\tilde{G}_2$ 유형에 대해 카즈단-류스트리그 기저에 대한 분해 공식을 개발하는 것.
• 비균일 매개변수를 가진 계수 2의 애프인 웨일 군에 대해 루스티그의 추측 P1–P15의 타당성을 조사하는 것.
• P1–P15의 검증을 P8' 검증과 루스티그의 $\mathbf{a}$-함수의 명시적 계산으로 줄이는 것.
• 이전 연구에서 최소 이중 셀에 사용된 방법을 다른 이중 셀로 계수 2의 애프인 웨일 군에 일반화하는 것.
• 비균일 매개변수를 가진 애프인 히브 알제브라에서 셀과 그 성질을 연구하기 위한 구조적 프레임워크를 제공하는 것.

제안 방법

• 분해 공식 도입: $C_{bdu} \equiv E_b C_d F_u \mod \mathcal{H}_{<\mathbf{c}}$, 여기서 $E_b$와 $F_u$는 $C_{bd} \equiv E_b C_d \mod \mathcal{H}_{<\mathbf{c}}$ 및 $C_{du} \equiv C_d F_u \mod \mathcal{H}_{<\mathbf{c}}$를 통해 정의된다.
• Guilhot의 이중 셀을 유한 부분군의 올리브레이션으로 분할하는 방법을 적용: $\mathbf{c} = \bigsqcup_{d \in D} B_d d U_d$, 여기서 $d$는 유한 부분군 내의 올리브레이션이다.
• 분해를 적용하여 $\mathcal{H}$-이중 모듈 $\mathcal{H}_{\leq \mathbf{c}} / \mathcal{H}_{<\mathbf{c}}$의 연구를 $d \in D$에 대해 $C_d$의 생성자로 줄이는 데 사용한다.
• 히브 알제브라의 $T$-기저에서의 명시적 계산을 통해 다양한 매개변수 영역에서 분해 공식의 타당성을 검증한다.
• 분해 공식에서 $E_b$와 $F_u$의 독립성을 바탕으로 추측에 대한 귀납적 추론을 가능하게 한다.
• 계수 2의 경우에 대해 필요한 가정(P4, 약한 형태의 P8')과 항등식 $\mathbf{a}(d) = \deg h_{d,d,d}$의 타당성을 검증한다.

실험 결과

연구 질문

• RQ1 비균일 매개변수를 가진 계수 2의 애프인 히브 알제브라에서 카즈단-류스트리그 기저에 대한 분해 공식을 수립할 수 있는가?
• RQ2 이 분해 공식은 루스티그의 추측 P1–P15 검증을 어느 정도로 줄이는가?
• RQ3 이중 셀의 색인 집합 $D$에 속한 모든 $d$에 대해 항등식 $\mathbf{a}(d) = \deg h_{d,d,d}$가 성립하는가?
• RQ4 이 분해 공식은 계수 2의 애프인 웨일 군의 모든 이중 셀에 대해 성립하는가? 그리고 왜 이는 고차원에서는 실패하는가?
• RQ5 계수 2의 경우에 추측 P1–P15를 P8' 검증과 $\mathbf{a}$-함수의 명시적 계산으로 줄일 수 있는가?

주요 결과

• 계수 2의 애프인 히브 알제브라($\tilde{B}_2$ 및 $\tilde{G}_2$ 유형)에서 모든 $b \in B_d$, $u \in U_d$, $d \in D$에 대해 분해 공식 $C_{bdu} \equiv E_b C_d F_u \mod \mathcal{H}_{<\mathbf{c}}$가 성립한다.
• $\mathcal{H}$-이중 모듈 $\mathcal{H}_{\leq \mathbf{c}} / \mathcal{H}_{<\mathbf{c}}$는 $d \in D$에 대해 $C_d$로 생성되며, $E_b$와 $F_u$는 상호 독립적이다.
• $\tilde{B}_2$ 및 $\tilde{G}_2$에 대한 추측 P1–P15는 P8' 검증과 $\mathbf{a}$-함수의 명시적 계산으로 축소된다.
• 계수 2의 경우 P4와 약한 형태의 P8'이 만족되며, 이는 축소를 가능하게 한다.
• 분해 공식은 계수 2의 애프인 웨일 군의 모든 이중 셀에 대해 성립하지만, 일반적으로 $B_3$와 같은 고차원 군에서는 성립하지 않는다.
• $T$-기저에서의 명시적 계산을 통해 모든 매개변수 영역에서 분해 공식이 확인되었으며, 이는 $a > 2b$, $a < 2b$, $a = 2b$의 경우를 포함한다.