[논문 리뷰] Uniformization of semistable bundles on elliptic curves

Penghui Li, David Nadler|arXiv (Cornell University)|2015. 10. 29.

Advanced Algebra and Geometry참고 문헌 33인용 수 3

한 줄 요약

이 논문은 재수정된 군 G의 허수 루프 군에서의 날카로운 쌍대성 클래스를 사용하여 타원 곡선 E 위의 반안정 G-_bundle의 복소해석적 균일화를 복잡하게 제시한다. 고전적 균일화, 예를 들어 $E \simeq \mathbb{C}^*/q^\mathbb{Z}$를 비아벨 설정으로 일반화하고, G에 대해 지수 함수를 통해 균일화를 구성하며, 영점 특이 지지 집합을 가진 층과 1차 수준에서의 Betti 기하 Langlands 프로그램에 이러한 결과를 적용한다.

ABSTRACT

Let $G$ be a connected reductive complex algebraic group, and $E$ a complex elliptic curve. Let $G_E$ denote the connected component of the trivial bundle in the stack of semistable $G$-bundles on $E$. We introduce a complex analytic uniformization of $G_E$ by adjoint quotients of reductive subgroups of the loop group of $G$. This can be viewed as a nonabelian version of the classical complex analytic uniformization $ E \simeq \mathbb{C}^*/q^{\mathbb{Z}}$. We similarly construct a complex analytic uniformization of $G$ itself via the exponential map, providing a nonabelian version of the standard isomorphism $\mathbb{C}^* \simeq \mathbb{C}/\mathbb{Z}$, and a complex analytic uniformization of $G_E$ generalizing the standard presentation $E = \mathbb{C}/(\mathbb{Z} \oplus \mathbb{Z} τ)$. Finally, we apply these results to the study of sheaves with nilpotent singular support. As an application to Betti geometric Langlands conjecture in genus 1, we define a functor from $Sh_\mathcal{N}(G_E)$ (the semistable part of the automorphic category) to ${IndCoh}_{\check{\mathcal{N}}}({Locsys}_{\check G} (E))$ (the spectral category).

연구 동기 및 목표

• 타원 곡선 E 위의 반안정 G-_bundle의 스택 $G_E$에 대한 복소해석적 균일화를 개발하여 고전적 균일화를 일반화한다.
• G에 대해 지수 함수를 통해 $\mathbb{C}^* \simeq \mathbb{C}/\mathbb{Z}$의 비아벨 해석을 구성한다.
• 루프 군의 부분다양체를 사용하여 표준 균일화 $E \simeq \mathbb{C}/(\mathbb{Z} \oplus \mathbb{Z}\tau)$를 비아贝尔 설정으로 일반화한다.
• 균일화를 영점 특이 지지 집합을 가진 층과 Betti 기하 Langlands 프로그램에서의 함자 정의에 적용한다.
• 비아벨 군의 파라보릭 부분군에 대한 제약 함자의 의존성과 그 위상적 성격이 1차 수준에서 어떻게 작용하는지 명확히 한다.

제안 방법

• 허수 루프 군 $L_{\text{hol}}G$에서의 날카로운 쌍대성 클래스를 사용하여 E 위의 G-_bundle를 매개변수화함으로써 고전적 $E \simeq \mathbb{C}^*/q^\mathbb{Z}$ 균일화를 일반화한다.
• G 자체의 균일화를 지수 함수를 통해 구성함으로써 $\mathbb{C}^* \simeq \mathbb{C}/\mathbb{Z}$의 비아벨 해석을 제공한다.
• 재수정된 군의 루프 군의 부분군을 사용하여 스택 $G_E$에 대한 해석적 차트를 정의하며, 단순연결 및 일반 재수정된 G에 대해 리 이론적 방법으로 차트를 선택한다.
• 에테일 차트와 1-이동된 심플렉틱 구조를 사용하여 국소 모델의 붙임을 통한 전역 균일화를 구성한다.
• 균일화를 이용하여 $\text{Sh}_{\mathcal{N}}(G_E)$에서 $\text{IndCoh}_{\check{\mathcal{N}}}(\text{Locsys}_{\check{G}}(E))$로의 함자를 정의함으로써, 자동형 및 스펙트럼 범주를 연결한다.
• S^1과 E 위의 게이지 이론 및 날카로운 쌍대성 이론을 활용하여 해석적 및 위상적 구조 간의 관계를 규명한다.

실험 결과

연구 질문

• RQ1 타원 곡선 위의 반안정 G-_bundle의 스택은 루프 군의 유한차원 부분다양체로 균일하게 매개변수화될 수 있는가?
• RQ2 루프 군의 구조를 사용하여 고전적 균일화 $E \simeq \mathbb{C}^*/q^\mathbb{Z}$를 비아벨 설정으로 일반화할 수 있는가?
• RQ3 허수 루프 군에서의 날카로운 쌍대성이 G-_bundle의 매개변수화에 어떤 역할을 하는가?
• RQ4 균일화가 영점 특이 지지 집합을 가진 층의 기하학과 어떻게 관련되어 있는가?
• RQ5 Betti 기하 Langlands 추측의 1차 수준에서 파라보릭 부분군에 대한 제약 함자의 의존성은 무엇인가?

주요 결과

• 타원 곡선 E 위의 반안정 G-_bundle의 스택 $G_E$는 허수 루프 군 $L_{\text{hol}}G$에서의 날카로운 쌍대성 클래스에 의해 복소해석적 균일화를 갖는다.
• G에 대해 지수 함수를 통해 비아벨 균일화가 구성되며, 이는 $\mathbb{C}^* \simeq \mathbb{C}/\mathbb{Z}$를 일반화한다.
• 루프 군의 재수정된 부분군을 사용하여 $G_E$의 균일화는 표준 표현 $E \simeq \mathbb{C}/(\mathbb{Z} \oplus \mathbb{Z}\tau)$를 비아벨 설정으로 일반화한다.
• 균일화는 해석적 스택 $T_E^{\text{reg}}/W$와 정규 반안정 번들의 열린 부분스택 $G_E^{\text{reg}}$ 사이의 동형사상을 유도한다.
• 이 구성은 $\text{Sh}_{\mathcal{N}}(G_E)$에서 $\text{IndCoh}_{\check{\mathcal{N}}}(\text{Locsys}_{\check{G}}(E))$로의 함자를 유도하며, Betti 기하 Langlands 프로그램에서 핵심 단계를 제공한다.
• 점 $x$에서 자명화된 반안정 G-_bundle의 모듈리 스택 $\text{Bun}^{0,ss}_{G,x}(E)$는 복소다양체에 의해 표현 가능하며, 해석적 미세한 성질을 확인한다.