摘要 Abstract
考虑一个有限的、交换的、CM型的扩展 $H/F$,其中 $F$ 是一个全实数域,我们构造了一个 $\mathbb{Z}_p[[G(H_\infty/F)]]-$ 模块 $\nabla_S^T(H_\infty)_p$,其中 $p>2$ 是一个素数,而 $H_\infty$ 是 $H$ 的循环 $\Bbb Z_p$-扩张。这是由Ritter和Weiss在文献\cite{Ritter-Weiss}中引入的一个模块的Iwasawa理论类比,并由Dasgupta和Kakde在文献\cite{Dasgupta-Kakde}中进一步研究。我们的主要结果表明,$\Bbb Z_p[[G(H_\infty/F]]^-$-模 $\nabla_S^T(H_\infty)_p$ 的投射维数为1,是二次可表的,并且其Fitting理想是主理想,由一个等变$p$-adic $L$-函数 $\Theta_S^T(H_\infty/F)$ 生成。作为一个初步应用,我们计算了算术上有意义的 $\Bbb Z_p[[G(H_\infty/F)]]^-$-模 $X_S^{T,-}$ 的Fitting理想,这是经典的不可分解Iwasawa模 $X$(即 $H_\infty$ 的最大阿贝尔、不可分解、pro-$p$ 扩张的Galois群)的一个变体,推广了Greither-Kataoka-Kurihara在文献\cite{Greither-Kataoka-Kurihara}中的早期结果。这些都是全实数域Iwasawa理论中的等变主猜想实例,并细化了Wiles在文献\cite{wiles}中证明的经典主猜想。作为一个最终应用,我们给出了Artin动机 $h_{H/F}$ 的等变Tamagawa数猜想的负$p$-部分的一个简洁的Iwasawa理论证明,适用于所有 $p>2$ 的素数,这一结果也独立地由Bullack-Burns-Daoud-Seo在文献\cite{Bullach-Burns-Daoud-Seo}和Dasgupta-Kakde-Silliman在文献\cite{Dasgupta-Kakde-Silliman-ETNC}中获得,但采用了不同的(欧拉系统)方法。
We consider a finite, abelian, CM extension $H/F$ of a totally real number field $F$, and construct a $\mathbb{Z}_p[[G(H_\infty/F)]]-$module $\nabla_S^T(H_\infty)_p$, where $p>2$ is a prime and $H_\infty$ is the cyclotomic $\Bbb Z_p$-extension of $H$. This is the Iwasawa theoretic analogue of a module introduced by Ritter and Weiss in \cite{Ritter-Weiss} and studied further by Dasgupta and Kakde in \cite{Dasgupta-Kakde}. Our main result states that the $\Bbb Z_p[[G(H_\infty/F]]^-$-module $\nabla_S^T(H_\infty)_p$ is of projective dimension $1$, is quadratically presented, and that its Fitting ideal is principal, generated by an equivariant $p$-adic $L$-function $\Theta_S^T(H_\infty/F)$. As a first application, we compute the Fitting ideal of an arithmetically interesting $\Bbb Z_p[[G(H_\infty/F)]]^-$-module $X_S^{T,-}$, which is a variant of the classical unramified Iwasawa module $X$ (the Galois group of the maximal abelian, unramified, pro-$p$ extension of $H_\infty$), extending earlier results of Greither-Kataoka-Kurihara \cite{Greither-Kataoka-Kurihara}. These are all instances of what is now called an Equivariant Main Conjecture in the Iwasawa theory of totally real number fields, and refine the classical main conjecture, proved by Wiles in \cite{wiles}. As a final application, we give a short, Iwasawa theoretic proof of the minus $p$-part of the far-reaching Equivariant Tamagawa Number Conjecture for the Artin motive $h_{H/F}$, for all primes $p>2$, a result also obtained, independently and with different (Euler system) methods, by Bullack-Burns-Daoud-Seo \cite{Bullach-Burns-Daoud-Seo} and Dasgupta-Kakde-Silliman \cite{Dasgupta-Kakde-Silliman-ETNC}.