Abstract:We give an asymptotic formula for the number of biquadratic extensions of the rationals of bounded discriminant that fail the Hasse norm principle.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the cases where the Hasse norm principle fails in biquadratic extensions. Specifically, the author aims to give an asymptotic formula for calculating the number of biquadratic extensions with bounded discriminants that do not satisfy the Hasse norm principle.
### Background and Problem Description
The Hasse norm principle is an important mathematical concept, which is related to Galois extensions of number fields. For a Galois extension \(K/k\), if \(A_K^*\) represents the idèle group of \(K\) and \(N_{K/k}\) represents the usual norm mapping, then \(K\) satisfies the Hasse norm principle if and only if the following equation holds:
\[
N_{K/k}(K^*) = N_{K/k}(A_K^*) \cap k^*
\]
The Hasse norm theorem shows that all cyclic extensions satisfy this principle. However, for non - cyclic Abelian extensions, the situation is much more complicated. The research of Frei, Loughran and Newton shows that for each non - cyclic Abelian group \(G\), there exists an extension \(K/k\) with Galois group \(G\) such that the Hasse norm principle does not hold. But they did not give a specific frequency estimate.
### Main Contributions of the Paper
This paper focuses on the simplest non - cyclic Abelian case, that is, \(G = (\mathbb{Z}/2\mathbb{Z})^2\) and \(k=\mathbb{Q}\). The author studies biquadratic extensions of the form \(K = \mathbb{Q}(\sqrt{a},\sqrt{b})\) and gives the following two main results:
1. **Theorem 1.1**: Gives an asymptotic formula for the number of biquadratic extensions with bounded discriminants.
Let \(S(X)\) represent the number of different biquadratic extensions \(K/\mathbb{Q}\) whose discriminants do not exceed \(X\), then:
\[
S(X)=\frac{23}{960}\sqrt{X}\log^2 X\prod_p\left(1 - \frac{1}{p}\right)^3\left(1+\frac{3}{p}\right)+O(\sqrt{X}\log X)
\]
2. **Theorem 1.2**: Gives an asymptotic formula for the number of biquadratic extensions for which the Hasse norm principle fails.
Let \(\tilde{S}(X)\) represent the number of different biquadratic extensions \(K/\mathbb{Q}\) whose discriminants do not exceed \(X\) and for which the Hasse norm principle fails, then:
\[
\tilde{S}(X)=\frac{1}{3\sqrt{2\pi}}\sqrt{X}\log X\prod_p\left(1 - \frac{1}{p}\right)^{\frac{3}{2}}\left(1+\frac{3}{2p}\right)+O(\sqrt{X})
\]
These two results together recover the results of Frei, Loughran and Newton, that is, in biquadratic extensions, almost all extensions satisfy the Hasse norm principle.
### Summary
This paper solves the specific frequency problem of the failure of the Hasse norm principle in biquadratic extensions through precise asymptotic formulas, providing an important theoretical basis for research in this field.