Divisibility of class numbers of quadratic fields and a conjecture of Iizuka

Yi Ouyang,Qimin Song
2024-06-10
Abstract:Assume $x,\ y,\ n$ are positive integers and $n$ is odd. In this note, we show that the class number of the imaginary quadratic field $\mathbb{Q}(\sqrt{x^{2}-y^{n}})$ is divisible by $n$ for fixed $x, n$ if $\gcd(2x,y)=1$ and $y>C$ where $C$ is a constant depending only on $x$ and $n$. Based on this result, for any odd integer $n$ and any positive integer $m$, we construct an infinite family of $m+1$ successive imaginary quadratic fields $\mathbb{Q}(\sqrt{d})$, $\mathbb{Q}(\sqrt{d+1^{2}})$, $\cdots$, $\mathbb{Q}(\sqrt{d+m^{2}})$ $(d\in \mathbb{Z})$ whose class numbers are all divisible by $n$.
Number Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the divisibility of the class numbers of quadratic fields, especially for a given positive integer \(n\), constructing a series of imaginary quadratic fields such that the class numbers of these fields are all divisible by \(n\). Specifically, the paper studies the following problems: 1. **Conditions for class number divisibility**: Suppose \(x\), \(y\), \(n\) are positive integers and \(n\) is odd. The paper proves that when \(\gcd(2x,y) = 1\) and \(y>C\) (where \(C\) is a constant depending only on \(x\) and \(n\)), the class number of the imaginary quadratic field \(Q(\sqrt{x^{2}-yn})\) is divisible by \(n\). 2. **Constructing an infinite family of imaginary quadratic fields**: Based on the above results, for any odd \(n\) and any positive integer \(m\), the paper constructs an infinite family consisting of \(m + 1\) consecutive imaginary quadratic fields: \[ Q(\sqrt{d}),Q(\sqrt{d+1^{2}}),\cdots,Q(\sqrt{d+m^{2}}) \] where \(d\in\mathbb{Z}\), and the class numbers of these fields are all divisible by \(n\). 3. **Generalization of Iizuka's conjecture**: The paper also explores a weaker version of Iizuka's conjecture. Iizuka's conjecture states that for any prime number \(p\) and any positive integer \(m\), there exists an infinite family consisting of \(m + 1\) consecutive imaginary quadratic fields whose class numbers are all divisible by \(p\). The paper generalizes this conjecture to any odd \(n\) and gives the corresponding construction method. ### Main contributions - **Theorem 2**: For fixed \(x\) and \(n\), if \(\gcd(2x,y)=1\) and \(y > C\), then the class number of the imaginary quadratic field \(Q(\sqrt{x^{2}-yn})\) is divisible by \(n\). - **Theorem 3**: For any odd \(n\geq3\) and any positive integer \(m\), there exists an infinite family consisting of \(m + 1\) consecutive imaginary quadratic fields whose class numbers are all divisible by \(n\). Through these results, the paper not only verifies the divisibility of class numbers in some special cases, but also provides new ideas and tools for further research on the properties of class numbers of quadratic fields.