[논문 리뷰] Derived $\ell$-adic zeta functions

Jonathan A. Campbell, Jesse Wolfson외 1명|arXiv (Cornell University)|2017. 03. 29.

Algebraic Geometry and Number Theory참고 문헌 25인용 수 4

한 줄 요약

이 논문은 유한체 및 C의 부분체에 대한 다양체의 그로텐디크 스펙트럼의 고차 호모토피 군에서 처음으로 비자명한 호모토피 클래스를 구성한다. 이는 고전적 모티빅 측도—특히 ℓ-아디크 제타 함수와 컴팩트 지지 코homology 오일러 특성수—를 스펙트럼 간의 사상으로 끌어올림으로써 이루어지며, 유도된 함자론적 프레임워크를 사용하여 유도된 ℓ-아디크 제타 함수가 고차 K-이론에 비자명한 사상을 유도함을 증명한다. 이는 스펙트럼이 그로텐디크 링을 초월해 풍부한 기하학적 정보를 담고 있음을 보여준다.

ABSTRACT

We lift the classical Hasse--Weil zeta function of varieties over a finite field to a map of spectra with domain the Grothendieck spectrum of varieties constructed by Campbell and Zakharevich. We use this map to prove that the Grothendieck spectrum of varieties contains nontrivial geometric information in its higher homotopy groups by showing that the map $\mathbb{S} o K(Var_k)$ induced by the inclusion of $0$-dimensional varieties is not surjective on $π_1$ for a wide range of fields $k$. The methods used in this paper should generalize to lifting other motivic measures to maps of $K$-theory spectra.

연구 동기 및 목표

• 유한체 또는 C의 부분체 k에 대해 K(Vk)의 고차 호모토피 군에서 비자명한 클래스를 구성하는 것.
• 고전적 모티빅 측도—예를 들어 ℓ-아디크 제타 함수와 컴팩트 지지 오일러 특성수—를 스펙트럼 간의 사상으로 끌어올리는 것.
• 유도된 ℓ-아디크 제타 함수가 고전적 그로텐디크 링 K0(Vk)에서 볼 수 없는 기하학적 정보를 포착한다는 것을 보여주는 것.
• k가 유한체일 때, S → K(Vk)의 고차 차원에서 비자명하고, 고차 호모토피 군에 대해 전성적이지 않다는 것을 확립하는 것.
• 다양체에서 연속된 갈루아 표현의 체인 복합체로 가는 W-정확한 함자를 K-이론 사상으로 끌어올리는 일반적 프레임워크를 개발하는 것.

제안 방법

• Waldhausen 범주 간의 W-정확한 함자들로 이루어진 스펙트럼을 구성함으로써, X ↦ [Gal(ks/k) ⟳ H•c(X; Zℓ)]의 엄밀한 모델을 만드는 것.
• Beke의 정리를 사용하여 연속된 ℓ-아디크 갈루아 표현의 유계 체인 복합체 범주에 대해 코프로젝티브 생성 모델 구조를 확립하는 것.
• 이 모델 범주에서의 함자론적 분해를 활용하여 모티빅 측도의 스펙트럼 상승을 구성하는 것.
• 결과로 얻어진 함자에 K-이론을 적용하여, 고전적 제타 함수를 정밀화하는 스펙트럼 사상 K(Vk) → K(Aut(Zℓ))를 얻는 것.
• 유도된 제타 함수가 원래 함자론적 할당에 의해 유일하게 결정되며, 자연스럽게 정의된다는 것을 증명하는 것.
• 유도된 구조를 활용하여 S → K(Vk)의 고차 호모토피 군에서의 비자명성을 보여주는 것.

실험 결과

연구 질문

• RQ1 고전적 모티빅 측도—예를 들어 ℓ-아디크 제타 함수—는 K(Vk)에서 고차 호모토피 정보를 드러내는 방식으로 스펙트럼 간의 사상으로 끌어올릴 수 있는가?
• RQ2 k가 유한체 또는 C의 부분체일 때, 그로텐디크 스펙트럼 K(Vk)는 비자명한 고차 호모토피 군을 포함하는가?
• RQ3 유도된 ℓ-아디크 제타 함수는 고전적 제타 함수의 자연스러운 정밀화이며, 그로텐디크 링을 초월한 기하학적 자료를 담고 있는가?
• RQ4 컴팩트 지지 오일러 특성수는 비자명한 고차 K-이론 클래스를 감지하는 스펙트럼 사상으로 끌어올릴 수 있는가?
• RQ5 S → K(Vk)는 고차 차원에서 비자명한가? 그리고 k가 유한체일 때 고차 호모토피 군에 대해 전성적이지 않은가?

주요 결과

• 유도된 ℓ-아디크 제타 함수 ζ: K(VFq) → K(Aut(Zℓ))는 고전적 제타 함수를 정밀화하는 스펙트럼 간의 자연스러운 사상으로 구성된다.
• k가 유한체이거나 C의 부분체일 때, S → K(Vk)의 고차 호모토피 군에서 비자명함을 증명하여, 스펙트럼이 비자명한 기하학적 자료를 지닌다는 것을 보여준다.
• k = Fq일 때, πi에 유도된 사상이 i > 0에서 전성적이지 않음을 보여, K(Vk)의 고차 호모토피 군이 비자명하고 구조적으로 풍부함을 시사한다.
• 유도된 제타 함수는 윌트 벡터의 행렬식 사상과 가환하는 사각형에 놓이며, 고전적 불변량과의 호환성을 보여준다.
• 이 구성은 i > 0에 대해 πi(K(Vk))에서 비자명한 클래스를 생성하는 첫 번째 체계적인 방법을 제공한다.
• 이 방법은 임의의 g ∈ Gal(ks/k)에 대해 유도된 g-Zeta 함수를 정의하는 데 일반화되며, 코homology에 대한 갈루아 작용을 통해 고전적 제타 함수를 정밀화한다.