[논문 리뷰] Lectures on cyclotomic Hecke algebras

Susumu Ariki|ArXiv.org|1999. 08. 02.

Algebraic structures and combinatorial models참고 문헌 14인용 수 17

한 줄 요약

이 논문은 복소 반사군의 군 대수의 변형으로서 유형 $G(m,1,n)$의 원분 히드라리크 대수를 제안하며, 양자군의 캐논컬 기저와 푸옥스페이스 실현을 통해 이를 다룬다. 루슈티그의 캐논컬 기저, 카시와라의 크리스탈 기저, 교토 학파의 해석 가능한 격자 모델을 통한 기하학적·조합적 구조와의 깊은 연결을 통해 이 대수의 표현 이론과 관련된 이론을 구축하며, 유한한 리 타입의 고전군의 모듈라 표현을 계산하는 데 새로운 프레임워크를 제공하고, 브우에의 추측(기하학적 동치에 대한 추측)과 연결된다.

ABSTRACT

These are lecture notes prepared for London Mathematical Society Symposium "Quantum Groups" held in Durham 19-29 July 1999. We give a survey on cyclotomic Hecke algebras. These algebras have been studied by Dipper, James, Malle, Mathas and the author. In lecture one, we start with definitions. We then go on to Specht module theory of cyclotomic Hecke algebras constructed by Dipper, James and Mathas. In lecture two, we explain Ginzburg and Lusztig's theory on affine Hecke algebras and its application to cyclotomic Hecke algebras due to the author. As Kazhdan-Lusztig bases of Hecke algebras describe decomposition numbers of quantum algebras at roots of unity, canonical bases of quantum affine algebras on integrable modules describe decomposition numbers of cyclotomic Hecke algebras at roots of unity. In particular, it turns out that crystal structure in the sense of Kashiwara exists behind the representation theory of cyclotomic Hecke algebras. This was first observed by Lascoux, Leclerc and Thibon. Its interpretation in terms of socle series was proposed by Rouquier. It is further developed in Vazirani's thesis. The special case of Hecke algebras of type A is extensively studied, and its relation to Lusztig conjecture is now very clear. We explain Varagnolo and Vasserot's work and several algorithms proposed so far. Its application to the decomposition numbers of finite general linear groups due to Dipper and James is also explained. The parametrization of simple modules of cyclotomic Hecke algebras over arbitrary fields in terms of crystal graphs of quantum affine algebras is given by Mathas and the author. In the third lecture, we show that this crystal graph description fits well in the Specht module theory. It uses work of Takemura and Uglov, Varagnolo and Vasserot.

연구 동기 및 목표

• 유형 $G(m,1,n)$의 원분 히드라리크 대수를 복소 반사군 대수의 변형으로서 종합적으로 이론화하는 것.
• 이 대수의 표현 이론과 양자군, 기하학적 표현 이론, 해석 가능한 격자 모델 등 고급 구조 사이의 다리를 놓는 것.
• 캐논컬 기저와 크리스탈 기저를 실현하는 푸옥스페이스 프레임워크를 제공하여 모듈라 표현 이론의 새로운 계산 도구를 가능하게 하는 것.
• 이 이론이 리 타입의 유한군의 모듈라 표현 이론에서 브우에의 추측(기하학적 동치)과 연결되는 방식을 설명하는 것, 특히 유니포텐트 블록에 초점을 맞추는 것.
• 이 이론이 A형과 B형 히드라리크 대수의 기존 결과를 어떻게 통합하고 일반화하는지 보여주는 것, 스카우-웨일 다이얼로지와 카즈단-루슈티그 다항식을 포함하여.

제안 방법

• 논문은 매개변수 $v_1, \dots, v_m$과 $q$를 포함하는 생성자와 관계를 통해 원분 히드라리크 대수를 정의하며, 브레이드, 다항식, 교환 관계를 포함하는 관계를 포함한다.
• 확장된 애파인 히드라리크 대수 $\hat{H}_n$에서 원분 히드라리크 대수 $\mathcal{H}_n$로의 전사 대수 준동형사를 구성함으로써 루슈티그의 기하학적 이론과 캐논컬 기저 이론과 연결된다.
• 푸옥스페이스는 표현 이론의 실현으로 사용되며, 수준-$r$ 푸옥스페이스 $\mathcal{F}_{{\bf v}^{-1}}^{-\tilde{\gamma}}$는 바 연산과 지배 순서를 갖추어 캐논컬 기저를 정의한다.
• 지미보, 미즈라, 미와, 오카도, 우글로프의 고수준 푸옥스페이스 이론과 바라그노로-바세로의 수준 1 푸옥스페이스 버전을 기반으로 한다.
• 푸옥스페이스에 크리스탈 기저 이론을 적용하여 캐논컬 기저 원소를 계산하며, 지배 순서와 아바쿠스 모델을 사용하여 조합적 구조를 비교한다.
• 카크의 $q$-차원 공식을 통해 모듈라 표현 이론과의 연결을 확립하며, 이는 단순한 $\mathcal{H}_n$-모듈의 수를 생성한다.

실험 결과

연구 질문

• RQ1 유형 $G(m,1,n)$의 원분 히드라리크 대수는 어떻게 체계적으로 복소 반사군 대수의 변형으로서 구성될 수 있는가?
• RQ2 푸옥스페이스는 이러한 대수의 캐논컬 기저와 크리스탈 기저를 어떻게 실현하는가? 그리고 양자군과 해석 가능한 격자 모델과의 관계는 무엇인가?
• RQ3 푸옥스페이스의 캐논컬 기저 이론은 카즈단-루슈티그 다항식과 그 계산에 대해 어떤 새로운 통찰을 제공하는가?
• RQ4 원분 히드라리크 대수 이론은 A형과 B형 히드라리크 대수의 표현 이론을 어떻게 통합하고 일반화하는가?
• RQ5 이 대수는 리 타입의 유한군의 모듈라 표현 이론에서 브우에의 추측(기하학적 동치)과 어떻게 연결되는가?

주요 결과

• 원분 히드라리크 대수 $\mathcal{H}_n(v_1,\dots,v_m;q)$는 A형과 B형 히드라리크 대수를 일반화하는 생성자와 관계를 통해 정의되며, $L_i$는 주지-무어피 원소로 간주된다.
• 확장된 애파인 히드라리크 대수 $\hat{H}_n$에서 $\mathcal{H}_n$으로의 전사 대수 준동형사가 존재하여 루슈티그의 캐논컬 기저 이론의 적용이 가능하다.
• 푸옥스페이스 $\mathcal{F}_{{\bf v}^{-1}}^{-\tilde{\gamma}}$는 바 연산과 지배 순서를 갖추고 있어 캐논컬 기저 원소를 $G(\lambda) = \lambda + \sum_{\mu \triangleright \lambda} c_{\lambda\mu}({\bf v}) \mu$ 형태로 구성할 수 있다.
• 푸옥스페이스 실현을 통한 카즈단-루슈티그 다항식 계산을 위한 새로운 알고리즘이 제안되며, 이는 이전 방법보다 향상된다.
• 카크의 $q$-차원 공식은 단순한 $\mathcal{H}_n$-모듈의 수를 생성하는 생성함수를 제공하며, B형 이론과 그 이상으로 일반화된다.
• 이 프레임워크는 브우에의 추측을 뒷받침하며, 웨일 군 $W(D,\lambda) \simeq G(d,1,a)$의 변형이 원분 히드라리크 대수에 의해 실현됨을 시사하며, 리카드 동치 이중모듈 복합체의 후보를 제공한다.