A positive density of elliptic curves are diophantine stable in certain Galois extensions

기술 요약: 특정 갈루아 확장 내에서 타원 곡선의 양의 밀도는 디오판테스 안정적이다

문제 정의
본 논문은 타원 곡선의 디오판테스 안정성(diophantine stability) 문제를 다룬다. Mazur와 Rubin [MR18]의 정의에 따르면, $\mathbb{Q}$ 위에서 정의된 타원 곡선 $E$가 수체 확장 $L/\mathbb{Q}$에서 디오판테스 안정하다는 것은 자연스러운 포함 관계가 $E(L) = E(\mathbb{Q})$를 유도함을 의미한다. 이전 연구(예: [MR18])에서는 고정된 타원 곡선에 대해, 해당 곡선이 디오판테스 안정적인 순환 확장이 무수히 많이 존재함을 입증했으나, 본 논문은 이 관점을 역전시킨다. 저자들은 특정한 순환 $p$-확장 $L/\mathbb{Q}$ (여기서 $p \in \{3, 5\}$)를 고정하고, 높이(height)에 따라 정렬된 디오판테스 안정적인 타원 곡선 $E/\mathbb{Q}$의 밀도를 조사한다. 구체적으로, 이들은 $E(L) = E(\mathbb{Q}) = 0$인 곡선들의 양의 밀도가 존재함을 증명하고자 한다.

방법론
저자들은 갈루아 코호몰로지, 산술 통계학, 그리고 체 이론(sieve theory)의 결합을 사용한다. 방법론은 다음과 같은 세 가지 주요 단계로 진행된다:

1. 셀머 군의 코호몰로지적 안정성:
   저자들은 타원 곡선의 $p$-셀머 군이 $\mathbb{Q}$에서 $L$로 기저 변경(base change)될 때 자명하게 유지되는 조건을 설정한다. Česnavičius [Č17]와 Brau [Bra14]의 논증을 바탕으로, 저자들은 셀머 군 $S_p(E/\mathbb{Q}) \to S_p(E/L)^G$ 사이의 제한 사상(restriction map)을 분석한다. 저자들은 만약 $S_p(E/\mathbb{Q}) = 0$이고 $p$를 나누는 소수 및 $L$에서 분기(ramified)되는 소수들에 대해 특정 국소 조건이 충족된다면, $S_p(E/L) = 0$임을 증명한다. 이는 $E(L)$의 계수(rank)가 0이고 $p$-비틀림(torsion)이 자명함을 의미한다.

2. 산술 통계 및 밀도 공식화:
   곡선을 세기 위해, 저자들은 타원 곡선의 $p$-셀머 군의 평균 크기를 기하학적 수론(geometry of numbers)과 연결하는 Bhargava와 Shankar [BS15a, BS15b, BS13]의 프레임워크를 활용한다. 저자들은 국소 합동 조건(바이어슈트라트 방정식의 계수 $A$와 $B$에 대한 합동 조건)에 의해 정의된 타원 곡선의 "대가족(large family)" $F$를 정의한다.

   • 저자들은 Serre의 열린 이미지 정리(Open Image Theorem)와 예외적 소수에 관한 Duke의 결과 [Duk97]에 의거하여, 밀도 1인 곡선 집합에 대해 $E(L)_{\text{tors}} = 0$임을 보임으로써 비틀림 부분군을 제어한다.
   • 저자들은 루트 넘버(root number) $\omega(E)$가 정확히 50%의 곡선에 대해 $+1$이 되도록 하는 가계(family)를 구성함으로써 계수를 제어한다. Bhargava-Shankar로부터 유도된 정리 3.11에 의해, 이는 해당 가계 내의 양의 비율을 가진 곡선들이 $S_p(E/\mathbb{Q}) = 0$을 가짐을 보장한다.

3. 체 이론적 논증:
   저자들은 $L$에서 분기되는 소수들의 집합 $\mathcal{Z}$와 소수 2 및 $p$에서의 국소 조건을 만족하는 특정 타원 곡선 가계 $\mathcal{E}$를 정의한다. 이러한 조건들은 다음을 보장한다:

   • $p$ 및 모든 $\ell \in \mathcal{Z}$에서의 좋은 감소(good reduction).
   • $\ell \in \mathcal{Z}$에 대한 잔여체 $\mathbb{F}_\ell$ 위에서 $E$와 그 이차 풔이스트(quadratic twist) $E^{-1}$ 모두에 대한 자명한 $p$-비틀림.
   • 루트 넘버를 제어하기 위한 2에서의 특정 감소 유형(가법적 감소).
     저자들은 보조정리 4.6과 (비고 4.7의 Sagemath 코드로 검증된) 명시적 계산을 사용하여, 국소 조건들이 충분히 큰 소수(구체적으로 $p=5$일 때 $\ell \ge 5779$, $p=3$일 때 $\ell \ge 233$)에 대해 충족 가능함을 보여준다. 그 후, 체 논증(제안 4.8)을 적용하여 이러한 국소 조건들의 교집합이 계산 가능한 양의 하한 밀도를 갖는 가계를 형성함을 보인다.

주요 기여 및 결과
주된 결과는 정리 3.8이며, 내용은 다음과 같다:
$p \in \{3, 5\}$이고 $\text{Gal}(L/\mathbb{Q}) \simeq \mathbb{Z}/p\mathbb{Z}$인 갈루아 확장 $L/\mathbb{Q}$를 가정하자. 만약:

1. $p \notin \mathcal{Z}$이고 2가 $L$에서 완전히 분할(splits completely)되며,
2. 모든 $\ell \in \mathcal{Z}$에 대하여, 곡수와 그 이차 풔이스트 $-1$에 의한 이차 풔이스트 모두에 대해 자명한$p$-비틀림을 갖는$\mathbb{F}_\ell$ 상의 타원 곡선이 존재한다면,

$E(L) = E(\mathbb{Q}) = 0$을 만족하는 타원 곡선 $E/\mathbb{Q}$의 양의 밀도가 존재한다.

본 논문은 이 밀도에 대한 명시적 하한을 다음과 같은 곱의 형태로 제공한다:
$$\eta_p \prod_{\ell} \delta_\ell$$
여기서 $\eta_p$는 $p=3$일 때 $1/4$, $p=5$일 때 $3/8$이며, $\delta_\ell$는 감소 유형과 분기에 의존하는 국소 인자들이다. 예를 들어, $p=3$이고 $L$이 $\mathbb{Q}(\mu_{31})$의 3차 부분체인 경우, 저자들은 $\mathbb{F}_{31}$ 상의 유효한 곡선 수로부터 유도된 $585/961$ 항을 포함하는 구체적인 하한을 계산하였다.

의의 및 주장
저자들은 이 연구를 디오판테스 안정성 연구의 "새로운 탐구 방향"으로 규정한다. 기존 문헌이 고정된 곡수에 대해 체 확장을 변화시키는 데 집중했다면, 본 논문은 확장을 고정하고 곡수를 변화시킨다. 이 연구의 의의는 다음과 같다:

• 정량적 안정성: 존재성 증명을 넘어, 디오판테스 안정성이 특정 갈루아 확장 내에서 드문 현상이 아니라 양의 밀도로 발생함을 확립했다.
• 명시적 경계: 이 밀도가 확장의 국소 불변량에 의존하는 효과적이고 계산 가능한 하한을 제공한다.
• 방법론적 종합: 계수(rank) 안정성을 위한 코호몰로지 기준(제안 2.7)과 곡수를 세기 위한 Bhargava와 Shankar의 통계적 기계론을 성공적으로 통합하였다.

저자들은 $p=2$의 경우 자신들의 방법론이 적용되지 않으므로 제외되었음을 언급하며, $\mathbb{F}_\ell$ 상에서 자명한 $p$-비틀림을 갖는 곡선의 존재에 관한 조건(조건 2)은 큰 소수들에 대해 계산적으로 검증되었고 특정 사례들에 대해 이론적으로 검증되어, 밀도가 엄격히 양수임을 보장한다고 밝혔다.