[논문 리뷰] On symplectic isomorphims of the p-torsion of elliptic curves

Nuno Freitas, Alain Kraus|arXiv (Cornell University)|2016. 07. 05.

Algebraic Geometry and Number Theory참고 문헌 23인용 수 3

한 줄 요약

이 논문은 잠재적으로 양호한 근형을 가지며 비아벨적 p- torsion 필드를 가진 두 타원곡선의 $p$- torsion 점들 사이의 심플렉틱 Galois 모듈러스 동형사상이 존재하는지 여부를 판단하기 위한 기준을, 최소 Weierstrass 모형의 표준 불변량에 기반하여 수립한다. 이 방법은 B. Mazur가 제기한, $ℝ$ 위의 비동형 타원곡선들 사이의 심플렉틱 동형사상 존재성 문제를 해결하며, 심플렉틱 및 반심플렉틱 케이스에 대한 명시적 예를 제공한다.

ABSTRACT

Let $\ell$ and $p$ be distinct prime numbers with $p\geq 3$. Let $E/\mathbb{Q}_{\ell}$ and $E'/\mathbb{Q}_{\ell}$ be elliptic curves defined over $\mathbb{Q}_{\ell}$, having potentially good reduction with a defect of semi-stability of order 3. We suppose that the Galois modules $E[p]$ and $E'[p]$ of their $p$-torsion points are isomorphic, and that their field of $p$-torsion points is non-abelian over $\mathbb{Q}_{\ell}$. We establish a criterion, in terms of the standard invariants associated to minimal Weierstrass models of $E$ and $E'$, allowing to decide if there is a symplectic (i.e. compatible with the Weil pairings) Galois modules isomorphism $ \phi : E[p] o E'[p] $. Furthermore, we apply our method to provide examples answering a question raised by B. Mazur concerning the existence of such isomorphism $\phi$ between two non-isogenous elliptic curves defined over $\mathbb{Q}$. We also provide examples answering the anti-symplectic variant of the same question.

연구 동기 및 목표

• E[p]와 E'[p] 사이의 갈루아 모듈러스 동형사상이 Weil 쌍형과 호환되는지, 즉 심플렉틱인지 판단하는 것.
• B. Mazur가 $ℝ$ 위의 비동형 타원곡선들 사이의 심플렉틱 동형사상 존재성에 대해 제기한 질문을 다루는 것.
• 반심플렉틱 케이스로의 분석을 확장하여, 심플렉틱 및 비심플렉틱 동형사상에 대한 예를 제공하는 것.
• 곡선들의 최소 Weierstrass 모형에서 유도된 불변량을 사용하여 결정 기준을 수립하는 것.

제안 방법

• 저자들은 잠재적으로 양호한 근형을 가지며 준안정성 결함이 3인 타원곡선의 $p$- torsion 점들 위의 갈루아 작용의 구조를 분석한다.
• E와 E'의 최소 Weierstrass 모형으로부터 표준 불변량—특히 $j$-불변량과 판별자 지수—를 사용하여 기준을 수립한다.
• 기준은 동형사상 $\phi: E[p] \to E'[p]$ 가 Weil 쌍형을 유지하는지, 즉 심플렉틱인지 여부를 판단한다.
• 이 방법은 $\mathbb{Q}_\ell$ 위에서 $p$- torsion 필드의 비아벨성에 기반하여 가능한 갈루아 표현을 제약한다.
• Weierstrass 모형의 불변량을 비교함으로써, 심플렉틱성에 대한 필요 및 충분 조건을 유도한다.
• 이 구성은 $ℝ$ 위에서 명시적 예를 생성하는 데 적용되어, 비동형 곡선들 사이의 이러한 동형사상 존재성을 입증한다.

실험 결과

연구 질문

• RQ1 E[p]와 E'[p] 사이의 갈루아 모듈러스 동형사상이 Weil 쌍형을 보존하는 조건은 무엇인가, 즉 심플렉틱이 되는가?
• RQ2 Mazur가 제기한 바와 같이, $ℝ$ 위에서 정의된 비동형 타원곡선들 사이에 심플렉틱 동형사상이 존재할 수 있는가?
• RQ3 최소 Weierstrass 모형의 어떤 불변량이 $p$- torsion 모듈러스 간 동형사상의 심플렉틱성을 결정하는가?
• RQ4 반심플렉틱 동형사상도 비동형 곡선들 사이에 존재할 수 있으며, 어떻게 구성할 수 있는가?
• RQ5 준안정성의 결함이 3인 경우, 갈루아 작용의 $p$- torsion 위의 구조에 어떤 영향을 미치는가?

주요 결과

• E와 E'의 최소 Weierstrass 모형에서 유도된 불변량을 사용하여, 갈루아 모듈러스 동형사상 $\phi: E[p] \to E'[p]$ 의 심플렉틱성을 판단하는 기준이 수립되었다.
• 이 기준은 잠재적으로 양호한 근형을 가지며 준안정성 결함이 3인 $ℝ_\ell$ 위의 타원곡선에 특별히 적용된다.
• 저자들은 $ℝ$ 위에서 비동형 타원곡선들 간에 $p$- torsion 모듈러스 간 심플렉틱 동형사상을 갖는 명시적 예를 구성하여, Mazur의 질문에 긍정적으로 답했다.
• 반심플렉틱 케이스에 대한 예도 제공되어, 이러한 동형사상이 심플렉틱 동형사상과 독립적으로 존재할 수 있음을 입증하였다.
• $\mathbb{Q}_\ell$ 위에서 $p$- torsion 필드의 비아벨성은 심플렉틱과 비심플렉틱 케이스를 구분하는 데 핵심적이다.
• 이 방법은 심플렉틱 동형사상 문제를 표준 Weierstrass 불변량 간 비교로 환원하여, 알고리즘적 검증을 가능하게 하였다.