[论文解读] Algorithmic complexity of Greenberg's conjecture

Georges Gras|arXiv (Cornell University)|Apr 15, 2020

Algebraic Geometry and Number Theory被引用 1

一句话总结

本文從演算法的觀點重新詮釋格林伯格猜想（λ = µ = 0），指出在全實數域的分圓Zp-擴張中，計算p-類群的複雜度由最大阿貝爾p-分歧的pro-p擴張的有限扭群Tk所主導。關鍵結果為：格林伯格猜想成立，當且僅當計算類群與範數因子的演算法在所有層次中至多一步內終止，這暗示了透過Tk中理想範數的均勻分佈所帶來的機率性解釋。

ABSTRACT

Let $k$ be a totally real number field and $p$ a prime. We show that the ``complexity'' of Greenberg's conjecture ($\lambda = \mu = 0$) is of $p$-adic nature governed (under Leopoldt's conjecture) by the finite torsion group ${\mathcal T}_k$ of the Galois group of the maximal abelian $p$-ramified pro-$p$-extension of $k$, by means of images in ${\mathcal T}_k$ of ideal norms from the layers $k_n$ of the cyclotomic tower (Theorem (5.2)). These images are obtained via the formal algorithm computing, by ``unscrewing'', the $p$-class group of~$k_n$. Conjecture (5.4) of equidistribution of these images would show that the number of steps $b_n$ of the algorithms is bounded as $n o \infty$, so that Greenberg's conjecture, hopeless within the sole framework of Iwasawa's theory, would hold true ``with probability $1$''. No assumption is made on $[k : \mathbb{Q}]$, nor on the decomposition of $p$ in $k/\mathbb{Q}$.

研究动机与目标

• 將格林伯格猜想重新框架化為Iwasawa理論中的演算法複雜度問題。
• 識別最大阿貝爾p-分歧pro-p擴張的伽羅瓦群Tk，作為p-類群計算複雜度的主導不變量。
• 主張所有層次n中演算法步驟的有界性（bn ≤ 1）可推得格林伯格猜想以機率1成立。
• 建立演算法終止與Iwasawa不變量λ、µ、ν的平凡性之間的關聯。
• 透過Tk中理想範數的均勻分佈，提出機率論方法作為證明格林伯格猜想的途徑。

提出的方法

• 本文建構一個遞迴演算法，透過連續的商群C i+1kn / C ikn，利用伽羅瓦下降與範數映射來計算p-類群Ckn的過濾。
• 定義演算法中的兩個關鍵因子：『類因子』#Ck / #Nkn/k(C ikn) 與『範數因子』pn·(#S−1) / (Λin : Λin ∩ Nkn/k(k×n))，兩者皆隨迭代次數遞減。
• 演算法長度bn受#Ck · #Rnrk的p-進賦值所限制，其中Rnrk為與Hprk/k∞中分歧相關的歸一化p-進調節器的商群。
• 基本理想tj由單位與理想之範數生成，其在Tk中的像主導類因子與範數因子的演化。
• 該方法依賴類數理論與Iwasawa理論的形式語法，特別是Tk的結構及其與Tate–Chafarevich群III2k的關聯。
• 猜想5.4假設Ck與Rk中理想範數的像均勻分佈，這將暗示在格林伯格猜想下演算法快速終止。

实验结果

研究问题

• RQ1 在全實數域的分圓Zp-擴張中，計算p-類群的演算法複雜度為何？其與格林伯格猜想有何關聯？
• RQ2 最大阿貝爾p-分歧pro-p擴張的扭群Tk如何主導計算類群之演算法的行為？
• RQ3 所有層次n中演算法步驟數的有界性（bn ≤ 1）是否可與Iwasawa不變量λ與µ的消失性連結？
• RQ4 在何種條件下，演算法會在單一步驟內終止？這對格林伯格猜想有何含義？
• RQ5 是否存在基於Tk中理想範數均勻分佈的機率性解釋，以支持格林伯格猜想？

主要发现

• 計算p-類群Ckn的演算法長度bn受vp(#Ck · #Rnrk)所限制，且格林伯格猜想（λ = µ = ν = 0）等價於對所有n皆有bn = 0。
• 格林伯格猜想成立，當且僅當對所有層次n，演算法在至多一步內終止，即對所有n皆有bn ≤ 1。
• 群Tk主導演算法中類因子與範數因子的演化，其結構決定了演算法是否保持有界。
• 猜想5.4假設基本理想tj在Ck與Rk中的像均勻分佈，這將暗示對所有n皆有bn ≤ 1，從而以機率1支持格林伯格猜想。
• 本文顯示，若λ或µ非零，則當n → ∞時bn → ∞，在猜想與非猜想情況之間產生明顯的不連續性。
• 本文提出一個啟發式框架，其中Tk中理想範數的類隨機行為可防止演算法無界增長，暗示格林伯格猜想對『一般』數域而言『極可能』成立。