[论文解读] On the Fontaine-Mazur Conjecture for CM-Fields

Kay Wingberg|ArXiv.org|Jul 19, 2000

Mathematical Dynamics and Fractals被引用 4

一句话总结

本文通過分析無分歧 p-擴張及其伽羅瓦群，研究了 CM-域上的 Fontaine-Mazur 猜想。利用對偶定理與 Iwasawa 理論，證明了若 CM-域的最-maximal 無分歧 p-擴張的伽羅瓦群為 p-冪群，則其必為有限群，除非違反關於理想類群的 p-秩或 Iwasawa μ-不變量的特定條件。主要結果建立了 CM-擴張中 p-進解析伽羅瓦群的條件性有限性判據。

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-擴張且具有 p-進解析伽羅瓦群的問題。
• 確定 CM-域的最-maximal 無分歧 p-擴張的伽羅瓦群為有限群的條件，特別是在其為 p-冪群或均勻群時。
• 將 Boston 對有限無分歧 p-擴張的結果推廣至具備理想類群與 Iwasawa 不變量額外算術約束的 CM-域。
• 建立一個基於對偶理論的框架，連結單位群、類群與無限伽羅瓦擴張中的伽羅瓦上同調。
• 證明若 CM-域的最-maximal 無分歧 p-擴張的伽羅瓦群為 p-進解析群，則其在最大全實子域上的對應群必為有限群。

提出的方法

• 將 Tate 對偶與 Poitou-Tate 對偶應用於無限伽羅瓦擴張中 S-單位與 S-理想類群的伽羅瓦上同調。
• 利用連結 S-單位、S-adele 群與 S-類群的正合序列，推導出最-maximal 無分歧 S-擴張的伽羅瓦群的上同調同構。
• 透過 Pontryagin 對偶，建立最-maximal 無分歧 p-擴張的伽羅瓦群上同調群與 p-進整數之間的對偶關係。
• 運用 Iwasawa 理論與 Z_p-擴張的結構，分析數域塔中 p-秩與 μ-不變量的行為。
• 應用 p-冪群與均勻的 p-群理論，特別是利用維數公式，並利用此類群若秩較小則無法滿射至 Z_p，除非其為有限群的事實。
• 利用若一 p-群可滿射至 Z_p，則類數有限性將導致群必為有限群，進而於無限情形導出矛盾。

实验结果

研究问题

• RQ1 當伽羅瓦群為 p-冪群時，CM-域的最-maximal 無分歧 p-擴張的伽羅瓦群在何種條件下為有限群？
• RQ2 最大全實子域的理想類群的 p-秩如何影響無分歧 p-擴張的結構？
• RQ3 Iwasawa μ-不變量在決定 CM-擴張中無分歧 p-擴張的有限性時扮演何種角色？
• RQ4 能否透過對偶與上同調技術驗證 CM-域上的 Fontaine-Mazur 猜想？
• RQ5 CM-域的最-maximal 無分歧 p-擴張的伽羅瓦群是否可能為無限且 p-進解析群？

主要发现

• 若 CM-域的最大全實子域的理想類群的 p-秩不等於 1，則當伽羅瓦群為 p-冪群時，最-maximal 無分歧 p-擴張的伽羅瓦群必為有限群。
• 當最大全實子域的理想類群的 p-秩為 1 時，若分圓 Z_p-擴張的第一層為分歧，且群為均勻群，則伽羅瓦群仍為有限群。
• 對於 cyclotomic Z_p-擴張中第 n 層的 CM-域 k，若其 μ-不變量為零，則存在 n₀，使得對所有 n ≥ n₀，若最-maximal 無分歧 p-擴張的伽羅瓦群為 p-冪群，則其必為有限群。
• 該結果可推廣至 S-擴張，其中 S 包含無限遠素數，且 S 中無素數在 k/k⁺ 中分裂，此時理想類群由 S-理想類群取代。
• 若 CM-域的最-maximal 無分歧 p-擴張的伽羅瓦群為 p-進解析群，則其在最大全實子域上的伽羅瓦群必為有限群。
• 證明的關鍵在於：若一無限 p-冪群且秩 ≤2，則其必可滿射至 Z_p，除非群為有限群，否則將與類數有限性矛盾。