[논문 리뷰] Grothendieck rings of Artin n-stacks

Bertrand Toën|arXiv (Cornell University)|2005. 09. 05.

Algebraic Geometry and Number Theory참고 문헌 5인용 수 19

한 줄 요약

이 논문은 아르틴 n-스택에 대한 그로텐디크 링을 도입하여 고전적 다양체의 그로텐디크 링을 일반화한다. 아핀 직선과 그 구멍이 있는 거듭제곱의 클래스를 역으로 취한 후, 특수 아르틴 n-스택의 그로텐디크 링이 국소화된 다양체의 그로텐디크 링과 동형임을 증명한다. 이는 모티빅 및 l-진 오일러 특성과 같은 덧셈적 불변량의 유일한 확장을 가능하게 하며, l-진 cohomology에서 프로베니우스 추적을 통한 유리점에 대한 추적 공식을 수립한다.

ABSTRACT

We introduce a Grothendieck ring of higher Artin stacks generalizing the Grothendieck ring of algebraic varieties. We show that this ring is not trivial by noticing that it factors the invariant "number of rational points over a finite field". We also introduce the notion of "special Artin stacks", which by definition have affine homotopy groups π_{i}, and furthermore unipotent for i>1. Our principal theorem states that the natural inclusion morphism from the Grothendieck ring of varieties to the Grothendieck ring of special Artin stacks is an isomorphism after inverting the class of the affine line L and the classes of L^{i}-1 for all i>0. We deduce from this that several numerical invariants defined for varieties (e.g. Hodge numbers, l-adic Euler characteristic ...) extend uniquely to invariants defined for special Artin stacks. In particular we obtain a trace formula for special Artin stacks of finite type over a finite field, identifying the number of rational points as the trace of the Frobenius acting on the l-adic Euler characteristic.

연구 동기 및 목표

• 아르틴 n-스택에 대한 그로텐디크 링을 개발하여 고전적 다양체의 링을 일반화한다.
• 유리점 수를 세는 사상의 구성으로 이 링이 비자명함을 보인다.
• 높은 호모토피 군이 아핀이고 불가약한 성질을 갖는 '특수 아르틴 n-스택'을 정의한다.
• 아핀 직선 A^1과 A^i\{0}의 클래스를 역으로 취한 후, 특수 아르틴 n-스택의 그로텐디크 링이 국소화된 다양체의 링과 동형임을 증명한다.
• 모티빅 및 l-진 오일러 특성과 같은 덧셈적 불변량이 특수 아르틴 n-스택으로 확장됨을 수립한다.

제안 방법

• 기초 스킴 위에서 유한형인 아르틴 n-스택의 그로텐디크 링을 자르기 관계와 아핀-지리적으로 국소적으로 트ivial한 피브레이션에 대한 추가 관계를 사용하여 정의한다.
• 높은 호모토피 군을 고려한 유리점 수를 세는 사상 μ: K(CH^{ft}(k)) → ℚ를 구성한다.
• 높은 호모토피 군 π_i (i>1)가 아핀이고 불가약한 성질을 갖는 '특수 아르틴 n-스택'의 클래스를 도입한다.
• 특수 아르틴 n-스택을 기본 조각들—스킴, K(𝐺𝑎,𝑛) 스택, 그리고 [X/GL_r] 전역 몫—으로 분해하기 위해 디비사주 추론을 사용한다.
• 국소화된 다양체의 그로텐디크 링이 [A^1]과 [A^i\{0}] (i>0)에 대해 국소화된 링으로부터 특수 아르틴 n-스택의 그로텐디크 링으로의 동형사상이 존재함을 보여 주어 주요 동형을 증명한다.
• Tannakian 범주를 이용해 l-진 오일러 특성 불변량을 구성하고, 동형을 통해 특수 아르틴 n-스택으로 확장한다.

실험 결과

연구 질문

• RQ1 아르틴 n-스택의 그로텐디크 링의 구조는 어떻게 되며, 고전적 다양체의 링을 어떻게 일반화하는가?
• RQ2 모티빅 및 l-진 오일러 특성과 같은 덧셈적 불변량은 어떻게 다양체에서 아르틴 n-스택으로 확장될 수 있는가?
• RQ3 높은 호모토피 군에 어떤 조건이 있어야 아르틴 n-스택의 그로텐디크 링이 국소화된 다양체 링과 동형이 되는가?
• RQ4 아르틴 n-스택의 유리점 수는 l-진 cohomology에서 프로베니우스 추적을 통해 어떻게 관련되는가?
• RQ5 특수 아르틴 n-스택의 맥락에서 l-진 cohomology를 사용하여 유리점에 대한 추적 공식을 수립할 수 있는가?

주요 결과

• 유한형 아르틴 n-스택의 그로텐디크 링은 높은 호모토피 군을 고려한 유리점 수를 세는 잘 정의된 사상 μ: K(CH^{ft}(k)) → ℚ를 통해 비자명함을 보였다.
• 국소화된 다양체의 그로텐디크 링—[A^1]과 [A^i\{0}] (i>0)에 대해 국소화된 링—에서 특수 아르틴 n-스택의 그로텐디크 링으로의 사상이 동형임을 증명하였다.
• 모든 i>0에 대해 φ([A^1])과 φ([A^i\{0}])가 가역인 덧셈적 불변량 φ: K(𝒱(k)) → A는 특수 아르틴 n-스택의 그로텐디크 링으로 유일하게 확장된다.
• 모든 특수 아르틴 n-스택 F에 대해 l-진 오일러 특성 χ_l(F) ∈ K(W(k))[[Q_l(i)−1]_i>0]는 잘 정의되어 있다.
• χ_l(F)에서 프로베니우스의 추적은 유리점 수 μ(F)와 일치하며, 특수 아르틴 n-스택에 대해 모티빅 추적 공식을 수립하였다.
• 이 추적 공식은 다양체의 경우 고전적 그로텐디크-레프셰츠 추적 공식으로 줄어들며, 특수 케이스에서의 일致성을 확인한다.