[论文解读] An anticyclotomic Mazur-Tate conjecture for modular forms

Chan-Ho Kim|arXiv (Cornell University)|Dec 12, 2016

Algebraic Geometry and Number Theory参考文献 29被引用 3

一句话总结

本文證明了在虛二次域的循環類環擴張上，模形式的反對稱Mazur-Tate猜想，將p進Z_p-擴張上的Euler系統可除性推廣至更一般的有限阿貝爾擴張。透過將Euler系統論證推廣至與p互素的擴張，並建立精細的控制定理，作者對Selmer群導出Fitting理想界，從而對Iwasawa主猜想提供了超越純粹大小估計的結構性改進。

ABSTRACT

Under certain assumptions, we prove an anticyclotomic analogue of the "weak main conjecture" à la Mazur and Tate for modular forms over a large class of cyclic ring class extensions.

研究动机与目标

• 將Mazur-Tate猜想從p進Z_p-擴張推廣至虛二次域的更一般循環類環擴張。
• 透過研究有限阿貝爾擴張上的Fitting理想而非僅在無限Z_p-擴張上的特徵理想，對Iwasawa主猜想進行精化。
• 在伽羅瓦群為Z_p × Z/m'Z且(p, m')=1的擴張上，建立反對稱Iwasawa主猜想的推廣Euler系統可除性。
• 透過Fitting理想分析Selmer群的結構，提供超越這些群大小的更深入算術理解。

提出的方法

• 將Bertolini-Darmon的Euler系統論證推廣至與p互素的循環類環擴張，透過將Chebotarev密度結果升級至更一般的基域。
• 在離散賦值環上以逐特徵的方式進行可除性論證，並透過特徵專化將問題簡化為局部計算。
• 發展一種推廣的提升論證，將可除性從離散賦值環提升至推廣的Iwasawa代數，克服標準Nakayama型論證在半局部環中的限制。
• 利用商群的同型分解，重用原始Euler系統策略，並使其適應非p-主擴張。
• 建立針對商群的緊緻Selmer群的控制定理，依賴於在擴張基域上Selmer群的推廣自由性定理。
• 引入在n-可接受素數上的模p^n階提升構造，強調「Ihara條件」在非典型設定下的角色。

实验结果

研究问题

• RQ1 Mazur-Tate猜想能否從p進Z_p-擴張推廣至虛二次域的更一般循環類環擴張？
• RQ2 Euler系統論證如何推廣至伽羅瓦群為Z_p × Z/m'Z且(p, m')=1的擴張，而非僅限於p-冪擴張？
• RQ3 推廣的Iwasawa代數的功用為何？如何在半局部設定下，將可除性結果從離散賦值環提升至此代數？
• RQ4 當研究有限阿貝爾擴張上的Fitting理想而非無限Z_p-擴張上的特徵理想時，Selmer群的結構如何變化？
• RQ5 在非p-穩定化模形式的階提升與異常零現象背景下，「Ihara條件」具有何意義？

主要发现

• 本文在適當假設下，確立了伽羅瓦群為Z_p × Z/m'Z且(p, m')=1的擴張上，推廣的反對稱Iwasawa主猜想的Euler系統可除性。
• 證明了推廣的Bertolini-Darmon元素屬於循環類環擴張上對偶Selmer群的Fitting理想，即 $ L_M(K(m),E) \in \mathrm{Fitt}_{\mathbb{Z}/M\mathbb{Z}[\Gamma_m]}(\mathrm{Sel}(K(m),E[M])^\vee) $。
• 對於整除 $ M $ 的每個素數冪 $ p^{r_i} $，可除性 $ L_M(K(m),f) \mod p^{r_i} \in \mathrm{Fitt}_{\mathbb{Z}/p^{r_i}\mathbb{Z}[\Gamma_m]}(\mathrm{Sel}(K(m),E[p^{r_i}])^\vee) $ 成立，進而可透過中國剩餘定理獲得全局界。
• 該方法揭示了一種源自與p互素擴張的新類型異常零現象，與經典的p進異常零情形不同。
• 推廣的控制定理與緊緻Selmer群的自由性定理，透過n-可接受集與同型分解，被擴展至非p-主擴張。
• 推論17.4對合數 $ M $ 的循環類環擴張上Shafarevich-Tate群的大小提供了部分答案，以一般化L-不變量的p進賦值表達了$ \chi $-同型部分的界。