Minimal rank of primitively $n$-universal integral quadratic forms over local rings

Byeong-Kweon Oh,Jongheun Yoon

2024-12-19

Abstract:Let $F$ be a local field and let $R$ be its ring of integers. For a positive integer $n$, an integral quadratic form defined over $R$ is called primitively $n$-universal if it primitively represents all quadratic forms of rank $n$. It was proved in <a class="link-https" data-arxiv-id="2005.11268" href="https://arxiv.org/abs/2005.11268">arXiv:2005.11268</a> that the minimal rank of primitively $1$-universal quadratic forms over the $p$-adic integer ring $\mathbb{Z}_p$ is $2$ if $p$ is odd, and $3$ otherwise. In this article, we completely determine the minimal rank of primitively $n$-universal quadratic forms over $R$ for any positive integer $n$ and any local ring $R$ such that $2$ is a unit or a prime.

Number Theory

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to determine the minimum rank of primitive $n$-universal integral quadratic forms over a local ring $R$, where $2$ is a unit or a prime number. Specifically:

1. **Problem Background**: For a positive integer $n$, an integral quadratic form defined over a local ring $R$ is called a primitive $n$-universal quadratic form if it can primitively represent all quadratic forms of rank $n$.

2. **Existing Results**: Previous research has shown that over the $p$-adic integer ring $\mathbb{Z}_p$, the minimum rank of primitive $1$-universal quadratic forms is $2$ (when $p$ is odd) or $3$ (when $p = 2$).

3. **Objective of This Paper**: This paper aims to completely determine the minimum rank of primitive $n$-universal quadratic forms over any positive integer $n$ and any local ring $R$ (where $2$ is a unit or a prime number).

### Main Conclusions
- For non - dyadic local rings $R$, the minimum rank of primitive $n$-universal quadratic forms is $2n$.
- For unramified dyadic local rings $R\neq\mathbb{Z}_2$, we have:
- $u^*_R(2)=5$
- $u^*_R(n) = 2n$ when $n\geq3$
- For $\mathbb{Z}_2$:
- $u^*_{\mathbb{Z}_2}(n)=2n + 1$ when $n\leq4$
- $u^*_{\mathbb{Z}_2}(n)=2n$ when $n\geq5$

These results are obtained through detailed mathematical derivations and lemma proofs, ensuring the correctness and completeness of the conclusions.