[논문 리뷰] Good Sections of Arithmetic Fundamental Groups

Mohamed Saı̈di|arXiv (Cornell University)|2010. 10. 07.

Algebraic Geometry and Number Theory인용 수 4

한 줄 요약

이 논문은 산술 fundamental group의 (균일한) 양호한 부분군의 개념을 도입하고, cuspidalisation를 통해 그로텐디크의 아나벨리안 부분군 추측을 그의 비선형 버전으로 줄이는 프레임워크를 수립한다. 균일한 양호한 부분군이 cuspidally abelian Galois 군의 부분군으로 올라간다는 것을 증명하고, Jacobian의 타테-샤파레비치 군에 대한 유한성 가정 하에 pro-$p$ $p$-adic 버전의 추측을 증명한다.

ABSTRACT

In this paper we exhibit the notion of (uniformly) good sections of arithmetic fundamental groups. We introduce and investigate the problem of cuspidalisation of sections of arithmetic fundamental groups, its ultimate aim is to reduce the solution of the Grothendieck anabelian section conjecture to the solution of its birational version. We show that (uniformly) good sections of arithmetic fundamental groups of smooth, proper, and geometrically connected hyperbolic curves over slim (and regular) fields can be lifted to sections of cuspidally abelian absolute Galois groups. As an application we prove a (pro-p) p-adic version of the Grothendieck anabelian section conjecture for hyperbolic curves, under the assumption that the existence of sections of arithmetic fundamental groups, and cuspidally abelian Galois groups, implies the existence of tame points. We also prove that the existence of uniformly good sections of arithmetic fundamental groups for hyperbolic curves over number fields implies the existence of divisors of degree 1, under a finiteness condition of the Tate-Shafarevich group of the jacobian of the curve.

연구 동기 및 목표

• 그로텐디크의 아나벨리안 부분군 추측을 그의 비선형 버전으로 줄이기 위해 산술 fundamental group의 (균일한) 양호한 부분군 이론을 개발한다.
• 산술 fundamental group의 부분군에 대한 cuspidalisation 문제를 조사하여, 군론적 부분군과 유리점 사이의 연결 고리를 찾는다.
• 부분군이 희생점의 존재를 암시한다는 가정 하에, 그로텐디크의 아나벨리안 부분군 추측의 pro-$p$ $p$-adic 버전을 수립한다.
• 산술 fundamental group의 균일한 양호한 부분군이 수체 위에서 존재할 경우, Jacobian의 타테-샤파레비치 군의 유한성 조건 하에 차수 1의 분할이 존재함을 증명한다.

제안 방법

• 연속적인 군론적 부분군 $ s: G_k \to \tilde{\rho}_1(X) $로서 cuspidally abelian 절대 갈루아 군의 부분군으로 올라가는 산술 fundamental group의 (균일한) 양호한 부분군의 개념을 도입한다.
• 특히 쌍 $ <,> : \text{Pic}(X)^{\text{wedge},\bar{\rho}} \times T_{\bar{\rho}}\text{Br}(X) \to T_{\bar{\rho}}\text{Br}(k) $ 를 사용한 코homological 기법을 통해 부분군과 브라우어 클래스를 연결한다.
• 부분군 $ s $ 沿해 코homology 클래스를 당기는 pullback을 통해 제약 사상 $ s^*: H^2(X, M_X) \to H^2(G_k, M_X) $ 를 적용하고, 이를 쌍 $ \text{Pic}(X)^{\text{wedge},\bar{\rho}} \to T_{\bar{\rho}}\text{Br}(k) $ 와 동일시한다.
• 부분군의 채르누 클래스 $ c(s) \to H^2(X, M_X) $ 와 그 $ T_{\bar{\rho}}\text{Br}(X) $ 에서의 이미지를 이용해 $ \bar{\rho} \to T_{\bar{\rho}}\text{Br}(k) $ 를 정의하는 호모모르피즘을 정의한다.
• 산술 fundamental group의 부분군의 구조를 분석하기 위해 $ \text{Pic}(X)^{\text{wedge},\bar{\rho}} $, $ H^2(X, M_X) $, $ T_{\bar{\rho}}\text{Br}(X) $ 를 포함하는 정확한 수열을 활용한다.
• 쌍 $ <,>_n $ 의 사영 극한을 사용하여 전역 쌍 $ <,>: \text{Pic}(X)^{\text{wedge},\bar{\rho}} \times T_{\bar{\rho}}\text{Br}(X) \to T_{\bar{\rho}}\text{Br}(k) $ 를 정의하며, 주요 결과에 핵심적이다.

실험 결과

연구 질문

• RQ1 그로텐디크의 아나벨리안 부분군 추측은 양호한 부분군 이론을 통해 비선형 버전으로 줄일 수 있는가?
• RQ2 산술 fundamental group의 균일한 양호한 부분군이 cuspidally abelian 갈루아 군의 부분군으로 올라가기 위한 조건은 무엇인가?
• RQ3 수체 위에서 균일한 양호한 부분군의 존재는 타테-샤파레비치 군의 유한성 조건 하에 차수 1의 분할의 존재를 암시하는가?
• RQ4 브라우어 클래스와 피카르 군을 통해 산술 fundamental group의 부분군의 코homological 특성은 무엇인가?
• RQ5 쌍 $ <,> $ 가 $ \text{Pic}(X)^{\text{wedge},\bar{\rho}} $ 와 $ T_{\bar{\rho}}\text{Br}(X) $ 사이에 존재할 때, 제약 사상 $ s^* $ 와의 관계는 무엇인가?

주요 결과

• 슬림하고 정칙인 체 위의 매끄럽고, 완전하며 기하학적으로 연결된 초타원곡선의 산술 fundamental group의 균일한 양호한 부분군은 cuspidally abelian 절대 갈루아 군의 부분군으로 올라간다.
• 논문은 부분군과 cuspidally abelian 갈루아 군의 부분군이 희생점을 암시한다는 가정 하에, 그로텐디크의 아나벨리안 부분군 추측의 pro-$p$ $p$-adic 버전을 증명한다.
• 수체 위에서 균일한 양호한 부분군의 존재는 Jacobian의 타테-샤파레비치 군이 유한할 경우, 차수 1의 분할의 존재를 암시한다.
• 제약 사상 $ s^*: H^2(X, M_X) \to H^2(G_k, M_X) $ 는 부분군의 채르누 클래스를 통한 쌍 $ \text{Pic}(X)^{\text{wedge},\bar{\rho}} \to T_{\bar{\rho}}\text{Br}(k) $ 와 일치한다.
• 자연스러운 쌍 $ <,>_n: \text{Pic}(X)/n\text{Pic}(X) \times T_{\bar{\rho}}\text{Br}(X) \to T_{\bar{\rho}}\text{Br}(k) $ 는 사영 극한과 호환되며, 전역 쌍 $ <,>: \text{Pic}(X)^{\text{wedge},\bar{\rho}} \times T_{\bar{\rho}}\text{Br}(X) \to T_{\bar{\rho}}\text{Br}(k) $ 를 유도한다.
• 코homological 클래스 $ ([\bar{\rho}].\bar{\rho})_n $ 는 모든 $ n $ 에 대해 0이 되며, 이는 $ H^2(G_k, \bar{\rho}_n) $ 에서 확장 클래스의 자명성을 보장한다.