[논문 리뷰] An introduction to motivic integration

Alastair Craw|ArXiv.org|1999. 11. 23.

Algebraic Geometry and Number Theory참고 문헌 22인용 수 75

한 줄 요약

이 논문은 모티브적 적분에 대한 초보자 수준의 소개를 제공하며, 캐논리컬 고포르스타인 특이점을 가진 복소수 프로젝티브 다양체의 크렙란트 해석의 호지 수가 해석 선택에 관계없이 일정하다는 것을 증명한다. 쌍 $(Y,D)$의 모티브적 적분을 사용하여 스트링이 $E$-함수를 위한 공식을 유도하며, 이는 호지 수를 캐릭터라이즈하고 캐논리컬 고포르스타인 특이점을 가진 다양체의 다양한 크렙란트 해석에 대해 스트링이 $E$-함수가 불변임을 통해 콘테비치의 결과를 증명한다.

ABSTRACT

By associating a `motivic integral' to every complex projective variety X with at worst canonical, Gorenstein singularities, Kontsevich proved that, when there exists a crepant resolution of singularities Y of X, the Hodge numbers of Y do not depend upon the choice of the resolution. In this article we provide an elementary introduction to the theory of motivic integration, leading to a proof of the result described above. We calculate the motivic integral of several quotient singularities and discuss these calculations in the context of the cohomological McKay correspondence.

연구 동기 및 목표

• 알제브라기하학 및 미러 대칭 분야의 연구자들을 위해 모티브적 적분에 대한 접근 가능한 소개를 제공하는 것.
• 모티브적 적분을 사용하여 크렙란트 해석에 대한 호지 수의 불변성을 확립하는 것.
• 4차원 및 6차원 고포르스타인 터미널 순환 몰입 특이점에 대해 스트링이 $E$-함수를 계산하는 것.
• 모티브적 적분을 코homological McKay 대응 및 바티레브의 일반화된 McKay 대응의 정밀화된 형태와 연결하는 것.
• 모티브적 적분과 체인 모티브를 통한 그로텐디크 링에서의 레프셰츠 모티브 $\mathbb{L}$의 사용을 정당화하는 것.

제안 방법

• 복소수 다양체 $Y$ 위의 형식적 궤도 공간 $J_\infty(Y)$를 정의하여 곡선의 임의의 임의의 차수를 매개변수화하는 것.
• 단순 정규교차를 가진 디바이저 $D$에 관련된 함수 $F_D$를 $J_\infty(Y)$ 위에 구성하는 것.
• 그로텐디크 다양체 링에 값이 있는 측도 $\mu$를 $J_\infty(Y)$ 위에 도입하며, 이는 $\mathbb{L}$, 즉 복소수 직선의 동치류를 값으로 가진다.
• 모티브적 적분에 대한 사용자 友好的한 공식 유도: $\int_{J_\infty(Y)} F_D d\mu = \sum_{J\subseteq\{1,\dots,r\}} [D_J^\circ] \cdot \left(\prod_{j\in J} \frac{\mathbb{L}-1}{\mathbb{L}^{a_j+1}-1}\right) \cdot \mathbb{L}^{-n}$.
• 특이점에 대한 보정 항을 포함한 $E$-다항식 형태의 스트링이 $E$-함수 $E_{\mathrm{st}}(X)$를 정의하는 것.
• 그로텐디크 링의 완비화와 체인 모티브 링으로의 사상에 의해 스트링이 모티브 $M_{\mathrm{st}}(X)$를 정의하는 것.

실험 결과

연구 질문

• RQ1 캐논리컬 고포르스타인 다양체의 크렙란트 해석의 호지 수는 해석의 선택에 따라 달라지는가?
• RQ2 모티브적 적분을 어떻게 사용하여 크렙란트 해석의 호지 수를 캐릭터라이즈하는 불변량을 정의할 수 있는가?
• RQ3 크렙란트 해석이 존재하지 않는 몰입 특이점에 대해 스트링이 $E$-함수의 구조는 어떠한가?
• RQ4 모티브적 적분은 코homological McKay 대응 및 $\mathrm{SL}(n,\mathbb{C})$의 유한부분군의 표현 이론과 어떻게 관련되는가?
• RQ5 아크 공간 위의 적분 맥락에서 레프셰츠 모티브 $\mathbb{L}$의 모티브적 해석은 무엇인가?

주요 결과

• 단순 정규교차 디바이저 $D$를 가진 쌍 $(Y,D)$의 모티브적 적분은 $\sum_{J\subseteq\{1,\dots,r\}} [D_J^\circ] \cdot \left(\prod_{j\in J} \frac{\mathbb{L}-1}{\mathbb{L}^{a_j+1}-1}\right) \cdot \mathbb{L}^{-n}$ 으로 주어지며, 이는 구체적인 계산 도구를 제공한다.
• 스트링이 $E$-함수 $E_{\mathrm{st}}(X)$는 크렙란트 해석의 선택에 관계없이 불변이므로, 다양체 $X$의 호지 수가 잘 정의된 불변량임을 증명한다.
• 크렙란트 해석의 경우, 스트링이 $E$-함수는 해석의 일반 $E$-다항식으로 줄어들며, 이는 서로 다른 크렙란트 해석 간에 호지 수가 유지됨을 확인한다.
• 논문은 4차원 및 6차원 고포르스타인 터미널 순환 몰입 특이점에 대해 스트링이 $E$-함수를 계산하여 이론을 구체적인 사례에 적용한다.
• 스트링이 모티브 $M_{\mathrm{st}}(X)$는 $\sum_{J\subseteq\{1,\dots,r\}} M(D_J^\circ) \cdot \left(\prod_{j\in J} \frac{\mathbb{L}-1}{\mathbb{L}^{a_j+1}-1}\right)$ 로 정의되며, 여기서 $M$은 그로텐디크 체인 모티브 링으로의 사상이다.
• 이 구성은 그로텐디크 링에서 $\mathbb{L}$을 $\mathbb{C}$의 동치류로 사용하는 것이 타당하다는 것을 정당화하며, 모티브적 적분이 모티브 코hom로지와 레프셰츠 모티브와 연결됨을 보여준다.