Curves of genus two with maps of every degree to a fixed elliptic curve

기술 요약: 고정된 타원 곡선으로의 모든 차수의 사상을 갖는 종수 2 곡선

문제 정의
본 논문은 1828년 르장드르(Legendre)가 제기한 초월적 적분론의 고전적 문제, 즉 복소수체 $\mathbb{C}$ 위에서 모든 정수 $n > 1$에 대하여 $C$에서 $E$로의 차수 $n$인 모포피즘(morphism)이 존재하는 복소수체 $\mathbb{C}$ 위의 종수 2 곡선 $C$와 타원 곡선 $E$가 존재하는가 하는 문제를 다룬다. 타원 곡선으로의 사상을 갖는 종수 2 곡선은 거의 2세기 동안 연구되어 왔으나, 모든 차수의 사도를 허용하는 구체적인 조건은 아직 해결되지 않은 상태였다. 본 논문은 그러한 쌍 $(C, E)$가 존재하는지 조사하고, 동형(isomorphism)을 기준으로 이들을 분류한다.

방법론
증명 전략은 타원 곡선 $E$로의 차수 2인 사도를 갖는 종수 2 곡선 $C$와 두 번째 타원 곡선 $F$ 사이의 구조적 관계에 기초한다. 방법론은 다음과 같은 논리적 단계로 진행된다:

1. 이차 형식으로의 환원:
   Kani와 초기 Picard의 연구 결과를 사용하여, 저자들은 $C$가 $E$로의 차수 2인 사도를 갖는다면, 유일한 타원 곡선 $F$와 동형 사상 $\psi: E[2] \to F[2]$가 존재하여 $C$의 야코비안(Jacobian)이 $\psi$의 그래프에 의한 $E \times F$의 몫(quotient)과 이소제니(isogenous) 관계에 있음을 확립한다.
   $C$에서 $E$로의 사도 집합은 벡터 공간 $\text{Hom}(E, \text{Jac } C)$ 내의 $\mathbb{Z}$-격자(lattice)에 대응한다. 이러한 사도들의 차수는 이 격자 위에서 양의 정치적 이차 형식(positive definite quadratic form)을 정의한다. $C$가 모든 차수 $n > 1$에 대한 사도를 갖기 위해서는, 이 이차 형식이 모든 정수 $n > 1$을 나타내야(represent) 한다.

2. 종사 환(Endomorphism ring)의 제한:
   차수 3과 4인 사도의 존재성을 분석함으로써, 저자들은 $E$의 종사 환에 대한 엄격한 제약 조건을 도출한다. 구체적으로, $E$는 복소 곱(Complex Multiplication, CM)을 가져야 하며, $E$와 $F$ 사이에 특정 작은 차수 $p$를 갖는 순환 이소제니(cyclic isogeny)가 존재해야 함을 증명한다. 이는 무한한 탐색 공간을 가능한 디스크리미넌트(discriminant) 쌍 $(\Delta_E, \Delta_F)$의 유한한 목록으로 축소시킨다.

3. 계산적 열거:
   후보 디스크리민트 쌍들에 대해 저자들은 Magma 소프트웨어를 사용하여 계산적 탐색을 수행한다. 이 과정에서 저자들은:

   • 관련 타원 곡선들의 $j$-불변량을 포함하는 수체를 구성한다.
   • 2-토션 호환 조건을 만족하는 $E$의 종사와 $E$에서 $F$로의 준동형 사도(homomorphism)의 가능한 차수 집합을 결정한다.
   • 결과로서의 종수 2 곡선들에 대한 주기 행렬(period matrices)과 관련 이차 형식을 계산한다.
   • 해당 형식이 모든 정수 2에서 31까지를 나타내는지(모든 정수 $n > 1$을 나타내기 위한 필요 조건) 검증한다.

4. 이차 형식의 검증:
   저자들은 살아남은 이차 형식들이 네 가지 특정한 사원 이차 형식($q_1, q_2, q_3, q_4$) 중 하나와 동형임을 증명한다. 그 후, 이 네 가지 형식이 실제로 모든 정수 1보다 큰 값을 나타낸다는 것을 보여주는 별도의 수론적 증명(명제 2)을 제공한다.

5. 부존재 결과:
   모든 차수의 사도를 갖지 않는 일반적인 곡선의 경우를 다루기 위해, 저자들은 임의의 종수 2 곡선과 연관된 삼원 이차 형식(ternary quadratic form)인 Kani의 "정교화된 험버트 불변량(refined Humbert invariant)"을 활용한다. 저자들은 임의의 그러한 곡선에 대하여, 최소 차수 $n$의 사도가 존재하지 않는 특정 정수 $n$이 존재함을 증상한다(정리 3에서는 59까지, 정리 4에서는 큰 상수 $kN$까지).

주요 결과

• 정리 1 (분류): 동형을 제외하면, $C$가 종수 2 곡선이고 $E$가 타원 곡선이며, 모든 $n > 1$에 대하여 $C$에서 $E$로의 차수 $n$인 사도가 존재하는 쌍 $(C, E)$는 정확히 20개 존재한다.

  • 이 쌍들은 $E$와 $F$의 종사 환에 대한 특정 디스크리민트로 특징지어진다.
  • 매핑 격자에 대한 관련 이차 형식은 정확히 네 개의 동형 클래스($q_1, q_2, q_3, q_4$)에 속한다.
  • 논문의 표 1은 20개 쌍 모두에 대한 명시적인 주기 행렬 파라미터($\tau, \sigma$)와 디스크리민트를 제공한다.
  • 표 2는 이 쌍들에 대응하는 곡선 $C$의 명시적인 다항식 모델 $y^2 = f(x)$를 제공한다.

• 정리 3 (부존재 경계): 임의의 종수 2 곡선 $C$에 대하여, 어떤 타원 곡선으로의 최소 차수 $n$인 사도가 존재하지 않는 정수 $n \in \{2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 19, 31, 59\}$가 존재한다.

• 정리 4 (일반적 부존재): 큰 정수 $N$(1511까지의 많은 소수들의 곱)을 포함하는 더 강력하지만 덜 정밀한 경계가 제공되며, 임의의 종수 2 곡선에 대하여 $n \in \{2, 3, 13, kN\}$인 $n$에 대해 최소 사도가 존재하지 않음을 보여준다.

의의 및 주장
본 논문은 현대적 용어로 구성되었으나 19세기 연구자들인 르장드르, 자코비, 피카르 등이 이해할 수 있었던 문제를 해결한다고 주장한다. 주요 의의는 이러한 곡선들이 존재한다는 사실 자체가 "아마도 놀라운" 일이라는 점에 있다.

본 연구는 이러한 예외적인 곡선들을 완벽하게 분류하여 정확히 20개의 동형 클래스를 식별하였다. 또한, 이 20가지 경우가 모든 차수의 사도가 존재하는 유일한 사례임을 입증한다. 그 외의 모든 종수 2 곡선에 대해, 저자들은 타원 곡선으로의 최소 사도 차수 사이에 "간극(gap)"이 존재하며, 가능한 최대 간극은 59로 제한됨을 입증한다.

또한 본 논문은 Serre-Tate 리프팅을 통해 양의 표수(positive characteristic)에서의 보통 곡선(ordinary curves)에 대해서도 유사한 결과가 성립함을 짧게 언급하였으나, 양의 표수에서의 초특이 곡선(supersingular curves) 상황은 조사되지 않았으며 다른 사례가 나타날 수 있음을 명시적으로 밝힌다.

역사적 배경
서론은 르장드르(1828), 자코비, 코발레프스카야, 푸앵카레, 피카르, 험버트의 기여를 인용하며 약 200년에 걸친 연구 계보를 배치한다. 저자들은 본 문제가 쌍곡 적분을 타원 적분으로 환원하는 고전적 연구의 자연스러운 확장이며, 특히 모든 차수의 변환을 통해 이러한 환원이 가능한지를 묻는 것임을 강조한다.