[논문 리뷰] A note on motivic integration in mixed characteristic

Johannes Nicaise, Julien Sebag|ArXiv.org|2009. 12. 24.

Algebraic Geometry and Number Theory참고 문헌 8인용 수 9

한 줄 요약

이 논문은 $K_0\langle\mathrm{Var}_F\rangle$로 표기되는 수정된 그로텐디크 링을 도입하며, 이는 모든 유니버설리 홈모르픽인 다양체의 동치류를 몫으로 취한 것이다. 이 링을 통해 표준적인 실현 사상들(예: 에탈, 푸앵카레, 갈루아)이 인코딩되며, 이는 혼합 특성수에서의 모티빅 적분에 대해 올바른 값 링임을 보여준다. 주요 기여는 혼합 특성수에서 형식 스킴 및 리지드 다양체에 대한 모티빅 적분의 변수 변경 정리에서 표준 그로텐디크 링을 이 수정된 링으로 대체함으로써 기초적인 결과를 바로잡는 것이다.

ABSTRACT

We introduce a quotient of the Grothendieck ring of varieties by identifying classes of universally homeomorphic varieties. We show that the standard realization morphisms factor through this quotient, and we argue that it is the correct value ring for the theory of motivic integration on formal schemes and rigid varieties in mixed characteristic. The present note is an excerpt of a detailed survey paper which will be published in the proceedings of the conference "Motivic integration and its interactions with model theory and non-archimedean geometry" (ICMS, 2008).

연구 동기 및 목표

• 혼합 특성수에서 형식 스킴 및 리지드 다양체에 대한 모티빅 적분 이론에서 표준 그로텐디크 링이 유니버설리 홈모르픽인 다양체를 충분히 반영하지 못하는 기초적 문제를 해결하기 위해.
• 문헌 [11, 8.0.5]에서 지적된 혼합 특성수에서의 모티빅 적분에 대한 변수 변경 정리의 증명에 존재하는 격차를 해결하기 위해.
• 표준 실현 사상들(에탈, 푸앵카레, 갈루아)이 수정된 그로텐디크 링을 통해 인코딩됨을 보여주어, 이 링이 올바른 값 링임을 정당화하기 위해.
• 혼합 특성수에서의 모티빅 적분 이론과 관련된 모든 문헌에서 표준 그로텐디크 링을 수정된 버전으로 대체함으로써 문헌 전반에 걸친 체계적 수정을 제공하기 위해.

제안 방법

• 모든 $F$-다양체 중에서 유니버설리 홈모르픽인 것들의 동치류를 식별하여 $K_0(\mathrm{Var}_F)$의 몫으로서 $K_0\langle\mathrm{Var}_F\rangle$를 정의한다.
• 특성수가 0인 경우, 사상 $K_0(\mathrm{Var}_F) \to K_0\langle\mathrm{Var}_F\rangle$가 동형임을 증명하여, 이 경우에 구조가 유지됨을 보여준다.
• 표준 사상 $K_0\langle\mathrm{Var}_F\rangle \to K_0(\mathrm{ACF}_F)$가 동형임을 보이며, 이는 수정된 링과 $F$ 위의 대수적으로 닫힌 체 이론 사이의 자연스러운 연결 고리를 제공한다.
• 모든 표준 실현 사상들(점 수세기, 에탈, 푸앵카레, 갈루아)이 $K_0\langle\mathrm{Var}_F\rangle$를 통해 인코딩됨을 보여주어, 기존의 불변량들과의 호환성을 확보한다.
• 문헌 [11, 8.0.5]에서의 변수 변경 정리를 수정하기 위해, 모티빅 적분 및 세르 불변량 정의에서 $K_0(\mathrm{Var}_k)$를 $K_0\langle\mathrm{Var}_k\rangle$로 대체한다.
• 혼합 특성수 맥락에서의 문헌 수정 목록을 제공하며, $\mathcal{M}_S$를 $\mathcal{M}_S^{\mathrm{mod}}$로, $K_0(\mathrm{Var}_S)$를 $K_0\langle\mathrm{Var}_S\rangle$로 대체한다.

실험 결과

연구 질문

• RQ1 표준 그로텐디크 링은 혼합 특성수에서 유니버설리 홈모르픽인 사상에 의해 모티빅 불변량을 올바르게 반영하는가?
• RQ2 혼합 특성수에서 형식 스킴에 대한 모티빅 적분의 변수 변경 정리를, 값 링을 수정함으로써 바로잡을 수 있는가?
• RQ3 표준 실현 사상들(예: $\ell$-adic 오일러 지표, 푸앵카레 다항식)은 그로텐디크 링에서 유니버설리 홈모르픽인 다양체의 동치류를 구별하는가?
• RQ4 수정된 그로텐디크 링 $K_0\langle\mathrm{Var}_F\rangle$는 혼합 특성수에서 형식 스킴 및 리지드 다양체에 대한 모티빅 적분의 올바른 값 링인가?
• RQ5 혼합 특성수에서 값 링을 $K_0\langle\mathrm{Var}_k\rangle$로 대체할 경우, 모티빅 세르 불변량과 모티빅 적분은 잘 정의되는가?

주요 결과

• 수정된 그로텐디크 링 $K_0\langle\mathrm{Var}_F\rangle$는 $K_0(\mathrm{ACF}_F)$와 동형이며, 이는 $F$ 위의 대수적으로 닫힌 체 이론과의 자연스러운 연결 고리를 제공한다.
• 모든 표준 실현 사상들—점 수세기, 에탈, 푸앵카레, 갈루아—은 $K_0\langle\mathrm{Var}_F\rangle$를 통해 인코딩되며, 기존의 알려진 불변량들과의 일致성을 보장한다.
• 특성수가 0인 경우, 사상 $K_0(\mathrm{Var}_F) \to K_0\langle\mathrm{Var}_F\rangle$는 동형이므로, 이 경우 수정된 링이 표준 링과 일致함을 확인한다.
• [11, 8.0.5]에서의 변수 변경 정리는 값 링 $K_0(\mathrm{Var}_k)$를 $K_0\langle\mathrm{Var}_k\rangle$로 대체함으로써 바로잡혔으며, 이는 혼합 특성수에서의 기초적 격차를 해결한다.
• 모티빅 세르 불변량 $S(X)$는 $K_0\langle\mathrm{Var}_k\rangle / (\widetilde{\mathbb{L}}_k - 1)$ 안에서 잘 정의되며, 이 정의는 혼합 특성수에서 약한 네론 모델의 선택과 무관하다.
• 혼합 특성수에서의 모티빅 적분 응용—예를 들어 [8], [9], [10], [6], [7]—은 표준 그로텐디크 링을 수정된 버전으로 대체함으로써 모두 바로잡을 수 있으며, 실현 사상에 의존하는 결과에는 영향을 주지 않는다.