Torsion groups of elliptic curves that appear infinitely often over septic fields

필립 나즈만 (Filip Najman) 의 논문 "7 차 수체에서 무한히 자주 나타나는 타원 곡선의 비틀림 군"에 대한 상세한 기술적 요약입니다.

1. 문제 제기

이 논문은 타원 곡선의 산술에서 근본적인 문제를 다룹니다: 특정 차수의 수체 위에 정의된 타원 곡선에 대해 가능한 비틀림 부분군 (torsion subgroups) 의 집합을 결정하는 문제입니다.

• 배경: 모르델 - 웨일 (Mordell-Weil) 정리에 따르면, 수체 $K$ 위의 타원 곡선 $E$에 대한 유리점 군 $E(K)$는 유한 생성군입니다. 비틀림 부분군 $E(K)_{\text{tors}}$는 유한하며, $\mathbb{Z}/m\mathbb{Z} \times \mathbb{Z}/n\mathbb{Z}$ ( $(m, n)$ 로 표기) 와 동형입니다.
• 정의:
  • $\Phi(d)$: 차수 $d$인 임의의 수체 위의 타원 곡선에 대해 가능한 모든 비틀림 군의 집합.
  • $\Phi_\infty(d)$: $\Phi(d)$의 부분집합으로, 차수 $d$인 수체 위에서 무한히 많은 비동형 ( $\mathbb{Q}$ 위에서) 타원 곡선의 비틀림 부분군으로 나타나는 군들로 구성됨.
• 간극: $d \le 6$인 차수에 대해서는 $\Phi_\infty(d)$가 알려져 있었으나 (데릭스, 서덜랜드, 전, 김 등이 결정), 논문 집필 당시 7 차 수체 (septic fields) 에 해당하는 $\Phi_\infty(7)$은 결정되지 않았습니다. $d > 4$인 경우의 전체 집합 $\Phi(d)$는 여전히 알려지지 않았지만, 이러한 곡선의 산술적 지형을 이해하는 데 있어 "무한" 부분집합 $\Phi_\infty(d)$를 결정하는 것은 중요한 단계입니다.

2. 방법론

저자는 $\Phi_\infty(7)$을 결정하기 위해 이론적 경계, 모듈러 곡선 기하학, 그리고 계산적 대수기하학을 결합하여 사용합니다.

A. 이론적 틀

1. 순환군 대 곱군:
   • 7 차 수체 (차수 7) 의 경우, 군 구조 $(m, n)$은 제약받습니다. $E(K)$가 $(n, n)$을 포함하려면 $\mathbb{Q}(\zeta_n) \subset K$이어야 하며, $[\mathbb{Q}(\zeta_n):\mathbb{Q}] = \phi(n)$이므로, 차수가 7 인 경우 $m$은 1 또는 2 여야 합니다. 따라서 검색은 순환군 $(1, n)$과 $(2, 2n)$ 형태의 군으로 제한됩니다.
2. 곤랄리티 (Gonality) 와 밀도 차수:
   • 논문은 $K$ 위에서 정의된 곡선 $X$에서 $\mathbb{P}^1$로 가는 사상 중 최소 차수를 의미하는 곤랄리티 ($\text{gon}_K X$) 개념을 활용합니다.
   • 명제 2.1 (데릭스 - 서덜랜드) 은 최소 밀도 차수 $\delta(X/K)$ ( $X$가 무한히 많은 차수 $n$의 점들을 갖는 최소 차수 $n$) 와 곤랄리티 사이의 연결고리를 확립합니다: $\delta(X/K) \le \text{gon}_K X \le 2\delta(X/K)$.
   • 특히, 야코비안 $J(X)(\mathbb{Q})$의 계수가 0 이라면 $\delta(X/\mathbb{Q}) = \text{gon}_{\mathbb{Q}} X$가 됩니다.
   • 결론: 군 $G \in \Phi_\infty(7)$임을 증명하려면 해당 모듈러 곡선 $X$가 7 차의 무한히 많은 점들을 갖는 것을 보여야 합니다. 이는 $\text{gon}_{\mathbb{Q}} X \le 7$일 때 (및 계수 조건이 충족될 때) 보장됩니다. 반대로, $\text{gon}_{\mathbb{Q}} X > 7$이면 해당 군은 무한히 자주 나타나지 않습니다.

B. 계산 전략

증명은 유한체 위의 모듈러 곡선 $X_1(2, 2n)$의 곤랄리티를 계산하여 $\mathbb{Q}$ 위의 곤랄리티를 제한하는 데 크게 의존합니다.

• 하한: 저자는 좋은 감축 (good reduction) 을 갖는 소수 $p$에 대해 $\text{gon}_{\mathbb{Q}} X \ge \text{gon}_{\mathbb{F}_p} X$라는 부등식을 사용합니다.
• 기법:
  • 아브라모비치 (Abramovich) 의 경계: 합동 부분군의 지수 계산을 통해 큰 $n$ ($n \ge 16$) 에 대해 높은 곤랄리티를 확립하는 데 사용됨.
  • 데릭스 - 테라오 [DT26] 알고리즘: 유한체 위의 곡선에 대한 클래스 군과 곤랄리티를 계산하는 새로운 기법들이 특정 경우 ($11 \le n \le 15$) 에 대해 정확하거나 하한의 곤랄리티를 계산하는 데 활용됨.
  • 카스텔누오보 - 세베리 (Castelnuovo-Severi) 부등식: $n=15$인 경우, $X_1(2, 30)$과 $X_1(30)$ 사이의 사상 기하학을 분석하여 무거운 계산을 피하기 위해 특별히 적용됨.

3. 주요 기여 및 결과

주요 결과는 $\Phi_\infty(7)$을 완전히 특징짓는 정리 1.1입니다:
$$\Phi_\infty(7) = \{(1, n) : 1 \le n \le 30, n \notin \{25, 29\}\} \cup \{(2, 2n) : 1 \le n \le 10\}$$

증명은 $n$의 서로 다른 범위를 다루는 세 개의 보조정리로 나뉩니다:

1. 순환군 $(1, n)$:

   • 정리 2.2 (데릭스 - 반 후이) 에 의존하여, 저자는 순환군 $(1, n)$이 $1 \le n \le 30$이고 $n \neq 25, 29$일 때에만 $\Phi_\infty(7)$에 속한다고 인용합니다. 이 결과의 일부는 이전에 확립된 바 있습니다.

2. 곱군 $(2, 2n)$ ($n \ge 16$):

   • 보조정리 3.1은 $n \ge 16$일 때, 모듈러 곡선 $X_1(2, 2n)$의 $\mathbb{Q}$ 위에서의 곤랄리티가 엄격하게 7 보다 크다는 것을 증명합니다.
   • 이는 아브라모비치의 곤랄리티 하한과 합동 부분군 $\Gamma_1(2, 2n)$의 지수를 결합하여 달성됩니다. $\text{gon}_{\mathbb{Q}} X > 7$이므로, 이러한 군들은 7 차 수체 위에서 무한히 자주 나타날 수 없습니다.

3. 곱군 $(2, 2n)$ ($n \le 10$):

   • 보조정리 3.2는 이러한 군들이 실제로 무한히 자주 나타남을 확인합니다.
   • $n \le 6$인 경우, 이는 종수 고려 ($g \le 1$) 와 힐베르트의 기약성 정리에 따릅니다.
   • $7 \le n \le 10$인 경우, 마르텐 데릭스 (Maarten Derickx) 의 미공개 코드가 7 차 모듈러 단위를 명시적으로 구성하여 7 차 점의 무한한 존재를 증명함으로써 결과가 도출됩니다.

4. 중요한 간극: $11 \le n \le 15$:

   • 보조정리 3.3은 이 논문의 새로운 기여입니다. $n \in \{11, 12, 13, 14, 15\}$에 대해 $(2, 2n) \notin \Phi_\infty(7)$임을 증명합니다.
   • 저자는 작은 유한체 ($\mathbb{F}_3, \mathbb{F}_7$) 위에서 $X_1(2, 2n)$의 곤랄리티를 계산합니다.
   • 결과:
     • $n=11, 12$: $\text{gon}_{\mathbb{F}_p} \ge 8$.
     • $n=13, 14$: $\text{gon}_{\mathbb{F}_p} = 12$.
     • $n=15$: $\text{gon}_{\mathbb{F}_7} \ge 8$ (카스텔누오보 - 세베리 부등식을 통해 검증됨).
   • 이러한 $n$에 대해 야코비안 $J_1(2, 2n)(\mathbb{Q})$의 계수가 0 이므로 (정리 2.3), 조건 $\text{gon}_{\mathbb{Q}} X > 7$이 성립하여 이러한 군들이 $\Phi_\infty(7)$에서 제외됩니다.

4. 의의

• 완결성: 이 논문은 수체 위의 타원 곡선 비틀림 군 분류에서 주요한 간극을 메웠습니다. $\Phi_\infty(7)$에 대한 첫 번째 완전한 설명을 제공합니다.
• 방법론적 발전: 논문은 고전적 대수기하학 (곤랄리티 경계, 카스텔누오보 - 세베리) 과 현대적 계산적 정수론 (유한체 곤랄리티를 위한 데릭스 - 테라오 알고리즘) 을 결합하는 힘을 보여줍니다.
• 미래 연구의 토대: $\Phi(7)$ (무한히 자주 나타나는 것을 포함하여 가능한 모든 비틀림 군의 집합) 은 여전히 알려지지 않았지만, $\Phi_\infty(7)$을 결정하는 것은 전체 집합을 다루기 위한 전제 조건입니다. 여기서 사용된 방법, 특히 특정 모듈러 곡선에 대한 곤랄리티의 계산적 검증은 고차 수체 분석을 위한 선례를 설정합니다.
• 추측 검증: 결과는 비틀림 군의 "무한" 행동이 7 차까지 예측 가능한 패턴으로 안정화됨을 확인시켜 주며, 순환군의 경우 $n=25, 29$와 곱군의 경우 $n \ge 11$과 같은 특정 제외 사항은 근본적인 모듈러 곡선의 기하학적 복잡성 (곤랄리티) 에 의해 주도됨을 보여줍니다.

요약하자면, 나즈만은 7 차 수체 위에서 무한히 자주 나타나는 유일한 비틀림 군이 30 차까지의 순환군 (25 와 29 제외) 과 $n \le 10$인 $(2, 2n)$ 형태의 곱군임을 성공적으로 결정했습니다.