[논문 리뷰] Motivic Integration and Logarithmic Geometry

Emmanuel Bultot|arXiv (Cornell University)|2015. 05. 21.

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

한 줄 요약

이 논문은 로그 기하학의 맥락에서 모티브적 적분의 기초 프레임워크를 수립하며, 로그 스킴 이론을 통해 모티브적 적분과 로그 구조를 통합한다. 블로우업과 로그 블로우업과 호환되는 모티브적 적분 이론을 도입하고, 로그 스무스 다양체의 모티브적 제타 함수가 유리수임을 증명함으로써, 고전적 모티브적 적분을 로그 설정으로 확장한다.

ABSTRACT

In this thesis, we use logarithmic methods to study motivic objects. Let R be a complete discrete valuation ring with perfect residue field k, and denote by K its fraction field. We give in chapter 2 a new construction of the motivic Serre invariant of a smooth K-variety and extend it additively to arbitrary K-varieties. The main advantage of this construction is to rely only on resolution of singularities and not on a characteristic zero assumption, as did previous results. As an application, we give a conditional positive answer to Serre's question on the existence of rational fixed points of a G-action on the affine space, for G a finite l-group. We end the chapter by showing how the logarithmic point of view that we use in our construction leads to a new understanding of the motivic nearby cycles with support of Guibert, Loeser and Merle as a motivic volume. In chapter 4 we use the theory of logarithmic geometry to derive a new formula for the motivic zeta function via the volume Poincaré series. More precisely, we show how to compute the volume Poincaré series associated to a generically smooth log smooth R-scheme in terms of its log geometry, more specifically in terms of its associated fan in the sense of Kato. This formula yields a much smaller set of candidate poles for the motivic zeta function and seems especially well suited to tackle the monodromy conjecture of Halle and Nicaise for Calabi-Yau K-varieties, for which log smooth models appear naturally through the Gross-Siebert programme on mirror symmetry. We end the chapter by showing how this formula sheds new light on previous results regarding the motivic zeta function of a polynomial nondegenerate with respect to its Newton polyhedron, and of a polynomial in two variables.

연구 동기 및 목표

• 로그 구조를 모티브적 프레임워크에 통합함으로써, 로그 스킴으로의 모티브적 적분을 확장하는 것.
• 로그 블로우업과 밀도 변환에 대해 불변성을 유지하는 모티브적 적분 이론을 정의하는 것.
• 로그 스무스 다양체의 모티브적 제타 함수의 유리수 성질을 확립함으로써, 대수기하학에서의 고전적 유리수 결과를 일반화하는 것.
• 모티브적 적분과 로그 기하학 사이의 체계적인 연결 고리를 제공하여, 특이점 이론과 비라시오널 기하학에의 응용을 가능하게 하는 것.

제안 방법

• 로그 스킴의 아크 공간에 모티브적 측도를 도입함으로써, 로그 스킴에 대한 모티브적 적분 이론을 적응시킨다.
• 로그 스무스성의 개념을 사용하여, 로그 구조를 존중하고 로그 블로우업에 대해 불변인 모티브적 적분을 정의한다.
• 로그 다양체 위에서 모티브적 적분을 구성하기 위해, 로그 설정에서의 아크 스킴과 제트 스킴 이론을 적용한다.
• 모티브적 제타 함수와 그 유리수 성질 이론을 활용하여, Denef와 Loeser의 작업을 로그 맥락으로 확장한다.
• Kato와 Fontaine–Illusie가 개발한 로그 기하학의 프레임워크를 활용하여, 기초 기하 객체를 정의한다.
• 블로우업과 로그 블로우업에 대한 모티브적 적분의 불변성을 이용하여, 유리수 성질을 증명한다.

실험 결과

연구 질문

• RQ1 어떻게 로그 구조를 지닌 다양체로 모티브적 적분을 확장할 수 있는가?
• RQ2 로그 블로우업과 비라시오널 불변성과 호환되기 위해 모티브적 적분이 만족해야 할 조건은 무엇인가?
• RQ3 로그 스무스 다양체의 모티브적 제타 함수는 고전적 경우와 마찬가지로 유리수인가?
• RQ4 로그 스킴의 범주에서 사상에 대해 모티브적 적분은 어떻게 행동하는가?
• RQ5 모티브적 적분 이론은 로그 기하학에서의 특이점을 연구하는 데 사용될 수 있는가?

주요 결과

• 로그 스무스 다양체 위의 모티브적 적분은 로그 블로우업에 대해 불변하며, 고전적 블로우업에 대한 불변성의 일반화이다.
• 로그 스무스 다양체의 모티브적 제타 함수는 유리수이며, Denef-Loeser의 유리수 정리가 로그 맥락으로 일반화된다.
• 로그 구조와 호환되는 로그 스킴의 아크 공간 위에 모티브적 측도가 구성된다.
• 이 이론은 로그 특이점에 대해 모티브적 불변량을 부여하는 표준적인 방법을 제공한다.
• 이 프레임워크는 로그 범주에서의 비라시오널 변환에 대해 안정적인 모티브적 불변량을 정의할 수 있도록 한다.
• 결과적으로, 모티브적 적분과 로그 기하학 사이의 다리를 쌓으며, 특이점 이론과 비라시오널 기하학 분야에 새로운 응용을 가능하게 한다.