Abstract:For quadratic curves over $F_p$, the number of solutions, which is governed by an analogue of the Mordell-Weil group, is expressed with the Legendre symbol of a coefficient of quadratic curves. Focusing on the number of solutions, a quadratic curve analogue of the modular form in the Taniyama-Shimura conjecture is proposed. This modular form yields the Gaussian sum and also possesses some modular transformation structure.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to establish a theoretical framework similar to the Taniyama - Shimura Conjecture for quadratic curves. Specifically, the paper focuses on the number of solutions of quadratic curves over the finite field \(F_p\), and describes the number of these solutions by introducing a concept similar to modular forms.
### Core problems of the paper
1. **The number of solutions of quadratic curves**:
- Research on the number of solutions of the quadratic curve \(y^2 = ax^2 + 1\ mod\ p\) over the finite field \(F_p\).
- By analogy with the Mordell - Weil group on elliptic curves, a similar structure of quadratic curves is defined, and the number of solutions is represented by the Legendre symbol.
2. **Analogy of modular forms**:
- A construction similar to the modular forms in the Taniyama - Shimura Conjecture is proposed to describe the number of solutions of quadratic curves.
- This modular form can be regarded as a generalization of the generalized Gauss sum and has a modular transformation structure.
3. **Generalized Gauss sum**:
- By replacing the Legendre symbol with the Kronecker symbol, the modular form is generalized to the case of non - prime integers.
- The connection between the generalized Gauss sum and the theta function is explored, indicating that it has a modular transformation structure.
### Formula summary
- The number of solutions \(N(p)\) of the quadratic curve \(y^2 = ax^2 + 1\ mod\ p\) can be expressed as:
\[
N(p)=p - \left(\frac{a}{p}\right)
\]
where \(\left(\frac{a}{p}\right)\) is the Legendre symbol.
- The expression of the generalized Gauss sum \(f(\tau)\) is:
\[
f(\tau)=\begin{cases}
\sum_{n = 1}^{\infty}\left(\frac{a}{n}\right)_Kq^n, & \text{if}\ a\equiv1\pmod{4}, \\
\sum_{\substack{n = 1 \\ (n,4a)=1}}^{\infty}\left(\frac{a}{n}\right)_Kq^n, & \text{if}\ a\equiv2,3\pmod{4},
\end{cases}
\]
where \(q = e^{2\pi i\tau}\), \(\left(\frac{a}{n}\right)_K\) is the Kronecker symbol.
### Summary
This paper, by studying the number of solutions of quadratic curves over finite fields, introduces a structure similar to the Mordell - Weil group and proposes a modular form similar to that in the Taniyama - Shimura Conjecture. This not only expands the understanding of quadratic curves but also reveals the profound connection between the generalized Gauss sum and the modular transformation structure.