##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 sl(2,R)so(2,1)/Z2sp(2,R)su(1,1) 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 Fp 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 Fp. 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

y 2 x 3 + k 2 x 2 + k 1 x + k 0 ( mod p ) ,

over Fp by N^(p) and define b^(p)=pN^(p). Suppose a modular form, which corresponds to this elliptic curve, to be

f ( τ ) = n = 1 c ^ ( n ) q n , q = exp ( 2 π i τ ) .

Then the Taniyama-Shimura conjecture claims b^(p)=c^(p) for prime numbers p. In our quadratic case, i.e.,

y 2 a x 2 + 1 ( mod p ) ,

over Fp, the number of solutions is given by N(p)=p(ap) and we define b(p)=pN(p)=(ap). Then the quadratic curve analogue of the modular form is given by

f ( τ ) = n = 1 c ( n ) q n , q = exp ( 2 π i τ ) .

with c(p)=b(p)=(ap) for prime numbers p.

Based on the above discussions, the quadratic curve analogue of the modular form should at least include (ap)qp terms. For such a form to have some modular transformation property, it must include terms b(n)qn 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 (ap)qp(an)Kqn, because the Legendre symbol is not defined for non-prime integer n. Note that for odd prime number p, (ap)K=(ap).

Let us discuss the periodicities of the Kronecker symbol. For a ≡ 1 (mod 4), we obtain

( ( a p ) K = ( ( p a ) K ( 1 ) a 1 2 p 1 2 = ( ( p + a a ) K ( 1 ) a 1 2 p + a 1 2 = ( ( a p + a ) K ,

for any integer . That is, (ap)K is periodic with respect to p (mod a).

For a ≡ 3 (mod 4), we obtain

( ( a p ) K = ( ( p a ) K ( 1 ) a 1 2 p 1 2 = ( ( p + 4 a a ) K ( 1 ) a 1 2 p + 4 a 1 2 = ( ( a p + 4 a ) K .

That is, (ap)K 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

( a p ) K = ( 2 p ) K ( a p ) K = ( 1 ) p 2 1 8 ( p a p ) K ( 1 ) a 1 2 p 1 2 = ( 1 ) ( p + 8 a ) 2 1 8 ( p + 8 a a ) K ( 1 ) a 1 2 p + 8 a 1 2 = ( a p + 4 a ) K .

That is, (ap)K is periodic with respect to p (mod 4a).

Then we arrive at the quadratic curve analogue of the modular form

f ( τ ) = { n = 1 ( ( a n ) K q n , q = exp ( 2 π i τ ) , if a 1 ( mod 4 ) , n = 1 ( n , 4 a ) = 1 ( ( a n ) K q 1 n , q 1 = exp ( 2 π i τ / 4 ) , if a 2 , 3 ( mod 4 ) .

In order to concrete our claim, we will show the following in subsequent subsections:

  1. f(τ) becomes the Gaussian sum if τ is the special value τ0,
  2. f(τ) 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 τ0, the generalized Gaussian sum becomes periodic, and we denote one of its periods, which is proportional to the Gaussian sum, as f¯(τ0).

We close this subsection by giving some examples of f¯(τ0), which will be helpful to understand the proof in the following subsections.

Example 1.

  1. For y25x2+1(modp), f¯(1/5)=qq2q3+q4=5=G5.
  2. For y23x2+1(modp), f¯(1/3)=qq2=3=G3.
  3. For y23x2+1(modp), f¯(1/3)=q1q15=3=iG3.
  4. For y25x2+1(modp), f¯(1/5)=q1+q13+q17+q19=5=iG5

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=2e1m,n=2e2n (m′, n′ = odd integer):

if m > 0 or n > 0 and ( m , n ) = 1 ( e 1 = 0 or e 2 = 0 and ( m , n ) = 1 ) , ( ( n m ) K ( ( m n ) K = ( 1 ) m 1 2 n 1 2 .

( ( n 2 ) K = ( 2 n ) K = { 1 , if n 1 , 7 ( mod 8 ) , 1 , if n 3 , 5 ( mod 8 ) , 0 , if 2 | n .

( 1 n ) K = ( 1 ) n 1 2 .

if  n 1 , ( a b n ) K = ( ( a n ) K ( b n ) K , ( ( n a b ) K = ( ( n a ) K ( ( n b ) K .

( ( m n ) K = ± 1 , if  ( m , n ) = 1 , otherwise ( ( m n ) K = 0.

for  n > 0  and   a b mod { 4 n , if n 2 ( mod 4 ) , n , otherwise ,   , ( ( a n ) K = ( b n ) K .

1) y2ax2+1(mod p), a > 0 and a ≡ 1 (mod 4): In the case of (n, a) = 1, (an)K=(na)K is derived from (2). Since (an)K=0 if (n,a)1, (1) can be rewritten as

f ( τ ) = n = 1 ( n a ) K q n , q = exp ( 2 π i τ ) .

Equation (7) shows that (n+aa)K=(na)K holds. If τ=1/a, then qa=1, and we obtain

( n + a a ) K q n + a = ( n a p ) K q n .

From this equation, it can be seen that f(1/a) repeatedly contains f¯(1/a) shown in the following

f ¯ ( 1 / a ) = n = 1 a 1 ( n a ) K exp ( 2 π i n / a ) .

Since (aa)K=0, the sum of n in (9) is up to a − 1.

If we put a = p (prime number) further, f¯(1/p) becomes the Gaussian sum in the form

f ¯ ( 1 / p ) = n = 1 p 1 ( n p ) exp ( 2 π i n / p ) = G p = p , p 1 ( mod 4 ) .

2) y2ax2+1 (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 (an)K as

( ( a n ) K = ( ( | a | n ) K = ( ( 1 n ) K ( ( | a | n ) K = ( 1 ) n 1 2 × ( 1 ) | a | 1 2 n 1 2 ( n ( | a | ) K

by using (2), (4) and (5). Note that (1)|a|12=1 because of |a| ≡ 3 (mod 4). Then we obtain

( 1 ) n 1 2 × ( 1 ) | a | 1 2 n 1 2 = ( 1 ) n 1 2 × ( 1 ) n 1 2 = 1.

Then (1) can be rewritten as

f ( τ ) = n = 1 ( n | a | ) K q n , q = exp ( 2 π i τ ) .

If τ=1/|a|, then q|a|=1, and we obtain

( n + | a | | a | ) K q n + | a | = ( n | a | ) K q n .

The generalized Gaussian sum f(1/|a|) repeatedly contains f¯(1/|a|) shown in the following

f ¯ ( 1 / | a | ) = n = 1 | a | 1 ( n | a | ) K exp ( 2 π i n / | a | ) .

If we put |a| = p (prime number) further, f¯(1/p) becomes the Gaussian sum in the form

f ¯ ( 1 / p ) = n = 1 p 1 ( n p ) exp ( 2 π i n / p ) = G p = i p , p   3 ( mod 4 ) .

3) y2ax2+1(mod p), a > 0 and a ≡ 3 (mod 4): We prove the following theorem.

Theorem 1. Let a ≡ 3 (mod 4) and a > 0.

( a n + 2 a ) K = ( a n ) K .

Proof. Because a = 4k + 3 and n is odd integer from (n, 4a) = 1, we obtain

( ( a n ) K = ( 1 ) a 1 2 n 1 2 ( ( n a ) K = ( 1 ) n 1 2 ( ( n a ) K ,

from (2). While we have

( a n + 2 a ) K = ( 1 ) a 1 2 n + 2 a 1 2 ( n + 2 a a ) K = ( 1 ) n 1 2 + a ( ( n a ) K ,

where we used (7). Then we obtain (an+2a)K/(an)K=(1)a=1.

If τ=1/a, then q12a=1, we obtain

( a n + 2 a ) K q 1 n + 2 a = ( ( a n ) K q 1 n .

The generalized Gaussian sum f(1/a) repeatedly contains f¯(1/a) shown in the following

f ¯ ( 1 / a ) = n = 1 ,   ( n , 4 a ) = 1 2 a 1 ( a n p ) K q 1 n = n = 1 ,   ( n , 4 a ) = 1 2 a 1 ( 1 ) n 1 2 ( n a p ) K q 1 n .

In (14), n takes (a − 1) values as n{1,3,,aˇ,,2a1}, where aˇ indicates that a is not included. These values can be mapped to the following values m as m{1,2,3,,a1}. The relation between n and m is given with suitable integer as follows

n = 4 m a ( 2 1 ) .

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
Table I. Relation among n, m and for a = 11

Replace n in (14) with m to get the following equation

f ¯ ( 1 / a ) = n = 1 ,   ( n , 4 a ) = 1 2 a 1 ( n a p ) K ( 1 ) n 1 2 q 1 n = m = 1 a 1 ( 4 m a ( 2 1 ) a ) K ( 1 ) 4 m a ( 2 1 ) 1 2 q 1 4 m a ( 2 1 ) .

By using (3), (5) and (7), we obtain

( 4 m a ( 2 1 ) a ) K = ( 4 m a ) K = ( 2 a ) K ( 2 a ) K ( ( m a ) K = ( ( m a ) K .

Furthermore, we obtain

( 1 ) 4 m a ( 2 1 ) 1 2 = ( 1 ) 2 m a + a 1 2 = ( ( 1 ) a ) ( 1 ) a 1 2 = ( 1 ) + 1 ,

q 1 4 m a ( 2 1 ) = exp ( 2 π i m / a ) exp ( ( 2 + 1 ) π i / 2 ) = i ( 1 ) exp ( 2 π i m / a ) ,

where we used q1=exp(πi/2a).

If we put a = p (prime number) further, f¯(1/p) becomes the Gaussian sum in the form

f ¯ ( 1 / p ) = i m = 1 p 1 ( m p ) exp ( 2 π i m / p ) = i G p = p , p 3 ( mod 4 ) .

4) y2ax2+1(mod p), a < 0 and a ≡ 3 (mod 4): We rewrite f(τ) as

f ( τ ) = n = 1 , ( n , 4 a ) = 1 ( | a | n ) K q 1 n , q 1 = exp ( 2 π i τ / 4 ) .

Theorem 2. Let a ≡ 3 (mod 4) and a < 0.

( | a | n + 2 | a | ) K = ( | a | n ) K .

Proof. |a| = 1 (mod 4) and n is odd because of (n, 4|a|) = 1. Then (1)|a|12=1 and n12 is integer. We, therefore, obtain

( | a | n ) K = ( 1 n ) K ( | a | n ) K = ( 1 ) n 1 2 × ( 1 ) | a | 1 2 n 1 2 ( n | a | ) K = ( 1 ) n 1 2 ( n | a | ) K .

While we obtain

( | a | n + 2 | a | ) K = ( 1 n + 2 | a | ) K ( | a | n + 2 | a | ) K = ( 1 ) n + 2 | a | 1 2 × ( 1 ) | a | 1 2 n + 2 | a | 1 2 ( n + 2 | a | | a | ) K = ( 1 ) n + 1 2 ( n | a | ) K .

Note that n+2|a|12=n+12+|a|1. Then we obtain

( | a | n + 2 | a | ) K / ( | a | n ) K = 1.  

If τ=1/|a|, then q12|a|=1, and we obtain

( | a | n + 2 | a | ) K q 1 n + 2 | a | = ( ( | a | n ) K q 1 n .

The generalized Gaussian sum f(1/|a|) repeatedly contains f¯(1/|a|) shown in the following

f ¯ ( 1 / | a | ) = n = 1 ,   ( n , 4 | a | ) = 1 2 | a | 1 ( | a | n ) K q 1 n = n = 1 ,   ( n , 4 | a | ) = 1 2 | a | 1 ( 1 ) n 1 2 ( n | a | ) K q 1 n .

n{1,3,,|a|ˇ,,2|a|1} and m{1,2,3,,|a|1} are connected each other with suitable integer as follows

n = 4 m | a | ( 2 1 ) .

This will be proved in Appendix.

By the same calculation as shown below (16), we have

f ¯ ( 1 / | a | ) = n = 1 ( n , 4 | a | ) = 1 2 | a | 1 ( 1 ) n 1 2 ( n | a | ) K q 1 n = m = 1 | a | 1 ( 1 ) 4 m | a | ( 2 1 ) 1 2 ( 4 m | a | ( 2 1 ) | a | ) K q 1 4 m | a | ( 2 1 ) = m = 1 | a | 1 ( 1 ) ( m | a | ) K exp ( 2 π i m / | a | ) × i ( 1 ) = i m = 1 | a | 1 ( m | a | ) K exp ( 2 π i m / | a | ) ,

where we used q1=exp(πi/2|a|).

If we put |a| = p (prime number) further, f¯(1/p) becomes the Gaussian sum in the form

f ¯ ( 1 / p ) = i m = 1 p 1 ( m p ) exp ( 2 π i m / p ) = i G p = i p , p 1 ( mod 4 ) .

5) y2ax2+1(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.

( a n + 2 a ) K = ( a n p ) K .

Proof. (3) can be rewritten for odd n as (n2)K=(2n)K=(1)n218.

Then we obtain

( a n + 2 a ) K = ( 2 a n + 4 a ) K = ( 2 n + 4 a ) K ( a n + 4 a ) K = ( 1 ) ( n + 4 a ) 2 1 8 × ( 1 ) a 1 2 ( n + 4 a ) 1 2 ( n + 4 a a ) K = ( 1 ) n 2 1 8 ( 1 ) n a × ( 1 ) a 1 2 n 1 2 ( ( n a ) K = ( 1 ) n 2 1 8 × ( 1 ) a 1 2 n 1 2 ( ( n a ) K .

While we obtain

( a n p ) K = ( 2 a n ) K = ( 2 n ) K ( a n ) K = ( 1 ) n 2 1 8 × ( 1 ) a 1 2 n 1 2 ( n a p ) K .

Thus we obtain (an+2a)K/(an)K=1.

If τ=1/a, then q12a=1, and we obtain

( a n + 2 a ) K q n + 2 a = ( a n p ) K q n .

The generalized Gaussian sum f(1/a) repeatedly contains f¯(1/a) shown in the following

f ¯ ( 1 / a ) = n = 1 ,   ( n , 4 a ) = 1 2 a 1 ( a n p ) K exp ( 2 π i n / 4 a ) .

In the case of a < 0, the similar calculation shows that

f ¯ ( 1 / | a | ) = n = 1 ,   ( n , 4 | a | ) = 1 2 | a | 1 ( | a | n ) K exp ( 2 π i n / 4 | a | ) .

By using the other expression of Gaussian sum, (22) and (23) are expected to be rewritten as follows

f ¯ ( 1 / a ) = 1 1 + i n = 0 2 a 1 exp ( 2 π i n 2 / 4 a ) = a , if   a > 0   and   a 2 ( mod 4 ) , f ¯ ( 1 / | a | ) = i 1 + i n = 0 2 | a | 1 exp ( 2 π i n 2 / 4 | a | ) = i | a | , if   a < 0   and   a 2 ( mod 4 ) .

For a = ±2, ±6, ±10, we have verified that our expectation is correct. Below, we show a = 6 case. With q1=exp(πi/12), we obtain

n = 1 ,   ( n , 24 ) = 1 11 ( 6 n ) K q 1 n = q 1 + q 1 5 q 1 7 q 1 11 = 6 ,

and

n = 0 11 q 1 n 2 = 1 + q 1 + q 1 4 + q 1 9 q 1 4 + q 1 1 + q 1 q 1 4 + q 1 9 + q 1 4 + q 1 = 4 q 1 + 2 q 1 9 = ( 1 + i ) 6 .

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

G p = n = 1 p 1 ( n p ) exp ( 2 π i n / p ) = m = 0 p 1 exp ( 2 π i m 2 / p ) = ( 1 ) p 1 2 p .

Proof of the second expression. We consider the quantity

I = a = 1 , a = quadratic residue p 1 exp ( 2 π i a / p ) ,

in aFp×. {12,22,,n2,,(pn)2,,(p1)2} are quadratic residues, and the same quadratic residue comes twice as n2(pn)2 (mod p). Then we have I=12m=1p1exp(2πim2/p). While we obtain

G p = m = 1 p 1 ( m p ) exp ( 2 π i m / p ) = a = 1 , a = quadratic residue p 1 exp ( 2 π i a / p ) a = 1 , a = quadratic non-residue p 1 exp ( 2 π i a / p ) = I J .

By the way, we obtain I+J=m=1p1exp(2πim/p)=1, which gives J = −I − 1. Then we conclude

G p = 2 I + 1 = m = 1 p 1 exp ( 2 π i m 2 / p ) + 1 = m = 0 p 1 exp ( 2 π i m 2 / p ) .  

Thus we obtain the generalized Gaussian sum with the other expression in the form

G ( τ ) = n = 1 ( n p ) exp ( 2 π i n τ ) = m = 0 exp ( 2 π i m 2 τ ) .

Using this generalized Gaussian sum with the other expression, we can connect the generalized Gaussian sum with the elliptic theta function in the form

G ( τ ) = 1 + n = 1 exp ( 2 π i n 2 τ ) = 1 2 ( ϑ [ 1 1 ] ( 0 , τ ) + 1 ) .

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 Fp is governed by the order of the quadratic curve analogue of the Mordell-Weil group. For quadratic curves y2ax2+1 (mod p), the order of the group of the Mordell-Weil analogue is given by N(p)=p(ap). If we make the combination of b(p)=pN(p)=(ap), we obtain

b ( p ) = N ( p ) p = n = 1 p 1 ( a x 2 + 1 p ) .

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 n{1,3,,aˇ,,2a1} and m{1,2,3,,a1} for odd a.

In this appendix, we show that n{1,3,,aˇ,,2a1} and m{1,2,3,,a1} are mapped to each other by using the following relation with a suitable integer for odd a:

n = 4 m a ( 2 1 ) , = 0 , 1 , 2 , .

Theorem 5. If m1m2, then n1n2.

Proof. Let n1=4m1a(211) and n2=4m2a(221). Then

n 1 n 2 = 2 ( 2 ( m 1 m 2 ) a ( 1 2 ) ) .

Suppose n1=n2, then 2(m1m2)=a(12). Since a is odd, 12 must be even. If m1m2, |a(12)|2a, while |2(m1m2)|2(a1) because m1 and m2 are elements of {1,2,3,,a1}. Then, 2(m1m2)a(12) cannot be reduced to 0 for m1m2, which contradicts the assumption n1=n2. Namely, we conclude that n1n2 if m1m2.

Theorem 6. If odd integer n{1,3,5,aˇ,,2a1} is given, then m{1,2,3,,a1} and ℓ are determined from (31).

Proof. To solve (31), we first consider the equation

1 = 4 X + a Y .

Thanks to (4, a) = 1, this equation always has an integer solution X=X0 and Y=Y0, where Y0 must be odd because a is odd. By multiplying n, we obtain the solution of (31) as m=m0=nX0 and 2(1)=2(01)=nY0, namely

n = 4 m 0 a ( 2 0 1 ) .

It can be seen that (31) has an infinite number of solutions. Indeed, for any integer k

m = m 0 + k a , = 0 + 2 k a ,

are solution of (31). By making k an appropriate integer, m can be an element of {1,2,3,,a1} 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 f¯(τ) given in (14) and (19) includes (an)K, which is 0 for n = a.

References

  1. 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
  2. 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
  3. Crampin M. Solitons and SL(2,R). Phys Lett. 1978;A66:170–2. doi: 10.1016/0375-9601(78)90646-1.
     Google Scholar
  4. 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
  5. Sasaki R. Soliton equation and pseudospherical surfaces. Nucl Phys. 1979;B154:343–57. doi: 10.1016/0550-3213(79)90517-0.
     Google Scholar
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. Weil A. L’arithmétique sur les courbes algébriques. Acta Math. 1929;52:281–315. doi: 10.1007/BF02592688.
     Google Scholar