[논문 리뷰] On families of n-congruent elliptic curves

Tom Fisher|arXiv (Cornell University)|2011. 05. 09.

Algebraic Geometry and Number Theory참고 문헌 19인용 수 8

한 줄 요약

이 논문은 모듈라 곡선 X(n)의 타원곡선에 대한 변형을 이용하고 불변량 이론을 적용하여, ℚ 위에서 비동형인 타원곡선의 무한한 가족을 구성함으로써, n = 9 및 n = 11일 때 n-동형인 타원곡선을 증명한다. 이는 n = 11에 대해 처음으로 명시적인 예를 제공하며, n = 7 및 n = 9에 대한 기존 결과를 확장한다.

ABSTRACT

We use an invariant-theoretic method to compute certain twists of the modular curves X(n) for n=7,9,11. Searching for rational points on these twists enables us to find non-trivial pairs of n-congruent elliptic curves over Q, i.e. pairs of non-isogenous elliptic curves over Q whose n-torsion subgroups are isomorphic as Galois modules. We also show by giving explicit non-trivial examples over Q(T) that there are infinitely many examples over Q in the cases n=9 and n=11.

연구 동기 및 목표

• ℚ 위에서 비동형인 n-동형 타원곡선의 쌍이 n = 9 및 n = 11일 때 무한히 존재한다는 추측을 증명하는 것.
• 대수기하학과 불변량 이론을 이용하여 이러한 쌍의 명시적 가족을 구성하는 것.
• n = 9 및 n = 11에 대해 모듈라 곡선 X_E(n) 및 X_E^-(n)의 명시적 방정식을 제공하여 유리점 탐색을 가능하게 하는 것.
• n = 7에 대한 기존 결과를 n = 9 및 n = 11로 확장하여 구체적이고 계산 가능한 가족을 제공하는 것.
• n = 11에 대해 이전 연구에서 명시적 예가 부족한 문제를, X(n)의 변형에서 유리점 탐색을 통해 해결하는 것.

제안 방법

• n = 7, 9, 11에 대해 모듈라 곡선 X(n)의 변형을 불변량 이론적 방법으로 계산하며, 특히 n-동형 타원곡선을 매개변수화하는 X_E(n) 및 X_E^-(n)에 집중한다.
• SL_2(ℤ/nℤ)의 X(n) 위에서의 작용에 대한 대수적 공식을 적용하여, 주어진 타원곡선 E에 대응하는 변형의 방정식을 유도한다.
• E[n]에 μ_n가 포함된 곡선 E에 대해 X_E(n) 및 X_E^-(n)에 대한 간소화된 공식을 유도하여 계산을 용이하게 한다.
• 유리수 위에서 최소화 및 단순화를 통해 얻어진 방정식을 변형하여 유리점 탐색을 간소화한다.
• j-좌표 매핑 j: X_E(n) → ℙ^1 및 j: X_E^-(n) → ℙ^1을 사용하여 유리점 탐색을 안내한다.
• n = 9일 때 X_E(9) → X_E(3)의 자연스러운 지ap을 활용하여 가족 구성 과정을 단순화한다.

실험 결과

연구 질문

• RQ1 ℚ 위에서 비동형인 타원곡선의 쌍이 n = 9 및 n = 11일 때 무한히 존재하는가?
• RQ2 n = 9 및 n = 11에 대해 이러한 n-동형 쌍의 명시적 가족을 구성할 수 있는가?
• RQ3 n = 9 및 n = 11에 대해 모듈라 곡선 X_E(n) 및 X_E^-(n)의 대수적 방정식은 무엇인가?
• RQ4 불변량 이론적 방법을 통해 n = 11에 대해 명시적 예가 부족한 문제를 해결할 수 있는가?
• RQ5 X(n)의 변형에서의 유리점은 어떻게 효과적으로 계산하고, 이를 통해 ℚ 위의 n-동형 타원곡선을 생성할 수 있는가?

주요 결과

• 논문은 ℚ 위에서 비동형인 9-동형 타원곡선의 쌍에 대한 명시적 무한 가족을 구성하여, n = 9에 대한 추측을 증명한다.
• n = 11에 대해 논문은 ℚ 위에서 비동형인 11-동형 타원곡선의 무한 가족을 처음으로 명시적으로 구성하여, 이전 연구의 격차를 메운다.
• X_E(9) 및 X_E^-(9), 그리고 X_E(11) 및 X_E^-(11)에 대한 명시적 방정식을 유도하여 유리점의 체계적 탐색을 가능하게 한다.
• 이 방법을 통해 121개의 명시적 9-동형 타원곡선 쌍과 100개의 명시적 11-동형 타원곡선 쌍을 도표 1 및 도표 2에 정리하였다.
• n = 9의 경우 자연스러운 사상 X_E(9) → X_E(3)를 활용하여, 이 사상이 단순한 기하학적 기술을 가지므로 유리점 탐색이 간소화된다.
• n = 11의 경우 j-좌표 매핑 j: X_E(11) → ℙ^1 및 j: X_E^-(11) → ℙ^1이 계산 가능함을 보여주어, 높은 종수임에도 불구하고 효과적인 유리점 탐색이 가능하다.