Abstract:We use Euler systems to prove the Gras conjecture for groups generated by Stark units in global function fields. The techniques applied here are classical and go back to Thaine, Kolyvagin and Rubin. We obtain our Euler systems from the torsion points of sign-normalized Drinfel'd modules.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to prove Gras conjecture in the function field by using the Euler system. Specifically, the authors focus on the properties of the group generated by Stark units in the global function field. The key problems mentioned in the paper can be summarized as follows:
1. **Background and Motivation**:
- Gras conjecture involves the relationship between the ideal class group and the unit group, especially in the global function field.
- Stark units are a special kind of units, which play an important role in studying the arithmetic properties of function fields.
2. **Specific Problems**:
- The authors hope to prove that for every prime number \( p \) (satisfying \( p \nmid \rho[K:k] \)) and every non - trivial irreducible \( \mathbb{Z}_p \)-character \( \chi \), if \( \chi \notin \Xi_p \), then the following equation holds:
\[
\left[ e_\chi\left(\mathbb{Z}_p \otimes_{\mathbb{Z}} O_K^\times \right) : e_\chi\left(\mathbb{Z}_p \otimes_{\mathbb{Z}} E_K \right) \right] = \# \left[ e_\chi\left(\mathbb{Z}_p \otimes_{\mathbb{Z}} \text{Cl}(O_K) \right) \right]
\]
where \( e_\chi \) is the idempotent related to \( \chi \), \( O_K^\times \) is the unit group in \( K \), \( E_K \) is the subgroup generated by Stark units, and \( \text{Cl}(O_K) \) is the ideal class group of \( O_K \).
3. **Methods and Techniques**:
- The authors use the classical Euler system techniques, which were first proposed by Thaine, Kolyvagin and Rubin.
- They use the torsion points of Drinfel'd modules to construct Euler systems.
4. **Significance and Contribution**:
- If the above equation can be proved, it will provide an important evidence for Gras conjecture, especially in the global function field.
- This result not only deepens the understanding of the arithmetic of function fields, but also provides new tools and methods for subsequent research.
In conclusion, the core problem of this paper is to verify Gras conjecture in the function field by the method of Euler system, especially involving the relationship between Stark units and ideal class groups.