On refined nonvanishing conjectures by Kurihara and Kolyvagin

기술 요약: Kurihara와 Kolyvagin의 정교화된 비소멸 추측에 관하여

문제 정의
본 논문은 홀수 소수 $p$에 대하여 타원 곡선 $E/\mathbb{Q}$에 대한 정교화된 비소멸 추측(nonvanishing conjectures)을 다룬다. 구체적으로, 본 연구는 다음 두 가지 주요 추측에 관한 [BCGS26]의 결과를 확장한다:

1. Kurihara의 추측: $p$-주 원 셀머 군(p-primary Selmer group)의 구조를 모듈러 심볼(modular symbols)로부터 유도된 해석적 양 $\delta_n$과 연관 짓는다. 이 정교화된 버전(Conjecture B)은 타마가 수(Tamagawa numbers)와 $\{\delta_n\}$ 집합의 "소멸 차수(order of vanishing)"를 이용하여 타테-샤파레비치 군(Tate–Shafarevich group, 또는 그 블록-카토 변형)의 차수의 $p$-적정 값(p-adic valuation)에 대한 정확한 식을 예측한다.
2. Kolyvagin의 추측: 헤그너 점(Heegner points)으로부터 유도된 콜리바긴 시스템(Kolyvagin systems)의 비소멸성과 셀머 군의 구조를 연관 짓는다. 정교화된 버전(W. Zhang에 의한 Conjecture C)은 타마가 수와 콜리바긴 시스템의 "소벌 차수"를 이용하여 타테-샤파레비치 군의 차수의 $p$-적정 값에 대한 정확한 식을 예측한다.

이전 연구(특히 [BCGS26])의 주요 제한점은 $E$의 $p$에서의 환원 유형(reduction type)에 대한 제한(좋은 보통(good ordinary) 또는 특정 초거듭제곱(supersingular) 조건 요구)과 기저가 되는 허수 이차체 $K$에서 $p$의 분해 거동(p가 분할(split)되어야 함)이었다. 본 논문은 이러한 제한을 제거하여, Kurihara의 추측에 대해서는 $E$가 $p$에서 가질 수 있는 모든 환원 유형을 허용하고, Kolyvagin의 추측에 대해서는 $p$가 $K$에서 불멸(inert)인 경우를 허용하는 것을 목표로 한다.

방법론
주요 정리(Theorem A 및 Theorem C)의 증명은 오일러 시스템(Euler systems)과 셀머 군 사이의 관계를 활용하여 [BCGS26]과 유사한 하강 전략(descent strategy)을 따른다. 그러나 본 논문은 특수화된 코호몰로지 클래스(specialized cohomology classes)의 $p$-가분 지수(p-divisibility index) 계산에 있어 중대한 방법론적 혁신을 도입한다.

• 행렬식(Determinants)을 통한 재정식화: [Gre99] 스타일의 $p$-아델릭 $L$-함수와 제어 정리(control theorems)에 의존하는 대신, 저자들은 [KS24]에서 도입된 셀머 복합체(Selmer complexes)의 행렬식을 이용한 이와사와 주 추측(Iwasawa Main Conjecture)의 재정식화를 활용한다.
• $\Lambda$-아델릭 콜리바긴 시스템: 저자들은 순환적(cyclotomic) 또는 반순환적(anticyclotomic) $\mathbb{Z}_p$-확장에 대한 이와사와 대수 $\Lambda$에 대해 유도된 $\Lambda$-아델릭 콜리바킨 시스템(Kato의 오일러 시스템(Kurihara용) 및 헤그너 점(Kolyvagin용)으로부터 유도됨)을 연구한다.
• 특수화 및 하강(Specialization and Descent): 저자들은 자명한 캐릭터에 가까운 비자명한 캐릭터 $\alpha$에서의 시스템 특수화를 고려한다. 다음을 결합함으로써:
  1. 주 추측으로부터 유도된 특수화된 클래스의 가분 지수에 대한 정확한 식(카르티에 쌍대(Cartier dual)의 타마가 인자 포함).
  2. Mazur–Rubin의 구조 정리에 의해 유도된 엄격한 셀머 군(strict Selmer group)의 길이에 대한 정확한 식.
     저자들은 해석적 불변량(타마가 수)과 대수적 불변량(콜리바긴 시스템의 가분성) 사이의 연결 고리를 구축한다.
• 경직성(Rigidity): 핵심적인 기술적 구성 요소는 시스템의 소멸 차수가 소수들의 부분집합으로의 제한에 대해 안정적임을 보여주는 "경직성" 논증(Proposition 2.1.5 및 그 유사물)이며, 이를 통해 $\Lambda$-아델릭 시스템과 고전적 시스템 사이의 비교를 가능하게 한다.

주요 기여

1. 환원 유형의 일반화: 본 논문은 모로 $p$ Galois 표현의 전사성과 Manin 상수의 $p$에 의한 비가분성 조건을 만족하는 경우, 임의의 환원 유형(좋은 보통, 좋은 초거듭제곱, 또는 나쁜 환원)을 가진 타원 곡선에 대해 정교화된 Kurihara 추측을 증명한다.
2. Kolyvagin 맥락에서의 불멸 소수: 본 논문은 $p$가 허수 이차체 $K$에서 불멸인 경우, 즉 [BCGS26]에서 사용된 $p$-아델릭 $L$-함수 방법으로는 접근할 수 없었던 경우에 대해 정교화된 Kolyvagin 추측을 증명한다.
3. 새로운 하강 프레임워크: 저자들은 셀머 복합체의 행렬식을 사용하여 가분 지수를 계산하는 프레임워크를 구축함으로써, 하강 단계에서 명시적인 $p$-아델릭 $L$-함수를 필요로 하지 않는 방식을 확립하였다. 이 방식은 $p$-아델릭 $L$-함수가 아직 완전히 개발되지 않았거나 표준적인 제어 정리를 적용하기 어려운 경우에도 적용 가능하다.

주요 결과

• Theorem A (Kurihara): $p > 3$이고 전사성 및 Manin 상수 조건을 만족하는 타원 곡선 $E/\mathbb{Q}$에 대하여, 다음은 동치이다:
  (i) 정교화된 Kurihara 추측이 성립한다 (즉, $M_\infty(\delta) = \text{ord}_p(\text{Tam}_E)$).
  (ii) 산술적 복합체의 행렬식으로 정식화된 순환적 $\mathbb{Z}_p$-확장에 대한 이와사와 주 추측이 성립한다.
  따름정리: 만약 $p \nmid \text{Tam}_E$라면, 어떤 $\bar{\delta}_n$의 비소멸성은 이와사와 주 추측과 동치이다.
  Theorem B: 결과적으로, 정교화된 Kurihara 추측은 $p$가 좋은 보통(good ordinary)인 경우와, 도수(conductor)가 제곱이 아닌 자유(squarefree)인 $p$가 좋은 초거듭제곱(good supersingular)인 경우에 대해 증명된다.

• Theorem C (Kolyvagin): $p > 3$이고 전사성 및 Manin 상수 조건을 만족하는 타원 곡선 $E/\mathbb{Q}$에 대하여, $E$가 $p$에서 좋은 보통 환원을 갖고 $p$가 $K$에서 분해되지 않는(unramified) 경우, 다음은 동치이다:
  (i) 정교화된 Kolyvagin 추측이 성립한다 (즉, $M_\infty(\kappa^{\text{Heeg}}) = \text{ord}_p(\text{Tam}_E)$).
  (ii) 헤그너 점에 대한 반순환적 이와사와 주 추측(행렬식으로 정식화됨)이 성립한다.
  따름정리: 만약 $p$가 $K$에서 분할(split)된다면, Conjecture C는 성립한다. 이 결과는 해당 주 추측을 가정할 때 불멸(inert) 케이스로 확장된다.

의의 및 주장
저자들은 자신들의 결과가 Kurihara의 추측과 그 정교화된 버전을 많은 새로운 사례에서 증명하며, 특히 기존의 이론적 범위를 제한했던 "비이상적(non-anomalous)" 및 "좋은 환원" 가설을 제거했다고 주장한다. Kolyvagin의 추측에 있어서, 본 논문은 Bertolini–Darmon–Prasanna $p$-아델릭 $L$-함수에 의존했던 이전의 접근법으로는 적용할 수 없었던 $p$가 $K$에서 불멸인 경우에 대한 정교화된 추측의 첫 번째 증명을 제공한다.

본 논문은 "행렬식 정식화를 통한 새로운 하강 계산 접근법"이 핵심적인 혁신임을 강조한다. 이 접근법은 $p$-아델릭 $L$-함수의 구체적인 해석적 성질에 의존하지 않고도 Galois 코호몰로지 내의 특수 원소들의 $p$-가분성을 제어할 수 있게 하며, 이를 통해 불멸 소수 및 다양한 환원 유형으로 하강 방법의 적용 범위를 넓힌다. 결과는 각각의 이와사와 주 추측이 유효하다는 조건하에 제시되며, 이들은 Wan, BCS, CLW, BSTW의 선행 연구를 통해 보통(ordinary) 및 특정 초거듭제곱(supersingular) 케이스에서 이미 알려져 있다.