[논문 리뷰] Rationality of motivic zeta function and cut-and-paste problem

Michael Larsen, Valery A. Lunts|arXiv (Cornell University)|2014. 10. 26.

Analytic Number Theory Research참고 문헌 3인용 수 4

한 줄 요약

이 논문은 복소수 표면에서 기하 종수(pg)가 2 이상인 경우 컷 앤 페스트 문제에 양의 해가 존재한다면, 모티빅 제타 함수가 레프셰츠 클래스 𝕃을 역으로 하여도 여전히 무리수임을 보여준다. 𝕃을 국소화한 그로텐디크 링에서 행렬식 조건을 사용하여, 기하 종수의 비라션 불변성과 유일한 순열 기여에 대한 주장으로 모순을 이끌어내어, 컷 앤 페스트 문제의 해가 존재할 조건 하에서 유리성 실패를 증명한다.

ABSTRACT

Assuming the positive solution to the Cut-and-paste problem we prove that the motivic zeta function remains irrational after inverting L.

연구 동기 및 목표

• 지정된 그로텐디크 링 $ K_0[\mathcal{V}_\mathbb{F}][\mathbb{L}^{-1}] $ 에서 모티빅 제타 함수의 유리성을 조사한다. 특히 컷 앤 페스트 문제와의 관계를 중심으로 한다.
• 컷 앤 페스트 문제에 양의 해가 존재한다고 가정할 때, 레프셰츠 클래스 $ \mathbb{L} $ 를 역으로 하였을 경우 모티빅 제타 함수가 여전히 유리수일지 여부를 규명한다.
• 비라션 불변성과 대칭적 곱의 순열 유일성에 기반하여, 행렬식적으로 유리수인 모티빅 제타 함수에 대한 모순을 유도한다.
• 특히 비음성 코다이어 차원을 가진 표면에 대해, 컷 앤 페스트 문제와 모티빅 제타 함수의 유리성 간의 관계를 명확히 한다.

제안 방법

• 모티빅 제타 함수 $ \zeta_X(t) = \sum_{n=0}^\infty [\operatorname{Sym}^n X] t^n $ 를 $ K_0[\mathcal{V}_\mathbb{C}][[t]] $ 에서 정의하며, 계수는 다양체의 그로텐디크 링에 속한다.
• 유리성에 대한 행렬식 조건을 사용: 거듭제곱 급수는 특정한 $ (n+1) \times (n+1) $ 한켈 행렬식이 큰 인덱스에서 0이 되면 행렬식적으로 유리수이다.
• 컷 앤 페스트 문제에 양의 해가 존재한다고 가정하여, $ K_0[\mathcal{V}_\mathbb{C}][\mathbb{L}^{-1}] $ 에서 동일한 클래스를 가진 임의의 두 다양체는 $ \mathbb{L} $ 의 거듭제곱을 곱한 후 비라션적으로 동일해진다.
• LaLu1에서 제시한 주장에 따르면, 무한히 많은 $ m $ 에 대해 대칭적 곱 $ X^{(m)} $ 의 곱에서 기여하는 순열은 항등순열뿐이다.
• 기하 종수 $ P_g $ 가 안정적 비라션 불변임을 이용하여, 행렬식의 교대합에 포함된 항들의 기하 종수를 비교한다.
• 행렬식의 항이 모두 0이 될 수 없음을 보여, $ K_0[\mathcal{V}_\mathbb{C}][\mathbb{L}^{-1}] $ 에서 행렬식이 0이 되지 않음을 유도한다. 이는 유일한 곱 $ X^{(m)} \times X^{(m+2)} \times \cdots \times X^{(m+2n)} $ 과 동일한 기하 종수를 가진 항이 오직 하나뿐이기 때문이다.

실험 결과

연구 질문

• RQ1 복소수 표면에서 $ P_g(X) \geq 2 $ 를 만족할 경우, $ K_0[\mathcal{V}_\mathbb{C}][\mathbb{L}^{-1}][[t]] $ 에서 모티빅 제타 함수가 여전히 유리수일까?
• RQ2 컷 앤 페스트 문제에 양의 해가 존재할 경우, 국소화된 그로텐디크 링에서 모티빅 제타 함수의 유리성에 어떤 영향을 미치는가?
• RQ3 컷 앤 페스트 문제의 해가 존재한다고 가정할 때, $ P_g(X) \geq 2 $ 인 표면에 대해 행렬식적으로 유리수인 모티빅 제타 함수가 존재할 수 있는가?
• RQ4 기하 종수 $ P_g $ 는 표면의 대칭적 곱의 곱에서 어떻게 행동하는가? 이는 그로텐디크 링에서의 행렬식 조건에 어떤 함의를 갖는가?
• RQ5 원래 제타 함수가 점별적으로 유리수가 아니더라도, $ K_0[\mathcal{V}_\mathbb{C}][\mathbb{L}^{-1}][[t]] $ 에서 $ \zeta_X(t) $ 의 유리성에 대한 구조적 장애는 존재하는가?

주요 결과

• 컷 앤 페스트 문제에 양의 해가 존재한다면, 기하 종수가 $ P_g(X) \geq 2 $ 인 임의의 복소수 표면 $ X $ 에 대해 $ K_0[\mathcal{V}_\mathbb{C}][\mathbb{L}^{-1}][[t]] $ 에서의 모티빅 제타 함수 $ \zeta_X(t) $ 는 행렬식적으로 유리수가 아니다.
• 국소화된 그로텐디크 링 $ K_0[\mathcal{V}_\mathbb{C}][\mathbb{L}^{-1}] $ 에서는 유리성의 행렬식 조건이 실패한다. 교대합에서 대칭적 곱의 곱이 0이 될 수 없으며, 이는 유일한 기하 종수 기여 때문이기 때문이다.
• 무한히 많은 $ m $ 에 대해, 곱 $ X^{(m)} \times X^{(m+2)} \times \cdots \times X^{(m+2n)} $ 의 기하 종수에 기여하는 순열은 항등순열뿐이며, 이는 행렬식에서의 상쇄를 방지한다.
• 컷 앤 페스트 문제의 양의 해 가정은 행렬식 합의 항들이 $ \mathbb{L} $ 의 거듭제곱을 곱한 후 비라션적으로 동일해지게 하지만, 이는 여전히 기하 종수 불일치를 해결하지 못한다.
• 결과적으로, $ P_g(X) \geq 2 $ 인 표면에 대해 컷 앤 페스트 문제의 양의 해가 존재할 경우, $ K_0[\mathcal{V}_\mathbb{C}][\mathbb{L}^{-1}][[t]] $ 에서 $ \zeta_X(t) $ 의 유리성은 불가능하다.
• 따라서 컷 앤 페스트 문제의 가정 하에, 모티빅 제타 함수는 국소화된 링에서 여전히 무리수로 남아 있으며, 일부 경우에서는 점별적으로 유리수일 수 있음에도 불구하고 그렇다.