Abstract:Let $K$ be a CM field and $K^+$ be the maximal totally real subfield of $K$. Assume that the primes above $p$ in $K^+$ split in $K$. Let $S$ be a set containing exactly half of the prime ideals in $K$ above $p$. We show, assuming Leopoldt's conjecture is true for $K$ and $p$, that there is a unique $\mathbb{Z}_p$-extension of $K$ unramified outside of $S$ (the $S$-ramified $\mathbb{Z}_p$-extension of $K$). Such $\mathbb{Z}_p$-extensions for CM fields have similar properties to the cyclotomic $\mathbb{Z}_p$-extensions of a totally real field. For example, Greenberg proved some criterion for the Iwasawa invariants $\mu=\lambda=0$ of the cyclotomic $\mathbb{Z}_p$-extension of a totally real field, and we will prove analogous results for the $S$-ramified $\mathbb{Z}_p$-extension of a CM field. We also give a numerical criterion for the Iwasawa invariants $\mu=\lambda=0$ for an imaginary biquadratic field, which is analogous to the one given by Fukuda and Komatsu for real quadratic fields.
What problem does this paper attempt to address?
### Problems the paper attempts to solve
This paper attempts to solve the problems related to the Greenberg - like conjecture in CM fields (Complex Multiplication fields). Specifically, the paper focuses on a specific type of $\mathbb{Z}_p$ - extensions in CM fields, called S - ramified $\mathbb{Z}_p$ - extensions, and attempts to prove that these extensions have similar properties to the cyclotomic $\mathbb{Z}_p$ - extensions in totally real fields.
#### Main problem description:
1. **Existence and uniqueness of S - ramified $\mathbb{Z}_p$ - extensions**:
- The author proves that under certain conditions, there exists a unique S - ramified $\mathbb{Z}_p$ - extension, namely Theorem 2.1. The specific conditions include: assuming that the Leopoldt conjecture holds, and the prime ideal $p$ splits in $K^+$.
2. **Generalization of the Greenberg - like conjecture**:
- Greenberg once proposed the conjecture that for the cyclotomic $\mathbb{Z}_p$ - extensions of totally real fields, the Iwasawa invariants $\mu=\lambda = 0$. This paper attempts to generalize this conjecture to the S - ramified $\mathbb{Z}_p$ - extensions in CM fields. Specifically, the following conjecture is proposed:
\[
\text{Conjecture 1.2:}\quad |A_n|\text{ is finite, as }n\rightarrow\infty\text{. In other words, the Iwasawa invariants }\mu = \lambda= 0.
\]
3. **Numerical criteria**:
- The author also provides numerical criteria for the S - ramified $\mathbb{Z}_p$ - extensions of imaginary quadratic fields, similar to those given by Fukuda and Komatsu, to determine the conditions for $\mu=\lambda = 0$. For example, Theorem 6.7 gives a specific numerical condition to judge whether the Iwasawa invariants are zero.
#### Formula summary:
- Iwasawa invariant formula:
\[
|A_n|=p^{\mu p^n+\lambda n+\nu}
\]
where $\mu,\lambda,\nu$ are Iwasawa invariants.
- Numerical condition in Theorem 6.7:
\[
\varepsilon^{p - 1}\equiv1\pmod{\bar{P}^r}
\]
If $N_{r - 1}(E_{r - 1})=E_0$, then $\mu=\lambda = 0$.
Through these studies, the paper aims to reveal the similarities between the S - ramified $\mathbb{Z}_p$ - extensions in CM fields and the cyclotomic $\mathbb{Z}_p$ - extensions in totally real fields, and to provide new evidence and support for the Greenberg - like conjecture.