[논문 리뷰] Modular representations of Hecke algebras

Meinolf Geck|ArXiv.org|2005. 11. 22.

Advanced Algebra and Geometry참고 문헌 58인용 수 19

한 줄 요약

이 논문은 카즈다안–류스티그 셀과 양자군의 정규 기저를 이용하여 비단순 모듈라 설정에서 이와하리–헤이크 대수의 기약 표현의 표준 매개변수화를 수립한다. 이는 비등가 매개변수로의 이론 확장을 포함하며, 분해 행렬의 삼각형 성질을 증명하고, 고전적 유형(특히 $D_n$ 및 $B_n$ 포함)에 대해 결정 격자 기반의 명시적 조합적 기술을 제공함으로써 오랫동안 남아 있던 추측을 특수 케이스에서 해결한다.

ABSTRACT

These notes are based on a course given at the EPFL in May 2005. It is concerned with the representation theory of Hecke algebras in the non-semisimple case. We explain the role that these algebras play in the modular representation theory of finite groups of Lie type and survey the recent results which complete the classification of the simple modules. These results rely on the theory of Kazhdan--Lusztig cells in finite Weyl groups (with respect to possibly unequal parameters) and the theory of canonical bases for representations of quantum groups.

연구 동기 및 목표

• 이와하리–헤이크 대수의 단순 모듈의 분류를 등가 매개변수의 경우를 넘어서 비등가 매개변수의 경우로 확장하는 것.
• 정규 기본 집합을 이용한 기약 표현의 자연스러운 매개변수화 수립.
• 유한 리 타입 군의 모듈라 표현 이론에서 분해 행렬의 삼각형 성질 증명.
• 양자군의 결정 격자를 이용한 정규 기본 집합의 명시적 조합적 기술 제공.
• 유형 $B_n$ 및 $D_n$의 渐近적 경우에서 정규 기저와 셀 이론에 대한 추측을 해결하는 것.

제안 방법

• 등가 매개변수의 경우에서의 결과를 일반화하여, 비등가 매개변수를 가진 유한 웨일 군에서의 카즈다안–류스티그 셀 이론을 활용한다.
• 양자군 $U_v(\hat{\mathfrak{sl}}_l)$의 정규 기저 이론을 적용하여 정규 기본 집합을 구성한다.
• 유도 표현의 내부환과 하리시-찬드라 급수를 이용하여 헤이크 대수를 유한 리 타입 군과 연결한다.
• 유형 $B_n$ 에서 $D_n$ 으로의 제약 기법을 활용하여, 이전에 알려진 결과를 바탕으로 후자의 정규 기본 집합을 유도한다.
• LLT 추측과 결정 기저 이론에 관한 조아컨 및 아리키의 작업을 활용하여 명시적 매개변수화를 달성한다.
• 특정 설정에서 카즈다안–류스티그 기저의 추측적 성질을 검증하기 위해 渐近적 경우 프레임워크(Lusztig, Bonnafé, Iancu, Geck)를 적용한다.

실험 결과

연구 질문

• RQ1 이와하리–헤이크 대수의 단순 모듈 분류는 어떻게 비등가 매개변수의 경우로 확장될 수 있는가?
• RQ2 비단순 모듈라 설정에서 정규 기본 집합은 기약 표현의 매개변수화에 어떤 역할을 하는가?
• RQ3 카즈다안–류스티그 셀과 양자군의 정규 기저는 어떻게 단순 모듈의 자연스러운 색인화를 이끌어내는가?
• RQ4 카즈다안–류스티그 기저의 추측적 성질이 성립하는 경우는 언제이며, 이를 渐近적 방법으로 검증할 수 있는가?
• RQ5 결정 격자를 이용하여 유형 $B_n$ 및 $D_n$ 의 정규 기본 집합에 대해 어떤 명시적 조합적 기술을 제공할 수 있는가?

주요 결과

• 이와하리–헤이크 대수의 분해 행렬은 정규 기본 집합에서 삼각형 성질을 갖는다. 이는 핵심적인 구조적 성질을 확인한다.
• 유형 $B_n$ 에서 기약 표현은 $U_v(\hat{\mathfrak{sl}}_l)$ 의 최고 무게 모듈의 결정 기저로 자연스럽게 레이블링되며, 이는 표준 매개변수화를 제공한다.
• 유형 $B_n$ 의 渐近적 경우에서 정규 기본 집합은 ${\mathbf{u}} = (0, l/2)$ 일 때 $\Lambda_{2,n}^{({\mathbf{u}})}$ 로 명시적으로 기술되며, 이는 예제 6.9에서 새로운 결과를 이룬다.
• 유형 $D_n$ 에서 정규 기본 집합은 $\{E^{[\lambda,\mu]} \mid \lambda \neq \mu\} \cup \{E^{[\lambda,\pm]} \mid n \text{ 짝수이고 } \lambda \vdash n/2 \text{ 가 } l/2\text{-정규일 때}\}$ 로 주어지며, 이는 정리 8.7에서 증명된다.
• $D_3$ 의 정규 기본 집합은 표 3 에서 $b$ 의 다양한 값에 대해 명시적으로 계산되었으며, $b=0$ 은 표준 매개변수화를, $b=4$ (渐近적 경우) 는 결정 격자 기반 색인 집합 $\Lambda_{2,3}^\circ$ 를 제공한다.
• Lusztig 의 추측적 성질이 실패할 경우에도 양자군 결정 격자 이론을 통해 정규 기본 집합의 존재가 보장되며, 이는 모든 매개변수 선택에 대해 강력한 매개변수화를 보장한다.