Abstract:We classify all complex quadratic number fields with 2-class group of type (2,2^m) whose Hilbert 2-class fields have class groups of 2-rank equal to 2. These fields all have 2-class field tower of length 2. We still don't know examples of fields with 2-class field tower of length 3, but the smallest candidate is the field with discriminant -1015.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to determine the structure of the 2 - class field tower of an imaginary quadratic number field \(k\) with specific properties. Specifically, the author focuses on those imaginary quadratic number fields \(k\) whose 2 - Sylow subgroup \(\text{Cl}_2(k)\) is isomorphic to \((2, 2^m)\), and the 2 - Sylow subgroup \(\text{Cl}_2(k_1)\) of the Hilbert 2 - class field \(k_1\) of these number fields has exactly two generators.
### Main problem description:
1. **Background and motivation**:
- At present, there is no known method to determine whether the 2 - class field tower of a given number field \(k\) is infinite.
- However, if \(\text{rank}(\text{Cl}_2(k_1))\leq2\), it can be proved that the 2 - class field tower is finite and its length is at most 3.
- Therefore, finding a method to screen out number fields with \(\text{rank}(\text{Cl}_2(k_1))\leq2\) is an important research direction.
2. **Specific problems**:
- The goal of the paper is to determine which imaginary quadratic number fields \(k\) satisfy \(\text{Cl}_2(k)\simeq(2, 2^m)\) and the 2 - Sylow subgroup \(\text{Cl}_2(k_1)\) of its Hilbert 2 - class field \(k_1\) has exactly two generators.
- The author has already classified all imaginary quadratic number fields whose 2 - class groups are cyclic groups, and now further studies the non - cyclic cases.
### Main conclusions:
- **Theorem 1**: Let \(k\) be an imaginary quadratic number field, its 2 - Sylow subgroup \(\text{Cl}_2(k)\simeq(2, 2^m)\), and \(k_1\) be its Hilbert 2 - class field. Then \(\text{rank}(\text{Cl}_2(k_1)) = 2\) if and only if the discriminant \(d = d_1d_2d_3\) of \(k\) is the product of three prime discriminants, where \(d_1, d_2>0\) and \(d_3 < 0\), and the following conditions are satisfied:
- \(\left(\frac{d_1}{p_3}\right)=\left(\frac{d_2}{p_3}\right)= + 1\)
- \(\left(\frac{d_1}{p_2}\right)= - 1\)
- \(h_2(K) = 2\), where \(K\) is a non - normal quartic subfield of one of the two unramified quartic cyclic extensions of \(k\), and \(\mathbb{Q}(\sqrt{d_1d_2})\subset K\).
This result is the first step in classifying imaginary quadratic number fields with \(\text{rank}(\text{Cl}_2(k_1)) = 2\) for the first time. What needs to be solved next are the cases of \(\text{rank}(\text{Cl}_2(k)) = 3\) and \(\text{Cl}_2(k)\supseteq(4, 4)\).