On the Identification of Elliptic Curves That Admit Infinitely Many Twists Satisfying the Birch-Swinnerton-Dyer Conjecture

기술 요약: 무한히 많은 BSD 만족 트위스트를 갖는 타원 곡선의 식별

문제 정의
버치와 스위너튼-다이어(Birch and Swinnerton-Dyer, BSD) 추측은 수론의 핵심적인 미해결 문제 중 하나로 남아 있다. 평균적인 계수(rank)에 관한 상당한 확률적 진전이 이루어졌으나(최소 66%가 계수 부분의 추측을 만족한다는 결과 등), 이러한 결과들은 전체 추측이 성립하는 구체적인 곡원을 식별하지는 못한다. 역사적으로, 전체 BSD 추측을 만족하는 명시적인 무한 가족(infinite families)은 주로 복소 곱셈(Complex Multiplication, CM)을 갖는 곡선들에 대해서만 알려져 왔다. 비-CM 곡선의 경우, Burungale–Skinner–Tian–Wan의 연구를 통해 비-CM 타원 곡선의 이차 트위스트(quadratic twists)가 전체 BSD 추측을 만족하는 무한 가족이 존재함이 입증되며 지평이 확장되었다. 그러나 그들의 연구는 도수(conductor) 150까지의 제한된 명시적 목록만을 제공했을 뿐, 이러한 곡선을 식별하기 위해 필요한 국소 조건(local conditions)을 검증하는 데 필요한 구체적인 알고리즘 절차나 구현 방식을 상세히 다루지 않았다.

방법론
저자들은 이론적 존재성을 실행 가능한 알고리즘으로 변환함으로써 이론과 구체적 계산 사이의 간극을 메운다. 방법론은 두 가지 주요 단계로 진행된다:

1. 알고리즘 필터링 (알고리즘 1): 저자들은 계수가 0인 이차 트위스트에 대해 $p$-부분 BSD 추측이 성립하기 위해 요구되는 가설들을 인코딩한다.

   • 홀수 소수 ($p > 2$): 저자들은 $p$-부분을 검증하기 위해 Skinner–Urban, Zhang, 그리고 Burungale–Skinner–Tian–Wan의 결과를 활용한다. 이는 갈루아 표현 $\rho_{E,p}$에 대한 조건, 특정 분기되는 소수의 존재성, 그리고 초특이 소수(supersingular primes)에서의 곡선의 거동을 확인하는 과정을 포함한다.
   • 소수 2: 저자들은 [5]와 [22]의 결과들을 종합하여 2-부분 BSD 추측을 위한 조건을 확립한다. 이는 계수가 0임을 확인하고, 마닌 상수(Manin constant)를 체크하며, 2-비틀림 구조(2-torsion structure) $E(\mathbb{Q})[2]$ 및 판별식 부호를 분석하는 것을 요구한다. 구체적인 조건들은 $E(\mathbb{Q})[2] \cong \mathbb{Z}/2\mathbb{Z}$인 경우와 $E(\mathbb{Q})[2] = 0$인 경우를 구분하여 확인된다.
   • 구현: 이러한 검증 과정은 SageMath로 구현되었으며, 도수 $N < 500,000$인 모든 LMFDB 데이터베이스의 타원 곡선에 적용되었다.

2. 트위스트 검증 (알고알리즘 2): 초기 필터를 통과한 곡선들에 대해, 저자들은 전체 BSD 추측을 만족하는 특정 이차 트위스트 $E_d$ (범위 $[-1000, 1000]$ 내)를 식별하기 위한 두 번째 알고리즘을 구현한다. 여기에는 제곱 자유성(square-freeness), 4 또는 8에 대한 합동 조건, 특정 대수적 수체에서의 소수의 분할(splitting) 거동과 같은 트위스트 매개변수 $d$에 대한 국소 조건을 검증하는 과정이 포함된다.

주요 기여

• 명시적 알고리즘 실현: 저자들의 주요 기여는 Burungale–Skinner–Tian–Wan의 비구성적 존재 증명을 명시적이고 실행 가능한 알고리즘(알고리즘 1 및 2)으로 변환한 것이다.
• 광범위한 데이터베이스 식별: 이 알고리즘들을 LMFDB에 적용하여, 저자들은 도수 $N < 500,000$인 타원 곡선 중 강한 BSD 추측을 무조건적으로 만족하는 무한한 이차 트위스트를 갖는 36,687개의 곡선을 식별하였다. 이는 해당 범위 내 모든 곡선의 약 0.1%에 해당한다.
• 기존 목록의 정교화: 저자들은 [4, 예시 1]에서 제시된 도수 150까지의 곡선 목록을 명확히 하고 정교화한다. 저자들은 이전에 목록에 포함되었던 네 개의 곡선(62a1, 66b1, 105a1, 141c1)이 특정 2-비틀림 구조에 대한 적용 가능한 정리의 부재 및 [5]의 결과 적용 불가능성(L-값의 소멸 차수 때문)으로 인해 현재는 무조건적 기준을 만족하지 못함을 입증한다.
• 샤파레비치-테이트 군(Shafarevich–Tate group)의 통계적 분석: 새롭게 식별된 데이터셋(즉, $|\text{Ш}(E_d)|$가 무조건적으로 알려진 데이터셋)을 사용하여, 저자들은 $\log(|\text{Ш}(E_d)|/\sqrt{|d|})$의 가우시안 분포에 관한 Radziwiłł와 Soundararajan의 추측을 테스트한다.

결과

• 데이터셋 생성: 저자들은 전체 BSD 추측이 무조건적으로 성립하는 타원 곡선과 그 특정 트위스트들의 데이터셋을 생성하였다. 이 데이터셋은 독특하게도, BSD 추측을 가정하지 않고도 샤파레비치-테이트 군의 차수가 유도되었다는 점에서 차별성을 갖는다 (해당 곡가족들에 대해서는 추측이 증명되었기 때문이다).
• Radziwiłł–Soundararajan 검증 (일반적인 경우): 루트 넘버(root number) +1을 갖는 대표 곡선(46a1)의 일반적인 트위스트들에 대해, 정규화된 값들의 분포는 표준 가우시안 분포 $N(0,1)$로 수렴하며 이는 추측과 일치하지만, 유한 표본에서의 왜도(skewness)가 관찰된다.
• 체계적 편향 관찰 (BSD 만족 하위 가족): 전체 BSD 추측을 만족하는 특정 하위 가족(denote $D_{BSD}$)으로 분석을 제한했을 때, 분포는 일반적인 예측에서 크게 벗어난다. 저자들은 체계적인 양의 편향(positive bias)과 이봉형(bimodal) 형태를 향한 이동을 관찰한다.
  • 편향의 원인: 이러한 편리는 $D_{BSD}$를 정의하는 엄격한 산술적 제약(예: $d$는 양수여야 하며, $d \equiv 1 \pmod 8$이어야 하고, 소인수들이 특정 수체에서 분할되어야 함)에 기인한다. 이러한 제약은 트위스트들이 특정 분할 거동을 갖는 실수 이차체에 위치하도록 강제하며, 이는 일반적인 경우와 비교하여 소수의 밀도와 기저의 확률 모델을 변화시킨다.

의의 및 주장
본 논문은 무한한 BSD 만족 트위스트 가족을 갖는 비-CM 타원 곡선을 대규모로, 그리고 무조건적으로 식별한 첫 사례라고 주장한다. 확률적 존재성에서 명시적 열거로 나아감으로써, 저자들은 샤파레비치-테이트 군을 연구하기 위한 독특한 데이터셋을 구축하였다.

통계적 결과의 의의는 Radziwiłł–Soundararajan 추측이 일반적인 가족들에 대해서는 성립하지만, 엄격한 국소 산술 조건을 갖는 가족들에 적용될 때는 수정(특히 평균과 분산에 관하여)이 필요하다는 관찰에 있다. 저자들은 이것이 추측을 무효화하는 것이 아니라, 하위 가족 제한에 대한 추측의 민감성을 강조하는 것이라고 언급한다. 저자들은 추가적인 데이터를 통해 제한된 가족에 대한 분포 역시 다른 파라미터를 가진 가우시안 형태에 접근할 수 있을 것이라고 제안하며, 이는 추가적인 조사가 필요함을 시사한다.

이 연구는 LMFDB 인프라를 기반으로 구축된 공개 코드 저장소를 통해 지원되며, 이를 통해 이러한 곡선들의 식별과 통계적 주장의 검증을 재현할 수 있다.