[论文解读] An Equivariant Main Conjecture in Iwasawa Theory and Applications

Cornélius Greither, Cristian D. Popescu|arXiv (Cornell University)|Mar 16, 2011

Algebraic Geometry and Number Theory参考文献 15被引用 5

一句话总结

本文在数域的CM型$Γ$-扩张中建立了Iwasawa理论的等变主猜想，证明了通过$ p $-进实现实现Deligne的Picard $1$-动机而构造的新一类$ p $-进Iwasawa模的首阶Fitting理想，由一个等变$ p $-进L-函数生成。在经典Iwasawa $\mu$-不变量为零的假设下，作者证明了Wiles经典主猜想的精化、整数版本，并将其应用于推导出关于Brumer-Stark与Coates-Sinnott猜想在非$2$-主部分的新结果。

ABSTRACT

We construct a new class of Iwasawa modules, which are the number field analogues of the p-adic realizations of the Picard 1-motives constructed by Deligne in the 1970s and studied extensively from a Galois module structure point of view in our recent work. We prove that the new Iwasawa modules are of projective dimension 1 over the appropriate profinite group rings. In the abelian case, we prove an Equivariant Main Conjecture, identifying the first Fitting ideal of the Iwasawa module in question over the appropriate profinite group ring with the principal ideal generated by a certain equivariant p-adic L-function. This is an integral, equivariant refinement of the classical Main Conjecture over totally real number fields proved by Wiles in 1990. Finally, we use these results and Iwasawa co-descent to prove refinements of the (imprimitive) Brumer-Stark Conjecture and the Coates-Sinnott Conjecture, away from their 2-primary components, in the most general number field setting. All of the above is achieved under the assumption that the relevant prime p is odd and that the appropriate classical Iwasawa mu-invariants vanish (as conjectured by Iwasawa.)

研究动机与目标

• 构造一类新的Iwasawa模，作为数域上Picard $1$-动机的$ p $-进实现实现，推广Deligne的构造。
• 在CM与伽罗瓦不变性假设下，证明这些模在有限型群环$\mathbb{Z}_p[[\mathcal{G}]]$上的投影维数为$1$。
• 建立等变主猜想，将模的首阶Fitting理想与一个等变$ p $-进L-函数生成的主理想联系起来。
• 将该猜想应用于精化非$2$-主部分的Brumer-Stark与Coates-Sinnott猜想。
• 在$\mu=0$猜想成立的条件下，为全实基域情形提供Wiles经典主猜想的整数、等变精化版本。

提出的方法

• 将Iwasawa模$T_p(\mathcal{M}^{\mathcal{K}}_{\mathcal{S},\mathcal{T}})^{-}$构造为与CM $\mathbb{Z}_p$-扩张$\mathcal{K}/k$相关的Picard $1$-动机的$ p $-进实现实现，其中$\mathcal{G} = \mathrm{Gal}(\mathcal{K}/k)$。
• 在$\mathcal{G}$为阿贝尔群且$\mu_{K,p} = 0$时，证明模$T_p(\mathcal{M}^{\mathcal{K}}_{\mathcal{S},\mathcal{T}})^{-}$在$\mathbb{Z}_p[[\mathcal{G}]]^{-}$上的投影维数为$1$。
• 利用$S$-非本原$ p $-进L-函数定义一个等变$ p $-进L-函数$\Theta_{S,T}^{(\infty)} \in \mathbb{Z}_p[[\mathcal{G}]]^{-}$。
• 使用等变Weierstrass分解定理与$\mu$-不变量控制，证明对所有奇特征标$\chi$有$\chi(F) \sim \chi(\Theta)$蕴含$F \sim \Theta$在$\mathbb{Z}_p[[\mathcal{G}]]^{-}[[t]]$中成立。
• 建立关键等式$\mathrm{Fit}_{\mathbb{Z}_p[[\mathcal{G}]]^{-}}(T_p(\mathcal{M}^{\mathcal{K}}_{\mathcal{S},\mathcal{T}})^{-}) = \Theta_{S,T}^{(\infty)} \cdot \mathbb{Z}_p[[\mathcal{G}]]^{-}$，从而证明等变主猜想。
• 应用Iwasawa共下降法与主猜想，推导出Brumer-Stark与Coates-Sinnott猜想在非$2$-主部分的精化结果。

实验结果

研究问题

• RQ1 能否为CM扩张中由Picard $1$-动机产生的Iwasawa模建立并证明等变主猜想？
• RQ2 是否$ p $-进Iwasawa模$T_p(\mathcal{M}^{\mathcal{K}}_{\mathcal{S},\mathcal{T}})^{-}$的首阶Fitting理想由一个等变$ p $-进L-函数生成？
• RQ3 在全实基域与$\mu=0$设定下，如何对Wiles的经典主猜想进行整数化与等变化的精化？
• RQ4 在非$2$-主分量下，利用新主猜想，Brumer-Stark与Coates-Sinnott猜想能在多大程度上被加强？
• RQ5 $\mu$-不变量消失条件在确保这些模的投影维数与理想理论控制中起什么作用？

主要发现

• 当$\mathcal{G}$为阿贝尔群且$\mu_{K,p} = 0$时，Iwasawa模$T_p(\mathcal{M}^{\mathcal{K}}_{\mathcal{S},\mathcal{T}})^{-}$在$\mathbb{Z}_p[[\mathcal{G}]]^{-}$上的投影维数为$1$。
• 在$\mathbb{Z}_p[[\mathcal{G}]]^{-}$上，$T_p(\mathcal{M}^{\mathcal{K}}_{\mathcal{S},\mathcal{T}})^{-}$的首阶Fitting理想等于由等变$ p $-进L-函数$\Theta_{S,T}^{(\infty)}$生成的主理想，从而确立了等变主猜想。
• 该结果通过提供一个避免在$\mathbb{Q}_p$处局部化的整数、等变版本，精化了Wiles的经典主猜想。
• 作者证明了$ p $-进L-函数$\Theta_{S,T}^{(\infty)}$的$\mu$-不变量为零，确保其与Weierstrass分解定理兼容。
• 通过Iwasawa共下降法，本文推导出Brumer-Stark猜想与Coates-Sinnott猜想在非$2$-主分量下以精化形式成立。
• 证明依赖于一个关键引理：若对所有奇特征标$\chi$有$\chi(F) \sim \chi(\Theta)$在$\mathcal{O}[[t]]$中成立，则$F \sim \Theta$在$\mathbb{Z}_p[[\mathcal{G}]]^{-}[[t]]$中成立，该引理允许从局部数据获得全局控制。