[논문 리뷰] Spectral action in Betti Geometric Langlands

David Nadler, Zhiwei Yun|arXiv (Cornell University)|2016. 11. 13.

Advanced Algebra and Geometry참고 문헌 16인용 수 6

한 줄 요약

이 논문은 $G$-_bundle의 모듈리 공간 위에서 유한한 특이 지지를 가진 층에 대해, 그들의 스펙트럴 작용을 $G^\vee$-국소계의 Betti 모듈리 공간 위의 완전 복합체를 통해 정의하여 Betti 기하 Langlands 상응관계의 '자동형에서 Galois로'의 방향을 확립한다. Hecke 고유층에 대한 Betti Langlands 매개변수를 구성하고, Lafforgue의 퇴행 연산자의 Betti 해석을 정의한다.

ABSTRACT

Let $X$ be a smooth projective curve, $G$ a reductive group, and $Bun_G(X)$ the moduli of $G$-bundles on $X$. For each point of $X$, the Satake category acts by Hecke modifications on sheaves on $Bun_G(X)$. We show that, for sheaves with nilpotent singular support, the action is locally constant with respect to the point of $X$. This equips sheaves with nilpotent singular support with a module structure over perfect complexes on the Betti moduli $Loc_{G^\vee}(X)$ of dual group local systems. In particular, we establish the "automorphic to Galois" direction in the Betti Geometric Langlands correspondence -- to each indecomposable automorphic sheaf, we attach a dual group local system -- and define the Betti version of V. Lafforgue's excursion operators.

연구 동기 및 목표

• 유한한 특이 지지를 가진 층에 대해 스펙트럴 작용을 정의하여 Betti 기하 Langlands 상응관계의 '자동형에서 Galois로'의 방향을 확립한다.
• Sheaves on the moduli of $G$-bundles의 맥락에서 V. Lafforgue의 퇴행 연산자의 Betti 해석을 정의한다.
• 유한한 특이 지지를 가진 각 불가약한 자동형 층에 대해 그 이중군 국소계를 부여하여 이를 Betti Langlands 매개변수로 해석한다.
• 이러한 층에서 Hecke 작용이 곡선의 점에 대해 국소적으로 일정함을 증명하여 스펙트럴 작용의 가능성을 보장한다.
• Hecke 고유층의 Betti Langlands 매개변수는 그 고유값 국소계의 반단순화와 동형임을 보인다.

제안 방법

• 미세국소 기하학을 사용하여 $\mathrm{Bun}_G(X)$ 위의 층의 특이 지지 분석에 초점을 맞추며, 전반적인 영향을 가진 콘 $\mathcal{N}_G(X)$ 를 고려한다.
• 점 $X$ 에서의 Hecke 수정을 통해 Satake 카테고리 구축하고, 이 작용이 특이 지지가 유한한 층의 부분카테고리 유지함을 보인다.
• 균일화 및 국소 좌표를 적용하여 전반적 Hecke 작용을 아핀 그라스만리안과 루프군 위의 국소적 구성으로 환원한다.
• 모노드로미 이sov미즘 $\mathrm{Loc}_{G^\vee}(X) \simeq \mathrm{Hom}(\pi_1(X,x_0), G^\vee)/G^\vee$ 를 통해 스펙트럴 작용 정의하고 자동형 층과 $G^\vee$-국소계를 연결한다.
• 자기의 전연 변형 환의 최대 아이디얼에서의 사상 $L^{cr,-1}$ 을 통해 Betti Langlands 매개변수 $\rho_{\mathcal{F}}$ 를 구성한다.
• Hecke 함수자와 국소계에서의 평가를 조합하여 Betti 퇴행 연산자 정의하고, 이들이 고유값 표현에 의해 결정되는 스칼라로 작용함을 보인다.

실험 결과

연구 질문

• RQ1 유한한 특이 지지를 가진 층에서 Hecke 작용은 곡선의 점에 대해 어떻게 행동하는가?
• RQ2 $\mathrm{QCoh}(\mathrm{Loc}_{G^\vee}(X)_E)$ 의 스펙트럴 작용이 특이 지지가 유한한 자동형 층의 카테고리 위에 구성될 수 있는가?
• RQ3 Hecke 고유층에 대응하는 Betti Langlands 매개변수는 무엇이며, 고유값 국소계와 어떻게 관련되는가?
• RQ4 Betti 퇴행 연산자는 기하 Langlands 설정에서 고전적 Lafforgue 구성과 어떻게 관련되는가?
• RQ5 Hecke 고유층의 Betti Langlands 매개변수는 그 고유값 국소계의 반단순화와 동형인가?

주요 결과

• 유한한 특이 지지를 가진 층에서 Hecke 작용은 곡선의 점에 대해 국소적으로 일정하며, 이는 전반적 스펙트럴 구조와의 호환성을 보장한다.
• $\mathrm{Bun}_G(X)$ 위에서 유한한 특이 지지를 가진 층은 $\mathrm{Loc}_{G^\vee}(X)_E$ 위의 완전 복합체에 대한 자연스러운 모듈러 구조를 지닌다.
• Betti Langlands 매개변수 $\rho_{\mathcal{F}}$ 는 $\mathcal{F}$ 의 전연 변형 환의 최대 아이디얼에서의 사상에 의해 정의되며, $\mathrm{Max}(R^{\mathrm{univ}})$ 로 사상된다.
• 고유값 $\rho$ 를 가진 Hecke 고유층 $\mathcal{F}$ 에 대해 Betti Langlands 매개변수 $\rho_{\mathcal{F}}$ 는 $\rho$ 의 반단순화 $\rho^{ss}$ 와 동형이다.
• Betti 퇴행 연산자는 $\mathcal{F}$ 에 대해 스칼라 $f(\rho_{\mathcal{F}}(\gamma_1), \dots, \rho_{\mathcal{F}}(\gamma_n))$ 로 작용하며, 이는 $\rho$ 의 반단순화에서 $f$ 의 평가와 일치한다.
• 이 구성은 Betti 기하 Langlands 상응관계에서 '자동형에서 Galois로'의 방향을 기하학적으로 실현하며, 전체 추측에 도달하기 위한 핵심 단계를 완성한다.