[논문 리뷰] On the Motive of the Stack of Bundles

Kai Behrend, Ajneet Dhillon|ArXiv.org|2005. 12. 29.

Advanced Algebra and Geometry참고 문헌 20인용 수 4

한 줄 요약

이 논문은 매끄러운 사영 곡선 $C$ 위의 $G$-bundle 스택의 모티브에 대한 추측적 공식을 제안한다. 이 공식은 $C$의 모티브 제타 함수의 특수값으로 표현하며, 산술기하학과 위상수학의 결과를 통합한다. 복소수체 $\mathbb{C}$에서 이는 Poincaré 특성치를 통해 Atiyah-Bott 및 Teleman의 결과를 복원한다. 유한체 $\mathbb{F}_q$에서는 수량 측도를 통해 Tamagawa 수 추측을 암시한다. 핵심 기여는 Weil의 Tamagawa 수 추측에 대한 모티브적 일반화이다.

ABSTRACT

Let $G$ be a split connected semisimple group over a field. We give a conjectural formula for the motive of the stack of $G$-bundles over a curve $C$, in terms of special values of the motivic zeta function of $C$. The formula is true if $C=\pp^1$ or $G=\sln$. If $k=\cc$, upon applying the Poincaré or Serre characteristic, the formula reduces to results of Teleman and Atiyah-Bott on the gauge group. If $k=\ffq$, upon applying the counting measure, it reduces to the fact that the Tamagawa number of $G$ over the function field of $C$ is $|π_1(G)|$.

연구 동기 및 목표

• 매끄러운 사영 곡선 $C$ 위의 $G$-torsor의 모듈리 스택 $\mathfrak{Bun}_{G,C}$의 모티브에 대한 추측적 표현을 제시하는 것.
• 특히 복소수체 $\mathbb{C}$에서의 Poincaré 특성치와 유한체 $\mathbb{F}_q$에서의 수량 측도를 통합하는 단일 모티브적 프레임워크 아래에서 산술기하학과 위상수학 분야의 기존 결과를 통합하는 것.
• 전역 모티브 적분 측도의 후보로 모티브적 Tamagawa 수 $\tau(G)$를 제안하는 것.
• 특수한 경우인 $G = \mathrm{SL}_n$ 및 $C = \mathbb{P}^1$, 그리고 복소수체 위의 단순연결된 $G$에 대해 추측에 대한 증거를 제공하는 것.

제안 방법

• 모듈러 스택 $\mathfrak{X}$가 전역 몫공간의 분할로 이루어져 있을 경우, 차원 완비화 $\widehat{K}_0(\mathrm{Var}_k)$와 $\mu(\mathrm{GL}_n)$의 역수를 사용하여 모티브 $\mu(\mathfrak{X})$를 정의한다.
• 모든 표준적 불변량이 통과하도록 보장하기 위해 토르서 관계를 포함한 수정된 $K$-환 $\widehat{K}_0^G(\mathrm{Var}_k)$를 도입한다.
• 단순연결된 $G$에 대해 $\mathfrak{Bun}_{G,C}$의 모티브를 $\mu(\mathfrak{Bun}_{G,C}) = \mathbb{L}^{(g-1)\dim G} \prod_{i=1}^r Z(C, \mathbb{L}^{-d_i})$ 로 표현한다. 여기서 $d_i$ 는 $G$의 지표에 1을 더한 것이다.
• 복소수체에서 Poincaré 특성치를 적용하여 $\mathbb{C}$ 위에서 게이지 군의 Poincaré 급수에 대한 Teleman의 결과를 복원한다.
• 유한체 $\mathbb{F}_q$에서 수량 측도를 적용하여 $C$의 함수체 위에서 $G$의 Tamagawa 수가 $|\pi_1(G)|$와 같음을 확인함으로써 이 경우에 추측을 확인한다.
• $G = \mathrm{SL}_n$에 대해 [BGL94]의 행렬 분할 구조를 사용하여 공식을 직접 검증하고, $C = \mathbb{P}^1$에 대해 Grothendieck-Harder의 $G$-torsor 분류를 통해 검증한다.

실험 결과

연구 질문

• RQ1 함수체 위의 $G$-bundle에 대해 Tamagawa 수 추측의 모티브적 동치는 무엇인가?
• RQ2 $C$의 모티브 제타 함수로 표현할 때, 스택 $\mathfrak{Bun}_{G,C}$의 모티브는 어떻게 기술할 수 있는가?
• RQ3 추측적 공식이 위상수학(수량 측도를 통한 Poincaré 특성치)과 산술기하학(수량 측도)의 기존 결과를 통합하는가?
• RQ4 특수한 경우인 $G = \mathrm{SL}_n$ 또는 $C = \mathbb{P}^1$에서 공식을 검증할 수 있는가?
• RQ5 미래의 전역 모티브 적분 이론에서 Tamagawa 수가 측도로서의 모티브적 해석을 가질 수 있는가?

주요 결과

• 체 $k = \mathbb{C}$일 때, 추측적 공식에 Poincaré 특성치를 적용하면, Hodge 구조의 순수성에 의해 $G$의 게이지 군의 Poincaré 급수에 대한 Teleman의 결과를 재현한다.
• 체 $k = \mathbb{F}_q$일 때, 수량 측도를 적용하면 $C$의 함수체 위에서 $G$의 Tamagawa 수가 $|\pi_1(G)|$와 같음을 확인하여 이 경우에 추측을 확인한다.
• $G = \mathrm{SL}_n$에 대해 [BGL94]의 행렬 분할 구조를 사용하여 공식을 직접 증명함으로써 이 경우에 추측을 확립한다.
• $C = \mathbb{P}^1$에 대해 Grothendieck와 Harder의 $G$-torsor에 대한 명시적 분류를 통해 공식을 증명한다.
• 추측적 공식은 위상수학적 및 산술적 설정에서 알려진 결과로 축소되며, 그 타당성에 대한 강력한 증거나를 제공한다.
• 논문은 향후 전역 모티브 적분 이론에서의 역할을 시사하는 모티브적 Tamagawa 수 $\tau(G) = \mathbb{L}^{(1-g)\dim G} \mu(\mathfrak{Bun}_{G,C}) \prod_{i=1}^r Z(C, \mathbb{L}^{-d_i})^{-1}$ 를 도입한다.