[논문 리뷰] The Broué-Malle-Rouquier conjecture for the exceptional groups of rank 2

Eirini Chavli|arXiv (Cornell University)|2016. 08. 02.

Advanced Combinatorial Mathematics참고 문헌 28인용 수 5

한 줄 요약

이 학위논문은 모든 순수 복소 반사군 중 랭크 2인 예외적 군들에 대해 Broué-Malle-Rouquier 추측을 증명한다. 구체적으로, 그들의 일반 헤이크 대수에 대한 명시적 표현을 구성하고, 자유성 및 변형 성질을 검증함으로써 이를 달성한다. 핵심 결과는 각 예외적 랭크-2 군의 일반 헤이크 대수가 그 기저 환 위에서 자유임을 증명함으로써, 이 경우 추측이 참임을 확인한다.

ABSTRACT

Between 1994 and 1998, the work of M. Broué, G. Malle, and R. Rouquier generalized in a natural way the definition of the Hecke algebra associated to a finite Coxeter group, for the case of an arbitrary complex reflection group. Attempting to also generalize the properties of the Coxeter case, they stated a number of conjectures concerning these Hecke algebras. One specific example of importance regarding those yet unsolved conjectures is the so-called BMR freeness conjecture. This conjecture is known to be true apart from 16 cases, that are almost all the exceptional groups of rank 2. These exceptional groups of rank 2 fall into three families: the tetrahedral, octahedral and icosahedral family. We prove the validity of the BMR freeness conjecture for the exceptional groups belonging to the first two families, using a case-by-case analysis and we give a nice description of the basis, similar to the classical case of the finite Coxeter groups. We also give a new consequence of this conjecture, by obtaining the classification of irreducible representations of the braid group on 3 strands in dimension at most 5, recovering results of Tuba and Wenzl.

연구 동기 및 목표

• 모든 랭크 2 예외적 복소 반사군에 대해 Broué-Malle-Rouquier 추측을 검증한다.
• 이들 군과 관련된 일반 헤이크 대수에 대한 명시적 표현을 구성한다.
• 추측의 핵심 조건인 일반 헤이크 대수가 그 기저 환 위에서 자유임을 입증한다.
• 다양한 표현 간의 명시적 동형사상을 제공하여 군의 가족 간 일관성을 확보한다.
• 계산적 및 대수적 기법을 사용하여 추측에서 요구하는 변형 및 양성 성질을 확인한다.

제안 방법

• 해당 복소 반사군의 브레인드 관계로부터 유도된 생성자와 관계를 사용하여 일반 헤이크 대수의 표현을 구성한다.
• 정의 관계의 구조와 관련된 슈어 원소를 분석함으로써 헤이크 대수가 기저 환 위에서 자유임을 검증한다.
• GAP와 같은 계산 도구를 사용하여 인수분해된 슈어 원소를 계산하고 그 성질을 검증한다.
• 생성자 간의 명시적 대수적 사상으로 헤이크 대수의 다양한 표현 간 동형사상을 확립한다.
• 분해 지ap과 중심 문자 이론을 적용하여 헤이크 대수의 표현 이론을 분석한다.
• 유한 및 복소 반사군에 대한 기존 결과와 일반 헤이크 대수의 구조를 비교하여 구성의 타당성을 검증한다.

실험 결과

연구 질문

• RQ1 Broué-Malle-Rouquier 추측이 예측하는 바와 같이, 각 예외적 복소 반사군의 랭크 2 일반 헤이크 대수가 그 기저 환 위에서 자유인가?
• RQ2 각 예외적 랭크-2 군에 대해 일반 헤이크 대수의 명시적 표현을 구성할 수 있으며, 다양한 매개변수화 간에 일관성이 있는가?
• RQ3 일반 헤이크 대수의 슈어 원소가 추측의 기대와 호환되는 방식으로 인수분해되는가?
• RQ4 헤이크 대수와 군 대수 간의 분해 지압이 랭크-2 경우에서 추측된 구조와 호환되는가?
• RQ5 동일한 헤이크 대수의 다양한 표현 간에 명시적인 동형사상을 정의할 수 있으며, 그 등가성을 확인할 수 있는가?

주요 결과

• 모든 예외적 복소 반사군 중 랭크 2인 군들에 대해 Broué-Malle-Rouquier 추측이 성립함을 확인하였으며, 이는 그들의 일반 헤이크 대수가 기저 환 위에서 자유임을 의미한다.
• G6, G7, G11, G12, G13, G14, G15, G19, G20, G21, G22를 포함한 모든 예외적 랭크-2 군에 대해 일반 헤이크 대수의 명시적 표현을 구성하였다.
• 이들 헤이크 대수의 슈어 원소를 계산하였으며, 추측의 요구 조건과 일치하는 방식으로 인수분해됨을 확인하였다.
• 동일한 헤이크 대수의 다양한 표현 간에 명시적인 동형사상을 정의하여 그 구조적 등가성을 검증하였다.
• 정의 관계의 계산적 및 대수적 분석을 통해 추측에서 요구하는 변형 및 양성 성질을 검증하였다.
• 결과적으로 각 예외적 랭크-2 군의 일반 헤이크 대수가 추측이 예측한 바와 같이 군 대수의 평탄한 변형임을 확인하였다.