Computational Evidence Against Quadratic-Cubic Factorization for the Second Cuboid Quintic

기술 요약: 제2 직육면체 5차 다항식의 이차-삼차 인수분해에 대한 계산적 증거

문제 정의
본 논문은 정수 형태의 모서리와 모든 면 및 공간 대각선이 정수인 직육면체를 찾는 완벽한 직육면체(Perfect Cuboid) 문제의 특정 대수적 측면을 다룬다. R. A. Sharipari의 프레임워크를 따라, 이 문제는 서로 소인 매개변수 $p \neq q > 0$에 대하여 정수 위에서 차수가 10인 짝수 다항식 $Q_{p,q}(t)$의 기약성을 증명하는 문제로 귀결된다.

저자들은 "이차-삼 cubic"(2+3) 인수분해 케이스에 집중한다. 변수를 정규화함으로써, 차수가 10인 다항식 $Q_{p,q}(t)$는 $s = (p/q)^2$인 하나의 매개변수 단형 5차 다항식 $P_s(x)$의 가족으로 변환된다. 핵심 질문은 임의의 유리수 $s > 0, s \neq 1$에 대하여 $P_s(x)$가 유리수 $\mathbb{Q}$ 위에서 이차 다항식과 삼차 다항식으로 인수분해되는지 여부이다. 양의 해답은 원래 다항식에 짝수 4차 인수가 존재함을 의미하며, 이는 기약성 추측을 저해할 수 있다.

방법론
저자들은 직접적인 대수적 접근법과 계산 수론을 결합하여 사용한다:

1. 대수적 축소:

   • 그들은 일반적인 단형 이차 약수 $D(x) = x^2 + ax + b$ ($a, b \in \mathbb{Q}$)를 고려한다.
   • 유클리드 나눗셈을 사용하여, $P_s(x)$를 $D(x)$로 나누었을 때의 나머지 $R(x) = R_1(s, a, b)x + R_0(s, a, b)$를 계산한다.
   • 핵심적인 구조적 관찰로서, $R_1$과 $R_0$는 모두 매개변수 $b$에 대한 2차식이다.
   • $R_1 = 0$이라는 조건을 부과함으로써, 저자들은 두 번째 조건 $R_0 = 0$이 $b$에 대해 선형이 됨을 보인다. 이를 통해 $b$를 제거하여 $(s, a)$ 평면에서의 단일 다항식 방정식 $F(s, a) = 0$을 유도할 수 있으며, 이를 "장애 곡선(obstruction curve)"이라 부른다.

2. 케이스 분석:

   • 비퇴화 케이스 ($L \neq 0$): 선형 계수 $L(s, a)$가 0이 아닐 때, $b$는 $b = C(s, a)/L(s, a)$로 유일하게 결정된다. 이를 다시 대입하면 장애 다항식 $F(s, a) = 0$을 얻는다.
   • 퇴화 케이스 ($L = C = 0$): 저자들은 선형화가 실패하는 궤적을 별도로 분석한다. 결과식(resultant)을 통해 $L(s, a) = C(s, a) = 0$의 유리수 해는 $(s, a) = (1, 2)$와 $(-1, 2)$뿐임을 증명한다. 문제의 도메인은 $s > 0$ 및 $s \neq 1$을 요구하므로, 이 퇴화된 궤적은 유효한 해를 갖지 않는다.

3. 계산 탐색:

   • 장애 다항식 $F(s, a)$는 기하학적 종수(genus)가 7인 차수 17의 사영 평면 곡선 $C$를 정의한다.
   • 이러한 곡선 위의 모든 유리수 점을 결정하는 것은 어려운 디오판토스 문제이다. 따라서 완전한 이론적 결정(예: Chabauty–Coleman 방법)을 시도하는 대신, 저자들은 컴퓨터 대수 시스템인 Magma를 사용하여 높이 제한 탐색(height-bounded search)을 수행한다.
   • 저자들은 높이 제한 $H = 10^9$ 내에서 곡선 $C$의 사영 폐쇄(projective closure) 위의 유리수 점들을 탐색한다.

주요 결과

• 장애의 구조: 저자들은 다항식 $u, v, m, n, L, C$와 장애 다항식 $F(s, a)$를 명시적으로 유도한다. 그들은 $F(s, a)$가 $s$에 대해 16차, $a$에 대해 10차임을 확인한다.
• 퇴화 궤적: $L=C=0$ 시스템은 $(1, 2)$와 $(-1, 2)$라는 유리수 해만을 갖는 것으로 나타났다. 결과적으로, 관련 도메인 $s \in \mathbb{Q}_{>0}, s \neq 1$에 대해 퇴화 케이스는 공집합이다.
• 유리수 점 탐색: 높이 제한 $H = 10^9$를 적용한 Magma 탐색 결과, 곡선 $C$에서 정확히 8개의 유리수 점이 발견되었다. 이 점들의 아핀(affine) 부분은 $s \in \{-1, 0, 1\}$에 대응한다.
• 인수분해 배제: 결정적으로, $s > 0$ 및 $s \neq 1$인 아핀 유리수 점은 탐색 범위 내에서 발견되지 않았다.

주장 및 의의
본 논문은 확정적인 무조건적 증명이 아닌 강력한 계산적 증거를 주장한다. 연구의 의의는 다음과 같이 구성된다:

• 조건부 배제: 저자들은 다음과 같은 조건부 정리를 설정한다: 발견된 8개의 유리수 점 목록이 완전하다고 가정할 때(추측 1), 임의의 유리수 $s > 0, s \neq 1$에 대하여 5차 다항식 $P_s(x)$는 $\mathbb{Q}$ 위에서 이차 인수를 갖지 않는다.
• 직육면체 문제에 대한 함의: 이 가정 하에, 제2 직육면체 다항식 $Q_{p,q}(t)$는 서로 소인 $p \neq q$에 대하여 $\mathbb{Q}$ 위에서 짝수 4차 인수를 갖지 않는다.
• 주장의 겸허함: 저자들은 무조건적인 정리를 위해서는 $C(\mathbb{Q})$의 완전한 결정이 필요함을 명시적으로 인정한다. 그들은 이 곡선의 기하학적 종수가 7임을 언급하며, 유리수 점의 열거는 단순한 높이 탐색을 넘어 고도의 기술이 필요한 미묘한 문제임을 밝힌다.

요약하자면, 본 논문은 인수분해 문제를 특정 고종수(high-genus) 곡선 위의 유리수 점을 찾는 문제로 환원시키며, 해당 도메인 내에 그러한 점이 존재하지 않음을 시사하는 광범위한 계산 데이터를 제공함으로써 제2 직육면체 다항식의 기약성 추측을 뒷받침한다.