Exp function for Edwards curves over local fields

Giuseppe Filippone

DOI: https://doi.org/10.3934/amc.2023012

2023-03-17

Abstract:We extend the map Exp for elliptic curves in short Weierstrass form over $ \mathbb{C} $ to Edwards curves over local fields. Subsequently, we compute the map Exp for Edwards curves over the local field $ \mathbb{Q}_{p} $ of $ p $-adic numbers.

Number Theory,Algebraic Geometry

What problem does this paper attempt to address?

### What problem does this paper attempt to solve?

This paper aims to extend the exponential mapping \( \text{Exp} \) of complex elliptic curves to Edwards curves over local fields, especially Edwards curves over the p - adic number field. Specifically:

1. **Extension of exponential mapping**: The main objective of the paper is to generalize the exponential mapping \( \text{Exp} \) on elliptic curves in the classical Weierstrass form to Edwards curves. This mapping has been widely studied in the complex number field, but there has not been a systematic study for Edwards curves over local fields (such as the p - adic number field).

2. **Cryptographic applications**: Edwards curves have been widely used in cryptography because of their efficient group law operations and security. Therefore, generalizing the exponential mapping to these curves helps to further improve the efficiency and security of cryptosystems based on Edwards curves.

3. **Analysis of mathematical structures**: By introducing the exponential mapping, the author hopes to better understand the algebraic and geometric structures of Edwards curves over local fields. This includes studying the distribution of points on these curves, addition formulas, and the relationship with elliptic curves in the Weierstrass form.

4. **Specification of the p - adic number field**: The paper pays special attention to how to implement this mapping on the p - adic number field. The p - adic number field is an important local field with unique topological and algebraic properties, which is of great significance for cryptography and number theory research.

### Core contributions of the paper

- **Construction of exponential mapping**: The author constructs in detail the exponential mapping \( \text{Exp}_E \) of Edwards curves over local fields and proves that it satisfies the group homomorphism property.

- **Theoretical connection**: By the birational equivalence relation, the Edwards curves are related to the elliptic curves in the Weierstrass form, and the existing results of the Weierstrass form are used to derive new results on Edwards curves.

- **Application of the p - adic number field**: It specifically shows how to implement this mapping on the p - adic number field and discusses its potential applications in cryptography.

### Formula representation

To ensure the correctness and readability of the formulas, the following are the key formulas involved in the paper:

- **Laurent expansion of the Weierstrass function and its derivative**:
\[
\wp(z)=\frac{1}{z^{2}}+\sum_{k = 2}^{\infty}c_{k}z^{2k - 2}
\]
\[
\wp^{\prime}(z)=-\frac{2}{z^{3}}+\sum_{k = 2}^{\infty}(2k - 2)c_{k}z^{2k - 3}
\]

- **Exponential mapping of Edwards curves**:
\[
\text{Exp}_E:m_K\rightarrow J_0^K(E),\quad z\mapsto\left(\frac{2}{3}y_1\frac{3\wp(z)-a^{\prime}}{x_1\wp^{\prime}(z)},\frac{3\wp(z)-a^{\prime}-3x_1}{3\wp(z)-a^{\prime}+3x_1}\right)
\]

Here, \( m_K \) is the maximal ideal of the local field \( K \), and \( J_0^K(E) \) is the zero - degree divisor class group on the Edwards curve \( E \).

Through these formulas and theoretical derivations, the paper successfully generalizes the classical results of complex elliptic curves to Edwards curves over local fields, providing a solid theoretical basis for subsequent research.