[논문 리뷰] Rank Jumps and Growth of Shafarevich--Tate Groups for Elliptic Curves in $\mathbb{Z}/p\mathbb{Z}$-Extensions

Lea Beneish, Debanjana Kundu외 1명|arXiv (Cornell University)|2021. 07. 19.

Algebraic Geometry and Number Theory참고 문헌 50인용 수 3

한 줄 요약

이 논문은 Q 위의 타원곡선에 대해 Z/pZ-확장에서의 랭크 성장과 세일러 군 행동을 연구하기 위해 아이와사와 이론을 적용한다. λ-불변량과 키다의 공식을 사용하여, p-primary 세일러 군이 자명한 랭크 0 타원곡선의 경우, 유한한 수의 순환 차수-p 확장에서 랭크가 변화하지 않음을 증명한다 — 이는 이러한 타워에서 랭크 안정성에 대한 처음으로 조건 없는 결과를 제공한다. 또한, p-primary 세일러 군이 긍정적인 밀도의 확장에서 비자명해짐을 규명하였으며, 샤파레비치–타이트 군의 성장에 대한 함의를 지닌다.

ABSTRACT

In this paper, we use techniques from Iwasawa theory to study questions about rank jump of elliptic curves in cyclic extensions of prime degree. We also study growth of the $p$-primary Selmer group and the Shafarevich--Tate group in cyclic degree-$p$ extensions and improve upon previously known results in this direction.

연구 동기 및 목표

• 타원곡선의 모르델-바일 랭크가 Q의 Z/pZ-확장에서 언제 변화하지 않는지 이해하기.
• 기저변환 시 p-primary 세일러 군이 여전히 자명한 Z/pZ-확장의 비율을 결정하기.
• 순환 차수-p 확장에서 p-primary 세일러 군과 샤파레비치–타이트 군의 성장을 분석하기.
• 이러한 확장에서 랭크가 증가하지 않거나 샤파레비치–타이트 군이 성장하는 조건을 조사하기.
• 아이와사우 불변량과 수체 타워에서의 모를델-바일 군 안정성 사이의 연결을 설정하기.

제안 방법

• 순환 Zp-확장 위에서 p-primary 세일러 군의 λ-불변량을 분석하기 위해 아이와사와 이론을 사용하기.
• 키다의 공식을 적용하여 확장 간 세일러 군 성장을 연결하기.
• 유일한 특성 수식을 활용하여 랭크 점프 또는 샤파레비치–타이트 군 성장의 기준을 도출하기.
• 프로베누스 밀도 정리와 체보타레프 밀도 정리를 활용하여 원하는 성질을 가진 확장의 비율을 추정하기.
• 높이에 따라 순서된 타원곡선에서 감소 유형이 랭크와 독립적임을 모델링하기 위해 Hyp ind를 가정하기.
• 일부 Z/pZ-확장에서 세일러 군이 비자명해지는 소수에 대한 명시적 하한 밀도를 계산하기.

실험 결과

연구 질문

• RQ1 고정된 랭크 0 타원곡선 E/Q와 자명한 p-primary 세일러 군을 가진 경우, Q의 Z/pZ-확장 중 기저변환 시 p-primary 세일러 군의 자명성이 유지되는 비율은 얼마인가?
• RQ2 소수 p ≠ 2,3에 대해, Q 위의 타원곡선 중 적어도 하나의 Z/pZ-확장에서 기저변환 시 p-primary 세일러 군이 여전히 자명한 경우의 비율은 얼마인가?
• RQ3 몇 개인 Z/pZ-확장에서 p-primary 세일러 군이 비자명해지며, 이러한 확장의 밀도는 얼마인가?
• RQ4 아이와사우 불변량을 사용하여 기저변환 시 Z/pZ-확장에서의 랭크 성장과 샤파레비치–타이트 군 성장 간을 구별할 수 있는가?
• RQ5 특히 CM 및 비-CM 타원곡선에 대해, 모를델-바일 군이 Z/pZ-확장에서 변화하지 않는 조건은 무엇인가?

주요 결과

• p ≥ 5에서 잔여 갈루아 표현이 전사이고 λ- 및 µ-불변량이 자명한 비-CM 타원곡선 E/Q에 대해, 순환 Zp-확장의 모든 계층에서 랭크가 0으로 유지되는 무한한 수의 Z/pZ-확장이 존재한다.
• 유일한 Z/pZ-확장이 Q(μq) 내에 있을 때, q ≡ 1 (mod p)인 소수 q 중에서 p-primary 세일러 군이 비자명해지는 밀도가 최소 p / [(p−1)²(p+1)] 이상이다.
• Q 위의 랭크 0 타원곡선의 양의 비율에 대해, 순환 Zp-확장과 서로소인 Z/pZ-확장이 적어도 하나 존재하며, 그 기저변환 시 p-primary 세일러 군이 여전히 자명하다.
• 샤파레비치–타이트 군은 Z/pZ-확장에서 임의로 크게 성장할 수 있다: 임의의 n에 대해, 순환 차수-p 확장 L/Q가 존재하여 rank_p X(E/L)[p] ≥ n이다.
• 세일러 군이 성장하는 적대적 소수의 비율은 p / [2(p+1)(p−1)²] 이상으로 하한이 존재하며, 이 하한은 p < 50에 대해 수치적으로 검증되었다.
• Hyp ind를 가정할 경우, 소수 q에서의 감소 유형은 타원곡선의 랭크와 독립적이며, 이는 가족 내 세일러 군 행동에 대한 통계적 제어를 가능하게 한다.