Abstract:In this article we study the Iwasawa theory for Hecke characters associated with CM abelian varieties and Hilbert modular forms at ordinary primes. We formulate and prove a result concerning the anticyclotomic Iwasawa main conjecture for CM Hilbert modular forms. Additionally, we obtain a result towards the study of the Mordell-Weil ranks of the CM abelian varieties.
What problem does this paper attempt to address?
The problems that this paper attempts to solve are related to some core conjectures and propositions in anti - cyclic Iwasawa theory, especially the Iwasawa theory of Hecke characters related to CM (complex multiplication) abelian varieties and Hilbert modular forms under ordinary prime conditions. Specifically, the main objectives of the paper include:
1. **Study p - ordinary Iwasawa theory**: Explore the Iwasawa theory of Hecke characters related to CM abelian varieties and Hilbert modular forms under p - ordinary conditions, and extend the results previously obtained by Agboola - Howard [AH06], Arnold [Arn 07], and Büyükboduk [Büy14], etc.
2. **Prove the anti - cyclic Iwasawa main conjecture**: For Hilbert modular forms with complex multiplication, prove the anti - cyclic Iwasawa main conjecture. This involves using some standard conjectures as well as Nekovář's descent formalism and Hsieh's results.
3. **Study the Mordell - Weil rank**: Obtain research results on the Mordell - Weil rank of CM abelian varieties, especially when these varieties are defined over a finite abelian extension of a CM field.
### Specific problem description
The core problems of the paper are centered around the following points:
- **Iwasawa main conjecture**: For a given CM field \(K\) and character \(\chi\), prove the Iwasawa main conjecture, that is:
\[
\text{char}_{\Lambda_W(\Gamma_K)}(X^\chi_\Sigma)=(L_{p,\Sigma}^\chi)
\]
where \(L_{p,\Sigma}^\chi\) is Katz's p - adic L - function.
- **Selmer groups and Selmer complexes**: Reformulate the Iwasawa main conjecture by introducing Selmer structures and Selmer complexes, and use these tools for proof.
- **Mordell - Weil rank**: For a polarized simple abelian variety \(A\) of CM type \((K,\Sigma)\), assuming certain conditions hold, prove that if \(L(A/L, 1)\neq0\), then \(A(L)\) and \(X(A/L)[p^\infty]\) are finite.
### Methods and techniques
To achieve the above goals, the paper adopts a variety of techniques and methods, including but not limited to:
- **Nekovář's descent formalism**: Used to handle the Selmer groups attached to Hecke characters.
- **Hida - Tilouine's CM ideal method**: Utilize the congruence between CM forms and non - CM forms.
- **Elliptic unit Euler systems and Coates - Wiles, Kato's reciprocity laws**: Used to handle the case of elliptic curves.
- **Local and global Galois representation theory**: Especially involving p - adic representations and the calculation of Selmer groups.
Through these methods, the paper aims to provide new proofs and insights for important conjectures in Iwasawa theory, especially in the case of anti - cyclic extensions and p - ordinary conditions.