7차수 체에서 무한히 나타나는 타원곡선 토션군 완전 분류

초록

필립 나이만은 7차수(세프틱) 대수체 위에서 무한히 많은 서로 다른 타원곡선이 가질 수 있는 토션군을 정확히 구한다. 결과는 순환군 (1,n) (1≤n≤30, n≠25,29)와 직교곱군 (2,2n) (1≤n≤10)만이 무한히 자주 나타난다는 것이다.

상세 분석

논문은 먼저 기존의 Φ(d)와 Φ^∞(d) 개념을 정리하고, 차수 d≤6까지 알려진 결과들을 요약한다. 7차수 체에서는 토션군 (m,n)이 존재하려면 m이 1 또는 2이어야 함을 이용한다. 이는 Q(ζ_n)⊂K라는 필수조건에서 직접 도출된다. 저자는 모듈러 곡선 X₁(2,2n)의 최소 밀도 δ와 곤알리티(gon)를 활용해 무한히 많은 K-점이 존재할 조건을 분석한다.

핵심 도구는 다음과 같다.

1. Proposition 2.1 (Derickx‑Sutherland) : δ≤gon≤2δ, 그리고 rk J(X)(ℚ)=0이면 첫 번째 부등호가 등호가 된다.
2. Theorem 2.2 (Derickx‑v v 2024) : 순환군 (1,n)이 Φ^∞(7)에 속하려면 1≤n≤30, n≠25,29임을 보인다.
3. Theorem 2.3 (Derickx‑Sutherland) : J₁(2,2n)(ℚ)의 랭크가 n≤21에서 0임을 제공한다.

이후 저자는 (2,2n) 군에 대해 세 구간으로 나누어 검증한다.

• n≤10: Lemma 3.2에서 Derickx‑Sutherland의 미공개 코드를 이용해 차수 7의 모듈러 유닛을 구성, 따라서 무한히 많은 7차점이 존재함을 보인다. 또한 g(X₁(2,2n))≤6인 경우 Lemma 2.4를 직접 적용한다.
• n≥16: Lemma 3.1에서 곤알리티 하한을 Abramovich의 선형 하한과 PSL₂(ℤ) 지수 계산을 결합해 δ>7임을 증명한다. 특히 n≥25에서는 gon>14, 22≤n≤25에서도 직접 계산으로 gon>14를 얻는다. n=16~21 구간에서는 gon>7와 J₁의 랭크 0을 이용해 Theorem 2.1에 의해 무한히 많은 점이 존재하지 않음을 결론짓는다.
• 11≤n≤15: Lemma 3.3에서는 최신 기술(Derickx‑Terao, 2026)을 사용해 좋은 소수 p에 대한 감소된 곤알리티를 계산한다. p=3,7 등에서 gon_{𝔽_p}≥8임을 확인하고, Castelnuovo‑Severi 부등식을 이용해 n=15까지도 gon≥8임을 보인다. 따라서 이 구간에서도 (2,2n)은 Φ^∞(7)에 포함되지 않는다.

전체적으로 저자는 곤알리티와 최소 밀도 개념을 조합해, 기존에 알려진 순환군 결과와 일관되게 (2,2n) 군이 n≤10에서만 무한히 자주 나타날 수 있음을 엄밀히 증명한다. 또한 최신 컴퓨터 계산(고성능 서버, 48~120분 소요)과 이론적 부등식(Castelnuovo‑Severi) 활용을 통해 증명의 완전성을 확보한다.