The Zilber--Pink conjecture for products of curves with highly degenerate reduction

기술 요약: 고도로 퇴화된 환원을 갖는 곡의 곱에 대한 질버-핑크 추측 (The Zilber–Pink Conjecture for Products of Curves with Highly Degenerate Reduction)

문제 정의
본 논문은 대수 곡의 자기 곱(self-products)이라는 구체적인 맥락에서 질버-핑크(Zilber–Pink) 추측을 다룬다. $X$를 $\mathbb{C}$ 위에서 매끄러운 사영 기약 곡(smooth projective irreducible curve)이고, $g$는 그 종수(genus)이며, $J$는 그 자코비안(Jacobian)이라 하자. 이 추측은 $X^n$ 내에서 자코비안 안에서 "선형 종속"인 점들의 집합에 관한 것이다. 구체적으로, $\iota: X \to J$를 기저점 $b$에 대한 아벨-자코비 사상(Abel–Jacobi morphism)이라 할 때, 관심 있는 집합은 다음과 같다:
$$X^n(\mathbb{C})_{\text{rk}<n} := \{(x_1, \dots, x_n) \in X^n(\mathbb{C}) : \text{rk}\langle \iota(x_1), \dots, \iota(x_n) \rangle < n\}.$$
추측 1은 이 집합이 $X^n$에서 자리스키 조밀(Zariski dense)하지 않다고 가정한다. 복소 곱(complex multiplication)이나 타원 곡의 곱이 포함된 아벨 다양체에 대한 일반적인 질버-핑크 추측(추측 2)은 알려져 있으나, $\text{End}(J) = \mathbb{Z}$인 일반적인 곡의 경우는 여전히 미해결 상태로 남아 있다. 저자의 이전 연구(Dogra, 2022)는 샤폴레-콜레망(Chabauty–Coleman) 방법을 사용하여 $\mathbb{Q}_p$ 상에서 $n < g$인 경우를 확립하였으나, 이를 더 넓은 범위의 $n$과 $g$로 확장하기 위해서는 새로운 기술이 필요했다.

방법론
증명 전략은 $p$-진 적분 이론(p-adic integration theory)과 함수적 초월성(functional transcendence) 결과, 특히 명시적 마닌-뭄포드 경계(Manin–Mumford bounds)에 관한 Katz, Rabinoff, Zureick-Brown(KRZB)의 연구를 적응시키는 방식을 결합한다. 접근 방식은 다음 세 가지 주요 단계로 진행된다:

1. $p$-진 기하학으로의 환원: 문제는 $\mathbb{Q}_p$ 상에서 비-자리스키 조밀성을 증명하는 것으로 환원된다. 저자는 콜레망 적분(Coleman integration) 이론을 활용하는데, 이는 $p$-진 아벨 적분 $\int_b^z \omega$를 정의한다. 자코비안에서의 선형 종속 조건은 이러한 적분들의 행렬식(determinant)이 0이 되는 조건으로 변환된다.
2. 고도로 퇴화된 환원 처리: 단순한 나쁜 환원(simple bad reduction)이나 좋은 환원(good reduction)을 가정하는 기존의 샤폴레-콜레망 방법 적용과 달리, 본 논문은 고도로 퇴화된(highly degenerate) 환원을 갖는 곡을 다룬다. 특수 층(special fiber) $X_{\mathbb{F}_p}$는 쌍대 그래프(dual graph) $\Gamma$를 갖는 안정 곡(stable curve)이다. 저자는 $\Gamma$의 정점(vertex) 및 간선(edge)과 관련된 엄격한 근방(strict neighborhood) $U_v^+$를 사용하여 리지드 해석적 공간(rigid analytic space) $X^{\text{an}}$의 가법적 피복(admissible covering)을 구성한다.
3. 리지드 해석적 특징 규명 및 Ax–Schanuel:
   • 저자는 미분 형식의 부분 공간 $W \subseteq H^0(X, \Omega)$를 식별하며, 이 공간에서 적분 $\int \omega$의 제한(restriction)은 리지드 해석적 함수가 된다.
   • 이러한 근방들의 드 람 코호몰로지($H^1_{dR}(U_v^+/\mathbb{Q}_p)$)를 분석함으로써, 저자는 특정 조합론적 조건 하에서 $\dim(W) \geq n$임을 보장한다.
   • 이후 문제는 곡의 로그 맵(logarithm map)의 이미지와 선형 부분 공간 $Z_n(W^*)$ 사이의 교집합을 연구하는 문제로 환원된다.
   • 마지막으로, 아벨 다양체에 대한 Ax–Schanuel 정리가 호출된다. 이 정리는 만약 곡과 선형 부분 공간의 교집합이 양의 차원 성분을 포함한다면, 그 성분은 반드시 진부분군(proper subgroup)의 평행 이동(translate)으로 사상되어야 함을 의미한다. 곡은 그러한 부분군에 포함되지 않으므로, 그 교집합은 자리스키 조밀할 수 없다.

주요 기여 및 결과
주요 결과는 곡 $X$의 환원 유형에 대한 충분 조건을 제공하는 정리 1이다.

• 정리 1: $X/\mathbb{Z}_p$를 매끄러운 일반 층(generic fiber)을 갖는 안정적인 종수 $g$ 곡이라 하자. $\Gamma$를 특수 층 $X_{\mathbb{F}_p}$의 쌍대 그래프라 하자. $g(v)$를 정점 $v$에 대응하는 성분의 종수라 하고, $E(S)$를 정점 집합 $S$에 인접한 간선들의 집합이라 하자. 만약 $n$이 다음을 만족하면:
  $$n \leq \min \left\{ g - \#E(S) - 2 \sum_{v \in S} g(v) : S \subset V(\Gamma), \#S \leq n \right\},$$
  그렇다면 $X$와 $n$에 대해 추측 1이 성립한다.

• 명시적 경계: 본 논문은 고정된 $n$에 대하여, (충분히 큰 종수 $g$와 특정한 퇴화된 환원 그래프를 가진 곡들을 통해) 추측 1을 만족하는 곡들이 무수히 많이 존재함을 보여준다. 예를 들어, $n=2$일 때, 특정 안정 환원 그래프를 가진 종수 $g \geq 7$인 곡들이 이 정리를 만족한다.

• 조건의 정교화: 주석 4는 본 증명이 실제로 약간 더 강력한 결과를 도출한다고 언급한다. 즉, 제한 사상 $H^0(X, \Omega) \to \bigoplus_{v \in S} H^1_{dR}(U_v^+/\mathbb{Q}_p)$의 커널(kernel)의 차원이 크기 $\leq n$인 모든 집합 $S$에 대해 적어도 $n$ 이상이면 충분하다. 이 조건은 특정 구성(예: 특정 쌍대 그래프 구조를 가진 종수 4인 곡)에서 정리 1의 명시적 조합론적 경계보다 더 약한 조건이다.

의의 및 주장
본 논문은 곡의 자기 곱에 대한 질버-핑크 추측의 새로운 사례들을 무수히 많이 입증했다고 주장한다. 그 의의는 마닌-뭄포드 추측(경우 $n=1$)을 위해 사용되었던 Katz-Rabinoff-Zureick-Brown 전략을 더 높은 곱($n > 1$) 및 더 복잡한 환원 유형으로 확장했다는 데 있다.

저자는 본 전략이 마닌-뭄포드 경계에 관한 Katz, Rabinoff, Zureick-Brown의 연구를 따르며, 이를 질버-핑크 설정으로 풍부하게 확장했음을 명시한다. 본 논문은 모든 곡 또는 모든 $n$에 대해 일반적인 추측을 증명한다고 주장하는 것이 아니라, "고도로 퇴화된 환원"을 갖는 곡들의 구체적인 클래스에서 추측이 검증됨을 확립한다. 이 작업은 안정 곡의 변형 이론(deformation theory of stable curves)에 의존하여 이러한 곡들이 수체(특히 $\mathbb{Q}$) 위에서 존재함을 보임으로써, 해당 설정에서 추측의 새로운 사례들을 제공한다.