[논문 리뷰] The Atiyah-Bott formula for the cohomology of the moduli space of bundles on a curve

Dennis Gaitsgory|arXiv (Cornell University)|2015. 05. 10.

Homotopy and Cohomology in Algebraic Topology참고 문헌 4인용 수 18

한 줄 요약

이 논문은 비아벨리안 푸앵카레 dualit성, 버드리어 duality, 그리고 란 공간 위의 인수화 대수를 사용하여 유한 체 위의 매끄럽고 사영인 곡선 위의 주어진 G-_bundle의 모듈리 공간의 코homology에 대한 아티야-보트 공식을 수립한다. 핵심 결과는 코homology 위의 프로베니우스의 레프셰츠 추적을 닫힌 점들에 대한 무한 곱으로 표현하는 오일러 곱 공식이며, 스펙트럴 시퀀스와 그로텐디크-레프셰츠 추적 공식을 통해 수렴성과 등식이 증명된다.

ABSTRACT

This paper is a companion of the paper "Weil's conjecture for function fields" by J. Lurie and the author. We present a different exposition of essentially the same algebro-geometric proof of the Atiyah-Bott for the cohomology of Bun(G), which subsequently leads to the proof of the Tamagawa number formula for the volume of the automorphic space for function fields.

연구 동기 및 목표

• 유한 체 위의 매끄럽고 사영인 곡선 위의 주어진 G-_bundle의 모듈리 스택의 코homology에 대한 아티야-보트 공식을 수립하기 위해.
• 코homology 위의 프로베니우스의 레프셰츠 추적을 닫힌 점들에 대한 오일러 곱으로 동치로 만드는 수치적 곱 공식을 증명하기 위해.
• 비아벨리안 푸앵카레 이중성에 의해 란 공간 위의 전역 이중성 구조를 통해 모듈리 공간의 코homology가 유도됨을 보여주기 위해.
• 버드리어 이중성과 인수화 구조를 통해 코homological 곱 공식과 수치적 곱 공식이 동치임을 보여주기 위해.

제안 방법

• 비아벨리안 푸앵카레 이중성을 사용하여 모듈리 스택의 코homology를 란 공간 위의 카이랄 호모로지와 연결한다.
• 프리스택과 릿지 프리스택 위의 버드리어 이중성을 적용하여 이중화 복합체를 연결하고 이중성 동형을 수립한다.
• 확장된 및 단위 원소를 가진 란 공간의 구성 방식을 사용하여 '단위 원소를 제거하는' 함자를 정의하고 서로 다른 란 공간의 형태들 사이의 층들을 연결한다.
• 인수화 대수와 코대수의 체계를 사용하여 전역 이중성 문제를 국소적인 점별 이중성 진술로 환원한다.
• 그로텐디크-레프셰츠 추적 공식을 적용하여 스택 $BG_x$ 위의 추적을 계산하고 국소 오일러 요소들과 연결한다.
• 프로베니우스의 $\tau$-가중치를 분석하고 $t$에 대한 형식적 멱급수를 사용하여 무한 곱의 수렴성과 등식을 확립한다.

실험 결과

연구 질문

• RQ1 란 공간 위의 전역 이중성 구조로부터 $\mathrm{Bun}_G$의 코homology에 대한 아티야-보트 공식을 어떻게 유도할 수 있는가?
• RQ2 모듈리 스택 $\mathrm{Bun}_G$의 코homology와 란 공간 위의 특정 층의 카이랄 호모로지 사이의 정확한 관계는 무엇인가?
• RQ3 레프셰츠 추적을 닫힌 점들에 대한 오일러 곱으로 표현하는 수치적 곱 공식은 전역 이중성과 인수화 구조로부터 어떻게 유도되는가?
• RQ4 특히 단위 원소를 가진 버전과 확장된 버전을 포함한 란 공간은 코homological 곱 공식을 실현하는 데 어떤 역할을 하는가?
• RQ5 스펙트럴 시퀀스와 $\tau$-가중치 분석을 사용하여 수치적 곱 공식의 수렴성과 등식을 확립할 수 있는가?

주요 결과

• 코homology $\mathrm{H}^*(\mathrm{Bun}_G)$는 유한 차원이며, 레프셰츠 추적 $\sum (-1)^i \tau(\mathrm{Tr}(\mathrm{Frob}^{-1}, \mathrm{H}^i(\mathrm{Bun}_G)))$는 절대 수렴한다.
• 무한 곱 $\prod_{x \in |X^0|} \frac{|k_x|^{\dim(G_x)}}{|G(k_x)|}$는 절대 수렴하며, 코homology 위의 레프셰츠 추적과 같다.
• 레프셰츠 추적은 $\tau(1 / \det(1 - \mathrm{Frob}^{-1}, \mathrm{H}^*(X', M)))$와 같으며, 국소 계수의 코homology 위의 대칭 대수와 연결된다.
• 그로텐디크-레프셰츠 공식을 통해 코homology의 대칭 거듭제곱의 생성함수와 점들에 대한 오일러 곱을 매칭시켜 곱 공식을 도출한다.
• $\mathrm{Frob}^{-1}$의 $\mathrm{H}^*(X', M)$ 위의 $\tau$-가중치는 $\leq -2$이며, 이는 $t=1$에서 급수의 수렴성을 보장한다.
• 코homology의 생성함수 $\mathrm{Sym}_{{\mathbb{Q}}_\ell}(\mathrm{H}^*(X', M))$와 오일러 곱 급수의 $t=1$에서의 일치를 보여줌으로써 추적과 곱의 등식을 확립한다.