[논문 리뷰] Motivic measures and stable birational geometry

Michael Larsen, Valery A. Lunts|ArXiv.org|2001. 10. 23.

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

한 줄 요약

이 논문은 복소수 대상의 다양체의 그로텐디크 링에서 아핀 직선의 동치류를 모odulo로 하여, 안정적 비라지미 등가류의 모노이드 링과의 기본적 동형성을 허그 이론적 불변량을 사용하여 확립한다. 그 다음으로, 특정한 윤곽이 2 이상인 매끄럽고 사영인 표면의 모티빅 제타함수는 무리수임을 보여주는 모티빅 측도를 구성함으로써, 고차원 다양체에 대한 모티빅 제타함수의 유리수성에 관한 카프라노프의 추측을 반증한다.

ABSTRACT

We study the motivic Grothendieck group of algebraic varieties from the point of view of stable birational geometry. In particular, we obtain a counter-example to a conjecture of M. Kapranov on the rationality of motivic zeta-function.

연구 동기 및 목표

• 그로텐디크 링의 다양체에 대한 안정적 비라지미 등가류의 관점에서 그 링의 구조를 조사하는 것.
• 고차원 다양체에 대한 모티빅 제타함수의 유리수성에 관한 카프라노프의 추측을 해결하는 것.
• 일부 표면의 제타함수가 유리수가 되지 않는 모티빅 측도를 구성하는 것.
• 아핀 직선에 대한 모odulo 그로텐디크 링과 안정적 비라지미 등가류의 모노이드 링 사이의 표준적 동형성을 확립하는 것.

제안 방법

• 다양체를 국소적으로 닫힌 부분다양체로 분할하는 데서 유도되는 관계를 포함한 그로텐디크 링 $K_0[\mathcal{V}_k]$ 의 사용.
• 허그 이론적 불변량을 활용하여 체 $\mathcal{H}$ 에 값을 갖는 모티빅 측도 $\mu$ 의 구성.
• 비라지미 사상의 분해를 위한 W\'lodarczyk 정리의 적용, 즉 매끄러운 중심을 가진 블로우업으로의 분해.
• 대칭곱 $X^{(n)}$ 에 대한 허그 구조를 이용하여 $h^{2n,0}$ 을 $H^{2,0}(X)$ 의 대칭곱을 통해 계산하는 것.
• 혼합 허그 구조와 하이르츠만의 분해 정리를 사용하여 $P_g(X^{(n)}) = \binom{r+n-1}{r-1}$ 를 증명하는 것, 여기서 $r = P_g(X)$.
• 헤앙켈 행렬식의 영성에 기반한 거듭제곱 급수의 유리수성 기준을 사용하여 제타함수가 무리수임을 보이는 것.

실험 결과

연구 질문

• RQ1 카프라노프가 곡선에 대해 추측한 것처럼, 모든 복소수 위의 매끄럽고 사영인 다양체에 대해 모티빅 제타함수가 유리수일까? 이는 고차원으로의 확장이 기대된다.
• RQ2 그로텐디크 링 $K_0[\mathcal{V}_{\mathbb{C}}]$ 는 안정적 비라지미 등가류를 통해 이해될 수 있는가?
• RQ3 아핀 직선 $\mathbb{A}^1$ 의 동치류는 그로텐디크 링에서 안정적 비라지미 불변량을 포괄하는 핵을 생성하는가?
• RQ4 지오메트릭 성질이 2 이상인 표면의 제타함수가 무리수가 되는 모티빅 측도를 구성할 수 있는가?
• RQ5 허그 이론적 불변량 $h^{2n,0}(X^{(n)})$ 은 비유리 제타함수를 식별하는 데 충분한가?

주요 결과

• 아핀 직선에 의한 모odulo 그로텐디크 링 $K_0[\mathcal{V}_{\mathbb{C}}]$ 는 안정적 비라지미 등가류의 모노이드 링 $\mathbb{Z}[SB]$ 와 표준적으로 동형이다.
• 지오메트릭 성질이 $P_g(X) \geq 2$ 인 모든 매끄럽고 복소수 사영 표면 $X$ 에 대해, 제타함수 $\zeta_\mu(X,t)$ 가 유리수가 되지 않는 모티빅 측도 $\mu$ 가 존재한다.
• 대칭곱 $X^{(n)}$ 의 지오메트릭 성질은 $P_g(X^{(n)}) = \binom{P_g(X) + n - 1}{P_g(X) - 1}$ 를 만족하며, 이는 $n$ 에 대해 다항식적으로 증가한다.
• 거듭제곱 급수의 유리수성은 충분히 큰 $m$ 에 대해 순서 $n+1$ 의 헤앙켈 행렬식이 영이 아닐 경우에 차단되며, 이는 제타함수가 유리수였다면 모순을 일으킨다.
• 하이르츠만의 스킴에 대한 허그 구조는 $h^{2n,0}(X^{[n]}) = h^{2n,0}(X^{(n)})$ 이며, 이는 $\binom{r+n-1}{r-1}$ 과 같다. 여기서 $r = P_g(X)$.
• 모든 $H^{2n,0}(X^{[n]})$ 에 대한 기여는 $H^{2n,0}(X^{(n)})$ 에서만 발생하므로, $P_g(X^{(n)})$ 에 대한 공식이 확인된다.