Generalised Kato classes on CM elliptic curves of rank 2

이 논문은 복소곱 (CM, Complex Multiplication) 을 갖는 타원곡선 $E/\mathbb{Q}$와 **일반적인 감축 (good ordinary reduction)**을 갖는 소수 $p \ge 5$에 대한 연구로, 랭크 2 인 상황에서 **일반화된 카토 클래스 (Generalised Kato classes)**의 존재성과 그 성질을 규명합니다. 저자 프란체스코 카스텔라 (Francesco Castella) 는 Darmon-Rotger 의 구성을 변형하여 새로운 클래스를 정의하고, 이를 통해 Kolyvagin 의 결과에 해당하는 랭크 2 버전의 정리를 증명합니다.

다음은 논문의 상세한 기술적 요약입니다.

---

1. 연구 배경 및 문제 제기

• 문제: 타원곡선 $E$의 $L$-함수 $L(E, s)$가 $s=1$에서 0 이 되고, 그 함수 방정식의 부호 (sign) 가 $+1$인 경우 (즉, $L(E, s)$의 $s=1$에서의 차수가 짝수이고 $\ge 2$인 경우), $E$의 유리점 (rational points) 이나 Selmer 군의 비자명한 원소를 구성하는 것은 난제입니다.
• 배경: Gross-Zagier 와 Kolyvagin 의 1980 년대 연구는 차수가 1 이하인 경우 (Heegner 점) 에 성공적이었습니다. 그러나 차수가 2 이상인 경우 (랭크 2 이상) 에는 비자명한 Selmer 클래스를 구성하는 체계적인 방법이 부족했습니다.
• 목표: Darmon-Rotger [DR16] 가 제안한 일반화된 Kato 클래스의 개념을 CM 타원곡선 (랭크 2 상황) 에 적용하여, 이 클래스의 비영 (nonvanishing) 성이 Selmer 군의 차수와 어떻게 연결되는지 증명하는 것입니다.

2. 주요 방법론 및 구성

저자는 다음과 같은 수학적 도구와 구성을 활용합니다:

2.1. 일반화된 Kato 클래스 $\kappa_p$의 정의

• Darmon-Rotger 의 구성 변형: Darmon-Rotger 는 Hida family 의 세 쌍 $(\phi, g, h)$에 대한 "대각선 사이클 (diagonal cycle)"에서 유도된 코호몰로지 클래스를 정의했습니다.
• CM 상황 적용: 이 논문에서는 $E$가 허수 이차체 $K$에 대한 CM 을 갖는다고 가정합니다. $K$에서 $p$가 분해된다고 가정하고, $E$에 대응하는 Hecke character $\psi_E$를 이용합니다.
• Hecke Character 선택: $\psi_E = \lambda_0 \lambda_1^c \lambda_2^c$를 만족하는 Hecke character 들 $\lambda_0, \lambda_1, \lambda_2$를 선택합니다. 여기서 $\lambda_0$는 $E$의 CM 과 관련된 차수 2 의 특성을, $\lambda_1, \lambda_2$는 유한 차수 (finite order) 의 character 들입니다.
• 클래스 구성: 대각선 클래스 $\kappa(\phi, g, h)$를 특정 조건 (특히 $W_1=0$에서의 특수화) 하에 투영하여 $H^1(\mathbb{Q}, V_pE)$의 원소 $\kappa_p$를 얻습니다. 이는 Darmon-Rotger 의 "twisted variant"로 볼 수 있습니다.

2.2. 대각선 사이클 주요 추측 (Diagonal Cycle Main Conjecture)

• Hida Family 와 $p$-adic $L$-함수: 세 개의 Hida family $(\phi, g, h)$에 대한 3-곱 $p$-adic $L$-함수 $L_p^\phi(\phi, g, h)$를 고려합니다.
• 분해 (Factorisation): CM 조건 하에서 이 $L$-함수는 4 개의 안티사이클로토믹 (anticyclotomic) Katz $p$-adic $L$-함수의 곱으로 분해됩니다 (Proposition 3.3.1).
  $$L_p^\phi(\phi, g, h)^2 \sim L_{p, \lambda_0\lambda_1\lambda_2} \cdot L_{p, \lambda_0\lambda_1^c\lambda_2^c} \cdots$$
• Selmer 군의 분해: 대각선 클래스가 속하는 균형 잡힌 (balanced) Selmer 군과 $\phi$-불균형 (unbalanced) Selmer 군이 Hecke character 에 대한 고전적인 안티사이클로토믹 Selmer 군들의 직합으로 분해됨을 보입니다 (Proposition 4.3.2).

2.3. Iwasawa 이론과 주요 추측의 증명

• 주요 추측 (Conjecture A): 대각선 클래스 $\kappa(\phi, g, h)$가 $R$-torsion 이 아니며, Selmer 군과 그 Pontryagin dual 의 $R$-rank 가 1 이고, 그 characteristic ideal 이 $L$-함수의 제곱과 일치한다는 추측입니다.
• 증명 전략:
  1. Rubin 과 Agboola-Howard, Arnold 의 작업을 통해 Hecke character 에 대한 안티사이클로토믹 Iwasawa 주요 추측이 성립함을 이용합니다.
  2. $L$-함수의 분해와 Selmer 군의 분해를 연결하여, $\phi$-불균형 Selmer 군이 torsion 이며 그 characteristic ideal 이 $L_p^\phi(\phi, g, h)^2$임을 증명합니다.
  3. 이를 통해 대각선 사이클 주요 추측 (Conjecture A) 을 CM 경우에 대해 증명합니다 (Theorem A).

3. 주요 결과 (Theorems)

Theorem A (대각선 사이클 주요 추측의 CM 경우 증명)

• 조건 (i) $\lambda_i(p) \not\equiv \lambda_i(p) \pmod p$ 및 (ii) 모든 관련 Hecke character 의 부호가 $+1$일 때, 대각선 클래스 $\kappa(\phi, g, h)$는 $R_{\phi gh}$-torsion 이 아니며, Conjecture A 가 성립합니다.

Theorem B (랭크 2 에 대한 Kolyvagin 유사 정리)

• 가정: $L(E, s)$가 $s=1$에서 양의 짝수 차수로 0 이 됨 (즉, $\text{ord}_{s=1}L(E, s) \ge 2$).
• 결과 1 (필요 조건): 만약 일반화된 Kato 클래스 $\kappa_p \neq 0$이면, $p$-adic Selmer 군의 차수는 정확히 2 입니다.
  $$\kappa_p \neq 0 \implies \dim_{\mathbb{Q}_p} \text{Sel}(\mathbb{Q}, V_pE) = 2$$
• 결과 2 (충분 조건 및 역): 반대로 $\dim_{\mathbb{Q}_p} \text{Sel}(\mathbb{Q}, V_pE) = 2$일 때, $\kappa_p \neq 0$일 필요충분조건은 제한 사상 (restriction map)
  $$\text{resp}: \text{Sel}(\mathbb{Q}, V_pE) \to \widehat{E(\mathbb{Q}_p)} \otimes \mathbb{Q}_p$$
  가 0 이 아니라는 것입니다.
  • 의미: Selmer 군이 2 차원일 때, $\kappa_p$가 0 이 아닌지 여부는 이 클래스가 $p$-adic 완비군에 비자명하게 매핑되는지에 달려 있습니다. 이는 Darmon-Rotger 의 예상을 정교화한 결과입니다.

Theorem C (랭크 2 Selmer 기저의 구성)

• $p$-adic Birch-Swinnerton-Dyer 추측의 조건 하에서, Selmer 군 $\text{Sel}(\mathbb{Q}, V_pE)$는 2 차원이며, 그 기저는 다음과 같이 구성됩니다:
  $$\text{Sel}(\mathbb{Q}, V_pE) = \mathbb{Q}_p \kappa_p \oplus \mathbb{Q}_p x_p^{(2)}$$
  • $\kappa_p$: 일반화된 Kato 클래스 (Rank 2 p-adic regulator 역할).
  • $x_p^{(2)}$: 유도된 타원 단위 (derived elliptic unit, Rubin 의 구성에 기반).
• 이는 랭크 2 상황에서의 명시적인 $p$-adic regulator 와 Selmer 기저를 제공합니다.

4. 논문의 의의 및 기여

1. CM 경우의 해결: 기존 Darmon-Rotger 의 구성과 Hsieh 와의 공동 연구 (비-CM 경우) 는 특정 조건 (예: $E$가 $p \neq \ell$에서 multiplicative reduction 을 가져야 함) 으로 인해 CM 경우를 다루기 어려웠습니다. 이 논문은 CM 타원곡선에 대한 새로운 접근법을 제시하여 이 격차를 메웠습니다.
2. 랭크 2 Kolyvagin 정리: Kolyvagin 의 고전적 결과 (랭크 0 또는 1) 를 랭크 2 상황으로 확장한 최초의 결과 중 하나입니다. $\kappa_p \neq 0$이 Selmer 군의 차수가 2 임을 보장한다는 점은 Birch-Swinnerton-Dyer 추측의 고차원 버전 검증에 중요한 단서를 제공합니다.
3. Iwasawa 이론과의 연결: 대각선 사이클 주요 추측과 안티사이클로토믹 Iwasawa 주요 추측 사이의 새로운 연결고리를 확립했습니다. 이를 통해 $p$-adic $L$-함수의 비영성과 Selmer 클래스의 비영성을 직접적으로 연결했습니다.
4. 구체적 기저 구성: Theorem C 를 통해 Selmer 군의 2 차원 기저를 명시적으로 구성함으로써, 고차원 BSD 추측에서의 $p$-adic height pairing 과의 관계를 연구할 수 있는 토대를 마련했습니다.

5. 결론

이 논문은 CM 타원곡선에서 $L$-함수의 차수가 2 이상일 때, Darmon-Rotger 의 일반화된 Kato 클래스가 Selmer 군의 구조를 결정하는 핵심 역할을 함을 증명했습니다. 특히, 이 클래스의 비영성이 Selmer 군의 차수가 2 임을 의미하며, 그 역은 $p$-adic 제한 사상의 비영성과 동치임을 보였습니다. 이는 고차원 BSD 추측 연구에 있어 중요한 진전이며, Iwasawa 이론과 대각선 사이클 이론의 강력한 통합을 보여줍니다.