[논문 리뷰] On Hrushovski's proof of the Manin-Mumford conjecture

Richard Pink, Damian Roesslert|ArXiv.org|2002. 12. 01.

Algebraic Geometry and Number Theory참고 문헌 14인용 수 18

한 줄 요약

이 논문은 모델 이론을 회피하면서 고전적 대수기하학만을 사용하여 Manin-Mumford 추측의 새로운 증명을 제시한다. Hrushovski의 핵심 모델이론적 결과를 대수기하학적 진술로 재해석하고, 임베딩, 프로베누스 작용, 갈루아 강하를 통해 이를 증명하며, 궁극적으로 아벨 다양체의 부분다양체에 속한 토판점들이 유한 개의 아벨 부분다양체의 전이에 포함되어 있음을 보인다.

ABSTRACT

The Manin-Mumford conjecture in characteristic zero was first proved by Raynaud. Later, Hrushovski gave a different proof using model theory. His main result from model theory, when applied to abelian varieties, can be rephrased in terms of algebraic geometry. In this paper we prove that intervening result using classical algebraic geometry alone. Altogether, this yields a new proof of the Manin-Mumford conjecture using only classical algebraic geometry.

연구 동기 및 목표

• Hrushovski의 모델이론적 결과가 Manin-Mumford 추측의 기초가 되는 바를 순수 대수기하학적 증명으로 제공하기 위해.
• 원래 모델이론적 용어로 기술된 Hrushovski의 핵심 결과를 고전적 대수기하학적으로 접근 가능한 진술로 재구성하기 위해.
• 아벨 다양체 $A$의 부분다양체 $X$와 프로베누스 유사 자기동형사상에 대한 다항식의 핵심과의 교차가 아벨 부분다양체의 유한 개의 전이의 합집합임을 증명하기 위해.
• 모델 이론이나 아라켈로프 이론에 의존하지 않고 이 대수기하학적 결과로부터 전체 Manin-Mumford 추측을 유도하기 위해.
• $\overline{\mathbb{Q}}$ 위의 아벨 다양체의 부분다양체에 속한 토판점들이 아벨 부분다양체의 유한 개의 전이에 포함되어 있음을 고전적 대수기하학만을 사용하여 보여주기 위해.

제안 방법

• 기저 체를 고정하는 아벨 다양체 $A$ 위의 자기동형사상 $\sigma$와 정수계 다항식 $P(T) \in \mathbb{Z}[T]$에 대해 $\Gamma = \ker P(\sigma)$를 정의한다.
• $P(T)$에 관련된 동반 행렬 $F$를 구성하고, 이는 $A^n$ 위의 임베딩을 유도하며, $\Delta = \ker(F - \sigma)$를 정의하여 $\Gamma$와 $\Delta$ 사이의 자연스러운 전단사 사상 $\Gamma \to \Delta$를 확립한다.
• $X$가 $\sigma$와 $F$에 대해 불변임을 이용하여 문제를 분석 $X^n \cap \Delta$로 축소하고, $Y = \overline{X \cap \Delta}$에 대해 $\sigma(Y) = F(Y) = Y$임을 보인다.
• $\ell$-adic 타이트 모듈러스 위의 프로베누스의 특성다항식에 대한 Weil의 정리를 적용하여, 소수 $\mathfrak{p}$ 모듈로 감소에서 프로베누스 작용을 하는 $\overline{\mathbb{Q}}$ 위의 자기동형사상 $\sigma_{\mathfrak{p}}$를 구성한다.
• 비분열 확장과 갈루아 이론을 통해 $\mathbb{F}_q$에서 $\overline{\mathbb{Q}}$로 프로베누스 자기동형사상을 올리고, 토판점들과의 호환성을 확보한다.
• 서로 다른 소수 $\mathfrak{p}, \mathfrak{p}'$에 대해 두 자동형사상 $\sigma_{\mathfrak{p}}$와 $\sigma_{{\mathfrak{p}}'}$를 조합하여 전역 자기동형사상 $\sigma$를 정의하고, $P(\sigma) = 0$이 $\mathop{\rm Tor}(A)$ 위에서 성립하도록 하며, 여기서 $P = P_{\mathfrak{p}} P_{{\mathfrak{p}}'}$이다.

실험 결과

연구 질문

• RQ1 Hrushovski의 모델이론적 증명을 기반으로 한 Manin-Mumford 추측을 고전적 대수기하학만으로 재구성할 수 있는가?
• RQ2 모델 이론을 사용하지 않고 아벨 다양체의 부분다양체에 속한 토판점들의 집합이 유한 개의 아벨 부분다양체의 전이에 포함되어 있음을 증명할 수 있는가?
• RQ3 $\ell$-adic 타이트 모듈러스 위에서 프로베누스 작용의 행동을 어떻게 이용하여 $\overline{\mathbb{Q}}$ 위의 자기동형사상을 구성할 수 있으며, 이는 토판점의 구조를 유지하는가?
• RQ4 Hrushovski의 핵심 핵심 결과 $\Gamma = \ker P(\sigma)$의 대수기하학적 대응은 무엇이며, 모델이론적 도구 없이 이를 어떻게 증명할 수 있는가?
• RQ5 임베딩과 아벨 다양체의 고정점 집합에 대한 일반적인 대수기하학적 결과로부터 Manin-Mumford 추측을 유도할 수 있는가?

주요 결과

• 논문은 스킴 이론, 아라켈로프 이론, 또는 모델 이론을 사용하지 않고도 고전적 대수기하학만으로도 Theorem 2.1—Hrushovski의 핵심 결과—를 증명한다.
• $\Gamma = \ker P(\sigma)$와 $\Delta = \ker(F - \sigma)$ 사이의 자연스러운 전단사 사상을 확립하고, 문제를 분석 $X^n \cap \Delta$로 축소한다.
• $X \cap \Delta$의 자리를 잡은 $Y$는 $\sigma$와 $F$에 대해 불변이며, 이 불변성은 $Y$가 아벨 부분다양체의 전이의 합집합임을 보이는 데 사용된다.
• $\ell$-adic 타이트 모듈러스 위에서 프로베누스 작용을 올리는 방법으로 $\overline{\mathbb{Q}}$ 위의 자기동형사상 $\sigma_{\mathfrak{p}}$를 구성함으로써, 적절한 다항식 $P$에 대해 $P(\sigma) = 0$이 $\mathop{\rm Tor}(A)$ 위에서 성립함을 보장한다.
• Manin-Mumford 추측은 $\mathop{\rm Tor}(A) \subset \Gamma = \ker P(\sigma)$임을 보이고 Theorem 2.1을 적용하여 $X \cap \mathop{\rm Tor}(A)$가 아벨 부분다양체의 유한 개의 전이의 합집합임을 유도함으로써 도출된다.
• 논문은 모델 이론의 전체 기반을 기반으로 하지 않으며, 추측의 결론을 자가 포함된 대수기하학적 유도로 제공한다.