A Quadratic Curve Analogue of the Taniyama-Shimura Conjecture
##plugins.themes.bootstrap3.article.main##
For quadratic curves over finite fileds, 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.
Introduction
For exactly solvable models in non-linear systems, the group structure plays an important role. The KdV equation is one of the examples. The AKNS formalism exposes that the KdV equation has the Lie algebra structure [1]. From geometrical approaches, we can also observe that the KdV equation has such Lie algebra structure [2]–[5]. In addition, we can find the Lie group structure for the Jacobi type elliptic function [6]. It is worth mentioning that the ℘-function is one of the static solutions of the KdV equation. While, in some sense, the Taniyama-Shimura conjecture [7]–[9] is considered to be the exactly solvable system because we can obtain all solutions for each elliptic curve over specific from the Mordell-Weil group structure [10], [11] of that elliptic curve. Parametrizing elliptic curves by the ℘-function, the Lie group structure of the ℘-function and the Mordell-Weil group in the Taniyama-Shimura conjecture are strongly connected. The Mordell-Weil group can be considered to be the special Abelian subgroup of the non-Abelian SL (2, R) Lie group. In the Taniyama-Shimura conjecture, the Mordell-Weil group plays an essential role.
In this paper, we consider an analogue of the Taniyama-Shimura conjecture for quadratic curves over . By constructing the analogue of the modular form of the Taniyama-Shimura conjecture for quadratic curves, we will demonstrate that such an analogue of the modular form can be considered as a generalization of the Gaussian sum and it has a structure of the modular transformation by using the other Gaussian sum.
Generalized Gaussian Sum
Here we consider the quadratic curve analogue of the modular form of the Taniyama-Shimura conjecture.
The Quadratic Curve Analogue of the Modular Form of the Taniyama-Shimura Conjecture
We denote the number of solutions for the elliptic curve
over by and define . Suppose a modular form, which corresponds to this elliptic curve, to be
Then the Taniyama-Shimura conjecture claims for prime numbers p. In our quadratic case, i.e.,
over , the number of solutions is given by and we define . Then the quadratic curve analogue of the modular form is given by
with for prime numbers p.
Based on the above discussions, the quadratic curve analogue of the modular form should at least include terms. For such a form to have some modular transformation property, it must include terms with a non-prime integer n. Candidate that satisfies these requirements can be obtained by replacing the prime number p with any integer n. At the same time, we have to replace the Legendre symbol with the Kronecker symbol in the form , because the Legendre symbol is not defined for non-prime integer n. Note that for odd prime number p, .
Let us discuss the periodicities of the Kronecker symbol. For a ≡ 1 (mod 4), we obtain
for any integer ℓ. That is, is periodic with respect to p (mod a).
For a ≡ 3 (mod 4), we obtain
That is, is periodic with respect to p (mod 4a).
For a ≡ 2 (mod 4), we put a = 2a′ with a′ is odd integer. Then we have
That is, is periodic with respect to p (mod 4a).
Then we arrive at the quadratic curve analogue of the modular form
In order to concrete our claim, we will show the following in subsequent subsections:
- becomes the Gaussian sum if is the special value ,
- is associated with the theta function, so it has the structure of the modular transformation.
Then we call the above infinite sum (1) the generalized Gaussian sum. If is the special value , the generalized Gaussian sum becomes periodic, and we denote one of its periods, which is proportional to the Gaussian sum, as .
We close this subsection by giving some examples of , which will be helpful to understand the proof in the following subsections.
Example 1.
- For , .
- For , .
- For , .
- For ,
Gaussian Sum
In this subsection, we show that the Gaussian sum can be extracted from the quadratic curve analogue of the modular form given in (1).
Here we list the properties of the Kronecker symbol used in the following calculations. Let (m′, n′ = odd integer):
•
•
•
•
•
•
1) (mod p), a > 0 and a ≡ 1 (mod 4): In the case of (n, a) = 1, is derived from (2). Since if , (1) can be rewritten as
Equation (7) shows that holds. If , then , and we obtain
From this equation, it can be seen that f(1/a) repeatedly contains shown in the following
Since , the sum of n in (9) is up to a − 1.
If we put a = p (prime number) further, becomes the Gaussian sum in the form
2) (mod p), a < 0 and a ≡ 1 (mod 4): Let us consider for a ≡ 1 (mod 4) and a < 0. In this case we rewrite as
by using (2), (4) and (5). Note that because of |a| ≡ 3 (mod 4). Then we obtain
Then (1) can be rewritten as
If , then , and we obtain
The generalized Gaussian sum f(1/|a|) repeatedly contains shown in the following
If we put |a| = p (prime number) further, becomes the Gaussian sum in the form
3) (mod p), a > 0 and a ≡ 3 (mod 4): We prove the following theorem.
Theorem 1. Let a ≡ 3 (mod 4) and a > 0.
Proof. Because a = 4k + 3 and n is odd integer from (n, 4a) = 1, we obtain
from (2). While we have
where we used (7). Then we obtain
If , then , we obtain
The generalized Gaussian sum f(1/a) repeatedly contains shown in the following
In (14), n takes (a − 1) values as , where indicates that a is not included. These values can be mapped to the following values m as . The relation between n and m is given with suitable integer ℓ as follows
We show here an example for a = 11 in the Table I. Proof for any a will be given in Appendix A.
m | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 |
---|---|---|---|---|---|---|---|---|---|---|
ℓ | 0 | 0 | 1 | 1 | 1 | 1 | 1 | 1 | 2 | 2 |
n | 15 | 19 | 1 | 5 | 9 | 13 | 17 | 21 | 3 | 7 |
Replace n in (14) with m to get the following equation
By using (3), (5) and (7), we obtain
Furthermore, we obtain
where we used .
If we put a = p (prime number) further, becomes the Gaussian sum in the form
4) (mod p), a < 0 and a ≡ 3 (mod 4): We rewrite as
Theorem 2. Let a ≡ 3 (mod 4) and a < 0.
Proof. |a| = 1 (mod 4) and n is odd because of (n, 4|a|) = 1. Then and is integer. We, therefore, obtain
While we obtain
Note that . Then we obtain
If , then , and we obtain
The generalized Gaussian sum f(1/|a|) repeatedly contains shown in the following
and are connected each other with suitable integer ℓ as follows
This will be proved in Appendix.
By the same calculation as shown below (16), we have
where we used .
If we put |a| = p (prime number) further, becomes the Gaussian sum in the form
5) (mod p), a ≡ 2 (mod 4): We put a = 2(2k + 1) = 2a′, where a′ is odd. Here n is odd integer owing to (n, 4a) = 1.
Theorem 3. Let a ≡ 2 (mod 4) and a > 0.
Proof. (3) can be rewritten for odd n as
Then we obtain
While we obtain
Thus we obtain
If , then , and we obtain
The generalized Gaussian sum f(1/a) repeatedly contains shown in the following
In the case of a < 0, the similar calculation shows that
By using the other expression of Gaussian sum, (22) and (23) are expected to be rewritten as follows
For a = ±2, ±6, ±10, we have verified that our expectation is correct. Below, we show a = 6 case. With , we obtain
and
Modular Transformation Structure
Here we explain the generalized Gaussian sum is associated with a theta function.
Theorem 4. There are two expressions of the Gaussian sum in the form
Proof of the second expression. We consider the quantity
in . are quadratic residues, and the same quadratic residue comes twice as . Then we have . While we obtain
By the way, we obtain , which gives J = −I − 1. Then we conclude
Thus we obtain the generalized Gaussian sum with the other expression in the form
Using this generalized Gaussian sum with the other expression, we can connect the generalized Gaussian sum with the elliptic theta function in the form
The elliptic theta function has the structure of the modular transformation, and by shifting the constant value, the generalized Gaussian sum also has the structure of the modular transformation.
Through the considerations above, we conclude the generalized Gaussian sum is the quadratic curve analogue of the modular form in the Taniyama-Shimura conjecture.
Conclusion
We have examined the quadratic curve analogue of the Taniyama-Shimura conjecture for the quadratic curves. The number of solutions in is governed by the order of the quadratic curve analogue of the Mordell-Weil group. For quadratic curves , the order of the group of the Mordell-Weil analogue is given by . If we make the combination of , we obtain
For the quadratic curve analogue of the modular form of the Taniyama-Shimura conjecture, by replacing the Legendre symbol with the Kronecker symbol, we obtain the generalized Gaussian sum. If we use the other form of the Gaussian sum, the generalized Gaussian sum is connected with the elliptic theta function with zero argument. Thus, the generalized Gaussian sum has the structure of the modular transformation.
Appendix
Correspondence between and for odd a.
In this appendix, we show that and are mapped to each other by using the following relation with a suitable integer ℓ for odd a:
Theorem 5. If , then .
Proof. Let and . Then
Suppose , then . Since a is odd, must be even. If , , while because and are elements of . Then, cannot be reduced to 0 for , which contradicts the assumption . Namely, we conclude that if
Theorem 6. If odd integer is given, then and ℓ are determined from (31).
Proof. To solve (31), we first consider the equation
Thanks to (4, a) = 1, this equation always has an integer solution and , where must be odd because a is odd. By multiplying n, we obtain the solution of (31) as and , namely
It can be seen that (31) has an infinite number of solutions. Indeed, for any integer k
are solution of (31). By making k an appropriate integer, m can be an element of except when m is 0. If m = 0, however, n = a with ℓ = 0. it is the excluded value for n. The exclusion of n = a follows from the fact that the definition of given in (14) and (19) includes , which is 0 for n = a.
References
-
Ablowitz MJ, Kaup DJ, Newell AC, Segur H. Nonlinear-evolution equations of physical significance. Phys Rev Lett. 1973;31:125–7. doi: 10.1103/PhysRevLett.31.125.
Google Scholar
1
-
Bianchi L. Ricerche sulle superficie elicoidali e sulle superficie a curvatura costante. Ann Scuola Norm Sup Pisa. 1879;2(1):285–341. Available from: http://eudml.org/doc/82743.
Google Scholar
2
-
Crampin M. Solitons and SL(2,R). Phys Lett. 1978;A66:170–2. doi: 10.1016/0375-9601(78)90646-1.
Google Scholar
3
-
Hermann R. Pseudopotentials of Estabrook and Wahlquist. The geometry of solitons, and the theory of connections. Phys Rev Lett. 1976;36:835–6. doi: 10.1103/PhysRevLett.36.835.
Google Scholar
4
-
Sasaki R. Soliton equation and pseudospherical surfaces. Nucl Phys. 1979;B154:343–57. doi: 10.1016/0550-3213(79)90517-0.
Google Scholar
5
-
Hayashi M, Shigemoto K, Tsukioka T. The half-period addition formulae for genus two hyperelliptic ℘ functions and the Sp(4,R) lie group structure. J Phys Commun. 2022;6:085004. doi: 10.1088/2399-6528/ac8521.
Google Scholar
6
-
Breuil C, Conrad B, Diamond F, Taylor R. On the modularity of elliptic curves over Q: wild 3-Adic exercises. J Amer Math Soc. 2001;14:843–939. doi: 10.1090/S0894-0347-99-00287-8.
Google Scholar
7
-
Eichler M. Quaternäre quadratische Formen und die Riemannsche Vermutung für die Kongruenzzetafunktion. Archiv für mathematische Logik und Grundlagenforschung. 1954;5:355–66. doi: 10.1007/BF01898377.
Google Scholar
8
-
Shimura G. Correspondances modulaires et les fonctions ζ de courbes algébriques. J Math Soc Japan. 1958;10:1–28. doi: 10.2969/jmsj/01010001.
Google Scholar
9
-
Mordell LJ. On the rational solutions of the indeterminate equations of the third and fourth degrees. Proc Camb Phil Soc. 1922;21:179–82.
Google Scholar
10
-
Weil A. L’arithmétique sur les courbes algébriques. Acta Math. 1929;52:281–315. doi: 10.1007/BF02592688.
Google Scholar
11
Most read articles by the same author(s)
-
Kazuyasu Shigemoto,
Various Logistic Curves in SIS and SIR Models , European Journal of Mathematics and Statistics: Vol. 4 No. 1 (2023) -
Kazuyasu Shigemoto,
Masahito Hayashi,
Takuya Tsukioka,
The Lie Group Structure of Genus Two Hyperelliptic ℘ Functions , European Journal of Mathematics and Statistics: Vol. 4 No. 3 (2023)