Abstract:In this paper, we give a formula for the proper class number of a binary quadratic polynomial assuming that the conductor ideal is sufficiently divisible at dyadic places. This allows us to study the growth of the proper class numbers of totally positive binary quadratic polynomials. As an application, we prove finiteness results on totally positive binary quadratic polynomials with a fixed quadratic part and a fixed proper class number.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to give the proper class number formula for binary quadratic polynomials, especially in the case where it is sufficiently divisible at the 2 -adic place. This enables the author to study the growth of the proper class number of completely positive binary quadratic polynomials. As an application, the author proves the finiteness result of completely positive binary quadratic polynomials under the condition of a fixed quadratic part and a fixed proper class number.
Specifically, the core problems of the paper can be summarized as follows:
1. **Proper class number formula**: The author aims to give a proper class number formula for a binary quadratic polynomial, assuming that its conductor ideal is sufficiently divisible at the 2 -adic place. This formula can help to understand the arithmetic properties of these polynomials.
2. **Growth of proper class number**: Through the above formula, the author further studies the growth of the proper class number of completely positive binary quadratic polynomials as the norm of the conductor ideal increases.
3. **Finiteness result**: As an application, the author proves that the number of completely positive binary quadratic polynomials is finite under the condition of a fixed quadratic part and a fixed proper class number.
### Formula Explanation
To understand these problems more clearly, we can review some key formulas in the paper:
- **Proper class number formula**:
\[
h^+(X)=\frac{h^+(L)}{[O^+(L):O^+(X)]}\cdot\beta_2(X)\frac{N_{K / \mathbb{Q}}(M_X)}{N_{K / \mathbb{Q}}(\gcd(M_X, Q(\nu), I_X))}\prod_{\substack{p\mid M_X\\p\nmid2}}\left(1 - \eta(-\det(L_p))\frac{1}{N_{K / \mathbb{Q}}(p)}\right)
\]
where:
- \(h^+(X)\) is the proper class number of the shifted lattice \(X\).
- \(h^+(L)\) is the proper class number of the lattice \(L\).
- \([O^+(L):O^+(X)]\) is the index of the proper intersection group.
- \(\beta_2(X)\) is a limit value related to the local structure.
- \(M_X\) is the conductor ideal of the shifted lattice \(X\).
- \(Q(\nu)\) is the quadratic form value of the shifted vector \(\nu\).
- \(I_X\) is an ideal defined by \(X\).
- \(\eta(x)\) is a function defined on \(K\) (see formula (2.3)).
Through these formulas, the author can accurately calculate the proper class number of binary quadratic polynomials and study its trend with the change of the norm of the conductor ideal.
### Application
As an application, the author proves the following two corollaries:
- **Corollary 1.2**: For any positive number \(\epsilon>0\), when \(N_{K / \mathbb{Q}}(M_X)\to\infty\), we have
\[
h^+(X)\gg_{L,\epsilon}N_{K / \mathbb{Q}}(M_X)^{1 - \epsilon}
\]
This means that after fixing the completely positive lattice part, the number of shifted lattices with a fixed proper class number is finite.
- **Corollary 1.3**: For a fixed integer \(h\geq1\), there are only finitely many shifted lattices of the form \(X = L+\nu\) that satisfy \(h^+(X)=h\).
These results not only deepen the understanding of the proper class number of binary quadratic polynomials but also provide a theoretical basis for further research on the arithmetic properties of such polynomials.