Abstract:Let $\ell$ and $p$ be distinct primes, and let $\Gamma$ be an abelian pro-$p$-group. We study the structure of the algebra $\Lambda:=\mathbb{Z}_\ell[[\Gamma]]$ and of $\Lambda$-modules. In the case $\Gamma\simeq \mathbb{Z}_p^d$, we consider a $\mathbb{Z}_p^d$-extension $K/k$ of a global field $k$ and use the structure theorems to provide explicit formulas for the orders and $\ell$-ranks of certain Iwasawa modules (namely $\ell$-class groups and $\ell$-Selmer groups) associated with the finite subextensions of $K$. We apply this new approach to provide different proofs and generalizations of results of Washington and Sinnott on $\ell$-class groups.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on the research of the structures and properties related to $\ell$-class groups and $\ell$-Selmer groups in Iwasawa theory. Specifically, the main objectives of the paper can be summarized as follows:
1. **Research on algebraic structures**: The author studies the structure of the Iwasawa algebra $\Lambda := \mathbb{Z}_\ell[[\Gamma]]$ and its modules when $\Gamma \simeq \mathbb{Z}_p^d$. Here, $\ell$ and $p$ are distinct prime numbers, and $\Gamma$ is a $p$-adic Abelian group.
2. **Provide explicit formulas**: For a $\mathbb{Z}_p^d$-extension $K/k$ over a global field $k$, the author uses the above algebraic structure theorems to provide explicit formulas for the orders and $\ell$-ranks of $\ell$-class groups and $\ell$-Selmer groups in finite sub - extensions.
3. **Generalize existing results**: Through new methods, the author provides different proofs and generalizations of Washington and Sinnott's results on $\ell$-class groups. In particular, these new methods are applicable to a broader setting, not just the classical cyclotomic $\mathbb{Z}_p$-extensions.
4. **Explore new directions**: The paper also explores how to use $\mathbb{Z}_\ell[[\mathbb{Z}_p]]$ to study the $\ell$-parts of Iwasawa modules, which is a new direction relative to $\mathbb{Z}_p[[\mathbb{Z}_p]]$ because the latter has a better algebraic structure.
### Specific problems and contributions
- **Order and rank of $\ell$-class groups**: The paper provides explicit formulas for the order $v_\ell(|X_n|)$ and the $\ell$-rank of the $\ell$-class group $X_n$. These formulas depend on the order $f_n$ of $\ell$ in $(\mathbb{Z}/(p^n))^*$, as well as some specific integers $t[n]$.
- **Properties of $\ell$-Selmer groups**: Similarly, the paper also studies the properties of the $\ell$-Selmer group $S_n$ and provides an explicit formula for the $\ell$-rank of its Pontrjagin dual.
- **Generalization of Sinnott's theorem**: The paper proves Sinnott's result on the existence of the $p$-adic limit of $\ell$-class groups, which is a direct corollary, showing that the existence of such a limit does not only depend on class groups but more broadly applies to all arithmetically important Iwasawa modules.
### Main conclusions
- **Structure theorem**: The paper proves that the Iwasawa algebra $\Lambda$ can be decomposed into a direct product of a series of local rings, each local ring corresponding to an orbit of $\Gamma^\vee$.
- **Characteristic ideal**: For a locally finitely generated $\Lambda$-module, the concept of characteristic ideal is defined, and the properties of characteristic ideals, such as the product property under short exact sequences, are proved.
- **Applications**: Through these theoretical results, the paper provides specific computational methods for $\ell$-class groups and $\ell$-Selmer groups. These methods not only generalize existing results but also provide new tools and perspectives for future research.
In conclusion, this paper introduces new algebraic tools and methods in Iwasawa theory, especially when dealing with different prime numbers $\ell$ and $p$, providing more general and in - depth results.