Abstract:In Iwasawa theory, the $\lambda$, $\mu$-invariants of various arithmetic modules are fundamental invariants that measure the size of the modules. Concerning the minus components of the unramified Iwasawa modules, Kida proved a formula that describes the behavior of those invariants with respect to field extensions. Subsequently, many analogues of Kida's formula have been found in various areas in Iwasawa theory. In this paper, we present a novel approach to such analogues of Kida's formula, based on the perspective of Selmer complexes.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the generalization of Kida's formula in Iwasawa theory. Specifically, the author attempts to provide a new method to derive results similar to Kida's formula from the perspective of Selmer complexes. Kida's formula describes the behavior of the λ and µ invariants of Iwasawa modules under certain specific field extensions.
### Core problems of the paper
1. **Invariants of Iwasawa modules**:
- In Iwasawa theory, the λ and µ invariants are fundamental invariants for measuring the size of arithmetic modules.
- Kida's original formula describes the behavior of these invariants under certain field extensions, especially on the negative components of unramified Iwasawa modules over CM fields.
2. **Generalizing Kida's formula**:
- The author hopes to find a general method that can be applied to a wider range of arithmetic objects (such as Selmer groups of elliptic curves and p -adic representations).
- This new method is based on algebraic theorems of Selmer complexes, rather than traditional classification or congruence relations.
### Main contributions
- **New algebraic theorem**: The author introduces a crucial algebraic theorem (Theorem 1.1), which involves the λ invariant of perfect complexes and can be used to derive results similar to Kida's formula by applying it to arithmetic complexes.
- **Application to ordinary representations**: By applying this algebraic theorem to p -adic representations (Theorem 1.2), the author proves the equivalence of the condition µ = 0 for Selmer groups of ordinary representations and gives an explicit relationship between the λ invariants.
- **Arithmetic applications**: The author shows that this method can be applied to various arithmetic objects, including p -ramified Iwasawa modules over totally real fields, split Iwasawa modules over CM fields, Σ -ramified Iwasawa modules of ordinary CM type, Selmer groups of ordinary elliptic curves, and signed Selmer groups of supersingular elliptic curves.
### Summary of mathematical formulas
- **Form of Kida's formula**:
\[
\lambda(X(K_\infty)^-) - \delta = [K_\infty : k_\infty] (\lambda(X(k_\infty)^-) - \delta) + \sum_{w \nmid p} (e_w(K_\infty / k_\infty) - 1)
\]
where \( w \) represents a finite prime in \( K_\infty \), and \( e_w(K_\infty / k_\infty) \) is the ramification index of \( w \) in \( K_\infty / k_\infty \).
- **Relationship of λ invariants of Selmer groups**:
\[
\lambda(\text{Sel}_{T^+}(A/K_\infty)^\vee) - \lambda(H^0(K_\infty, A)^\vee) - \delta_{T^+}(T/K_\infty) = [K_\infty : k_\infty] \left( \lambda(\text{Sel}_{T^+}(A/k_\infty)^\vee) - \lambda(H^0(k_\infty, A)^\vee) - \delta_{T^+}(T/k_\infty) \right) + \sum_{w} \left[ n_w(K_\infty / k_\infty) \lambda(H^0(k_\infty, w, A_v^-)^\vee) - \lambda(H^0(K_\infty, w, A_v^-)^\vee) \right]
\]
### Conclusion
By introducing a new perspective of Selmer complexes, the author successfully provides a unified method to derive Kida.