Integral quadratic forms over a ring of $p$-adic integers

技术摘要：$p$ 进整数环上的整二次型

问题陈述
本文研究了在 $n \times n$ 矩阵环 $M_n(\mathbb{Z}_p)$（其中 $\mathbb{Z}_p$ 为 $p$ 进整数环）上，对角整二次型 $\sum_{i=1}^m a_i X_i^2$ 的普适性。若一个二次型能够表示该环中的每一个元素，则称该二次型在该环上是“普适的”（universal）。作者的研究建立在 Lee [1] 以及 Koo 和 Lee [2] 的前人工作基础之上，后者确定了 $M_2(\mathbb{Z})$ 上普适性的充分必要条件，并为函数 $f(n)$ 提供了界限，其中 $f(n)$ 定义为使得二次型具有 $m$ 个系数并实现普适性的最小整数 $m$。

本文的具体目标是：

1. 针对 $p=2$ 及奇素数 $p$ 的情况，建立对角二次型在 $M_2(\mathbb{Z}_p)$ 上具有普适性的充分必要条件。
2. 基于这些条件，将 $\mathbb{Z}_p$ 上的矩阵表示为平方和。
3. 定义并确定当 $n \ge 3$ 时，$p$ 进整数 $a_1, \dots, a_m$（其中至少有三个系数为单位元）时 $f(n)$ 的界限。

研究方法
作者采用了代数数论和局部环上的矩阵代数方法。研究过程分为三个阶段：

1. $\mathbb{Z}_p$ 的预备知识与结构： 本文确立了 $\mathbb{Z}_p$ 作为 $\mathbb{Z}/p^n\mathbb{Z}$ 投影极限的基础性质。文中利用 $p$ 进估值 $v_p(x)$ 以及 $\mathbb{Z}_p$ 中单位元的结构来分析整除性和可逆性。

2. $n=2$ 的情况：

   • 对于 $p=2$，作者证明了当且仅当至少有两个系数 $a_i$ 是单位元时，二次型 $\sum a_i X_i^2$ 在 $M_2(\mathbb{Z}_2)$ 上是普适的。其证明过程涉及构造特定的矩阵表示，并利用平移替换法来满足通过令矩阵项相等而导出的方程组。
   • 对于奇素数 $p$，证明了类似的条件：当且仅当至少有两个系数是单位元时，普适性成立。证明依赖于将问题简化至剩余域，并利用单位元的可逆性来求解矩阵项的线性方程组。

3. $n \ge 3$ 的情况：

   • 作者定义 $n \ge 3$ 时的 $f(n)$ 为：任何具有至少三个单位元系数的二次型在 $M_n(\mathbb{Z}_p)$ 上都是普适的，其中最小的 $m$ 即为 $f(n)$。这一定义设定了前提，即系数 $a_1, \dots, a_m$ 必须包含至少三个单位元；随后目标是寻找满足此条件的最小 $m$。
   • 为了确定 $f(n)$ 的界限，本文借鉴并改编了 Koo 和 Lee [2] 的技术。文中引入了特定的矩阵结构，包括矩阵单位 $J$（移位矩阵）及其幂次。
   • 引理 3.1–3.3 确立了任何矩阵 $S \in M_n(\mathbb{Z}_p)$ 都可以通过减去一个平方项 $a_1 X_1^2$，转化为类似于 $J^2 + \begin{bmatrix} 0 & P \\ 0 & Q \end{bmatrix}$ 的形式。
   • 引理 3.4 和 3.5 处理了剩余分块矩阵的分解。对于奇素数，引理 3.4 表明，只要 $a_2, a_3$ 是单位元，剩余矩阵即可表示为两个平方的和（$a_2 X_2^2 + a_3 X_3^2$）。对于 $p=2$，引理 3.5 表明需要三个平方（$a_2 X_2^2 + a_3 X_3^2 + a_4 X_4^2$），因此需要额外的单位元系数。

主要贡献与结果
本文提供了以下具体结果：

• $M_2(\mathbb{Z}_p)$ 上的普适性：

  • 定理 2.1 & 2.3： 对角二次型 $\sum_{i=1}^m a_i X_i^2$ 在 $M_2(\mathbb{Z}_p)$ 上是普适的，当且仅当至少有两个系数 $a_i$ 是 $\mathbb{Z}_p$ 中的单位元。这对于 $p=2$ 和奇素数 $p$ 均成立。
  • 推论 2.2 & 2.4： 因此，任何 $M_2(\mathbb{Z}_p)$ 中的矩阵要么是一个平方，要么是两个平方之和。

• $n \ge 3$ 时 $f(n)$ 的界限：

  • 定理 3.1： 对于 $n=3$，$f(3) \le 4$。
  • 定理 3.2： 对于 $n \ge 4$：
    • 若 $p$ 是奇素数，$f(n) \le 3$。
    • 若 $p = 2$，$f(n) \le 4$。
  • 推论 3.2： 这些界限意味着，对于 $n \ge 4$ 的 $M_n(\mathbb{Z}_p)$ 中的任何矩阵，只要二次型的系数包含所需的数量的单位元（根据 $f(n)$ 的定义，即至少包含三个单位元），则可以表示为至多三个平方（对于奇素数 $p$）或四个平方（对于 $p=2$）之和。

意义与主张
本文声称将已知关于整数环 $\mathbb{Z}$ 上二次型普适性的结果扩展到了 $p$ 进整数环 $\mathbb{Z}_p$。通过确定 $n=2$ 时的充分必要条件并推导出 $n \ge 3$ 时的上界，这项工作完善了对表示任意矩阵所需的平方个数的理解。作者明确指出，他们对于 $n \ge 4$ 的证明遵循了 Koo 和 Lee [2] 的方法论，但将其适配到了 $p$ 进背景下，特别是处理了 $p=2$ 与奇素数之间不同的代数性质。本文并未提出新的应用或实验框架，而是侧重于这些二次型的理论特征化。