[논문 리뷰] Euler Characteristics and their Congruences for Multi-signed Selmer Groups

Anwesh Ray, R. Sujatha|arXiv (Cornell University)|2020. 11. 10.

Algebraic Geometry and Number Theory인용 수 4

한 줄 요약

이 논문은 $p$-동치인 타원곡선이 수체에서 $p$에서 혼합된 반안정 환형을 가질 때, 다중부호가 부여된 세르머 군의 잘린 오일러 특성수에 대한 동치관계를 수립한다. 비표준 세르머 군과 아이와사 이론의 불변량을 분석함으로써, $μ$-불변량이 0일 경우, $p$-동치인 곡선들의 $λ$-불변량과 잘린 오일러 특성수가 모듈로 $p$에 대해 동치임을 증명하며, 이는 이전 결과를 최적의 소수 집합을 가진 혼합 환형 설정으로 확장한다.

ABSTRACT

The notion of the truncated Euler characteristic for Iwasawa modules is a generalization of the the usual Euler characteristic to the case when the cohomology groups are not finite. Let $p$ be an odd prime, $E_1$ and $E_2$ be elliptic curves over a number field $F$ with semistable reduction at all primes $v|p$ such that the $\operatorname{Gal}(\bar{F}/F)$-modules $E_1[p]$ and $E_2[p]$ are irreducible and isomorphic. We compare the Iwasawa invariants of certain imprimitive multisigned Selmer groups of $E_1$ and $E_2$. Leveraging these results, congruence relations for the truncated Euler characteristics associated to these Selmer groups over certain $\mathbb{Z}_p^m$-extensions of $F$ are studied. Our results extend earlier congruence relations for elliptic curves over $\mathbb{Q}$ with good ordinary reduction at $p$.

연구 동기 및 목표

• 수체에서 $p$에서 혼합된 반안정 환형을 가진 경우, 그린버그-바츠랄 및 B.D. 킴의 $p$-동치 타원곡선에 대한 결과를 일반화한다.
• 수체 $F$ 위에서 $p$-동치인 타원곡선 $E_1$과 $E_2$에 대해 비표준 다중부호가 부여된 세르머 군의 아이와사 불변량 간의 관계를 연구한다.
• 이러한 세르머 군의 잘린 오일러 특성수에 대한 동치관계를 $\mathbb{Z}_p^m$-확장 위에서 수립한다.
• 비표준 불변량이 $p$-동치 조건에서 일치하도록 하는, 전체 악성 환형 집합 $\Sigma_0$보다 작은 최적의 소수 집합 $\Sigma_1$를 특정한다.
• $\mathbb{Q}$와 $\mathbb{Q}(i)$ 위에서의 명시적 예시를 통해 이러한 동치관계를 검증하며, $\Phi_{E,\Sigma_1}$의 $5$-나누어떨어짐과 일치하는 오일러 특성수를 보여준다.

제안 방법

• 각 $\ddagger \in \{+,-\}^d$에 대해, $d$는 $p$ 위에 있는 양호한 초특이 환형을 가진 소수의 수이므로, $\operatorname{Sel}^{\ddagger}(E/F^{\operatorname{cyc}})$로 표시되는 다중부호가 부여된 세르머 군을 정의한다.
• 소수 집합 $\Sigma_1$에 대해 비표준 세르머 군을 정의하며, 이는 $v \nmid p$ 이고 $E_1$ 또는 $E_2$가 악성 환형을 가진 소수들로 구성되며, 아이와사 불변량을 비교하기 위해 사용한다.
• $\mathbb{Z}_p^m$-확장 위에서 아이와사 이론의 기법을 적용하며, 세르머 군이 범주 $\mathfrak{M}_H(G)$에 속한다고 가정한다.
• 아이와사 대수의 구조와 특성 이상수 이론을 활용하여, $E_1$과 $E_2$의 $μ$- 및 $λ$-불변량을 비교한다.
• 랭크가 양수일 때 $p$-주요 세르머 군의 오일러 특성수로 잘린 오일러 특성수 $\chi_t(G,E)$를 정의하고, $\Phi_{E,\Sigma_1}$를 통해 $L$-값과 연결한다.
• 명시적 $L$-요인과 탐가와 곱의 계산을 통해 예시에서 동치관계를 검증하며, 특히 $\Phi_{E_1,\Sigma_1}$의 $5$-나누어떨어짐을 보여준다.

실험 결과

연구 질문

• RQ1 혼합된 반안정 환형을 가진 $p$-동치 타원곡선이 $p$에서 비표준 다중부호 세르머 군의 $μ$-불변량이 서로 동형일 조건은 무엇인가?
• RQ2 비표준 다중부호 세르머 군의 $μ$-불변량이 0일 경우, $p$-동치 타원곡선 $E_1$과 $E_2$의 $λ$-불변량이 일치함을 어떻게 보일 수 있는가?
• RQ3 혼합 환형 케이스에서 $p$-동치 조건 하에 다중부호 세르머 군의 잘린 오일러 특성수는 어떻게 행동하는가?
• RQ4 비표준 아이와사 불변량이 일치하고, $\Sigma_1$가 전체 악성 환형 집합 $\Sigma_0$보다 엄밀히 작은 최적의 소수 집합 $\Sigma_1 \subset \Sigma_0$를 구성할 수 있는가?
• RQ5 잘린 오일러 특성수 $\chi_t(G,E)$와 곱 $\Phi_{E,\Sigma_1}$ 사이의 관계는 무엇이며, 이는 모듈로 $p$의 동치관계와 어떻게 관련되는가?

주요 결과

• 비표준 다중부호 세르머 군의 $μ$-불변량이 $E_1$에 대해 0이면, $p$-동치 조건 하에 $E_2$의 $μ$-불변량 역시 0이다.
• 두 $μ$-불변량이 모두 0일 경우, 비표준 다중부호 세르머 군의 $λ$-불변량은 $E_1$과 $E_2$에서 동일하다.
• 예제 2에서 $r_{E_1}^\ddagger < r_{E_2}^\ddagger$ 이면, 잘린 오일러 특성수 $\chi_t(\Gamma, E_1)$와 $\chi_t(\Gamma, E_2)$는 모듈로 $p$에 대해 동치이다.
• 예제 1에서 $\mathbb{Q}$ 위에서 $\chi^\pm(\Gamma, E_1)$와 $\chi^\pm(\Gamma, E_2)$는 모두 1과 같다. 이는 오일러 특성수가 일치함을 보여준다.
• 예제 2에서 $\mathbb{Q}(i)$ 위에서 $\Phi_{E_1,\Sigma_1}$는 5로 나누어지며, $r_{E_1}^\ddagger = 0 < r_{E_2}^\ddagger = 1$ 이므로, 정리 5.5에 의해 $5$는 $\Phi_{E_1,\Sigma_1} \times \chi(\Gamma, E_1)$를 나눈다. 이는 명시적 계산으로 검증되었다.
• $\mathcal{F}_\infty$의 $\mathbb{Z}_p^2$-확장에서, 추론 6.6는 $\chi_t(G, E_1) = \chi_t(G, E_2)$임을 확인하며, 잘린 오일러 특성수의 동치관계를 수립한다.