Hasse Norm Principle
- Hasse norm principle is a local–global assertion in finite field extensions ensuring that elements are global norms when local norm conditions are met and the knot group vanishes.
- It connects algebraic number theory with cohomological methods, interpreting the obstruction via the Tate–Shafarevich group of norm one tori and Galois cohomology.
- It underpins explicit group-theoretic criteria and statistical results that classify and quantify the failure of local-to-global norm equations.
The Hasse norm principle is the local–global assertion that for a finite extension of global fields (K/k), every element of (k\times) that is a norm in every completion is already a global norm. In idelic form, it is the equality
[
N_{K/k}(K\times)=k\times\cap N_{K/k}(\mathbb A_K\times),
]
and its failure is measured by the finite quotient
[
\mathfrak K(K/k)=\frac{k\times\cap N_{K/k}(\mathbb A_K\times)}{N_{K/k}(K\times)},
]
often called the knot group. The classical theorem of Hasse proves the principle for cyclic extensions, while modern work recasts the obstruction in terms of norm one tori, Galois cohomology, decomposition groups, and arithmetic statistics [1411.7775] [1910.01469].
1. Classical formulation and obstruction group
For a finite extension of global fields (L/K), the field norm
[
N_{L/K}:L\times\to K\times
]
and the idelic norm
[
N_{L/K}:\mathbb A_L\times\to \mathbb A_K\times
]
define two nested classes of elements of (K\times): global norms (N_{L/K}(L\times)), and everywhere local norms (K\times\cap N_{L/K}(\mathbb A_L\times)). The Hasse norm principle asserts that these coincide. Equivalently, if (a\in K\times) lies in (N_{L_w/K_v}(L_w\times)) for every place (v) of (K), then (a\in N_{L/K}(L\times)) [1411.7775].
The obstruction is the knot group
[
\mathfrak K(L/K)=\frac{K\times\cap N_{L/K}(\mathbb A_L\times)}{N_{L/K}(L\times)}.
]
The principle holds if and only if (\mathfrak K(L/K)=0), or equivalently (i(L/K)=#\mathfrak K(L/K)=1). In the literature summarized here, this quotient is the standard arithmetic measure of local–global failure, and it is also the form in which quantitative questions are posed [1411.7775].
The classical benchmark is Hasse’s theorem: if (L/K) is cyclic, then the Hasse norm principle holds. For finite abelian groups, the existence of failures is completely characterized: there exists a (G)-extension of a number field failing the Hasse norm principle if and only if (G) is non-cyclic [1508.02518]. In particular, cyclicity eliminates the obstruction, but non-cyclicity does not determine its size or frequency.
A recurrent misunderstanding is to identify the Hasse norm principle with arbitrary local–global statements for norm-form equations. The norm equation (N_{L/K}(x)=a) is the direct torsor-theoretic avatar of the principle, but many nearby problems involve families of norm equations with a varying right-hand side and are therefore adjacent rather than identical to the classical Hasse norm problem [1109.0232].
2. Cohomological and toric interpretation
The central geometric object is the norm one torus
[
T=R{(1)}_{K/k}(\mathbb G_m)=\ker!\bigl(R_{K/k}(\mathbb G_m)\to \mathbb G_m\bigr).
]
Ono’s theorem identifies the Hasse norm obstruction with the Tate–Shafarevich group of this torus:
[
\Sha(T)\simeq \frac{N_{K/k}(\mathbb A_K\times)\cap k\times}{N_{K/k}(K\times)}.
]
Thus (\Sha(T)=0) if and only if the Hasse norm principle holds for (K/k) [1910.01469].
This identification places the problem in the arithmetic of algebraic tori. For a smooth compactification (X) of (T), Voskresenskii’s exact sequence
[
0\to A(T)\to H1(k,\mathrm{Pic}\,\overline X)\vee\to \Sha(T)\to 0
]
links the defect of weak approximation
[
A(T)=\left(\prod_v T(k_v)\right)\big/\overline{T(k)}
]
to the Hasse norm obstruction. Consequently, (H1(k,\mathrm{Pic}\,\overline X)=0) implies both weak approximation for (T) and the Hasse norm principle for (K/k) [1910.01469] [2110.03782].
For a Galois splitting field (L/k) with (G=\operatorname{Gal}(L/k)), the character lattice (\widehat T) becomes a (G)-lattice, and non-Galois norm one tori are described by the Chevalley module (J_{G/H}), where (H=\operatorname{Gal}(L/K)). It is defined by
[
0\to \mathbb Z \to \mathbb Z[G/H]\to J_{G/H}\to 0.
]
Flasque resolutions of (J_{G/H}) reduce the calculation of (H1(k,\mathrm{Pic}\,\overline X)) to finite-group cohomology, and this is the mechanism behind explicit classifications in small degree and for specific families of transitive groups [1910.01469] [1906.03730].
In the Galois case, Tate’s description makes the local–global structure especially transparent:
[
\Sha(T)\sim \cong \ker!\left(H3(G,\mathbb Z)\to \prod_{v\in\Omega_k} H3(G_v,\mathbb Z)\right),
]
and dually
[
A(T)\sim \cong \operatorname{im}!\left(H3(G,\mathbb Z)\to \prod_{v\in\Omega_k} H3(G_v,\mathbb Z)\right).
]
Here the decomposition groups (G_v) control whether the global cohomology class survives as a Hasse norm obstruction or is detected locally and reappears as a weak-approximation defect [2110.03782].
3. Explicit criteria and group-theoretic families
Beyond cyclic extensions, the modern theory is dominated by precise group-theoretic criteria. For Galois dihedral extensions with group (D_n) of order (2n), the pattern is completely explicit. If (n) is odd, then the Hasse norm principle and weak approximation for the norm one torus both hold. If (n) is even, then the obstruction is either trivial or (\mathbb Z/2\mathbb Z): HNP holds exactly when some local decomposition group contains a Klein four subgroup, and otherwise HNP fails while weak approximation holds [2110.03782].
For alternating closures, the picture is uniformly positive. If (K/k) is a degree (n) extension of number fields with normal closure (F) satisfying
[
\operatorname{Gal}(F/k)\cong A_n,\qquad n\ge 5,
]
then the Hasse norm principle holds for (K/k), and weak approximation holds for the norm one torus (R{(1)}_{K/k}(\mathbb G_m)) [1806.11563]. This sharply contrasts with the quartic (A_4)-case, where failure can occur.
A broad sufficient criterion is available for metacyclic closures. If the Galois closure group (G) is metacyclic and has trivial Schur multiplier
[
M(G)=H2(G,\mathbb C\times)\simeq H3(G,\mathbb Z)=0,
]
then the Hasse norm principle holds for (K/k). In that setting the relevant obstruction injects into (M(G)), so triviality of the multiplier kills the Hasse norm obstruction. The same argument yields the Tamagawa number formula
[
\tau(T)=\frac{|G{ab}|}{|H{ab}|}
]
for the associated norm one torus [2503.14365].
The prime-power and prime-square cases admit even more precise descriptions. For Heisenberg extensions of degree (p3) or (p2), with Galois closure group the extraspecial group (E_p(p3)\simeq (C_p)2\rtimes C_p), the obstruction group can be (0), (\mathbb Z/p\mathbb Z), or ((\mathbb Z/p\mathbb Z){\oplus 2}), and the criterion is expressed in terms of whether decomposition groups contain suitable noncyclic subgroups, especially ((C_p)2) [2503.15408]. For finite separable extensions of odd prime-squared degree (p2), failure can occur only when
[
G\cong (C_p)2\rtimes_\varphi G\dagger,\qquad H\cong {1}\rtimes_\varphi G\dagger
]
for some (G\dagger\subset \operatorname{SL}_2(\mathbf F_p)), and then
[
\Sha(K/k)\cong
\begin{cases}
1,&\text{if some decomposition group contains }(C_p)2,\
\mathbb Z/p,&\text{otherwise.}
\end{cases}
]
This recovers the earlier theorem of Drakokhrust–Platonov on adequate extensions of prime-squared degree [2508.10706].
Explicit computational classifications extend much further. For norm one tori of degree (n\le 15), (n\neq 12), (H1(k,\mathrm{Pic}\,\overline X)) has been determined for every transitive Galois closure group (G\le S_n), and the Hasse norm principle is then decided by concrete decomposition-group criteria involving subgroups such as (V_4), (D_4), ((C_3)2), or ((C_5)2) [1910.01469]. Sporadic simple groups have also entered the subject: for (M_{11})- and (J_1)-closures, (H1(k,\mathrm{Pic}\,\overline X)) is either (0) or (\mathbb Z/2\mathbb Z), and in the exceptional cases HNP is decided by the existence of a place whose decomposition group contains (V_4), (Q_8), (D_4), or (QD_8), depending on the subgroup (H=\operatorname{Gal}(L/K)) [2210.09119].
The non-Galois square-free setting is also known to exhibit genuine failures. For any square-free composite integer (d) divisible by at least one of (3), (55), (91), or (95), there exists a finite extension of degree (d) for which the Hasse norm principle fails [2307.12550].
4. Quantitative and statistical aspects
A second major direction asks not whether HNP can fail, but how often it fails. For a fixed number field (K/\mathbb Q), Browning and Newton compute the exact proportion of rational numbers that are everywhere locally norms but not global norms. If
[
N_{\mathrm{loc}}(B)=#{t\in \mathbb Q\times\cap N_{K/\mathbb Q}(J_K): H(t)\le B},
]
[
N_{\mathrm{glob}}(B)=#{t\in N_{K/\mathbb Q}(K\times): H(t)\le B},
]
and (N_{\mathrm{ce}}(B)=N_{\mathrm{loc}}(B)-N_{\mathrm{glob}}(B)), then
[
\lim_{B\to\infty}\frac{N_{\mathrm{ce}}(B)}{N_{\mathrm{loc}}(B)}=1-\frac{1}{i(K/\mathbb Q)},
]
where (i(K/\mathbb Q)=#\mathfrak K(K/\mathbb Q)) [1411.7775]. Thus the finite obstruction group governs not only solvability, but also the asymptotic frequency of local–global failure among local norms.
Over global function fields the same phenomenon persists. For a finite extension (L/\mathbb F_q(t)), with (h=\gcd{\deg p: p \text{ infinite place of }L}) and full constant field (\mathbb F_{qf}), one has
[
\lim_{\substack{d\to\infty\ fh\mid d}}
\frac{N_{\mathrm{glob}}(L/\mathbb F_q(t),n,d)}
{N_{\mathrm{loc}}(L/\mathbb F_q(t),n,d)}
\frac{1}{#\mathfrak K(L/\mathbb F_q(t))}.
]
Equivalently, the asymptotic proportion of polynomials that are local-but-not-global norms is
[
1-\frac{1}{#\mathfrak K(L/\mathbb F_q(t))}.
]
The function-field argument must also accommodate inseparability and constant-field phenomena [2003.01451].
A different statistical problem orders the extensions themselves by discriminant. For biquadratic extensions of (\mathbb Q), the number (S(X)) of fields with (\Delta_K\le X) satisfies
[
S(X)\asymp \sqrt X\log2 X,
]
whereas the number (\widetilde S(X)) of such fields failing HNP satisfies
[
\widetilde S(X)\asymp \sqrt X\log X.
]
Hence
[
\frac{\widetilde S(X)}{S(X)}\to 0.
]
Failures are infinite in number but zero-density in the discriminant-ordered biquadratic family [1707.00412].
For general finite abelian groups, two complementary discriminant-ordered results are now available. One theorem shows that for
[
G\cong \mathbb Z/n\mathbb Z\oplus (\mathbb Z/Q\mathbb Z)r,
]
where (Q) is the smallest prime dividing (n), (0\%) of (G)-extensions fail HNP, whereas for all other nontrivial finite abelian groups a positive proportion fail [1508.02518]. A later refinement proves that for every nontrivial finite abelian group (A), the density of (A)-extensions satisfying HNP exists; it equals (1) if (A/A[\ell]) is cyclic, where (\ell) is the smallest prime dividing (#A), and it lies in ((0,1)) otherwise [2301.10136]. These results show that abelian HNP failure is neither purely sporadic nor generically dominant; its density is group-theoretically stratified.
5. Generalizations, variants, and adjacent problems
The multinorm problem replaces a single norm equation by
[
\prod_{i=0}m N_{L_i/k}(t_i)=c,
]
or equivalently (N_{L/k}(t)=c) for the étale algebra (L=\prod_i L_i). In the presence of a cyclic factor (K/k), Bayer-Fluckiger, Lee, and Parimala construct an explicit finite obstruction group (\amalg(L)) and a Brauer–Manin map
[
\alpha_c:\amalg(L)\to \mathbf Q/\mathbf Z
]
such that
[
X_c(k)\neq \varnothing \iff X_c(k_v)\neq \varnothing\ \forall v \text{ and } \alpha_c=0.
]
This recovers the classical Hasse norm theorem in the one-factor case and extends it to multinorm tori and metacyclic settings [1507.06277].
A projective variant asks not for a single scalar norm, but for the existence of a norm point on a projective line. For separable extensions (K\subset E\subset L), the projective Hasse norm principle is formulated as
[
\pi(N_{L/E}(L\times))=\pi(E\times)\cap \pi(N_{L/E}(\mathbb A_L\times)),
]
or equivalently via the projective norm map
[
\mathrm{PN}{L/E/K}(k,\ell)=k{-1}N{L/E}(\ell).
]
In general this projective principle is independent from the conjunction of the ordinary Hasse norm principles of the constituent fields, but for independent Galois extensions it follows from them; in particular, cyclic extensions satisfy the projective analogue of Hasse’s theorem [2410.11159].
Norm-form varieties give a closely related but distinct class of local–global problems. For an irreducible quadratic polynomial (P(t)) and a quartic extension (K/\mathbb Q) containing a root of (P), the affine variety
[
P(t)=N_{K/\mathbb Q}(x_1,x_2,x_3,x_4)\neq 0
]
satisfies the Hasse principle and weak approximation. The proof uses analytic methods and the classical Hasse norm principle only for the auxiliary quadratic field (L/\mathbb Q), not for the quartic extension (K/\mathbb Q). Accordingly, this result belongs to the broader study of norm-form varieties rather than constituting a direct theorem about the classical Hasse norm principle for (K/\mathbb Q) [1109.0232].
6. Arithmetic-topological analogue
Arithmetic topology provides a topological analogue of the Hasse norm principle. In Morishita’s dictionary, a closed oriented (3)-manifold (M) plays the role of the ring of integers of a number field, knots correspond to primes, links to finite sets of places, and finite branched coverings to field extensions. Within this framework, the topological idele group of a pair ((M,\mathcal L)) with (\mathcal L) a very admissible link is
[
I_{M,\mathcal L}
\left{
(a_K)K\in \prod{K\subset \mathcal L} H_1(\partial V_K)\ \middle|\ v_K(a_K)=0\text{ for almost all }K
\right},
]
and the principal ideles are defined by a diagonal map
[
\Delta_{M,\mathcal L}:H_2(M,\mathcal L)\to I_{M,\mathcal L},
\qquad
P_{M,\mathcal L}=\operatorname{Im}(\Delta_{M,\mathcal L}).
]
For a finite cyclic branched covering
[
f:N\to M
]
of an integral homology (3)-sphere (M), the pushforward
[
f_*:I_{N,f{-1}(\mathcal L)}\to I_{M,\mathcal L}
]
plays the role of the norm map. The topological Hasse norm theorem then states
[
P_{M,\mathcal L}\cap f_*\bigl(I_{N,f{-1}(\mathcal L)}\bigr)
f_*\bigl(P_{N,f{-1}(\mathcal L)}\bigr).
]
This is the exact analogue of
[
P_F\cap N_{E/F}(I_E)=N_{E/F}(P_E)
]
for finite cyclic extensions of number fields [2404.06464].
The proof uses explicit Seifert-surface formulas for principal topological ideles, quotient identifications
[
I_{M,\mathcal L}/(P_{M,\mathcal L}+UL)\cong H_1(X_L),
]
and an exact sequence for cyclic coverings analogous to Galois descent. The result is not the classical theorem itself, but it isolates the same structural ingredients: global principality, local norm conditions, cyclic descent, and a local–global passage. It therefore shows that the conceptual form of the Hasse norm principle survives outside algebraic number fields, in a (3)-manifold setting governed by topological class field theory [2404.06464].