A Projective Twist on the Hasse Norm Theorem

Thomas Rüd,Alan Bu
2024-10-15
Abstract:A finite extension of global fields $L/K$ satisfies the Hasse norm principle if any nonzero element of $K$ has the property that it is a norm locally if and only if it is a norm globally. In 1931, Hasse proved that any cyclic extension satisfies the Hasse norm principle, providing a novel approach to extending the local-global principle to equations with degree greater than $2$. In this paper, we introduce the projective Hasse norm principle, generalizing the Hasse norm principle to multiple fields and asking whether a projective line that contains a norm locally in every field must also contain a norm globally in every field. We show that the projective Hasse norm principle is independent from the conjunction of Hasse norm principles in all of the constituent fields in the general case, but that the latter implies the former when the fields are all Galois and independent. We also prove an analogue of the Hasse norm theorem for the projective Hasse norm theorem, namely that the projective Hasse norm principle holds in all cyclic extensions.
Number Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is a generalized version of the Hasse Norm Principle (HNP), namely the **Projective Hasse Norm Principle (PHNP)**. Specifically, the paper explores whether the existence of local norms can imply the existence of global norms in the case of multiple field extensions. More precisely, the paper introduces the **Projective Hasse Norm Principle** and studies its relationship with the traditional Hasse Norm Principle. ### Main problems: 1. **Generalization of the Hasse Norm Principle**: The traditional Hasse Norm Principle states that if an element is a norm in all local fields, then it should also be a norm in the global field. The paper generalizes this to the case of multiple field extensions and proposes the **Projective Hasse Norm Principle**, that is, in a space composed of multiple field extensions, if a ray passing through the origin contains norms in each local field, then must this ray also contain norms in the global field? 2. **The relationship between PHNP and HNP**: The paper studies the relationship between PHNP and HNP, especially exploring whether PHNP can be deduced from HNP, or vice versa. Through specific examples and theoretical analysis, the paper shows that in some cases, PHNP can be deduced from HNP, but in other cases it cannot. 3. **Results in special cases**: The paper also proves that under specific conditions (such as when all extension fields are Galois and independent), PHNP can be deduced from HNP, and gives the corresponding sufficient conditions. ### Formula representation: - **Hasse Norm Principle**: Given a finite extension field \( L/K \), if for any non - zero element \( q\in K \), \( q \) is a norm in every local field, then \( q \) is also a norm in the global field. \[ N_{L/K}(L^\times)=K^\times\cap N_{L/K}(\mathbb{A}_L^\times) \] - **Projective Hasse Norm Principle**: Given multiple field extensions \( L_1, L_2,\ldots, L_n \), if for any \( e\in E^\times \), there exist \( \lambda_{u,v,w}\in K_v \) at all places \( v \) such that \( \lambda_{u,v,w}e\in \text{Im}(N_{L_w/E_v}) \), then there exists \( \lambda\in K \) such that \( \lambda e\in \text{Im}(N_{L/E}) \). \[ \pi(N_{L/E}(L^\times)) = \pi(E^\times)\cap \pi(N_{L/E}(\mathbb{A}_L^\times)) \] ### Conclusion: By introducing the Projective Hasse Norm Principle, the paper provides a new perspective to study the generalization of the Hasse Norm Principle in multiple field extensions, and through specific examples and theoretical analysis reveals the complex relationship between PHNP and HNP.