[논문 리뷰] A trace formula for varieties over a discretely valued field

Johannes Nicaise|ArXiv.org|2008. 05. 09.

Algebraic Geometry and Number Theory참고 문헌 24인용 수 11

한 줄 요약

이 논문은 특성 0인 $K$-대상에 대해 Bittner의 표현과 Néron smoothening을 사용하여 모티빅 세르 불변량을 일반 $K$-대상으로 확장함으로써 이산적으로 값이 매겨진 체 위의 다양체에 대한 추적 공식을 수립한다. 핵심 기여는 $ S: \mathcal{M}_K \to K_0(\mathrm{Var}_k)/(ℓ-1) $ 형태의 링 준동형사상으로, 코homological로 해석 가능한 불변량을 제공하며, 비분열점들을 측정하고 다양체의 그로텐디크 링에 대한 새로운 실현을 가능하게 한다.

ABSTRACT

We study the motivic Serre invariant of a smoothly bounded algebraic or rigid variety $X$ over a complete discretely valued field $K$ with perfect residue field $k$. If $K$ has characteristic zero, we extend the definition to arbitrary $K$-varieties using Bittner's presentation of the Grothendieck ring and a process of Néron smoothening of pairs of varieties. The motivic Serre invariant can be considered as a measure for the set of unramified points on $X$. Under certain tameness conditions, it admits a cohomological interpretation by means of a trace formula. In the curve case, we use T. Saito's geometric criterion for cohomological tameness to obtain more detailed results. We discuss some applications to Weil-Châtelet groups, Chow motives, and the structure of the Grothendieck ring.

연구 동기 및 목표

• 특성 0인 $K$에 대해 모티빅 세르 불변량을 임의의 대수적 $K$-다양체로 일반화하는 것.
• 온순 조건 하에서 추적 공식을 통한 모티빅 세르 불변량의 코homological 해석을 제공하는 것.
• $\mathcal{M}_K$에서 $K_0(\mathrm{Var}_k)/(\mathbb{L}-1)$로의 계산 가능한 실현 준동형사상을 구성하는 것.
• 포incare 다항식 및 기타 불변량을 사용하여 다양체의 그로텐디크 링의 구조를 연구하는 것.
• 결과를 Weil-Châtelet 군, 초모티브, 실현 사상의 비단사성에 적용하는 것.

제안 방법

• 그로텐디크 링의 Bittner 표현을 사용하여 특성 0인 임의의 $K$-다양체로 모티빅 세르 불변량을 확장하는 것.
• 블로우업 관계를 다룰 수 있도록 스무스 $K$-다양체 쌍에 대한 일반화된 Néron smoothening 과정을 도입하는 것.
• 유한형 분리 사상에 대해 기저 변경과 호환되며 유한 체에서 정규화된 Poincaré 다항식 불변량을 정의하는 것.
• 모든 $K$-다양체에 대해 모티빅 세르 불변량을 실현하는 링 준동형사상 $ S: \mathcal{M}_K \to K_0(\mathrm{Var}_k)/(\mathbb{L}-1) $ 를 구성하는 것.
• 준동형사상 $S$ 를 적용하여 초모티브로의 실현 사상이 단사가 아님을 보이는 것.
• Poincaré 다항식을 이용하여 스킴 위의 구조적 함수를 통해 $K_0(\mathrm{Var}_k)$ 및 $\mathcal{M}_k$ 내의 원소를 구분하는 것.

실험 결과

연구 질문

• RQ1 이산적으로 값이 매겨진 체 위의 특성 0인 $K$-다양체에 대해 모티빅 세르 불변량은 스무스이고 완비인 다양체에서부터 일반 $K$-다양체로 확장될 수 있는가?
• RQ2 비온순인 경우에 모티빅 세르 불변량은 추적 공식을 통한 코homological 해석을 갖는가?
• RQ3 초모티브나 Poincaré 다항식과 같은 실현 준동형사상은 다양체의 그로텐디크 링 내 원소를 어떻게 구분하는가?
• RQ4 블로우업 관계 하에서 모티빅 세르 불변량의 잘 정의됨을 보장하기 위해 Néron smoothening의 역할은 무엇인가?
• RQ5 Poincaré 다항식은 분리된 유한형 사상에 대해 유일하게 특징지어지는 구조적이고 기저 변경과 호환되는 불변량인가?

주요 결과

• 특성 0인 $K$에 대해 모티빅 세르 불변량은 $ S: \mathcal{M}_K \to K_0(\mathrm{Var}_k)/(\mathbb{L}-1) $ 형태의 유일한 링 준동형사상으로 확장되며, 이는 $\mathcal{M}_K$의 계산 가능한 실현을 제공한다.
• 준동형사상 $S$ 는 Néron smoothening과 Bittner의 정리에 의해 스무스이고 완비가 아닌 $K$-다양체에 대해서도 모든 $K$-다양체에 대해 모티빅 세르 불변량을 실현한다.
• Poincaré 다항식 $P(f;T)$ 는 기저 변경과 호환되며, 유한 체에서 정규화된, 분리된 유한형 사상에 대해 유일한 구조적 불변량이다.
• 준동형사상 $S$ 는 초모티브로의 실현 사상이 단사가 아님을 시사하며, 이를 제7.9조에서 보여준다.
• Poincaré 다항식은 임의의 노에테르 스킴 $X$ 에 대해 링 준동형사상 $ K_0(\mathrm{Var}_X) \to \mathcal{C}(X,\mathbb{Z}[T]) $ 를 정의하며, 기저 변경과 호환된다.
• 모티빅 세르 불변량에 대한 추적 공식은 온순 조건 하에서 성립하며, 이는 온순 $\ell$-adic 코hom올로지에서 모노드로미 연산자의 추적과 연결된다.