Elliptic Gauss sum

This article includes a improve this article by introducing more precise citations. (June 2020) (Learn how and when to remove this message )

In mathematics, an elliptic Gauss sum is an analog of a Gauss sum depending on an elliptic curve with complex multiplication. The quadratic residue symbol in a Gauss sum is replaced by a higher residue symbol such as a cubic or quartic residue symbol, and the exponential function in a Gauss sum is replaced by an elliptic function. They were introduced by Eisenstein (1850), at least in the lemniscate case when the elliptic curve has complex multiplication by i, but seem to have been forgotten or ignored until the paper (Pinch 1988).

Example

(Lemmermeyer 2000, 9.3) gives the following example of an elliptic Gauss sum, for the case of an elliptic curve with complex multiplication by i.

${\displaystyle -\sum _{t}\chi (t)\varphi \left({\frac {t}{\pi }}\right)^{\frac {p-1}{m}}}$

where

• The sum is over residues mod P whose representatives are Gaussian integers
• n is a positive integer
• m is a positive integer dividing 4n
• p = 4n + 1 is a rational prime congruent to 1 mod 4
• φ(z) = sl((1 – i)ωz) where sl is the
  sine lemniscate function
  , an elliptic function.
• χ is the mth power residue symbol in K with respect to the prime P of K
• K is the field k[ζ]
• k is the field ${\displaystyle \mathbb {Q} [i]}$
• ζ is a primitive 4nth root of 1
• π is a primary prime in the Gaussian integers ${\displaystyle \mathbb {Z} [i]}$ with norm p
• P is a prime in the ring of integers of K lying above π with inertia degree 1

References

• Asai, Tetsuya (2007), "Elliptic Gauss sums and Hecke L-values at s = 1", Proceedings of the Symposium on Algebraic Number Theory and Related Topics, RIMS Kôkyûroku Bessatsu, B4, Res. Inst. Math. Sci. (RIMS), Kyoto, pp. 79–121,
  MR 2402004
• Cassou-Noguès, Ph.; Taylor, M. J. (1991), "Un élément de Stickelberger quadratique",
  MR 1096447
• Eisenstein, Gotthold (1850), "Über einige allgemeine Eigenschaften der Gleichung, von welcher die Teilung der ganzen Lemniskate abhängt, nebst Anwendungen derselben auf die Zahlentheorie" (PDF), Journal für die Reine und Angewandte Mathematik, 1850 (39): 224–287,
  S2CID 123157985
  , Reprinted in Math. Werke II, 556–619
• Lemmermeyer, Franz (2000), Reciprocity laws, Springer Monographs in Mathematics, Berlin, New York:
  MR 1761696
• Pinch, R. (1988), "Galois module structure of elliptic functions", in Stephens, Nelson M.; Thorne., M. P. (eds.), Computers in mathematical research (Cardiff, 1986), Inst. Math. Appl. Conf. Ser. New Ser., vol. 14,
  MR 0960495