[논문 리뷰] Growth of Odd Torsion Over Imaginary Quadratic Fields of Class Number 1

Irmak Balçık|arXiv (Cornell University)|2021. 11. 22.

Meromorphic and Entire Functions인용 수 1

한 줄 요약

이 논문은 분류수 1인 허수 이차체에서의 순환체를 제외한 이차 확장에서 나타날 수 있는 가능한 홀수 차수 토션 부분군을 분류한다. 모듈라 곡선, 이소지니 이론, 그리고 대칭 색채추론 및 모델-베일 체계 기법을 포함한 계산 수학적 기법을 사용하여, 집합 S = {Q(√−2), Q(√−7), Q(√−11), Q(√−19), Q(√−43), Q(√−67), Q(√−163)}에 속한 비순환체에서, 이차 확장에서 가능한 유일한 홀수 토션 부분군은 n ∈ {1, 3, 5, 7, 9, 11, 15}에 대해 Zn이며, Z3 ⊕ Z3, Z3 ⊕ Z9이며, 후자는 오직 Q(√−2) 또는 Q(√−11)에서만 발생한다.

ABSTRACT

Let $K$ be a non-cylotomic imaginary quadratic field of class number 1 and $E/K$ is an elliptic curve with $E(K)[2]\simeq \mathbb{Z}_1.$ We determine the odd-order torsion groups that can arise as $E(L)_{ ext{tor}}$ where $L$ is a quadratic extension of $K.$

연구 동기 및 목표

• 비순환체이자 분류수 1인 허수 이차체의 이차 확장에서 나타날 수 있는 전부의 홀수 차수 토션 부분군을 규명하는 것.
• 기존의 Q 및 순환체에서의 토션 성장 연구를 분류수 1인 나머지 허수 이차체로 확장하는 것.
• 특히 N = 77일 때 고성능을 보이는 모듈라 곡선 X0(N)의 경우, 고성능 기하학적 기법을 사용해 홀수 토션 성장을 해결하는 것.
• Z3 ⊕ Z9 및 Z11가 오직 Q(√−2)와 Q(√−11)에서만 발생하며, S의 다른 필드에서는 발생하지 않는 이유를 규명하는 것.

제안 방법

• K-유리 순환 N-이소지니의 이론을 활용하여, 이소지니를 모듈라 곡선 X0(N) 위의 유리점과 연결한다.
• 고성능 모듈라 곡선, 특히 성질이 7인 X0(77)에서의 이차점을 계산하기 위해 대칭 색채추론 기법과 모델-베일 체계를 적용한다.
• N = 33, 35에 대해 초타원곡선 X0(N)의 예외적인 이차점을 분류하기 위해 머프드 표현과 아벨 다양체의 유리점 기법을 사용한다.
• K 위에서 X0(N)의 랭크가 양수인 경우 직접 점 수를 나열하는 데 어려움이 있으므로, 분할 다항식 기법을 활용한다.
• 시크세크와 옥만의 성질 3 및 5인 곡선에 대한 결과와, 옥만의 N = 35에 대한 이차 변형 분류를 활용한다.
• 계산 대수기하학, 체 이론, 토션 부분군 분석을 통합하여 불가능한 구성 요소를 제거한다.

실험 결과

연구 질문

• RQ1 비순환체이자 분류수 1인 허수 이차체 K의 이차 확장 L에서 타원곡선 E에 대해 E(L)tor가 될 수 있는 홀수 차수 토션 부분군은 무엇인가?
• RQ2 S에 속한 어떤 K 및 어떤 토션 부분군 G에 대해, E/K에 대해 E(L)tor ≃ G를 만족하는 이차 확장 L가 존재하는가?
• RQ3 왜 Z3 ⊕ Z9 및 Z11는 오직 Q(√−2)와 Q(√−11에서만 발생하며, S의 다른 필드에서는 발생하지 않는가?
• RQ4 순환 N-이소지니는 이차 확장에서 홀수 토션 성장을 어떻게 제약하는가?
• RQ5 X0(77)와 같은 고성능 모듈라 곡선은 어떻게 효과적으로 분석하여 토션 성장에 관련된 전부의 이차점을 규명할 수 있는가?

주요 결과

• S에 속한 K의 이차 확장에서 가능한 유일한 홀수 차수 토션 부분군은 n ∈ {1, 3, 5, 7, 9, 11, 15}에 대해 Zn이며, Z3 ⊕ Z3, Z3 ⊕ Z9이다.
• Z3 ⊕ Z9는 오직 K = Q(√−2) 또는 Q(√−11에서만 발생하며, S의 다른 필드에서는 발생하지 않는다.
• Z11 및 Z15는 S에 속한 어떤 K의 이차 확장에서도 성장하지 않으며, 이는 각각 순환 55-이소지니 및 77-이소지니가 이 필드에서 존재할 수 없기 때문이다.
• Z7는 어떤 이차 확장에서도 성장하지 않으며, 이는 순환 77-이소지니가 S에 속한 K의 이차 확장에서 존재하지 않기 때문이다.
• E(K)tor ≃ Z15일 경우, 이차 변형 Ed(K)tor는 항상 자명하다. 이는 성장이 없음을 확인한다.
• 이 논문은 분류수 1인 모든 허수 이차체에서의 홀수 토션 성장 분류를 완성하였으며, 이전에 분류되지 않은 비순환체의 경우도 포함한다.