Covers of curves, Ceresa cycles, and Unlikely intersections

1. 연구 배경 및 문제 제기 (Problem)

• 주요 대상: 체르네 (Ceresa) 사이클 (Ceresa cycle).
  • $g \ge 2$인 매끄러운 사영 곡선 $C$와 그 야코비안 (Jacobian) $J$에 대해 정의됩니다.
  • 정의: $C_{ere}(C) := [i_e(C)] - [-1]^*[i_e(C)] \in CH^1_{hom}(J)$. 여기서 $i_e$는 아벨 - 야코비 사영입니다.
  • 이 사이클은 호모로지적으로 자명 (homologically trivial) 하지만, 대수적 동치 (algebraic equivalence) 하에서 자명하지 않을 수 있습니다.
• 핵심 질문: 체르네 사이클이 유리 동치 (rational equivalence) 하에서 비틀림 (torsion) 인가, 아니면 비비틀림 (nontorsion) 인가?
  • Ceresa(1983) 는 매우 일반적인 복소수 곡선 ($g \ge 3$) 에 대해 체르네 사이클이 비비틀림임을 증명했습니다.
  • 그러나 특정 곡선족 (families) 이나 덮개 (covers) 에서 체르네 사이클이 비틀림이 되는지, 혹은 비비틀림인지를 판별하는 것은 어렵습니다.
  • 특히, 비틀림인 곡선들의 집합 ($M_g^{tors}$) 이 모듈라이 공간 $M_g$에서 어떻게 분포하는지에 대한 이해가 부족합니다.
• 연구 목표:
  • 일반적 곡선 $C$의 덮개 (ramified cover) $\tilde{C}$에 대해, $\tilde{C}$의 체르네 사이클이 비비틀림임을 증명한다.
  • 체르네 사이클이 비비틀림이 되는 곡선들의 집합이 조르키 (Zariski) 닫힌 집합이며, 그 여집합 (비비틀림인 곳) 이 조르키 조밀 (dense) 함을 보이는 구체적인 곡선족을 구성한다.

2. 방법론 (Methodology)

이 논문은 대수적 사이클의 교차 이론 (intersection theory) 과 불확실한 교차 이론 (Unlikely Intersections Theory) 을 결합하여 문제를 해결합니다.

A. 상대적 캐논컬 쉐도우 (Relative Canonical Shadow)

• 핵심 아이디어: 체르네 사이클이 비틀림인지 여부를 직접 판단하는 대신, 덮개 사상 $\phi: \tilde{C} \to C$로부터 유도된 야코비안의 한 점이 비틀림인지 여부를 확인합니다.
• 정의 (Definition 1.1): 덮개 $\phi$에 대한 상대적 캐논컬 쉐도우 $D_\phi$는 다음과 같이 정의됩니다.
  $$D_\phi := d(2g_{C'} - 2)R_\phi - \deg(R_\phi)\phi^*(K_{C'}) + 2(dR_\phi - \phi^*\phi^*R_\phi)$$
  (여기서 $R_\phi$는 분기 약수, $K$는 캐논컬 약수입니다.)
• 핵심 명제 (Proposition 1.3): 만약 $D_\phi$가 무한 차수 (infinite order, 즉 비비틀림) 라면, $\tilde{C}$의 체르네 사이클도 비비틀림입니다.
• 전략: 체르네 사이클의 비비틀림성을 야코비안의 특정 점 ($D_\phi$) 의 비비틀림성 문제로 환원합니다.

B. 불확실한 교차 이론 (Unlikely Intersections)

• Manin-Mumford-Raynaud 정리 (Theorem 2.1): 아벨 다양체의 부분다양체 내의 비틀림 점들은 유한 개의 비틀림 이동 (torsion translates) 에 의해 생성됩니다.
• 상대적 Manin-Mumford 추측 (Theorem 2.2, Gao-Habegger): 아벨 스킴 $A \to S$와 그 부분다양체 $X$에 대해, $X$가 $A$를 생성할 때, $X$와 비틀림 점들의 교집합이 $X$에서 조르키 조밀하려면 $\dim X \ge \dim A$여야 합니다.
  • 즉, $\dim X < \dim A$이면 비틀림 점들의 집합은 $X$ 내에서 조르키 닫힌 집합 (Zariski closed) 이며 양수 코디멘션 (positive codimension) 을 가집니다.
• Masser-Zannier 정리 (Theorem 2.2, Remark 2.3): 타원 곡선 다발에서 두 개의 선형 독립인 단면이 동시에 비틀림이 되는 점은 유한 개입니다.

3. 주요 결과 (Key Results)

논문은 다음과 같은 네 가지 주요 정리를 증명합니다.

Theorem 1: 매우 일반적인 덮개의 비비틀림성

• 내용: $g \ge 2$인 곡선 $C$와 임의의 분기 덮개 (ramified cover) $\tilde{C}$에 대해, Hurwitz 공간 $H_{d,r}(C, \rho)$의 매우 일반적인 점 (very general point) 에서 $\tilde{C}$의 체르네 사이클은 비비틀림입니다.
• 의의: $C$ 자체가 비비틀림인지 여부와 상관없이, 덮개 $\tilde{C}$가 매우 일반적일 때 비비틀림이 됨을 보장합니다.

Theorem 2: 무한히 많은 비비틀림 곡선족의 존재

• 내용: $M_g$의 부분다양체 $Z$ ($\dim Z < g$) 가 주어졌을 때, $Z$ 위에서 정의된 덮개들의 무한히 많은 가족 (families) 을 구성할 수 있으며, 이 가족의 일반적 점은 비비틀림 체르네 사이클을 가집니다.
• 전략: Habegger의 "유계 높이 정리 (bounded height theorem)"와 결합하여, 비틀림 점들의 집합이 조르키 닫힌 집합임을 보입니다.

Theorem 3: 1-매개변수 가족 (Genus 6 곡선)

• 구체적 예시: $y^{12} = (\frac{x+1}{x-1})^3 (\frac{x+t}{x-t})^4$로 정의된 genus 6 곡선족 $C_t$.
• 결과: $t \in \mathbb{C} \setminus \{0, \pm 1\}$인 모든 $t$에 대해 $C_t$의 체르네 사이클은 비비틀림입니다.
• 증명 방법:
  1. 곡선족이 $D_{12}$ 대칭군을 가짐을 이용.
  2. 상대적 캐논컬 쉐도우를 타원 다발 (elliptic fibration) 로 푸시포워딩하여 두 개의 선형 독립인 단면 $D_1(t), D_2(t)$를 생성.
  3. Masser-Zannier 정리를 적용하여 두 단면이 동시에 비틀림이 되는 $t$는 유한 개임을 보임.
  4. Stoll의 결과를 이용해 실제로 그 집합이 비어있음 (empty) 을 확인.

Theorem 4: 2-매개변수 가족 (Genus 3 곡선의 덮개)

• 구체적 예시: $S_3$ 대칭성을 가진 평면 4 차 곡선 (plane quartic) 의 덮개들.
• 결과: 이 가족에서 체르네 사이클이 비비틀림인 곡선들의 집합은 조르키 조밀하며, 비틀림인 곡선들의 집합은 양수 코디멘션을 가진 조르키 닫힌 집합입니다.
• 증명 방법:
  1. $S_3$ 작용을 통해 야코비안을 $E \times E \times E'$로 분해.
  2. 상대적 캐논컬 쉐도우가 생성하는 아벨 부분다양체의 차원이 3 이상임을 증명 (Corollary 5.7).
  3. $\dim X = 2 < \dim(E^2 \times E') = 3$이므로, Gao-Habegger의 상대적 Manin-Mumford 정리를 적용하여 비틀림 locus 가 조르키 닫힌 집합임을 증명.

4. 공헌 및 의의 (Contributions & Significance)

1. 새로운 비비틀림 예시: 기존 Collino-Pirola의 결과로 다루지 못했던 새로운 부분다양체 (subvarieties) 들에서 체르네 사이클이 비비틀림임을 증명했습니다.
2. 비틀림 집합의 구조 규명: 체르네 사이클이 비비틀림인 곡선들의 집합이 조르키 조밀 (Zariski dense) 하고, 반대로 비틀림인 곡선들의 집합이 조르키 닫힌 (Zariski closed) 집합이며 양수 코디멘션을 가진다는 것을 구체적인 예시 (Theorem 3, 4) 를 통해 증명했습니다. 이는 $M_g^{tors}$의 구조를 이해하는 데 중요한 진전입니다.
3. 방법론적 혁신: 체르네 사이클의 비비틀림성을 판별하기 위해 상대적 캐논컬 쉐도우를 도입하고, 이를 불확실한 교차 이론 (Unlikely Intersections) 과 결합하여 적용했습니다. 이는 기존에 Chow motives 나 Hodge 추측을 사용하던 방식 (Laga-Shnidman 등) 과는 다른 접근법입니다.
4. Zilber-Pink 추측과의 연관성: 이 연구는 $M_g$ 내의 특수한 부분다양체 (special subvarieties) 에 대한 Zilber-Pink 스타일의 추측을 검증하는 자연스러운 무대를 제공합니다. 비틀림 locus 가 조르키 닫힌 집합이라는 사실은 해당 가족이 "비특수적 (non-special)"임을 시사합니다.

5. 결론

이 논문은 곡선의 덮개 (covers) 를 통해 생성된 곡선들에서 체르네 사이클이 일반적으로 비비틀림임을 증명하고, 비틀림이 되는 경우의 집합이 매우 작음 (조르키 닫힌, 양수 코디멘션) 을 구체적으로 보여줍니다. 이를 위해 상대적 캐논컬 쉐도우라는 새로운 불변량을 도입하고, Manin-Mumford 및 Masser-Zannier와 같은 불확실한 교차 이론의 강력한 정리를 대수기하학적 문제에 성공적으로 적용했습니다. 이는 Chow 군과 Griffiths 군 연구, 그리고 Beilinson-Bloch 추측의 이해에 중요한 기여를 합니다.