Symplectic criteria for elliptic curves, revisited

Basic Information

• Paper ID: 2509.19938
• Title: Symplectic criteria for elliptic curves, revisited
• Authors: Nuno Freitas, Alain Kraus, Ignasi Sánchez-Rodríguez
• Classification: math.NT (Number Theory)
• Publication Date: October 6, 2025 (arXiv v2)
• Paper Link: https://arxiv.org/abs/2509.19938v2

Abstract

Let $\ell$ and $p \geq 3$ be distinct primes, and let $E/\mathbb{Q}_\ell$ and $E'/\mathbb{Q}_\ell$ be elliptic curves with isomorphic $p$-torsion subgroups. Assume that $E$ has potentially multiplicative reduction. This paper classifies all cases where $G_{\mathbb{Q}_\ell}$-isomorphisms $\phi: E[p] \to E'[p]$ have the same symplectic type, and proves two new criteria to determine this type. In particular, when both curves have multiplicative reduction, our results cover the unramified $p$-torsion case not addressed by the original Kraus-Oesterlé criterion. We also provide a variant of the symplectic criterion for the case where both curves have good reduction, along with an algorithmic application. As an application, we determine the symplectic type of all congruences modulo $p \geq 5$ between rational elliptic curves of conductor $\leq 500000$ satisfying the hypotheses of one of our criteria.

Research Background and Motivation

Problem Background

1. Core Problem: Given two elliptic curves $E/\mathbb{Q}$ and $E'/\mathbb{Q}$ with isomorphic $p$-torsion subgroups $E[p] \cong E'[p]$ as $G_{\mathbb{Q}}$-modules, determine whether such an isomorphism is of symplectic or antisymplectic type.
2. Definition of Symplectic Type:
   • Symplectic type: There exists a $G_{\mathbb{Q}}$-module isomorphism $\phi: E[p] \to E'[p]$ whose scalar multiple $\lambda \cdot \phi$ (with $\lambda \in \mathbb{F}_p^*$) preserves the Weil pairing
   • Antisymplectic type: No $G_{\mathbb{Q}}$-isomorphism preserving the Weil pairing exists
3. Research Significance:
   • This problem is closely related to the arithmetic properties of elliptic curves
   • Has important applications in modular form theory and Galois representation theory
   • Essential for understanding congruences between elliptic curves

Limitations of Existing Methods

1. Kraus-Oesterlé original criterion is limited to multiplicative reduction with ramified $p$-torsion
2. Prior work 6 with list $L(E,E',p)$ is incomplete beyond potentially good reduction
3. Computational challenges: Existing criteria for good reduction are difficult to apply in practice

Research Motivation

This paper aims to:

1. Refine the existence theory of symplectic criteria
2. Provide new practical criteria covering unresolved cases
3. Give a complete classification of symplectic criteria
4. Provide computable algorithmic implementations

Core Contributions

1. Refined existence theory of symplectic criteria: Classifies conditions for symplectic criteria existence in potentially multiplicative and mixed reduction cases (Theorems 2.4 and 2.6)
2. Proposes two new symplectic criteria:
   • Theorem 1.1: Handles the case where both curves have split multiplicative reduction
   • Theorem 1.2: Handles mixed reduction (one curve with multiplicative reduction, the other with good reduction)
3. Improved criteria for good reduction: Theorem 1.3 provides a computable variant of 6, Theorem 16 with Magma implementation
4. Complete classification theorem: Theorem 1.4 gives a complete list of all possible symplectic criteria
5. Large-scale computational application: Determines the symplectic type for all relevant elliptic curve pairs in the LMFDB database with conductor ≤ 500000

Detailed Methodology

Task Definition

Given an elliptic curve triple $(E,E',p)$ where $E/\mathbb{Q}$ and $E'/\mathbb{Q}$ have isomorphic $p$-torsion subgroups, determine the symplectic type of the isomorphism (symplectic or antisymplectic).

Core Technical Methods

1. Symplectic Criterion Existence Analysis

Based on Theorem 2.1, symplectic criteria exist if and only if one of the following conditions holds:

• (A) $\rho_{E,p}(G_F)$ is non-abelian
• (B) $\rho_{E,p}(G_F)$ is generated by matrices of the form $\begin{pmatrix} a & 1 \\ 0 & a \end{pmatrix}$

2. Construction of New Criteria

Theorem 1.1 Method (Split multiplicative reduction case):

• Utilizes Tate curve theory and properties of the $j$-invariant
• Determines symplectic type through discrete logarithm computation: $h_i := \text{Log}_{\zeta_p}(\tilde{j}_i^{\frac{\ell-1}{p}} \bmod \ell)$
• Criterion: $E_1[p]$ and $E_2[p]$ are symplectically isomorphic if and only if $h_1/h_2$ is a quadratic residue modulo $p$

Theorem 1.2 Method (Mixed reduction case):

• Combines Tate parameters of multiplicative reduction curves with Frobenius action on good reduction curves
• Criterion: Symplectic isomorphism if and only if $-h/h'$ is a quadratic residue modulo $p$

3. Algorithmic Design

Algorithm for Good Reduction Case (Theorem 1.3):

1. Utilizes the reduction map $E[p] \to \tilde{E}[p]$ preserving symplecticity
2. Constructs symplectic basis through $p$-isogenies
3. Computes Legendre symbol using Weil pairing
4. Optimization: Uses irreducible factors to define finite field extensions

Technical Innovations

1. Unified treatment: First systematic handling of all reduction type combinations
2. Computability: Transforms theoretical criteria into concrete executable algorithms
3. Completeness: Provides necessary and sufficient conditions for symplectic criterion existence
4. Practicality: Offers efficient implementations for large-scale data processing

Experimental Setup

Dataset

• LMFDB Database: Elliptic curves with conductor ≤ 500000
• Prime Range: $p \in \{5,7,11,13,17\}$
• Curve Quantities:
  • $p=5$: 396516 irreducible triples, 22902 reducible triples
  • $p=7$: 39386 irreducible triples, 626 reducible triples
  • $p=11$: 848 irreducible triples
  • Quantities of triples decrease for higher primes

Computational Methods

1. Congruence Detection: Determines $\rho_{E,p} \cong \rho_{E',p}$ through Frobenius trace comparison
2. Symplectic Type Computation: Applies new criteria to determine symplectic type
3. Verification: Cross-validates with known results to ensure correctness

Implementation Details

• Programming Environment: Magma computational algebra system
• Optimization Strategy: Uses Conway polynomials for relative extensions to avoid direct construction of large finite fields
• Parallelization: Optimized for large-scale computation

Experimental Results

Main Results

Application Statistics of New Criteria:

• $p=5$: 31168 triples satisfy criterion conditions
  • Theorem 1.1: 150 triples (77 symplectic, 73 antisymplectic)
  • Theorem 1.2: 31020 triples (14936 symplectic, 16084 antisymplectic)
• $p=7$: 1032 triples all satisfy Theorem 1.2
• $p=11$: 4 triples satisfy conditions
• $p \geq 13$: No triples satisfy conditions

Algorithm Performance

• Computation Time: Complex cases (e.g., Example 5.3) approximately 2.5 hours
• Optimization Effect: Significant improvement compared to naive methods (original method requires weeks)
• Verification Consistency: All results completely consistent with previously known results

Special Findings

1. Irreducible representations dominate: All computed examples involve irreducible modulo $p$ representations
2. Multiple criteria applicability: Some curve pairs satisfy different criteria at multiple primes
3. Quadratic twists: Discovered 122 triples satisfying unramified quadratic twist conditions

Related Work

Historical Development

1. Kraus-Oesterlé (1992): Proposed original multiplicative reduction criterion
2. Freitas-Kraus (2022): Established theoretical framework for potentially good reduction case
3. Cremona-Freitas (2022): Large-scale computation for $p \geq 7$ cases

Position of This Paper's Contribution

• Theoretical refinement: Fills gaps in potentially multiplicative reduction theory
• Computational breakthrough: First large-scale computation for $p=5$ case
• Methodological innovation: Provides practical algorithmic implementations

Conclusions and Discussion

Main Conclusions

1. Complete Classification: Provides complete classification of all possible symplectic criteria (Theorem 1.4)
2. Computational Feasibility: Demonstrates feasibility of large-scale symplectic type computation
3. Theoretical Unification: Unifies treatment of different reduction types

Limitations

1. Computational Complexity: For large primes $p$, computation remains challenging
2. Database Dependence: Results depend on completeness of LMFDB database
3. Special Cases: Certain degenerate cases require special treatment

Future Directions

1. Algorithm Optimization: Further optimize computation for large primes
2. Theoretical Generalization: Extend to more general abelian varieties
3. Application Exploration: Applications in cryptography and coding theory

In-Depth Evaluation

Strengths

1. Theoretical Completeness: Provides complete solution to symplectic criterion problem
2. Computational Practicality: Algorithms are well-implementable and efficient
3. Sufficient Verification: Large-scale computation verifies theoretical correctness
4. Clear Exposition: Well-structured paper with detailed technical exposition

Weaknesses

1. Computational Limitations: Methods have limitations for very large primes
2. Special Case Handling: Treatment of certain boundary cases may require further optimization
3. Theoretical Depth: Some proofs could potentially be further simplified

Impact

1. Academic Value: Important contribution to elliptic curve arithmetic theory
2. Practical Value: Provides practical tools for related computational problems
3. Reproducibility: Complete code implementation ensures good reproducibility

Applicable Scenarios

1. Number Theory Research: Study of arithmetic properties of elliptic curves
2. Cryptographic Applications: Security analysis of elliptic curve cryptosystems
3. Computational Mathematics: Large-scale number-theoretic computation projects

References

The paper cites 18 important references, primarily including:

• Pioneering work by Kraus-Oesterlé 10
• Authors' prior work 6
• LMFDB database 11
• Silverman's monograph on elliptic curve theory 13

This paper makes important contributions to symplectic criterion theory for elliptic curves, not only refining the theoretical framework but also providing practical computational tools with significant value for number theory and related application fields.