[논문 리뷰] Lectures on geometric constructions of the irreducible representations of GL_n

Joel Kamnitzer|arXiv (Cornell University)|2009. 12. 03.

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

한 줄 요약

이 논문은 $GL_n$의 기약 표현에 대한 기하적 구성법을 세 가지 상호 관련된 접근 방식을 통해 제시한다: 플래그 다양체 위의 선다발을 통한 Borel-Weil 이론, Ginzburg의 Springer 섬유의 Borel-Moore 호모로지에 기반한 구성법, 그리고 아핀 그라스만리안 다양체의 교차 호모로지에 의한 기하학적 사타케 대응. 핵심 기여는 Ginzburg 구성법을 기하학적 사타케 동치를 사용하여 유도함으로써, 이 세 가지 구성법을 동일한 기하학적 프레임워크 아래 통합하는 것이다.

ABSTRACT

We give an exposition of three geometric constructions of the irreducible representations of GL_n. In particular, we discuss Borel-Weil theory, the Ginzburg construction, and the geometric Satake construction. We also explain how to deduce the Ginzburg construction from the geometric Satake equivalence. These are lecture notes for a lecture series at the Summer School on geometric representation theory and extended affine Lie algebras held at University of Ottawa in June 2009.

연구 동기 및 목표

• 고급 대수적 군 이론을 요구하지 않고, $GL_n$의 기약 표현에 대한 접근 가능하고 기하학적인 기초를 제공하기 위해.
• Borel-Weil, Ginzburg, 기하학적 사타케의 세 가지 주요 기하학적 구성법을 $GL_n$의 맥락에서 통합하기 위해.
• Ginzburg 구성법이 스케일-하우 다이얼로지로 기하학적 사타케 대응에서 유도될 수 있음을 보여주기 위해.
• 비정규 복소수층과 퀼러 변환과 같은 기술적 도구를 피하고, 구체적인 기하학적 및 호모로지적 구성법에 집중하기 위해.

제안 방법

• Borel-Weil 이론을 사용하여, 기약 표현은 플래그 다양체 $G/B$ 위의 선다발의 전역 단면 공간으로 나타난다.
• Ginzburg의 구성법을 활용하여, $\mathfrak{gl}_n$의 작용은 영점 궤도 위의 Springer 섬유의 Borel-Moore 호모로지 위에서의 컨볼루션을 통해 실현된다.
• 기하학적 사타케 대응을 적용하여, 기약 표현은 아핀 그라스만리안 다양체의 궤도 $\mathrm{Gr}^\lambda$ 의 교차 호모로지로 실현된다.
• 스케일-하우 다이얼로지를 사용하여, 텐서 곱 $\Lambda^N(\mathbb{C}^n \otimes \mathbb{C}^m)$ 가 $GL_m$--equivariant 사상들을 통해 기약 $GL_n$-모듈로 분해된다.
• Ginzburg 구성법을 기하학적 사타케에서 유도하는 것은, $X$ 가 조르당 형식 $\lambda$ 를 가질 때, $\mathrm{Fl}_\mu(\mathbb{C}^N)^X$ 의 최고차 호모로지와 $V(\lambda^\vee)$ 를 식별하는 것으로 이루어진다.
• 기하학적 사타케와 스케일-하우 다이얼로지를 통해, $\bigoplus_{\mu} H_{\text{top}}(\mathrm{Fl}_\mu(\mathbb{C}^N)^X)$ 에서 $GL_n$ 의 작용이 재구성되며, 원래의 Ginzburg 작용과 일치한다.

실험 결과

연구 질문

• RQ1 플래그 다양체, Springer 섬유, 아핀 그라스만리안을 통해 $GL_n$ 의 기약 표현을 어떻게 기하학적으로 구성할 수 있는가?
• RQ2 Ginzburg 구성법과 기하학적 사타케 대응 사이의 정확한 관계는 무엇인가?
• RQ3 스케일-하우 다이얼로지를 사용하여 기하학적 사타케 동치에서 Ginzburg 구성법을 유도할 수 있는가?
• RQ4 세 구성법 간의 무게 분해와 체바렐 생성자 작용은 어떻게 일치하는가?
• RQ5 텐서 곱 $\Lambda^N(\mathbb{C}^n \otimes \mathbb{C}^m)$ 는 이러한 기하학적 표현들을 통합하는 데 어떤 역할을 하는가?

주요 결과

• Ginzburg 구성법은 스케일-하우 다이얼로지를 사용하여 기하학적 사타케 대응에서 유도되었으며, 이는 두 주요 기하학적 표현 이론 프레임워크 간 깊은 연결을 확립한다.
• 기약 표현 $V(\lambda^\vee)$ 는 $X$ 가 조르당 형식 $\lambda$ 를 가지며 모든 $\mu$ 에 대해 $|\mu|=N$ 인 경우, $H_{\text{top}}(\mathrm{Fl}_\mu(\mathbb{C}^N)^X)$ 의 최고차 호모로지의 직합으로 실현된다.
• $V(\lambda^\vee)$ 의 무게 분해는 $\mu$ 에 대한 직합의 분해와 일치하며, 각 무게 공간의 정확한 중복도가 확인된다.
• 체바렐 생성자 작용은 Ginzburg 구성법에서 기하학적 사타케와 스케일-하우 다이얼로지에 의해 정의된 작용과 일치한다. 이는 $\operatorname{Hom}_{GL_m}(V_\lambda, \Lambda^{\mu_1}\mathbb{C}^m \otimes \cdots \otimes \Lambda^{\mu_n}\mathbb{C}^m)$ 에서의 작용을 비교함으로써 입증된다.
• 기하학적 사타케를 통해 $\Lambda^N(\mathbb{C}^n \otimes \mathbb{C}^m) \cong \bigoplus_{|\mu|=N} \Lambda^{\mu_1}\mathbb{C}^m \otimes \cdots \otimes \Lambda^{\mu_n}\mathbb{C}^m$ 의 동형이 유도되며, 이는 텐서 곱을 기약 $GL_n$-모듈로 분해하는 데 사용된다.
• 기하학적 사타케 대응은 $V(\lambda^\vee)$ 와 $\mathrm{Fl}_\mu(\mathbb{C}^N)^X$ 의 최고차 호모로지 사이의 자연스러운 동형을 제공하며, 이는 Ginzburg 정리를 기하학적으로 증명한다.