[논문 리뷰] Statistics for Anticyclotomic Iwasawa Invariants of Elliptic Curves

Jeffrey Hatley, Debanjana Kundu외 1명|arXiv (Cornell University)|2021. 06. 03.

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

한 줄 요약

이 논문은 허수 정수환의 반대순환 ℤp-확장에서 타원곡선의 p-주요 세르머 군에 대한 이와사와 불변량—특히 μ 및 λ 불변량—의 평균 행동을 조사한다. 코hen–Lenstra에 영감을 받은 산술 통계와 히ュ리스틱을 사용하여, λ 불변량의 점 渐진적 공식을 도출하고, 특히 테이트–샤파레비치 군이 유한하고 곡선이 p에서 양호한 일반적 감소를 갖는 조건 하에서 μ 불변량의 소멸에 대한 증거를 제시한다.

ABSTRACT

We study the average behaviour of the Iwasawa invariants for Selmer groups of elliptic curves, considered over anticyclotomic $\mathbb{Z}_p$-extensions in both the definite and indefinite settings. The results in this paper lie at the intersection of arithmetic statistics and Iwasawa theory.

연구 동기 및 목표

• 타원곡선의 세르머 군에 대한 이와사와 μ 및 λ 불변량의 평균 분포를 반대순환 설정에서 이해하는 것.
• 허수 정수환의 반대순환 ℤp-확장에서 세르머 군을 분석함으로써 산술 통계를 이와사와 이론으로 확장하는 것.
• 테이트–샤파레비치 군의 유한성과 이와사와 불변량의 행동 간의 상호작용을 조사하는 것.
• μ 불변량의 소멸과 모든 타원곡선 가족에 걸쳐 λ 불변량의 평균 크기에 대한 히ュ리스틱적이고 조건적인 증거를 제공하는 것.
• 특히 양호한 일반적 감소 조건 하에서, 다양한 타원곡선, 소수, 허수 정수환에서 세르머 군의 통계적 행동을 탐색하는 것.

제안 방법

• 코헨–렌스트라 히ュ리스틱에 영감을 받은 통계적 접근을 채택하여, 타원곡선 가족 전반에 걸친 이와사와 불변량의 분포를 모델링한다.
• Iwasawa 대수 Λ ≅ ℤp[[T]]의 구조를 사용하여 세르머 군의 푸앵카레 쌍대의 특성 이상을 분석한다.
• μ 불변량은 다항식 f_E^(p)(T)에 포함된 p의 거듭제곱으로 정의되며, λ 불변량은 그 차수로 정의된다.
• 특성 이상을 특수 다항식으로 표현하기 위해 p-진 위어스트라스 준비 정리를 적용한다.
• 폴락–웨스턴 등의 결과를 활용하여 조건 (CR)과 p-주요 테이트–샤파레비치 군의 유한성 하에서 μ 불변량의 소멸을 조건적으로 도출한다.
• 표본 데이터와 표(예: 표 2의 #S_p/p²)를 사용하여 λ 불변량의 평균 크기에 대한 히ュ리스틱 예측을 뒷받침한다.

실험 결과

연구 질문

• RQ1 고정된 타원곡선 E와 고정된 허수 정수환 K에 대해, 고정된 양의 홀수 소수 p에 대해, p가 양호한 일반적 감소를 갖는 조건에서, p가 변할 때 p-주요 세르머 군의 이와사와 μ 및 λ 불변량은 평균적으로 어떻게 변화하는가?
• RQ2 고정된 타원곡선 E와 소수 p에 대해, K = ℚ(√−d)가 d > 0에 대해 변할 때, 이 불변량은 어떻게 변화하는가?
• RQ3 고정된 p와 K에 대해, ℚ 위의 모든 타원곡선 E(높이 순으로 순서 정렬)에 대해 λ 불변량의 평균 행동은 어떠한가?
• RQ4 μ 불변량이 소멸할 수 있는 조건는 무엇이며, 이는 p-주요 테이트–샤파레비치 군의 유한성과 어떻게 관련되는가?
• RQ5 반대순환 설정에서 λ 불변량의 예상 평균 크기는 무엇이며, 이는 순환 설정과 어떻게 비교되는가?

주요 결과

• 히ュ리스틱 모델에 기반하여, 반대순환 ℤp-확장에서 타원곡선의 평균 λ 불변량은 점 渐진적으로 (1 + p)(1 + q)ζ(2)⁻¹으로 예측된다.
• p-주요 테이트–샤파레비치 군이 유한하고 조건 (CR)이 성립할 경우, μ 불변량은 양의 비율을 갖는 타원곡선들에서 소멸할 것으로 기대된다.
• 표 2의 수치 데이터는 p ≥ 7 이하에서 정규화된 𝔖_p의 크기가 약 0.02–0.06 수준에서 안정화됨을 보여준다.
• 표 3에서는 p-진 로그가 점의 p-진 단위임을 보여주는 명시적 예를 제시하여 (E, K, p) 삼중의 적합성을 뒷받침한다.
• p와 K가 모두 고정된 경우의 주요 장애 요소는 E의 도함수를 나누는 소수가 K에서 분할되어야 한다는 조건으로, 이로 인해 통계 분석에 적합한 곡선의 집합이 너무 희박해진다.
• 이러한 장애에도 불구하고, 논문은 테이트–샤파레비치 군이 유한할 경우 λ 불변량이 모르델–바일 랭크보다 크거나 같으며, 더 클 수도 있음을 증명함으로써 평균 행동 분석의 필요성을 강조한다.