[논문 리뷰] Positive characteristic Manin-Mumford theorem

Thomas Scanlon|ArXiv.org|2003. 03. 26.

Algebraic Geometry and Number Theory참고 문헌 8인용 수 3

한 줄 요약

이 논문은 모델 이론적 방법, 특히 존재적으로 닫힌 차분체 이론(ACFA)을 사용하여 반아벨 다양체에 대한 Manin-Mumford 추측의 양의 특성에 해당하는 해석을 수립한다. 이는 아핀 다양체의 토르션 점들의 자리를 닫는 것이 특수 부분다양체의 유한한 합집합임을 증명하며, 이는 유한체 위에서 정의된 대수적 군으로부터의 이소지니를 통해 정의된 특수 부분다양체를 포함한다. 이는 Raynaud의 정리를 양의 특성으로 일반화한 것이다.

ABSTRACT

We prove a version of the Manin-Mumford conjecture for semiabelian varieties over fields of positive characteristic. The proof presented here contains the details of the proof sketched by the author in the article "Diophantine geometry from model theory," BSL 7 (2001) no. 1, 37 - 57; using the model theory of difference fields along the lines of Hrushovski. Algebraic proofs have been presented by Pink & Roessler and Pillay.

연구 동기 및 목표

• 반아벨 다양체에 대한 양의 특성에서의 Manin-Mumford 추측의 해석을 수립하기 위해.
• 고전적 Manin-Mumford 진술이 양의 특성에서 실패하는 것을 해결하기 위해 '특수' 부분다양체의 보다 정교한 개념을 도입하기 위해.
• 부분다양체 내 토르션 점들의 자리를 닫는 것이 이러한 특수 부분다양체의 유한한 합집합임을 증명하기 위해.
• 특히 ACFA와 차분체에 대한 이분법 정리 등을 포함한 모델 이론적 도구를 적용하여 문제를 해결하기 위해.

제안 방법

• 토르션 점들을 분석하기 위해 존재적으로 닫힌 차분체(ACFA)의 모델 이론을 사용한다.
• 유한 잔여체를 가진 이산 평가환환과 그 위에 존재하는 반아벨 모델을 구성하여 토르션 구조를 올리기 위해.
• Hrushovski의 ACFA에서 정의 가능한 군에 대한 이분법 정리를 적용하여 토르션 점의 부분군을 분류한다.
• 특수 섹션에서의 프로베누스 준동형사를 사용하여 $ \mathbb{Z}[X] $에 속하는 다항식 $ P(X) $를 정의한다. 이 다항식의 근은 원분단위근이 아니다.
• 문제를 $ \sigma $가 체의 자기동형사상일 때 $ \ker P(\sigma) $로 축소하고, 이 군을 모듈러 및 본질적으로 대수적 부분군으로 분해한다.
• 소클 정리와 이소지니의 성질을 적용하여 토르션 점들이 $ \mathbb{F}_p^{\rm alg} $ 위에서 정의된 부분다양체의 코스레트 위에 있음을 보이며, 따라서 특수하다는 것을 증명한다.

실험 결과

연구 질문

• RQ1 양의 특성에서의 Manin-Mumford 추측의 올바른 해석은 무엇인가?
• RQ2 양의 특성에서 반아벨 다양체의 토르션 점들이 자리를 닫는 부분다양체의 유한한 합집합이 되기 위한 조건은 무엇인가?
• RQ3 프로베누스 준동형사는 양의 특성에서 토르션 부분군의 구조를 정의하는 데 어떤 역할을 하는가?
• RQ4 ACFA와 이분법 정리와 같은 모델 이론적 도구를 사용하여 대수기하학의 산술적 결과를 증명할 수 있는가?
• RQ5 양의 특성에서 '특수' 부분다양체를 정의하는 조건는 무엇이며, 이는 토르션 점과 어떻게 관련되는가?

주요 결과

• 양의 특성에서 대수적으로 닫힌 체 위의 반아벨 다양체 $ G $ 의 부분다양체 $ X \subseteq G $ 에서 토르션 점들의 자리를 닫는 것은 특수 부분다양체의 유한한 합집합이다.
• 특수 부분다양체는 $ \mathbb{F}_p^{\rm alg} $ 위에서 정의된 대수적 군으로부터의 이소지니에 의한 부분다양체의 전이로 정의된다.
• 토르션 부분군 $ G(K)_{\rm tor} $ 는 $ G(S')_{\rm tor} $ 와 동형이며, 여기서 $ S' $ 은 최대 비분해 확장의 완비화이므로 토르션 점들이 유한체 위의 모델에 포함됨을 보장한다.
• 프로베누스 작용이 특수 섹션에서 유도하는 다항식 $ P(X) \in \mathbb{Z}[X] $ 는 복소수 근 중 원분단위근이 없으며, 이는 이분법 논증에 필수적이다.
• $ \ker P(\sigma) $ 의 정의 가능한 부분군은 모듈러이거나 본질적으로 대수적이다. 후자는 유한체 위에서 정의된 대수적 군의 상과 공명한다.
• 증명의 결론으로, 자리를 닫는 토르션 점들이 조밀한 임의의 기약 부분다양체 $ X $ 는 특수해야 하며, 즉 $ \mathbb{F}_p^{\rm alg} $ 위에서 정의된 부분다양체의 전이의 전이이어야 한다.