$D(N)$-quadruples in upper-triangular $2\times2$ integer matrices

技术摘要：上三角 $2 \times 2$ 整数矩阵中的 $D(N)$-四元组

问题陈述
本文研究了将丢番图 $D(n)$-$m$-元组扩展到非交换环 $M_2(\mathbb{Z})$（即 $2 \times 2$ 整数矩阵环）的问题。在交换环中，$D(n)$-$m$-元组是指一组互不相同的非零元素 $\{a_1, \dots, a_m\}$，使得对于所有 $i < j$，都有 $a_i a_j + n$ 是一个完全平方数。关于交换环的一个经典结果确立了 $D(n)$-四元组的存在性与 $n$ 可表示为两个平方数之差（$n = x^2 - y^2$）之间的强联系。

作者研究了这种关系在矩阵环这一非交换设定下是否仍然成立。具体而言，他们关注上三角整数矩阵环 $UT_2(\mathbb{Z})$，并探讨了两种矩阵 $D(N)$-元组的定义：

1. 标准乘积： 基于有序矩阵乘积 $A_i A_j + N = X_{ij}^2$（区分升序和降序）。
2. Jordan 乘积： 基于对称 Jordan 乘积 $A \circ B = \frac{1}{2}(AB + BA)$，即 $A_i \circ A_j + N = X_{ij}^2$。

研究的重点是 $UT_2(\mathbb{Z})$ 中的 Jordan $D(N)$-元组，其中平方根 $X_{ij}$ 也必须属于 $UT_2(\mathbb{Z})$。研究区分了退化元组（其两两 Jordan 乘积为零）和非退化元组。

方法论
作者结合了结构特征化、显式构造和模障碍技术：

• 结构特征化： 他们利用了先前关于可表示为两个平方数之差的 $UT_2(\mathbb{Z})$ 矩阵的特征化结果（来自参考文献 [10]），该结果依赖于对 16 取模的同余条件。
• 扩展公式： 他们改编了经典的三元组扩展公式。如果 $\{A, B\}$ 是一个 Jordan $D(N)$-对且 $A \circ B + N = R^2$，则可以构造一个三元组 $\{A, B, A+B \pm 2R\}$。这依赖于 Jordan 乘积的线性性质。
• 原型构造（定理 5）： 对于满足 $N = K^2 - A_0^2$ 的矩阵 $N$，作者构造了一个形式为 $\{A_0 + U_t, A_0 - U_t, 2A_0 + 2K, 5A_0 + 4K\}$ 的“原型”四元组，其中 $U_t$ 是一个幂零矩阵。他们证明了对于无穷多参数 $t$，该集合构成一个有效的 Jordan $D(N)$-四元组。
• 模障碍： 对于不能表示为两个平方数之差的矩阵 $N$，作者分析了对角线元素的标量条件（$a_i a_j + p = \square$ 且 $d_i d_j + q = \square$）以及右上项的整数条件。他们利用奇偶性论证和关于 $\mathbb{Z}_2^2$ 中向量的特定引理（引理 7）来证明特定同余类下的不存在性。
• 显式构造： 对于无法证明不存在性的某些同余类，作者提供了四元组的显式多项式或整数构造，通常利用缩放性质（引理 2）或改编经典的多项式族（第 5 节）。

主要贡献与结果

1. 对于平方差矩阵的存在性：
   本文证明了每一个可以在 $UT_2(\mathbb{Z})$ 中表示为两个平方数之差的矩阵 $N \in UT_2(\mathbb{Z})$ 都拥有无穷多个 Jordan $D(N)$-四元组（定理 5 和推论 6）。这确立了以下蕴含关系：
   $$N = K^2 - A^2 \implies \text{Jordan } D(N)\text{-四元组的存在性}$$
   这是通过结合平方差表示的结构特征化与显式构造，首次建立该蕴含关系的结构。

2. 不存在性结果：
   作者识别了若干属于 $UT_2(\mathbb{Z})$ 且不能表示为两个平方数之差的矩阵 $N$ 的无穷族，这些矩阵不存在 Jordan $D(N)$-四元组。这些不存在性结果是通过模障碍推导出的（命题 8, 9, 12, 13, 15, 17, 18）：

   • 情况 I： $p \equiv 2 \pmod 4$ 或 $q \equiv 2 \pmod 4$。
   • 情况 II（部分）： $p, q$ 为奇数，$p \equiv q \pmod 4$，$r$ 为奇数，特别是当 $p \equiv q \equiv 3 \pmod 4$ 时。
   • 情况 III（部分）： $(p, q) \equiv (4, 4), (12, 12) \pmod{16}$ 且对 $r$ 有特定条件。
   • 情况 IV： $(p, q) \equiv (4, 12), (8, 8), (12, 4) \pmod{16}$ 且 $r$ 为奇数。

3. 对于非平方差矩阵的存在性：
   至关重要的是，本文表明“平方差”条件对于 $UT_2(\mathbb{Z})$ 中 Jordan $D(N)$-四元组的存在性而言并非必要条件。

   • 命题 10： 构造了对于任何整数 $m$，当 $N = \begin{pmatrix} 1 & m \\ 0 & 1 \end{pmatrix}$ 时，存在 Jordan $D(N)$-四元组。若 $m$ 为奇数，$N$ 在 $UT_2(\mathbb{Z})$ 中不是两个平方数的差，但四元组仍然存在。
   • 命题 14： 证明了如果 $N$ 的对角线元素是整数平方（$p=s^2, q=t^2$），则对于每一个右上项 $r$，都存在 Jordan $D(N)$-四元组，无论 $N$ 是否为两个平方数的差。
   • 命题 16： 为 $N_t = \begin{pmatrix} 4 & 2t \\ 0 & 4 \end{pmatrix}$ 提供了一个四元组族，这些矩阵仅在 $t$ 为偶数时可表示为平方差，但在所有 $t \neq 0$ 时均存在四元组。

4. 多项式改编：
   第 5 节展示了如何通过求解关于右上项的线性丢番图方程，将经典的交换 $D(n)$-四元组多项式公式（具体来自 Dujella [6]）改编应用于 $UT_2(\mathbb{Z})$ 中的 Jordan 设定。

意义与主张
本文声称开启了在真正非交换设定下研究丢番图 $D(N)$-元组的工作。其主要意义在于揭示了在矩阵环中，平方差表示与 $D(N)$-四元组存在性之间的关系比在经典的交换设定下更为微妙。

虽然在 $UT_2(\mathbb{Z})$ 中，“平方差 $\implies$ 四元组存在性”这一蕴含关系成立，但其逆命题并不成立。本文确立了存在无穷多个不是平方差的矩阵族，但它们仍然拥有 Jordan $D(N)$-四元组。反之，也有矩阵既不是平方差，也不存在此类四元组。

作者得出结论，虽然连接平方差表示与四元组存在性的“规则”在 $UT_2(\mathbb{Z})$ 的一大类矩阵中适用，但它并不是一种严格的等价关系。本文将某些同余类（特别是情况 II 和 III 中对角线元素不是平方数的情况）作为开放问题留存，指出在这些剩余类中，存在性与不存在性的现象同时存在。