Polylogarithmic motivic Chabauty-Kim for $\mathbb{P}^1 \setminus \{ 0,1,\infty \}$: the geometric step via resultants

기술 요약: $\mathbb{P}^1 \setminus \{0, 1, \infty\}$에 대한 다중 로그 모티브적 샤보티-킴(Polylogarithmic Motivic Chabauty–Kim): 결과식(Resultants)을 통한 기하학적 단계

1. 문제 정의
본 논문은 유한한 소수 집합 $S$에 대하여, 세 개의 구멍이 뚫린 사영 직선 $X = \mathbb{P}^1 \setminus \{0, 1, \infty\}$ 상의 $S$-정수 점 $X(\mathbb{Z}_S)$의 집합을 명시적으로 결정하는 문제를 다룬다. 지겔의 정리(Siegel's theorem)에 의해, 이 집합은 유한하며 $a, b \in \mathbb{Z}_S^\times$인 $S$-단위 방정식 $a + b = 1$의 해와 동치이다.

저자들은 킴(Kim)의 비가환 샤보티 프로그램의 정교화된 형태인 다중 로그 모티브적 샤보티-킴 방법에 초점을 맞춘다. 이 방법은 $X(\mathbb{Z}_S)$로 수렴하는 중첩된 집합의 수열을 구성한다:
$$X(\mathbb{Z}_p) \supseteq X(\mathbb{Z}_p)^{PL}_{S,1} \supseteq X(\mathbb{Z}_p)^{PL}_{S,2} \supseteq \dots \supseteq X(\mathbb{Z}_S)$$
여기서 $X(\mathbb{Z}_p)^{PL}_{S,d}$는 특정 $p$-진 단일 다중 로그(single polylogarithms)들의 영점 집합이다.

이 집합들의 계산은 두 단계로 나뉜다:

1. 기하학적 단계(Geometric Step): "모티브적 샤보티-킴 함수"를 정의하는 특정 코사이클 맵 $\theta^\#$의 커널(kernel) 내에서 비자명한 원소를 찾는 과정이다. 이 함수들은 비가환 드 람 다중 로그($\log_u, \text{Li}_n$)와 프로-유니포텐트 혼합 테이트 기본군의 셔플 대수(shuffle algebra) $\mathcal{O}(U_S)$ 상의 계수를 포함하는 가중 링(weighted ring)의 다항식들이다.
2. 산술적 단계(Arithmetic Step): 이 함수들을 $p$-진 주기 맵(period map) 아래에서 평가하여 $X(\mathbb{Z}_S)$를 근사하는 $p$-진 함수를 얻는 과정이다.

기하학적 단계는 $|S|=1$인 경우 깊이(depth) $d \le 4$까지는 심도 있게 해결되었으나, $|S| \ge 2$인 경우에는 기존의 방식으로는 계산적으로 다루기 불가능해진다. 본 논문은 특히 $|S|=2$인 경우를 목표로 하며, 깊이 $d > 4$에서의 명시적인 모티브적 샤보티-킴 함수를 구성하는 것을 목표로 한다.

2. 방법론
저자들은 $\theta^\#$의 거대한 행렬에 대한 커널을 직접 계산하는 방식(이는 $|S|=2$인 경우 슈퍼컴퓨터를 사용하더라도 불가능함을 입증됨)을 피하는 새로운 기하학적 단계 접근법을 제안한다.

• 좌표 모델: 셀머 스킴(Selmer scheme)은 비정형 좌표를 사용하여 아핀(affine) 형태로 모델링된다. 맵 $\theta^\#$는 다음과 같이 층(graded) 대수의 준동형 사상으로 표현된다:
  $$\theta^\#: \mathcal{O}(U_S)[\log_u, \text{Li}_1, \dots, \text{Li}_d] \to \mathcal{O}(U_S)[\Phi]$$
  목표는 특정 차수(degree)에서 이 맵의 커널에 속하는 0이 아닌 원소를 찾는 것이다.

• 상한 알고리즘(Upper Bound Algorithm): 낮은 차수에서 비존재성을 확립하기 위해, 저자들은 계수 링의 무작위 정수 점들에서 $\theta^\#_{d,v}$의 행렬 표현을 평가하는 알고리즘을 구현한다. 명제 5.5에 따라, 만약 일반적인 평가에서 커널 차원이 0이라면, 다항식 링 위의 커널은 자명하다. 이를 통해 저자들은 $|S|=2$일 때 차수 $v < 18$에서 이러한 함수들이 존재하지 않음을 증명할 수 있다.

• 결과식 방법(Resultant Method): 함수가 존재하는 경우를 구성하기 위해, 저자들은 **결과식(resultants)**에 기반한 방법을 도입한다.

  1. $|S|=2$인 경우의 $\theta^\#$를 정의하는 방정식들을 분석한다 (여기서 $\Sigma_{-1} = \{\tau_p, \tau_q\}$).
  2. 소거 과정을 수행하여 변수 $\Phi_{\sigma_{2n-1}}$와 $\Phi_{\tau_{e_1}}$를 $\Phi_{\tau_{e_0}}$ 및 다중 로그의 이미지로 표현한다.
  3. 이 축소 과정을 통해 단일 변수 $X = \Phi_{\tau_p}^{e_0}$에 대한 두 다항식 $P_4(X)$와 $P_6(X)$를 얻는다. 여기서 $P_k(X) = \theta^\#(\nu_k(X))$이다.
  4. 이 다항식들은 공통 근($\Phi_{\tau_p}^{e_0}$)을 공유하므로, 그 결과식(resultant)은 반드시 0이 된다: $\text{Res}(P_4, P_6) = 0$.
  5. $\theta^\#$는 준동형 사상이므로, $\text{Res}(\nu_4, \nu_6)$는 $\theta^\#$의 커널에 속한다. 저자들은 다항식 $\nu_4(X)$와 $\nu_6(X)$를 명시적으로 계산하고 그 결과식을 구한다.

3. 주요 기여 및 결과
본 논문은 $|S| \ge 2$인 경우 깊이 $d > 4$에서 모티브적 샤보티-킴 함수를 명시적으로 구성한 첫 사례를 제공한다.

• 저차수에서의 비존재성: 상한 알고리즘을 사용하여, 저자들은 $|S|=2$일 때 차수가 18 미만인 비자명한 모티브적 샤보티-킴 함수가 존재하지 않음을 증명한다.
• 최적의 깊이와 차수: 비자명한 함수가 존재하는 가장 낮은 깊이가 깊이 6이며, 최소 차수가 18임을 증명한다.
• 명시적 구성: 저자들은 깊이 6, 차수 18인 특정 비자명 함수 $F^{|2|}_{6,18}$을 구성한다.
  • 이 함수는 결과식 $\text{Res}(\nu_4(X), \nu_6(X))$로부터 유도된다.
  • 결과식은 $(\log_u)^6 (\text{Li}_2 - \frac{1}{2}\log_u \text{Li}_1) F^{|2|}_{6,18}$로 인수분해됨을 보인다.
  • 인수인 $(\text{Li}_2 - \frac{1}{2}\log_u \text{Li}_1)$은 $|S|=1$인 경우의 알려진 해에 대응하며, $F^{|2|}_{6,18}$은 $|S|=2$에 특유한 새로운 비자명 성분이다.
• 유일성: 저자들은 차수 18, 깊이 19 미만인 다른 모든 모티브적 샤보티-킴 함수가 $\mathcal{O}(U_S)$의 원소에 의한 $F^{|2|}_{6,18}$의 배수임을 증명한다.
• 놀라운 존재성: 저자들은 $F^{|2|}_{6,18}$의 존재가 단순한 차원 계산(이 깊이/차수에서 도메인 차원 996은 공역 차원 4183보다 작음)에 의해 보장되지 않는다는 점을 강조하며, 이는 $|S|=1$의 경우에서는 보이지 않았던 새로운 현상을 시사한다.

이 연구는 $|S| \ge 2$인 경우 깊이 $d > 4$에서 명시적 샤보티-킴을 다룬 첫 번째 작업으로서의 의의를 갖는다.

• 알고리즘적 진보: 이를 통해 기하학적 단계를 브루트 포스(brute-force) 선형 대수 문제( $|S| \ge 2$인 경우 불가능함)에서 결과식을 이용한 관리 가능한 소거 이론 문제로 전환하였다.
• 이론적 통찰: 이 구성은 이러한 함수들의 계수가 곤차로프 부수대수(Goncharov subalgebra)에 속함이 보장되더라도, 개별 항들은 이 부수대수에 속하지 않을 수 있음을 보여주며, 이는 산술적 단계의 구조에 대한 힌트를 제공한다.
• 일반화: 저자들은 변수를 반복적으로 소거하기 위해 결과식을 취하는 방식으로 $|S| > 2$인 경우로 확장하는 전략을 제시하지만, 일반적인 경우에 있어 비자명성을 검증하는 것이 훨씬 더 어려워질 것임을 언급한다.

이 연구는 기하학적 단계가 더 큰 집합 $S$와 더 높은 깊이에 대해서도 효과적으로 수행될 수 있음을 보여주는 개념 증명(proof of concept) 역할을 하며, 이전에는 접근할 수 없었던 영역에서 $S$-단위 방정식에 대한 샤보티-킴 추측을 검증할 수 있는 필요한 도구를 제공한다.