Torsion of $\mathbb Q$-curves over number fields of small odd prime degree

이 논문은 **수체 (number field) 상의 Q-곡선 (Q-curves) 의 비틀림 부분군 (torsion subgroups)**을 소수 차수 (prime degree) 3, 5, 7 인 수체에서 완전히 분류하는 것을 목적으로 합니다. 저자 Ivan Novak 은 이 작업을 통해 소수 차수 수체에서의 Q-곡선 비틀림 분류를 완성하였으며, 특히 이러한 곡선들의 비틀림 군이 유리수 j-불변량 (rational j-invariant) 을 가진 타원곡선에서 이미 나타나는 군들과 일치함을 증명했습니다.

다음은 논문의 상세한 기술적 요약입니다.

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

• 문제 정의: 주어진 수체 $K$ 위에서 정의된 타원곡선 $E$의 유리점 군 $E(K)$는 모르델 - 웨일 (Mordell-Weil) 정리에 따라 유한 아벨 군인 비틀림 부분군 $T$와 자유 아벨 군 $\mathbb{Z}^r$의 곱으로 표현됩니다. 본 논문은 $K$가 소수 차수 (3, 5, 7) 인 수체일 때, Q-곡선이 가질 수 있는 모든 비틀림 부분군 $T$를 결정하는 것입니다.
• Q-곡선 (Q-curve): 수체 $K$ 위의 타원곡선 $E$가 모든 $G_{\mathbb{Q}}$-켤레 (conjugates) 와 $K$-이소겐 (isogenous) 관계에 있을 때 이를 Q-곡선이라고 합니다.
• 기존 연구:
  • 2 차 수체 (quadratic fields) 의 경우: Le Fourn 과 Najman 에 의해 분류가 완료됨.
  • 7 보다 큰 소수 차수 ($p > 7$) 의 경우: Cremona 와 Najman 에 의해 분류가 완료됨 (유리수 j-불변량을 가진 곡선과 동일한 리스트).
  • 미해결 문제: 3, 5, 7 차 소수 차수 수체에서의 Q-곡선 비틀림 분류가 필요했습니다.
• 핵심 가정: Cremona 와 Najman 의 결과에 따르면, 홀수 차수 수체 $K$ 위의 비 CM(non-CM) Q-곡선은 $K$-이소겐을 통해 유리수 j-불변량을 가진 타원곡선과 연결됩니다. 따라서 본 논문은 유리수 j-불변량을 가진 곡선의 갈루아 표현 (Galois representation) 에 대한 기존 결과를 활용하여 문제를 해결합니다.

2. 방법론 (Methodology)

논문의 증명 전략은 **갈루아 표현의 이미지 (image of Galois representations)**와 **이소겐 그래프 (isogeny graphs)**를 분석하는 데 기반합니다.

• 갈루아 표현의 변환:
  • Q-곡선 $E$가 유리수 j-불변량을 가진 곡선 $E'$과 $K$-이소겐 관계에 있을 때, $E$의 비틀림 점 (torsion point) 이 $E'$의 갈루아 표현 이미지에 어떤 제약을 가하는지 분석합니다.
  • Lemma 2.2 및 Corollary 2.4: $E$가 $K$ 위에서 정의된 소수 차수 $p$의 점을 가진다면, $E'$의 2 차 꼬임 (quadratic twist) $E''$은 $K$ 위에서 정의된 $p$-이소겐을 가지며, $E''$의 mod $p$ 갈루아 표현의 모든 원소는 1 또는 -1 을 고유값 (eigenvalue) 으로 가져야 합니다.
  • Proposition 2.5 및 Corollary 2.6: 이소겐을 적용할 때 갈루아 표현의 행렬 형태가 어떻게 변형되는지 (상삼각 행렬 등) 를 구체화하여, 특정 비틀림 군이 존재할 경우 갈루아 이미지가 가질 수 있는 구조를 제한합니다.
• 이소겐 그래프 분석:
  • 소수 $p$에 대한 $p$-주성분 (p-primary component) 이소겐 그래프가 트리 (tree) 또는 선형 그래프 (line graph) 임을 이용합니다.
  • Cremona 와 Najman 의 결과 ([16]) 를 인용하여, 특정 차수 (예: 16, 25, 49 등) 의 이소겐이 소수 차수 수체에서 정의될 수 있는지 여부를 판별합니다.
• 컴퓨터 대수 시스템 활용:
  • Magma 를 사용하여 특정 j-불변량을 가진 타원곡선들의 mod $N$ 갈루아 표현 이미지를 계산하고, 해당 부분군들이 특정 조건 (고유값 조건 등) 을 만족하는지 직접 검증했습니다.

3. 주요 결과 (Key Results)

저자는 3, 5, 7 차 수체에서 Q-곡선이 가질 수 있는 비틀림 군을 완전히 결정했습니다.

3.1 3 차 수체 (Cubic Fields)

• 결과 (Theorem 1.9): 3 차 수체 위의 Q-곡선의 비틀림 부분군은 유리수 j-불변량을 가진 타원곡선의 3 차 확장에서의 비틀림 군과 정확히 일치합니다.
• 배제된 군: 3 차 수체에서 일반 타원곡선은 가질 수 있지만, Q-곡선은 가질 수 없는 6 가지 군을 배제했습니다:
  • $\mathbb{Z}/11\mathbb{Z}, \mathbb{Z}/15\mathbb{Z}, \mathbb{Z}/16\mathbb{Z}$
  • $\mathbb{Z}/2\mathbb{Z} \oplus \mathbb{Z}/10\mathbb{Z}, \mathbb{Z}/2\mathbb{Z} \oplus \mathbb{Z}/12\mathbb{Z}, \mathbb{Z}/20\mathbb{Z}$
• 증명 전략: 예를 들어 $\mathbb{Z}/11\mathbb{Z}$의 경우, 유리수 j-불변량을 가진 곡선의 mod 11 갈루아 표현 이미지가 3 차 수체에서 조건 (고유값 1 또는 -1) 을 만족하는 부분군을 가질 수 없음을 Magma 계산을 통해 증명했습니다.

3.2 5 차 및 7 차 수체 (Quintic and Septic Fields)

• 결과 (Theorem 1.10, 1.11):
  • 5 차 수체: 유리수 j-불변량을 가진 곡선의 5 차 확장에서의 비틀림 군 (17 개) 과 일치.
  • 7 차 수체: 유리수 j-불변량을 가진 곡선의 7 차 확장에서의 비틀림 군 (15 개, Mazur 의 리스트와 동일) 과 일치.
• 주요 배제 대상:
  • 소수 차수 점: 5 차/7 차 수체에서 16, 27, 125, 25, 49 차 점의 존재를 배제 (Lemma 4.2, 4.4, 4.5).
  • 합성수 차수 점: 14, 15, 18, 20, 21, 24, 35, 50 차 점 및 독립적인 2 차와 10/12 차 점 등을 배제 (Lemma 4.8 - 4.12).
  • 논리: $p$ (5 또는 7) 가 $GL_2(\mathbb{Z}/\ell\mathbb{Z})$의 차수를 나누지 않는 경우, 이소겐이 유리수 위에서 정의되어야 하므로 모순이 발생함을 보였습니다.

4. 결론 및 의의 (Conclusion and Significance)

• 분류의 완성 (Corollary 1.13): 소수 차수 $p$의 수체에서 Q-곡선의 비틀림 부분군 $T$는 반드시 유리수 j-불변량을 가진 타원곡선의 $p$ 차 수체에서의 비틀림 부분군으로 나타납니다.
  • 즉, $p=2$를 제외한 모든 소수 차수에서 Q-곡선은 "새로운" 비틀림 군을 생성하지 않습니다.
• 일반화된 정리 (Theorem 1.14): $p$가 소수일 때, 유리수 j-불변량을 가진 곡선과 Q-이소겐 관계에 있는 타원곡선의 비틀림 군은 유리수 j-불변량을 가진 곡선 자체의 비틀림 군과 동일합니다. (단, $p=2$인 경우 Q-곡선 정의와 이소겐 관계 정의에 따라 예외가 발생할 수 있으나, 이소겐 관계로 확장하면 성립함).
• 학문적 의의:
  1. Q-곡선 이론의 완성: 소수 차수 수체 전체에 대한 Q-곡선 비틀림 분류가 완료되었습니다.
  2. 갈루아 표현의 적용: 이소겐을 통한 갈루아 표현 이미지의 변화를 체계적으로 분석하여, 비틀림 점의 존재가 갈루아 군의 구조에 미치는 제약을 정량화했습니다.
  3. 계산적 검증: Magma 를 활용한 구체적인 계산을 통해 이론적 추론을 검증함으로써, 수론적 분류 문제에서 계산적 방법론의 중요성을 보여주었습니다.

이 논문은 타원곡선의 비틀림 현상에 대한 이해를 심화시키고, Q-곡선이 유리수 체의 성질을 얼마나 잘 반영하는지에 대한 중요한 통찰을 제공합니다.