[论文解读] Iwasawa Main Conjecture for Rankin-Selberg p-adic L-functions

Xin Wan|arXiv (Cornell University)|Aug 18, 2014

Advanced Algebra and Geometry被引用 5

一句话总结

本文證明了在 Hida 家族模形式與高權 CM 形態的 Rankin-Selberg p-進 L 函數上，Iwasawa 主猜想的一個可除性，使用 GU(3,1) 上 Klingen-Eisenstein 級數與尖點形式之間的同餘關係。關鍵結果表明 p-進 L 函數整除相關 Selmer 群的特徵理想，進而使應用於 Gross-Zagier-Kolyvagin 定理的逆定理以及秩一情形下的 p-進 Birch 和 Swinnerton-Dyer 公式成為可能。

ABSTRACT

In this paper we prove that the p-adic L-function that interpolates the Rankin-Selberg product of a general modular form and a CM form of higher weight divides the characteristic ideal of the corresponding Selmer group. This is one divisibility of the Iwasawa main conjecture for the p-adic L-function. We prove this conjecture using the congruences between Klingen Eisensteinseries and cusp forms on the group GU(3; 1), following the strategy of a recent work of C. Skinner and E. Urban. This theorem can be used to deduce a converse of Gross-Zagier-Kolyvagin theorem and the precise BSD formula in the rank one case.

研究动机与目标

• 建立 Hida 家族與 CM 形態之 Rankin-Selberg 乘積所產生的 p-進 L 函數在 Iwasawa 主猜想中的一個可除性。
• 將 Skinner 與 Urban 的方法延伸，透過在單位群 GU(3,1) 上使用同餘關係，以處理非典型設定下的一般 Fourier-Jacobi 展開。
• 推導數項算術應用，包括 Gross-Zagier-Kolyvagin 定理的逆定理與解析秩一情形下的 p-進精確 BSD 公式。
• 為證明超奇異橢圓曲線的 Iwasawa 主猜想提供基礎步驟。

提出的方法

• 透過加倍法構造 Σ-本質 p-進 L 函數，插值 Rankin-Selberg L 函數在臨界中心值的特殊值。
• 利用 GU(3,1) 上 Klingen-Eisenstein 級數與尖點形式之間的同餘關係，將 p-進 L 函數與 Selmer 群關聯。
• 應用 Skinner 與 Urban 的策略，並針對高權 CM 形態與非典型設定加以調整，透過處理一般 Fourier-Jacobi 展開。
• 在完成整數環上的 Iwasawa 代數中使用 Fitting 理想與特徵理想，比較 Selmer 群與 p-進 L 函數。
• 執行局部化與基變換論證，將主定理簡化為在較大環上的陳述，再透過正規性與有限性將其還原回原始環。
• 使用與 Siegel 模形式簇上伽羅瓦表示的上同調相關的偽表示，以控制 Selmer 群的結構。

实验结果

研究问题

• RQ1 與 Hida 家族及高權 CM 形態之 Rankin-Selberg 乘積相關的 p-進 L 函數是否整除對應 Selmer 群的特徵理想？
• RQ2 能否將 GU(3,1) 上 Eisenstein 級數與尖點形式之間的同餘方法延伸至非典型與高權設定，以證明 Iwasawa 主猜想的一方？
• RQ3 透過加倍法構造的 p-進 L 函數在 Iwasawa 理論中在多大程度上控制了對偶 Selmer 群的結構？
• RQ4 此 p-進 L 函數的 Iwasawa 主猜想如何推出 Gross-Zagier-Kolyvagin 定理的逆定理？
• RQ5 在解析秩一情形下，p-進 L 函數與 Selmer 群特徵理想之間的精確關係為何？

主要发现

• p-進 L 函數 $τ_{Τ_{Τ},\xi,\mathcal{K}}^{\Sigma}$ 整除對偶 Selmer 群 $X_{Τ_{Τ},\mathcal{K},\xi}$ 的特徵理想，從而證明了 Iwasawa 主猜想中的一個可除性。
• 證明依賴於 GU(3,1) 上 Klingen-Eisenstein 級數與尖點形式之間的同餘關係，將 Skinner 與 Urban 的策略延伸至高權 CM 情形。
• Selmer 群的 Fitting 理想包含於由 p-進 L 函數生成的理想中，意味著 Selmer 群的特徵理想整除 L 函數。
• 專注於單一權 2 形態 $f_0$ 時，結果暗示了解析秩一情形下的 p-進 BSD 公式。
• 透過加倍法構造 p-進 L 函數可確保在中心臨界點插值關鍵 L 值的代數部分。
• 該方法透過處理非分裂素數與局部 Euler 因子，將不來自較低秩 Iwasawa 代數的高階素理想納入考量。