[논문 리뷰] Loop Spaces and Langlands Parameters

Dani Ben‐Zvi, David Nadler|ArXiv.org|2007. 06. 03.

Advanced Algebra and Geometry참고 문헌 48인용 수 9

한 줄 요약

이 논문은 매끄러운 스택 $X$ 위의 $\omega$-모듈의 범주를 그 유도된 루프 공간 $\mathcal{L}X$ 위의 $S^1$-동차 코herent sheaf의 국소화로 식별하는, $S^1$-동차 성질을 갖는 분류화된 정리( localization theorem)를 수립한다. 이는 루프 공간 기하학을 통해 기하학적 표현론의 범주를 통합하고, 실수 및 복소 재구성 군에 대한 장즈랜즈 매개변수를 통일적으로 구성할 수 있게 한다.

ABSTRACT

We apply the technique of S^1-equivariant localization to sheaves on loop spaces in derived algebraic geometry, and obtain a fundamental link between two families of categories at the heart of geometric representation theory. Namely, we categorify the well known relationship between free loop spaces, cyclic homology and de Rham cohomology to recover the category of D-modules on a smooth stack X as a localization of the category of S^1-equivariant coherent sheaves on its loop space LX. The main observation is that this procedure connects categories of equivariant D-modules on flag varieties with categories of equivariant coherent sheaves on the Steinberg variety and its relatives. This provides a direct connection between the geometry of finite and affine Hecke algebras and braid groups, and a uniform geometric construction of all of the categorical parameters for representations of real and complex reductive groups. This paper forms the first step in a project to apply the geometric Langlands program to the complex and real local Langlands programs, which we describe.

연구 동기 및 목표

• 유도된 루프 공간 $\mathcal{L}X$ 위의 $S^1$-동차 코herent sheaf의 범주와 매끄러운 스택 $X$ 위의 $\mathcal{D}$-모듈의 범주 사이의 범주적 동치를 수립함으로써, 고전적 국소화를 일반화한다.
• 기하학적 표현론에서 플래그 다양체 위의 동차 $\mathcal{D}$-모듈의 범주와 스티븐버그 다양체 위의 동차 코herent sheaf의 범주를 루프 공간 기하학을 통해 통합한다.
• 실수 및 복소 재구성 군에 대한 장즈랜즈 매개변수를 구성하기 위한 기하학적, 유도 대수기하학적 프레임워크를 제공한다.
• 유도된 루프 공간 기법과 유도 스택 기법을 사용하여 기하학적 장즈랜즈 프로그램을 실수 및 복소 국지 장즈랜즈 상응관계로 확장한다.
• 스프링거 분해와 스티븐버그 다양체가 각각 몫 스택 $G\backslash\mathcal{B}$ 및 $B\backslash\mathcal{B}$의 유도된 루프 공간으로서 나타남을 보여준다.

제안 방법

• 유도 대수기하학에서의 $S^1$-동차 국소화를 적용하여, $\mathcal{L}X$ 위의 $S^1$-동차 코herent sheaf의 범주와 $X$ 위의 $\mathcal{D}$-모듈의 범주를 연결한다.
• 유도 스택과 단순형 교환환의 형식을 사용하여 유도된 루프 공간과 그 코herent sheaf의 범주를 정의한다.
• 스티븐버그 다양체와 그 유사체를 각각 몰입 스택 $G\backslash\mathcal{B}$ 및 $B\backslash\mathcal{B}$의 유도된 루프 공간으로 식별한다.
• 대칭 부분군 $K$에 대해 $K\backslash\mathcal{B}$의 루프 공간으로서 장즈랜즈 매개변수 공간을 도입함으로써 플래그 다양체 루프 공간 구성법을 일반화한다.
• 유사코herent sheaf와 코즐 듀얼리티를 사용하여, 루프 공간 위의 주기적 sheaf와 $S^1$-동차 성질을 통해 $\mathcal{D}$-모듈을 연결한다.
• 특성 0에서의 유도 대수기하 공간과 연결된 미분 기하 대수 간의 동치를 활용하여 계산을 단순화한다.

실험 결과

연구 질문

• RQ1 매끄러운 스택 위의 $\mathcal{D}$-모듈과 그 루프 공간 위의 sheaf 사이의 관계를 $S^1$-동차 국소화를 분류화하여 어떻게 수립할 수 있는가?
• RQ2 기하학적 표현론에서 스티븐버그 다양체와 몰입 스택의 유도된 루프 공간 사이의 정확한 기하학적 관계는 무엇인가?
• RQ3 대칭 부분군 몰입 $K\backslash\mathcal{B}$의 루프 공간은 실수 재구성 군에 대한 장즈랜즈 매개변수와 어떻게 관련이 있는가?
• RQ4 유도된 루프 공간 구성법을 사용하여 기하학적 장즈랜즈 프로그램을 실수 및 복소 국지 장즈랜즈 상응관계로 확장할 수 있는가?
• RQ5 유도 대수기하학은 유한 및 아핀 헤이크 대수를 관통하여 $\mathcal{D}$-모듈과 동차 코herent sheaf의 범주를 어떻게 통합하는가?

주요 결과

• 매끄러운 스택 $X$ 위의 $\mathcal{D}$-모듈의 범주는 그 유도된 루프 공간 $\mathcal{L}X$ 위의 $S^1$-동차 코herent sheaf의 범주의 국소화와 자연스럽게 동치이다.
• 재구성 군 $G$의 스티븐버그 다양체는 몰입 스택 $B\backslash\mathcal{B}$의 유도된 루프 공간으로 식별되며, 여기서 $\mathcal{B} = G/B$는 플래그 다양체이다.
• 스프링거 분해는 몰입 스택 $G\backslash\mathcal{B}$의 유도된 루프 공간으로서 나타나며, 이는 루프 공간 sheaf를 통한 $\mathcal{D}$-모듈 범주의 기하학적 실현을 제공한다.
• 실수 형태 $G_{\mathbb{R}}$에 대한 장즈랜즈 매개변수 공간은 대칭 부분군 $K \subset G$에 대해 $K\backslash\mathcal{B}$의 유도된 루프 공간으로서 구성된다.
• 이 구성은 복소 및 실수 재구성 군에 대한 모든 범주적 장즈랜즈 매개변수를 루프 공간 기하학을 통해 통일적으로 기하학적으로 실현한다.
• 이 방법은 자유 루프 공간, 순환 호몰로지, 딜람 코hom올로지 사이의 고전적 관계를 분류화하여, 이를 유도된 범주 동치로 승격시킨다.