Search arXivSearch

arXiv · 2503.23192

Equivariant Iwasawa Theory for Ritter-Weiss Modules and Applications

Abstract

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 $Θ_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}.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Rusiru Gambheera, Cristian D. Popescu. 2025-09-29. Equivariant Iwasawa Theory for Ritter-Weiss Modules and Applications. https://arxiv.org/abs/2503.23192

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

On the factorisation of the $p$-adic Rankin-Selberg $L$-function in the supersingular case

Given a cusp form $f$ which is supersingular at a fixed prime $p$ away from the level, and a Coleman family $F$ through one of its $p$-stabilisations, we construct a $2$-variable meromorphic $p$-adic $L$-function for the symmetric square of $F$. We prove that this new $p$-adic $L$-function interpolates values of complex imprimitive symmetric square $L$-functions, for the various specialisations of the family $F$. We use this $p$-adic $L$-function to prove a $p$-adic factorisation formula, expressing the geometric $p$-adic $L$-function attached to the Rankin--Selberg convolution of $f$ with itself as a the product of the $p$-adic symmetric square $L$-function of $f$ and a Kubota-Leopoldt $L$-function. This extends a result of Dasgupta in the ordinary case.

math.NT

Exceptional poles of archimedean Rankin-Selberg L-functions for irreducible generic representations of GL(n,R)

For irreducible generic representations $π_1$ and $π_2$ of $\operatorname{GL}_n(\mathbb R)$, we prove that the notions of exceptional pole of type $1$ and type $2$ coincide at every level. When both representations are in general position, we use this identification to express the Rankin--Selberg $L$-function $L(s,π_1\timesπ_2)$ in terms of the exceptional $L$-factors attached to the irreducible constituents of their derivatives.

math.NT