Abstract:Based on BONGs theory, we prove the norm principle for integral and relative integral spinor norms of quadratic forms over general dyadic local fields, respectively. By virtue of these results, we further establish the arithmetic version of Springer's theorem for indefinite quadratic forms. Moreover, we solve the lifting problems on $n$-universality over arbitrary local fields.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to prove the validity of the Arithmetic Springer Theorem for indefinite quadratic forms over general algebraic number fields and to solve the lifting problem of n - universality. Specifically:
1. **Arithmetic Springer Theorem**:
- By introducing the BONGs theory, the paper proves the norm principle of the integral spin norm and the relative integral spin norm, thereby establishing the arithmetic version of the Springer theorem for indefinite quadratic forms.
- The core content of the theorem is: Let \( L \) and \( N \) be indefinite \( \mathcal{O}_F \)-lattices, and \( \ell=\text{rank}(L)\geq\text{rank}(N) \). If \( [E:F] \) is odd, then:
- If \( L\otimes_{\mathcal{O}_F}\mathcal{O}_E \) is isometric to \( N\otimes_{\mathcal{O}_F}\mathcal{O}_E \), then \( L \) is isometric to \( N \).
- If \( L\otimes_{\mathcal{O}_F}\mathcal{O}_E \) represents \( N\otimes_{\mathcal{O}_F}\mathcal{O}_E \), then \( L \) represents \( N \).
2. **Lifting problem of n - universality**:
- The paper also studies the lifting behavior of n - universal indefinite quadratic forms or lattices from the base field \( F \) to the extension field \( E \).
- Specifically, an integral indefinite \( \mathcal{O}_F \)-lattice \( L \) is defined to be n - universal on \( E \) if \( L\otimes_{\mathcal{O}_F}\mathcal{O}_E \) represents all integral \( \mathcal{O}_E \)-lattices of rank \( n \).
- As a direct application of the Arithmetic Springer Theorem, the paper proves that if \( L \) is n - universal on \( E \), then it is also n - universal on \( F \) when \( [E:F] \) is odd.
Through these results, the paper solves Xu's conjecture about the Arithmetic Springer Theorem for indefinite quadratic forms and provides sufficient and necessary conditions for the stability of n - universality.
### Related formulas
Some of the key formulas involved in the paper include:
- **Norm principle**:
\[
N_{P|p}(\theta(\tilde{M}))\subseteq\theta(M)
\]
\[
N_{P|p}(\theta(\tilde{M}/\tilde{N}))\subseteq\theta(M/N)
\]
- **Quadratic form representation**:
\[
\text{If }L\otimes_{\mathcal{O}_F}\mathcal{O}_E\text{ represents }N\otimes_{\mathcal{O}_F}\mathcal{O}_E,\text{ then }L\text{ represents }N.
\]
These results not only deepen the understanding of quadratic forms and their representations but also provide an important theoretical basis for subsequent research.