Ribet Points, geometric divisibility sequence and order of reductions on semiabelian varieties

기술 요약: 리벳 점(Ribet Points), 기하학적 가분 수열, 그리고 세미아벨리안 다양체 상의 차수 축소

문제 정의
본 논문은 차원이 2 이상인 기약 가환 대수적 군 위의 자리스키 조밀한 점(Zariski-dense points)에 부착된 기하학적 가분 수열의 거동에 관한 오랜 미해결 문제를 다룬다. 구체적으로, 본 연구는 실버만 추측(Silverman's Conjecture) 1.2를 조사한다. 이 추측은 제너릭 파이버 $G_{\mathbb{Q}}$가 차원이 2 이상이고 무니폴런트 부분(unipotent part)이 없는 기약 가환 대수적 군인 군 스킴 $G/\mathbb{Z}$와, 자리스키 조밀한 순환 궤도를 갖는 점 $P \in G(\mathbb{Z})$에 대하여, $D_{nP} = D_P$ (여기서 $D_P$는 분모 이데알)를 만족하는 양의 정수 $n$이 무한히 많이 존재한다는 것이다.

이 추측은 모든 충분히 큰 정수 $n$이 어떤 소수의 정확한 축소 차수(exact order of reduction)로 나타난다는 실버만-천-한 정리(Silverman–Cheon–Hahn Theorem) (정리 1.1)와 논리적 긴장 관계에 있다. 타원 곡수(차원 1)의 경우 이 정리는 완성되어 있으나, 고차원, 특히 세미아벨리안 다양체의 경우 그 거동은 알려져 있지 않았다. 본 논문은 고차원 세미아벨리안 다양체에 대해 실버만-천-한 정리의 아날로그가 성립하는지, 아니면 실버만이 예측한 정확한 재귀(exact recurrence)가 발생하는지를 규명하고자 한다.

방법론
저자는 수체 위에서 기하학적으로 분할되지 않는(geometrically nonsplit) 세미아벨리안 다양체의 기하학적 가분 수열이 초기값으로 무한히 돌아오는 무조건적인 예시들을 구성한다. 방법론은 $\mathbb{G}_m$에 의한 아벨 다양체의 확장 위에 존재하는 **리벳 점(Ribet points)**의 산술적 성질에 의존한다.

1. 기하학적 설정: 논문은 $q \in A^\vee(K)$에 의해 표현되는 확장 $1 \to \mathbb{G}_m \to G_q \to A \to 0$에 의해 정의되는 세미아벨리안 다양체 $G_q$를 고려한다.
2. 리벳 섹션(Ribet Sections): 정규화된 포앵카레 비엑스텐션(Poincaré biextension)을 활용하여, 저자는 호모모피즘 $\beta: A^\vee \to A$와 연관된 리벳 점 $R_\beta(q) \in G_q(K)$를 정의한다. 반대칭 부분 $\delta = \beta - \hat{\beta}$가 결정적인 역할을 한다.
3. 토션 번역(Torsion Translation): 핵심 구성은 고정된 토션 점 $t$에 의해 리벳 점을 번역하는 것이다: $P = R_\beta(q) + \iota(t)$.
4. 산술적 증폭(Arithmetic Amplification): 핵심 기술적 보조정리(보조정리 3.3)는 만약 리벳 점의 차수가 그 투영의 차수에 의해 이차적으로 유계(quadratically bounded)된다면(바일 쌍 생성에 의해 유도된 성질), 토션 점에 의한 번역이 결과적인 점 $P$의 차수에 특정한 가분 조건을 강제함을 보여준다.
5. 국소-전역 논법(Local-to-Global Argument): 유한 집단 증폭과 네론 모델(Néron models) 상의 분모 이데알의 성질을 결합함으로써, 저자는 특정 정수 $N_{\delta, t}$에 대하여 거의 모든 장소(place) $v$에 대해 축소 차수 $d_v(P)$가 $N_{\delta, t}$로 나누어짐을 증명한다.
6. 강하(Descent): $\mathbb{Q}$ 상의 예시를 얻기 위해, 논문은 이차 강하(quadratic descent) 기법(정리 4.3)을 사용한다. 이는 필요한 반대칭 엔도모피즘이 존재하는 이차 확대체 $L$ 위에서 확장을 구성하고, 엔도모피즘에 대한 갈루아 작용을 노름-1 토러스의 부호 캐릭터와 쌍을 맞춤으로써 해당 확장과 점을 $\mathbb{Q}$로 강하하는 과정을 포함한다.

주요 기여 및 결과

• 무조건적 예시: 본 논문은 기하학적 가가분 수열이 초기값으로 무한히 돌아오는 수체 상의 기하학적으로 분할되지 않는 세미아벨리안 다양체에 대한 최초의 무조건적 예시를 제공한다.
• 정리 1.4 (일반적 구성): 양의 차원을 갖는 아벨 다양체 $A$, 호모피즘 $\beta$ ($\delta = \beta - \hat{\beta}$가 이소제니인 경우), 그리고 토션 점 $t$에 대하여, 점 $P = R_\beta(q) + \iota(t)$는 거의 모든 장소에 대해 축소 차수 $d_v(P)$가 $N_{\delta, t}$를 나누는 성질을 갖는다. 결과적으로, 제곱 자유 정수 $Q$가 $N_{\delta, t}$의 근원(radical)을 나누는 경우 $(n, Q) = 1$이면 분모 이데알은 $\mathfrak{d}_{\mathbb{N}}(nP) = \mathfrak{d}_{\mathbb{N}}(P)$를 만족한다.
• 정리 1.5 (유리수체 상의 곡면): 저자는 타원 곡선 $E: y^2 = x^3 - 2$와 노름-원 토러스 $R^1_{L/\mathbb{Q}}\mathbb{G}_m$ ($L=\mathbb{Q}(\sqrt{-3})$)의 확장을 사용하는 기하학적으로 분할되지 않는 세미아벨리안 곡면 $G_{surf}/\mathbb{Q}$와 자리스키 조밀한 순환 궤도를 갖는 점 $P_{surf} \in G_{surf}(\mathbb{Q})$를 명시적으로 구성한다. 이 점에 대해, 최종 축소 디바이저(eventual reduction divisor)는 $U(P_{surf}) = 2$이다. 이는 고정된 정수와 서로소인 모든 $n$에 대하여 $D_{nP_{surf}} = D_{P_{surf}}$임을 의미한다.
• 정리 4.9 (유리수체 상의 삼중체): 타원 곡선 $E: y^2 + y = x^3 + x^2 - 2x$ (conducutor 389)를 사용하여 기하학적으로 분할되지 않는 세미아벨리안 삼중체를 구성한다. 결과적인 점 $P$는 $D_P = 1$과 $U(P) = 2$를 만족한다.
• 차원의 일반성: 본 논문은 분할된 토러스와의 곱을 통해 이 결과를 모든 차원 $d \ge 2$에 대해 $\mathbb{Q}$ 상으로 확장하며, 이 현상이 저차원에 국한되지 않음을 보여준다.
• 밀도 결과: $D_{nP} = D_P$를 만족하는 인덱스 $n$의 집합의 하부 자연 밀도(lower natural density)는 적어도 $1 - 1/N_{\delta, t}$이다. 반대로, 정확한 축소 차수(원시 디바이저 인덱스)의 집합의 상부 밀도는 최대 $1/N_{\delta, t}$이다.

의의 및 주장
본 논문은 세미아벨리안 다양체 범주에서 실버만-천-한 정리의 아날로그가 급격히 실패함을 입증하는 동시에, 실버만 추측 1.2가 성립하는 구체적인 사례들을 구축한다. 구체적으로:

1. 정확한 차수 실현의 실패: 타원 곡선의 경우와 달리, 세미아벨리안 다양체 상의 조밀한 점들 중에는 정확한 축소 차수의 집합이 희소한(밀도 $\le 1/N$) 경우가 존재하며, 이는 많은 정수가 정확한 축소 차수로 나타나지 않음을 의미한다.
2. 특정 사례에 대한 실버만 추측의 검증: 구성된 점들은 실버만 추측 1.2의 조건을 충족하며, 이는 "정확한 귀환" 현상($D_{nP} = D_P$)이 무한히 자주(실제로 양의 밀도를 가진 인덱스 집합에 대해) 발생함을 증명한다. 본 논문은 이 추측이 수체 상에서 전반적으로는 여전히 열려 있으나, 이러한 예시들이 기하학적으로 분할되지 않는 세미아벨리안 다양성에 대한 최초의 무조건적 검증임을 밝힌다.
3. 리벳 점의 역할: 리벳 섹션(특히 그 토션 이동 버전)이 모든 큰 $n$에 대해 원시 디바이저가 존재하지 않도록 하는 장애물로 작용함을 강조한다. 이는 분할된 세미아벨리안 다양체(아벨 다양체와 토러스의 곱)에서 페루카(Perucca)의 정리에 의해 궤도 폐쇄의 성분 수가 유니버설 디바이저를 결정하며, 연결된 조밀한 점의 경우 그것이 1이 된다는 점과 대조된다.
4. 기하학적 비분할성(Geometric Nonsplitting): 이 현상은 본질적으로 기하학적으로 분할되지 않는 확장과 연관되어 있다. 본 논문은 분할된 곱의 경우, 궤도 폐쇄의 성분 수가 거의 모든 축소 차수를 나누는 최대 정수와 같아, 이와 같은 "누락된 차수" 집합을 구성하는 것을 방지한다고 언급한다. 비분할적 확장의 성질과 리벳 점의 특정한 산술적 성질이 결합됨으로써, 궤도가 연결되어 있음에도 불구하고 최종 축소 디바이저 $U(P)$가 1보다 큰 값(예: $U(P)=2$)을 갖게 한다.

논문은 "누락된 데이터"(축소 차수의 유니버설 디바이저)가 확장 클래스, 비엑스텐션 리프트, 그리고 토션 번역에 의해 진정으로 혼합되어 전달되며, 이러한 거동은 순수 아벨 다양체나 분할된 곱에서는 나타나지 않는다고 결론짓는다.