[논문 리뷰] Selmer groups of elliptic curves in degree $p$ extensions

Julio Brau|arXiv (Cornell University)|2014. 01. 14.

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

한 줄 요약

이 논문은 수체의 차수 $p$ 갈루아 확장에서 타원곡선의 $p$-세일러 군의 갈루아 불변량의 $\mathbb{F}_p$-차원에 대한 완전한 공식을 제공한다. 특히 $K=\mathbb{Q}(\zeta_p)$ 및 확장 $L_m = K(\sqrt[p]{m})$의 경우를 다루며, 각 소수에서의 국소 기여의 합으로 차원을 계산한다. 국소 불변량, 근본 유형, 힐베르트 기호에 기반한 명시적 조건을 사용하며, 이전 결과에서 일반적인 감소 또는 오일러 특성수에 대한 가정을 제거함으로써 이를 확장한다.

ABSTRACT

We study the growth of the Galois invariants of the $p$-Selmer group of an elliptic curve in a degree $p$ Galois extension. We show that this growth is determined by certain local cohomology groups and determine necessary and sufficient conditions for these groups to be trivial. Under certain hypotheses this allows us to give necessary and sufficient conditions for there to be growth in the full $p$-Selmer group in a degree $p$ Galois extension.

연구 동기 및 목표

• 수체의 차수 $p$ 갈루아 확장에서 $p$-세일러 군의 갈루아 불변량의 정확한 $\mathbb{F}_p$-차원을 결정하는 것.
• 기존의 세일러 군 성장 결과를 일반화하여, 소수 $p$에서의 일반적인 감소나 순환 오일러 특성수에 대한 가정을 제거하는 것.
• 특히 $K=\mathbb{Q}(\zeta_p)$ 및 $L_m = K(\sqrt[p]{m})$의 맥락에서 세일러 군 성장에 필요한 필수 조건과 충분 조건을 제공하는 것.
• 국소 코hom로지와 형식적 군 이론을 사용하여 세일러 군 차원에 대한 국소 기여를 계산하는 것. 특히 초순수 및 분할 곱형 감소 소수의 경우에 중점을 둔다.

제안 방법

• 갈루아 코hom로지와 국소 대칭을 사용하여 차수 $p$ 확장의 갈루아 군 $G$에 대한 고정 부분모듈 $\mathrm{Sel}_p(E/L)^G$의 구조를 분석한다.
• 하치모리와 마츠노의 공식을 $p$-거듭제곱 확장에서의 $\lambda$-불변량에 적용하여 갈루아 불변량의 차원을 계산하는 데 적응한다.
• 분할 곱형 감소 소수에 대해 $j$-불변량과 $m$의 함의도에서 유도된 국소 불변량 $u_{\ell,m}$을 도입하여 힐베르트 기호 조건을 결정한다.
• 형식적 군 이론과 고차 리만 이론을 활용하며, 특히 $t_w = \mathrm{ord}_w(\sigma(\pi_w) - \pi_w) - 1$의 사용을 통해 높이 $h > 1$인 형식적 군의 노름 이미지를 계산한다.
• 높이 $h > 1$인 형식적 군 $\mathcal{F}(\mathfrak{m}_L)$에서의 노름 사상 분석을 통해 $\mathcal{F}(\mathfrak{m}_K)/N^\mathcal{F}(\mathcal{F}(\mathfrak{m}_L))$의 차원을 계산하며, $p \mid m$이면 이 값이 $p-2$임을 보인다.
• 국소 세일러 군 $W_{v,L}$의 구조와 그 차원 $\delta_v$를 사용하여 총 차원을 소수에 대한 합으로 분해하며, 감소 유형과 분할 행동에 따라 경우의 수를 나누어 분석한다.

실험 결과

연구 질문

• RQ1 차수 $p$ 갈루아 확장 $L/K$에 대해 $\mathrm{Sel}_p(E/L)^{\mathrm{Gal}(L/K)}$의 정확한 $\mathbb{F}_p$-차원은 무엇인가?
• RQ2 특히 $E$가 소수 위에서 초순수 감소를 보일 경우, 이러한 확장에서 $p$-세일러 군이 성장하는 국소 조건은 무엇인가?
• RQ3 분할 곱형 감소 소수의 기여는 힐베르트 기호와 국소 불변량을 통해 어떻게 특성화할 수 있는가?
• RQ4 $m$의 $p$-진 함의도는 $K(\sqrt[p]{m})$ 확장에서 세일러 군 성장에 어떤 영향을 미치는가?
• RQ5 비어 있는 오일러 특성수나 일반적인 감소를 가정하지 않고도 갈루아 불변량의 차원을 계산할 수 있는가?

주요 결과

• $\mathrm{Sel}_p(E/L_m)^{\mathrm{Gal}(L_m/K)}$의 $\mathbb{F}_p$-차원은 각 $\delta_v$의 유한한 합 $\sum_v \delta_v$로 주어지며, 각 $\delta_v$는 $L_m/K$에서의 감소 유형과 분할 행동에 따라 달라진다.
• $p$ 위의 소수 $v$에서 양호한 초순수 감소를 가질 경우, $p \mid m$ 이면 $\delta_v = p-2$이고, 그렇지 않으면 $0$이며, 이는 이 기여가 $p$에 따라 증가함을 보여준다.
• 소수 $v$가 $p$ 위가 아니며 분할 곱형 감소를 가질 경우, $u_{\ell_v,m}^{(q_v-1)/p} \equiv 1 \pmod{\ell_v}$ 이면 $\delta_v = 1$이며, 여기서 $u_{\ell_v,m}$은 $j$-불변량과 $m$에서 유도된 국소 불변량이다.
• 소수 $v$가 $p$ 위가 아니며 비분할 곱형 감소를 가질 경우, 임의의 분할 또는 $m$의 영향과 관계없이 $\delta_v = 0$이다.
• $v|p$에서 양호한 일반 감소일 경우, $\tilde{E}(k_v)[p] \neq 0$ 이면 $\delta_v = 1$ 또는 $2$이며, 그렇지 않으면 $0$이다.
• $v \nmid p$에서 양호한 감소일 경우, $\delta_v = \dim_{\mathbb{F}_p} \tilde{E}(k_v)[p]$이며, 비분할 또는 분할 소수의 경우 추가 조건(예: $p \mid c_v$)이 충족되지 않으면 기여는 0이다.