[논문 리뷰] Semisimple Algebraic Groups in Characteristic Zero

J. S. Milne|arXiv (Cornell University)|2007. 05. 09.

Homotopy and Cohomology in Algebraic Topology참고 문헌 6인용 수 3

한 줄 요약

이 논문은 특성 0인 체 위의 분할된 반단순 대수적 군의 분류를 Tannaka dual과 텐서 범주 이론을 활용하여 간결하고 개념적으로 깔끔하게 유도한다. 이는 이러한 군이 그에 해당하는 반단순 리 대수학과 동일한 루트 자료로 분류됨을 보여준다. 주요 기여는 텐서 범주를 통한 표현 이론적 다리를 통해 리 대수학과 대수적 군 간의 자연스러운 연결을 제공하는 것이다.

ABSTRACT

It is shown that the classification theorems for semisimple algebraic groups in characteristic zero can be derived quite simply and naturally from the corresponding theorems for Lie algebras by using a little of the theory of tensor categories. This article is extracted from Milne 2007.

연구 동기 및 목표

• 특성 0에서 분할된 반단순 대수적 군의 분류를 단순하고 자연스럽게 유도하는 것.
• 반단순 리 대수학의 분류와 반단순 대수적 군의 분류를 텐서 범주 이론을 통해 직접 연결하는 것.
• 특히 유한 차원 표현을 포함한 이러한 군의 표현 이론이 그들의 루트 자료에 의해 완전히 기술됨을 보여주는 것.
• 특성 0에서 반단순 리 대수학, 반단순 대수적 군, 텐서 범주 간의 구조적 관계를 명확히 하는 것.

제안 방법

• 유한 차원 표현의 범주로부터 대수적 군을 재구성하기 위해 Tannaka dual을 활용한다.
• 텐서 범주에 대한 M-gradation 이론을 적용하여, 대각화 가능한 군에서 범주의 Tannaka 쌍대에 이르는 군 준동형을 연결한다.
• 단순 객체의 동형류 집합에서 자유 아벨군으로의 자연스러운 텐서 사상(텐서 관계 모odulo)을 정의하여 무게 격자를 정의한다.
• 주어진 격자 X에 최고 무게를 갖는 리 대수의 표현의 전부의 부분범주에 대한 Tannaka 쌍대를 통해 대수적 군을 구성한다.
• 분할된 반단순 리 대수학의 표현 범주에서 최고 무게가 X에 속하는 경우, 그 Tannaka 쌍대가 루트 체계 (V,R)와 무게 격자 X를 갖는 분할된 반단순 대수적 군이 됨을 이용한다.
• 첨부 표현과 첨부 자기변환의 지수함수 작용을 적용하여 최대 토리의 동형성을 증명한다.

실험 결과

연구 질문

• RQ1 특성 0에서 분할된 반단순 대수적 군의 분류는 어떻게 반단순 리 대수학의 분류로부터 직접 도출될 수 있는가?
• RQ2 텐서 범주와 Tannaka dual은 리 대수학과 대수적 군을 연결하는 데 어떤 정확한 역할을 하는가?
• RQ3 루트 체계의 무게 격자 Q(R)와 P(R)는 어떻게 대수적 군의 분류와 관련이 있는가?
• RQ4 루트 체계의 무게 격자 간의 격자 포함관계로부터 반단순 대수적 군의 이소지니 클래스를 복원할 수 있는가?
• RQ5 고정된 최고 무게를 갖는 표현의 부분범주의 Tannaka 쌍대의 기하학적 의미는 무엇인가?

주요 결과

• 모든 다이어그램 (V,R,X)에서 (V,R)가 축약된 루트 체계이고 X가 Q(R) ⊂ X ⊂ P(R)를 만족하는 경우, 그는 고유한 분할된 반단순 대수적 군 over k에서 유래된다.
• 분할된 반단순 리 대수학의 최고 무게가 X에 속하는 표현의 전부의 부분범주에 대한 Tannaka 쌍대는 루트 체계 (V,R)와 무게 격자 X를 갖는 분할된 반단순 대수적 군이다.
• 분할된 반단순 대수적 군 간의 이소지니는 정확히 루트 체계를 유지하는 격자 포함관계 X → X'에 대응한다.
• 분할된 반단순 대수적 군 G의 중심은 무게 격자 X와 루트 격자 Q(R)의 몫과 동형이며, 첨부 표현의 핵으로 복원된다.
• G(𝔤)의 최대 토리들은 G(𝔤)(k)의 원소들에 의한 동형을 통해 서로 동치이다. 이는 리 대수의 영항성 원소의 지수함수를 취해 증명된다.
• 분할된 반단순 대수적 군의 유한 차원 표현의 범주는 그 리 대수학의 최고 무게가 무게 격자에 속하는 표현의 범주의 Tannaka 쌍대와 동치이다.