[论文解读] A higher rank Euler system for the multiplicative group over a totally real field

Ryotaro Sakamoto|arXiv (Cornell University)|Feb 12, 2020

Advanced Algebra and Geometry参考文献 27被引用 9

一句话总结

本文利用威爾斯（Wiles）證明的全實域 Iwasawa 主猜想，構造了全實域上乘法群的高階歐拉系。透過推廣特徵理想的概念並運用外代數雙對偶，作者證明在某些技術假設下，$p$-分歧 Iwasawa 模的全部高階菲廷理想皆可由與史蒂克爾伯格元素相關的解析不變量所描述。

ABSTRACT

In this paper, we construct a higher rank Euler system for the multiplicative group over a totally real field by using the Iwasawa main conjecture proved by Wiles. A key ingredient of the construction is to generalize the notion of the characteristic ideal. Under certain technical assumptions, we prove that all higher Fitting ideals of a certain $p$-ramified Iwasawa module are described by analytic invariants canonically associated with Stickelberger elements.

研究动机与目标

• 構造全實域上乘法群的高階歐拉系，將歐拉系理論從一階框架推廣至高階。
• 推廣特徵理想的概念，以處理 Iwasawa 理論中高階結構的問題。
• 建立 $p$-分歧 Iwasawa 模的高階菲廷理想與源自史蒂克爾伯格元素的解析不變量之間的精確連結。
• 透過外代數雙對偶提出高階歐拉系的新定義，此定義與佩林-呂伊（Perrin-Riou）原始使用外代數冪的構造方式不同。
• 證明在適當的上同調條件下，高階菲廷理想由標準解析不變量生成，從而連結算術物件與解析物件。

提出的方法

• 透過外代數雙對偶構造，將特徵理想的概念推廣至能處理 Iwasawa 模中高階結構的形式。
• 以全實域的 Iwasawa 主猜想（由威爾斯證明）為基礎工具，將算術模與 $p$-進 $L$-函數連結。
• 應用科利瓦金導數與調節同態，從一階歐拉系構造高階歐拉系。
• 固定上同調極限與 Iwasawa 代數上自由模之間的標準同構，以定義從 $\mathrm{ES}_r(T)$ 到 $\mathrm{ES}_0(T)$ 的階數降低同態。
• 利用 Iwasawa 模的對偶的外代數雙對偶來定義高階歐拉系，確保其與 Iwasawa 代數上模結構的相容性。
• 利用伽羅瓦群在最大 $p$-分歧擴張的伽羅瓦群上的作用，使模 $X_K^\chi$ 獲得 $\Lambda_K = \mathcal{O}[[\mathrm{Gal}(k_\infty K/k)]]$-模結構。

实验结果

研究问题

• RQ1 能否利用 Iwasawa 主猜想，構造全實域上乘法群的高階歐拉系？
• RQ2 $p$-分歧 Iwasawa 模的高階菲廷理想與如史蒂克爾伯格元素所導出的解析不變量之間有何關係？
• RQ3 外代數雙對偶構造與高階歐拉系理論的經典框架之間的精確關係為何？
• RQ4 在何種上同調條件下，從 $\mathrm{ES}_r(T)$ 到 $\mathrm{ES}_0(T)$ 的階數降低同態會成為單射且行為良好？
• RQ5 在高階設定下，Iwasawa 模的特徵理想在多大程度上可由解析不變量描述？

主要发现

• 本文利用 Iwasawa 主猜想與推廣的特徵理想概念，構造了全實域上乘法群的高階歐拉系。
• 在給定技術假設下，證明了 $p$-分歧 Iwasawa 模 $X_K^\chi$ 的所有高階菲廷理想皆由與史蒂克爾伯格元素標準相關的解析不變量生成。
• 該構造依賴於 Iwasawa 模對偶的外代數雙對偶，此方法為佩林-呂伊高階歐拉系定義的推廣。
• 透過固定上同調極限與 Iwasawa 代數上自由模之間的同構，確立了階數降低同態 $\mathrm{ES}_r(T) \hookrightarrow \mathrm{ES}_0(T)$。
• 證明了標準同態 $\left(\bigwedge^{r+s}_{R}X^{*}\right)^{***} \to \bigcap^{r+s}_{R}X$ 是同構，此為連結特徵理想與解析不變量的關鍵。
• 核心結果為 $\mathrm{char}_R(M) \subseteq \mathrm{char}_R(N)$，表示高階菲廷理想受源自史蒂克爾伯格元素的解析不變量所控制。