[논문 리뷰] On the Fontaine-Mazur Conjecture for CM-Fields

Kay Wingberg|ArXiv.org|2000. 07. 19.

Mathematical Dynamics and Fractals인용 수 4

한 줄 요약

이 논문은 CM체에서 Fontaine-Mazur 추측을 비틀림 없는 p-확장과 그 갈루아군을 분석하여 조사한다. 딜레마 정리와 이와사와 이론을 사용하여, 만약 CM체의 최대 비분할 p-확장의 갈루아군이 p-강력하다면, 이상의 조건이 이상의 이상수군의 p-랭크 또는 이와사와 μ-불변량에 위배되지 않는 한 유한해야 한다. 핵심 결과는 CM확장에서 p-adic 해석적 갈루아군의 조건부 유한성 기준을 설정한다.

ABSTRACT

Fontaine and Mazur conjecture that a number field k has no infinite unramified Galois extension such that its Galois group is a p-adic analytic pro-p-group. We consider this conjecture for the maximal unramified p-extension of a CM-field k.

연구 동기 및 목표

• CM체의 맥락에서 Fontaine-Mazur 추측을 조사하며, 특히 p-adic 해석적 갈루아군을 가진 무한한 비분할 p-확장의 존재 여부를 다룬다.
• CM체의 최대 비분할 p-확장의 갈루아군이 유한한 조건을 규명하며, 특히 그것이 p-강력하거나 균일한 경우를 중심으로 다룬다.
• Boston의 유한한 비분할 p-확장에 대한 결과를 이상수군과 이와사와 불변량에 추가적인 산술적 제약 조건을 부가한 CM체로 확장한다.
• 무한 갈루아 확장에서 단위군, 이상수군, 갈루아 코hom로의 이중성 이론적 프레임워크를 수립한다.
• CM체의 최대 비분할 p-확장의 갈루아군이 p-adic 해석적이라면, 그 최대 전체 실수부분체 위에서의 대응 군이 반드시 유한해야 한다는 것을 증명한다.

제안 방법

• 무한 갈루아 확장에서 S-단위군과 S-이상수군의 갈루아 코hom로에 타트 이중성과 포이투-타이트 이중성을 적용한다.
• S-단위군, S-아이디엘, S-이상수군 사이의 정확한 수열을 사용하여 최대 비분할 S-확장의 갈루아군에 대한 코hom로 이sov미즘을 도출한다.
• 갈루아군의 코호몰로지 군 간의 이중성, 특히 폰트리아진 이중성을 통해 비분할 p-확장의 갈루아군과 p-정수의 간의 이중성을 적용한다.
• 이와사와 이론과 Z_p-확장의 구조를 활용하여 수체의 계층에서 p-랭크와 μ-불변량의 행동을 분석한다.
• 특히 차원 공식과 이러한 군이 작은 랭크를 가진 경우 Z_p로의 전사가 불가능하다는 사실을 활용하여 p-강력하고 균일한 프로-p군 이론을 적용한다.
• 프로-p군이 Z_p로 전사하면 이상수군의 유한성은 군이 반드시 유한해야 한다는 사실을 이용하여, 유한하지 않은 경우에 모순을 이끌어낸다.

실험 결과

연구 질문

• RQ1 CM체의 최대 비분할 p-확장의 갈루아군이 p-강력할 경우, 어떤 조건에서 이것이 유한한가?
• RQ2 최대 전체 실수부분체의 이상수군의 p-랭크는 비분할 p-확장의 구조에 어떤 영향을 미치는가?
• RQ3 이와사와 μ-불변량은 CM확장에서 비분할 p-확장의 유한성에 어떤 역할을 하는가?
• RQ4 디일레마와 코호몰로지 기법을 통해 CM체에 대한 Fontaine-Mazur 추측을 검증할 수 있는가?
• RQ5 CM체의 최대 비분할 p-확장의 갈루아군이 유한하지 않고 p-adic 해석적일 수 있는가?

주요 결과

• CM체의 최대 전체 실수부분체의 이상수군의 p-랭크가 1이 아니면, 갈루아군이 p-강력할 경우 항상 유한하다.
• 최대 전체 실수부분체의 이상수군의 p-랭크가 1이면, 순환 Z_p-확장의 첫 번째 단계가 분할되고 군이 균일할 경우 갈루아군은 여전히 유한하다.
• CM체 k가 순환 Z_p-확장에서 μ-불변량이 0이면, 모든 n ≥ n₀에 대해 n번째 층의 최대 비분할 p-확장의 갈루아군이 p-강력할 경우 유한하다.
• S-확장으로의 결과가 확장되며, S가 무한대 소수를 포함하고, S에 속한 소수가 k/k⁺에서 분할되지 않으며, 이상수군이 S-이상수군으로 대체된다.
• CM체의 최대 비분할 p-확장의 갈루아군이 p-adic 해석적이라면, 그 최대 전체 실수부분체 위에서의 대응 군은 반드시 유한해야 한다.
• 유한하지 않은 p-강력 프로-p군이 작은 랭크(≤2)를 가진다면 Z_p로 전사하게 되며, 이는 이상수군의 유한성과 모순된다. 따라서 군은 반드시 유한해야 한다.