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

기술 요약: 상삼각 $2 \times 2$ 정수 행렬에서의 $D(N)$-사중항(Quadruples)

문제 정의
본 논문은 디오판토스 $D(n)$-$m$-튜플의 개념을 비가환 환(noncommutative ring)인 $M_2(\mathbb{Z})$의 $2 \times 2$ 정수 행렬로 확장하는 문제를 다룬다. 가환 환에서 $D(n)$-$m$-튜플이란 모든 $i < j$에 대하여 $a_i a_j + n$이 완전제곱수가 되는 서로 다른 0이 아닌 원소들의 집합 $\{a_1, \dots, a_m\}$을 의미한다. 가환 환에서의 고전적인 결과는 $D(n)$-사중항의 존재성과 $n$이 두 제곱수의 차($n = x^2 - y^2$)로 표현될 수 있는 성질 사이의 강력한 연결 고리를 확립하였다.

저자들은 이 관계가 행렬 환이라는 비가환 설정에서도 유지되는지 조사한다. 구체적으로, 저자들은 상삼각 정수 행렬의 환인 $UT_2(\mathbb{Z})$에 초점을 맞추며, 두 가지 행렬 $D(N)$-튜플 정의를 탐구한다:

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$를 정의함.

주된 연구 대상은 $X_{ij}$ 역시 $UT_2(\mathbb{Z})$에 속해야 하는 $UT_2(\mathbb{Z})$ 내의 조르단 $D(N)$-튜플이다. 연구는 퇴화된(degenerate) 튜플(쌍별 조르단 곱이 0인 경우)과 비퇴화된(non-degenerate) 튜플을 구분한다.

방법론
저자들은 구조적 특징 규명, 명시적 구성, 그리고 모듈러 장애(modular obstruction) 기법을 결합하여 사용한다:

• 구조적 특징 규명: 두 제곱수의 차로 표현 가능한 $UT_2(\mathbb{Z})$ 내의 행렬들에 대한 기존의 특징 규명(참조 [10])을 활용한다. 이는 16에 대한 합동 조건에 의존한다.
• 확장 공식: 삼중항(triples)을 위한 고전적 확장 공식을 적응시킨다. 만약 $\{A, B\}$가 $A \circ B + N = R^2$를 만족하는 조르단 $D(N)$-쌍이라면, 저자들은 $\{A, B, A+B \pm 2R\}$을 통해 삼중항을 구성한다. 이는 조르단 곱의 선형성에 기초한다.
• 프로토타입 구성 (정리 5): $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$에 대하여, 저자들은 대각 성분에 대한 스칼라 조건($a_i a_j + p = \square$ 및 $d_i d_j + q = \square$)과 우상단 성분의 정수 조건을 분석한다. 저자들은 패리티(parity) 논증과 $\mathbb{Z}_2^2$ 내의 벡터에 관한 특정 보조정리(보조정리 7)를 사용하여 특정 합동류에 대한 부존재를 증명한다.
• 명시적 구성: 부존재를 증명할 수 없는 특정 합동류에 대해서는, 주로 스케일링 성질(보조정리 2)을 활용하거나 고전적인 다항식 가족을 적응시켜(섹션 5) 사중항의 명시적인 다항식 또는 정수 구성을 제공한다.

주요 기여 및 결과

1. 차의 제곱 행렬에 대한 존재성:
   본 논문은 $UT_2(\mathbb{Z})$에서 두 제곱수의 차로 표현될 수 있는 모든 행렬 $N \in UT_2(\mathbb{Z})$가 무수히 많은 조르단 $D(N)$-사중항을 가짐을 증명한다 (정리 5 및 따름정리 6). 이는 다음의 함의를 확립한다:
   $$N = K^2 - A^2 \implies \text{조르단 } D(N)\text{-사중항의 존재}$$
   이는 두 제곱수 표현의 구조적 특징 규명과 명시적 구성을 결합하여 이 함의를 입증한 최초의 구조이다.

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. 두 제곱수의 차가 아닌 행렬에 대한 존재성:
   결정적으로, 본 논문은 $UT_2(\mathbb{Z})$에서 조르단 $D(N)$-사중항의 존재성을 위한 조건이 "두 제곱수의 차" 조건이 필수적이지 않음을 보여준다.

   • 명제 10: 임의의 정수 $m$에 대하여 $N = \begin{pmatrix} 1 & m \\ 0 & 1 \end{pmatrix}$인 조르단 $D(N)$-사중항을 구성한다. $m$이 홀수이면 $N$은 $UT_2(\mathbb{Z})$에서 두 제곱수의 차가 아니지만, 사중항은 존재한다.
   • 명제 14: 대각 성분이 정수 제곱수($p=s^2, q=t^2$)인 경우, $N$이 두 제곱수의 차인지 여부와 상관없이 모든 우상단 성분 $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)$-튜플 연구를 개시한다고 주장한다. 본 논문의 주요 의의는 $UT_2(\mathbb{Z})$에서 두 제곱수 표현성과 $D(N)$-사중항의 존재성 사이의 관계가 고전적인 가환 설정보다 더 미묘하다는 것을 밝힌 데 있다.

"두 제곱수의 차 $\implies$ 사중항의 존재"라는 함의는 $UT_2(\mathbb{Z})$에서 성립하지만, 그 역은 성립하지 않는다. 저자들은 두 제곱수의 차가 아님에도 불구하고 조르단 $D(N)$-사중항을 갖는 무한한 행렬 가족이 존재함을 입증하였다. 반대로, 두 제곱수의 차가 아니면서 조르단 $D(N)$-사중항이 존재하지 않는 행렬들도 존재한다.

저자들은 "두 제곱수의 차 표현성이 사중항 존재성에 연결된다"는 규칙이 $UT_2(\mathbb{Z})$ 내의 넓은 범위의 행렬 클래스에 적용되지만, 이것이 엄격한 동치 관계는 아니라고 결론짓는다. 논문은 (대각 성분이 제곱수가 아닌 경우의) 사례 II와 III와 같은 특정 합동류를 향후 과제로 남겨두었으며, 해당 잔여 클래스 내에서 존재성과 부존재 현상이 모두 나타날 수 있음을 언급하였다.