2025-11-18T23:46:13.591431

Symplectic criteria for elliptic curves, revisited

Kraus, Freitas, SÃ¡nchez-RodrÃguez

Let $\ell$ and $p \geq 3$ be different primes. Let $E/\mathbb{Q}_\ell$ and $E'/\mathbb{Q}_\ell$ be elliptic curves with isomorphic $p$-torsion. Assume that $E$ has potentially multiplicative reduction. We classify when all $G_{\mathbb{Q}_\ell}$-isomorphisms $Ï: E[p] \to E'[p]$ have the same symplectic type and prove two new criteria to determine the type in that case. In particular, when both curves have multiplicative reduction, our results cover the case of unramified $p$-torsion which is not covered by the original criterion due to Kraus and OesterlÃ©. We also give a variant of a symplectic criterion for the case when both $E$ and~$E'$ have good reduction and provide an algorithm to apply it. As an application, we determine the symplectic type of all the mod $p \geq 5$ congruences between rational elliptic curves with conductor $\leq 500 000$ that satisfy the hypothesis of either of our criteria at some prime~$\ell$.

academic

타원곡선의 심플렉틱 판정법, 재검토

기본 정보

논문 ID: 2509.19938
제목: Symplectic criteria for elliptic curves, revisited
저자: Nuno Freitas, Alain Kraus, Ignasi Sánchez-Rodríguez
분류: math.NT (정수론)
발표 시간: 2025년 10월 6일 (arXiv v2)
논문 링크: https://arxiv.org/abs/2509.19938v2

초록

$\ell$ 과 $p \geq 3$ 을 서로 다른 소수라 하고, $E/\mathbb{Q}_\ell$ 과 $E'/\mathbb{Q}_\ell$ 을 동형인 $p$ -비틀림 부분군을 갖는 타원곡선이라 하자. $E$ 가 잠재적 승법적 축약을 갖는다고 가정하자. 본 논문은 $G_{\mathbb{Q}_\ell}$ -동형 $\phi: E[p] \to E'[p]$ 이 동일한 심플렉틱 타입을 갖는 모든 경우를 분류하고, 이 타입을 결정하기 위한 두 개의 새로운 판정법을 증명한다. 특히, 두 곡선이 모두 승법적 축약을 가질 때, 우리의 결과는 Kraus와 Oesterlé의 원래 판정법이 다루지 않은 비분기 $p$ -비틀림 부분군의 경우를 포함한다. 또한 두 곡선이 모두 양호한 축약을 갖는 경우 심플렉틱 판정법의 변형을 제시하고 응용 알고리즘을 제공한다. 응용으로서, 도함수 $\leq 500000$ 인 유리 타원곡선들 사이에서 우리의 어떤 판정법의 가정을 만족하는 모든 $p \geq 5$ 합동의 심플렉틱 타입을 결정한다.

연구 배경 및 동기

문제 배경

핵심 문제: 두 개의 타원곡선 $E/\mathbb{Q}$ 과 $E'/\mathbb{Q}$ 이 $G_{\mathbb{Q}}$ -모듈로서 동형인 $p$ -비틀림 부분군 $E[p] \cong E'[p]$ 을 가질 때, 이 동형이 심플렉틱 타입인지 반심플렉틱 타입인지를 결정해야 한다.
심플렉틱 타입의 정의:
- 심플렉틱 타입: Weil 쌍을 보존하는 $G_{\mathbb{Q}}$ -모듈 동형 $\phi: E[p] \to E'[p]$ 의 배수 $\lambda \cdot \phi$ ( $\lambda \in \mathbb{F}_p^*$ )가 존재
- 반심플렉틱 타입: Weil 쌍을 보존하는 $G_{\mathbb{Q}}$ -동형이 존재하지 않음
연구의 중요성:
- 이 문제는 타원곡선의 산술적 성질과 밀접하게 관련
- 모듈 형식 이론과 갈루아 표현 이론에서 중요한 응용
- 타원곡선 간의 합동 관계를 이해하는 데 필수적

기존 방법의 한계

Kraus-Oesterlé 원래 판정법은 승법적 축약의 분기 $p$ -비틀림 부분군으로 제한됨
선행 연구 6의 목록 $L(E,E',p)$ 는 잠재적 양호한 축약 이외에서는 완전하지 않음
계산상 도전: 기존의 양호한 축약 경우 판정법은 실제로 적용하기 어려움

연구 동기

본 논문의 목표:

심플렉틱 판정법의 존재성 이론 완성
미해결 경우를 다루는 새로운 실용적 판정법 제공
완전한 심플렉틱 판정법 분류 제시
계산 가능한 알고리즘 구현 제공

핵심 기여

심플렉틱 판정법 존재성 이론 완성: 잠재적 승법적 축약 및 혼합 축약 경우에서 심플렉틱 판정법 존재 조건 분류 (정리 2.4 및 2.6)
두 개의 새로운 심플렉틱 판정법 제시:
- 정리 1.1: 두 곡선이 모두 분할된 승법적 축약을 갖는 경우 처리
- 정리 1.2: 혼합 축약 경우 처리 (한 곡선은 승법적 축약, 다른 곡선은 양호한 축약)
양호한 축약 경우 판정법 개선: 정리 1.3은 6, 정리 16의 계산 가능한 변형을 제공하고 Magma 구현 제시
완전한 분류 정리: 정리 1.4는 모든 가능한 심플렉틱 판정법의 완전한 목록 제시
대규모 계산 응용: LMFDB 데이터베이스에서 도함자 ≤ 500000인 모든 관련 타원곡선 쌍의 심플렉틱 타입 결정

방법론 상세 설명

작업 정의

타원곡선 삼중쌍 $(E,E',p)$ 이 주어졌을 때, 여기서 $E/\mathbb{Q}$ 과 $E'/\mathbb{Q}$ 은 동형인 $p$ -비틀림 부분군을 가지며, 동형의 심플렉틱 타입(심플렉틱 타입 또는 반심플렉틱 타입)을 결정한다.

핵심 기술 방법

1. 심플렉틱 판정법 존재성 분석

정리 2.1에 기반하여, 심플렉틱 판정법이 존재하는 필요충분조건은 다음 중 하나가 성립:

(A) $\rho_{E,p}(G_F)$ 가 비아벨군
(B) $\rho_{E,p}(G_F)$ 가 $\begin{pmatrix} a & 1 \\ 0 & a \end{pmatrix}$ 형태의 행렬로 생성됨

2. 새로운 판정법의 구성

정리 1.1의 방법 (분할된 승법적 축약 경우):

Tate 곡선 이론 및 $j$ -불변량의 성질 활용
이산 로그 계산을 통해 심플렉틱 타입 결정: $h_i := \text{Log}_{\zeta_p}(\tilde{j}_i^{\frac{\ell-1}{p}} \bmod \ell)$
판정법: $E_1[p]$ 과 $E_2[p]$ 이 심플렉틱 동형 ⟺ $h_1/h_2$ 가 모듈로 $p$ 의 이차잉여

정리 1.2의 방법 (혼합 축약 경우):

승법적 축약 곡선의 Tate 매개변수와 양호한 축약 곡선의 Frobenius 작용 결합
판정법: 심플렉틱 동형 ⟺ $-h/h'$ 이 모듈로 $p$ 의 이차잉여

3. 계산 알고리즘 설계

양호한 축약 경우의 알고리즘 (정리 1.3):

축약 사상 $E[p] \to \tilde{E}[p]$ 이 심플렉틱 성질 보존 활용
$p$ -동형을 통한 심플렉틱 기저 구성
Weil 쌍을 사용한 Legendre 기호 계산
최적화: 기약 인수를 사용한 유한체 확대 정의

기술적 혁신점

통일된 처리: 모든 축약 타입의 조합을 처음으로 체계적으로 처리
계산 가능성: 이론적 판정법을 구체적으로 실행 가능한 알고리즘으로 변환
완전성: 심플렉틱 판정법 존재의 필요충분조건 제시
실용성: 대규모 데이터 처리를 위한 효율적인 구현 제공

실험 설정

데이터셋

LMFDB 데이터베이스: 도함자 ≤ 500000인 타원곡선
소수 범위: $p \in \{5,7,11,13,17\}$
곡선 수:
- $p=5$ : 396516개의 기약 삼중쌍, 22902개의 가약 삼중쌍
- $p=7$ : 39386개의 기약 삼중쌍, 626개의 가약 삼중쌍
- $p=11$ : 848개의 기약 삼중쌍
- 더 큰 소수의 삼중쌍 개수는 감소

계산 방법

합동 검출: Frobenius 흔적의 비교를 통해 $\rho_{E,p} \cong \rho_{E',p}$ 결정
심플렉틱 타입 계산: 새로운 판정법 적용하여 심플렉틱 타입 결정
검증: 알려진 결과와의 교차 검증으로 정확성 보장

구현 세부사항

프로그래밍 환경: Magma 계산 대수 시스템
최적화 전략: Conway 다항식의 상대 확대를 사용하여 큰 유한체의 직접 구성 회피
병렬화: 대규모 계산을 위한 최적화

실험 결과

주요 결과

새로운 판정법의 응용 통계:

$p=5$ $p = 5$ : 31168개의 삼중쌍이 판정법 조건 만족
- 정리 1.1: 150개의 삼중쌍 (77개 심플렉틱 타입, 73개 반심플렉틱 타입)
- 정리 1.2: 31020개의 삼중쌍 (14936개 심플렉틱 타입, 16084개 반심플렉틱 타입)
$p=7$ : 1032개의 삼중쌍 모두 정리 1.2 만족
$p=11$ : 4개의 삼중쌍이 조건 만족
$p \geq 13$ : 조건을 만족하는 삼중쌍 없음