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

技術的要約：上三角2×2整数行列におけるD(N)-四元組

問題の定義
本論文は、非可換環である$M_2(\mathbb{Z})$（2×2整数行列環）におけるディオファントス$D(n)$-$m$-tuple（$m$元集合）への拡張を扱うものである。可換環において、$D(n)$-$m$-tupleとは、相異なる非ゼロの要素の集合 $\{a_1, \dots, a_m\}$ であり、すべての $i < j$ に対して $a_i a_j + n$ が完全平方数となるものを指す。可換環における古典的な結果は、$D(n)$-四元組の存在と、$n$ が2つの平方数の差（$n = x^2 - y^2$）として表されることとの間の強い関連性を確立している。

著者らは、この関係が行列環の非可換な設定においても保持されるかどうかを調査している。具体的には、上三角整数行列の環 $UT_2(\mathbb{Z})$ に焦点を当て、2種類の行列 $D(N)$-tuple の定義を検討している：

1. 標準積 (Standard Product): 順序付けられた行列積 $A_i A_j + N = X_{ij}^2$ に基づくもの（昇順と降順を区別する）。
2. ジョルダン積 (Jordan Product): 対称的なジョルダン積 $A \circ B = \frac{1}{2}(AB + BA)$ に基づくもの（$A_i \circ A_j + N = X_{ij}^2$）。

主な焦点は、$UT_2(\mathbb{Z})$ におけるジョルダン $D(N)$-tupleであり、そこでは平方根 $X_{ij}$ もまた $UT_2(\mathbb{Z})$ に属さなければならない。本研究では、退化的なタプル（ペアのジョルダン積がゼロとなるもの）と非退化的なタプルを区別している。

手法
著者らは、構造的特徴付け、明示的な構成、および剰余による障害（modular obstruction）の手法を組み合わせて用いている：

• 構造的特徴付け: 著者らは、2つの平方数の差として表される $UT_2(\mathbb{Z})$ 内の行列に関する既知の特性（文献[10]による）を利用している。これは、16を法とする合同条件に基づいている。
• 拡張公式: 三元組に対する古典的な拡張公式を適応させている。もし $\{A, B\}$ がジョルダン $D(N)$-対であり、$A \circ B + N = R^2$ であるならば、三元組 $\{A, B, A+B \pm 2R\}$ を構成できる。これはジョルダン積の双線型性に依拠している。
• プロトタイプ構成 (定理5): 行列 $N$ が $N = K^2 - A_0^2$ と表せる場合、著者らは $\{A_0 + U_t, A_0 - U_t, 2A_0 + 2K, 5A_0 + 4K\}$ という形式の「プロトタイプ」四元組を構成する。ここで $U_t$ はべき零行列である。著者らは、無限個のパラメータ $t$ に対して、この集合が有効なジョルダン $D(N)$-四元組を形成することを証明している。
• 剰余による障害: $N$ が2つの平方数の差として表せない場合、著者らは、対角成分に関するスカラー条件（$a_i a_j + p = \square$ および $d_i d_j + q = \square$）と、右上成分に関する整数条件を分析している。彼らは、パリティ（奇偶性）を用いた議論と、$\mathbb{Z}_2^2$ 内のベクトルに関する特定の補題（補題7）を用いて、特定の合同類における非存在を証明している。
• 明示的な構成: 非存在を証明できない特定の合同類に対して、著者らは、スケーリングの性質（補題2）を利用したり、古典的な多項式族を適応させたりすることで、明示的な多項式または整数の構成を提供している。

主要な貢献と結果

1. 差の平方としての行列に対する存在性:
   本論文は、 $UT_2(\mathbb{Z})$ において2つの平方数の差として表すことができるすべての行列 $N \in UT_2(\mathbb{Z})$ が、無限個のジョルダン $D(N)$-四元組を持つことを証明している（定理5および系6）。これにより、以下の含意が確立される：
   $$N = K^2 - A^2 \implies \text{ジョルダン } D(N)\text{-四元組の存在}$$
   これは、差の平方表現の構造的特徴付けと明示的な構成を組み合わせることで、この含意が確立された最初の構造である。

2. 非存在の結果:
   著者らは、2つの平方数の差として表されない $UT_2(\mathbb{Z})$ 内の行列 $N$ のいくつかの無限族を特定し、それらに対してジョルダン $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. 差の平方ではない行列に対する存在性:
   決定的なことに、本論文は、ジョルダン $D(N)$-四元組の存在にとって「差の平方」という条件は必ずしも必要ではないことを示している。

   • 命題10: 任意の整数 $m$ に対して $N = \begin{pmatrix} 1 & m \\ 0 & 1 \end{pmatrix}$ に対するジョルダン $D(N)$-四元組を構成する。$m$ が奇数のとき、$N$ は $UT_2(\mathbb{Z})$ において2つの平方数の差ではないが、四元組は存在する。
   • 命題14: $N$ の対角成分が整数の平方（$p=s^2, q=t^2$）である場合、 $N$ が2つの平方数の差として表されるかどうかにかかわらず、あらゆる右上成分 $r$ に対してジョルダン $D(N)$-四元組が存在することを証明している。
   • 命題16: $N_t = \begin{pmatrix} 4 & 2t \\ 0 & 4 \end{pmatrix}$ に対する四元組の族を提供している。これは $t$ が偶数のときのみ平方数の差として表されるが、 $t \neq 0$ のすべての $t$ に対して四元組が存在する。

4. 多項式の適応:
   第5節では、可換な $D(n)$-四元組（具体的には Dujella [6] によるもの）の古典的な多項式公式を、右上成分に関する線形ディオファントス方程式を解くことによって、 $UT_2(\mathbb{Z})$ におけるジョルダン設定へとどのように適応させるかを示している。

意義と主張
本論文は、真に非可換な設定におけるディオファントス $D(N)$-tuple の研究を開始したものであると主張している。その主要な意義は、行列環における差の平方表現と $D(N)$-四元組の存在との関係が、古典的な可換の設定よりも**より微妙（subtle）**であることを明らかにしている点にある。

「差の平方 $\implies$ 四元組の存在」という含意は $UT_2(\mathbb{Z})$ において成立するが、その逆は偽である。本論文は、2つの平方数の差ではないが、依然としてジョルダン $D(N)$-四元組を許容する行列の無限族が存在することを確立している。逆に、2つの平方数の差ではなく、かつそのような四元組が存在しない行列も存在する。

著者らは、 「差の平方の表現と四元組の存在を結びつける『規則』は、$UT_2(\mathbb{Z})$ 内の大きなクラスの行列に対しては保持されるが、厳密な同値関係ではない」と結論付けている。本論文は、特定の合同類（特に対角成分が平方数ではないケース II および III において）を未解決の問題として残しており、これらの残留クラス内では存在と非存在の両方の現象が起こることを指摘している。