Advertisement

Eisenstein’s Analytic Proofs

  • Franz Lemmermeyer
Part of the Springer Monographs in Mathematics book series (SMM)

Abstract

In this chapter we will have a closer look at Eisenstein’s analytic proofs for the reciprocity laws for quadratic, cubic and quartic residues. In the historical survey which he put at the beginning of his paper [468], Kummer praises them with the following words:

Für einen der schönsten Beweise dieses von den ausgezeichnetsten Mathematikern viel bewiesenen Theorems wird aber derjenige mit Recht gehalten, welchen Eisenstein in Crelle’s Journal, Bd. 29, pag. 177, gegeben hat. In diesem wird das Legendresche Zeichen (p / q) durch Kreisfunktionen so ausgedrückt, daß bei der Vertauschung von p und q dieser Ausdruck, bis auf eine leicht zu bestimmende Änderung im Vorzeichen, ungeändert bleibt. [...] Wenn dieser Eisensteinsche Beweis schon wegen seiner vorzüglichen Eleganz beachtenswerth ist, so wird der Werth desselben noch dadurch erhöht, daß er, wie Eisenstein selbst gezeigt hat, ohne besondere Schwierigkeit auch auf die bi-quadratischen und kubischen Reciprocitätsgesetze angewendet werden kann, wenn anstatt der Kreisfunktionen elliptische Funktionen mit bestimmten Moduln angewendet werden.1

Keywords

Modular Form Elliptic Function Addition Formula Abelian Extension Hurwitz Number 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Additional References

  1. [Abl]
    N.H. Abel, Recherches sur les fonctions elliptiques, J. Reine Angew. Math. 2 (1827), 101–181; ibid. 3 (1828), 160–190; Œuvres I, 263–388Google Scholar
  2. [Ab2]
    N.H. Abel, CEuvres complètes de Niels Henrik Abel, Johnson Reprint Corporation, 1965Google Scholar
  3. [Adl]
    A. Adler: Eisenstein and the Jacobian varieties of Fermat curves, Rocky Mt. Journal 27 (1997), 1–60CrossRefMATHGoogle Scholar
  4. [All]
    N. L. Ailing, Real Elliptic Curves, Mathematics Studies 54, North Holland, 1981Google Scholar
  5. [Ay]
    R. Ayoub: The lemniscate and Fagnano’s contributions to elliptic integrals, Archive for the History of Exact Sciences 29 (1984), 131–149MathSciNetMATHGoogle Scholar
  6. [Ba]
    P. Bachmann: Ergänzung einer Untersuchung von Dirichlet, Math. Ann. 16 (1880), 537–550;MathSciNetCrossRefMATHGoogle Scholar
  7. P. Bachmann, Ergänzung einer Untersuchung von Dirichlet, FdM 12 (1880), 126–127Google Scholar
  8. [Bar]
    P. Barkan, Démonstration d’une conjecture de K. Yamamoto sur les sommes de Gauss biquadratiques, C. R. Acad. Sci. Paris 310 (1990), 69–72MathSciNetMATHGoogle Scholar
  9. [BJa]
    Jac. Bernoulli, Acta erudit. 1694, p. 276, 336; Opera, Geneva 1744, p. 601, 608;Google Scholar
  10. [BJo]
    Joh. Bernoulli, Acta erudit. 1694, p. 394; Opera omnia, Lausanne 1742, p. 119Google Scholar
  11. [Bie]
    K.-R. Biermann, Johann Peter Gustav Lejeune Dirichlet — Dokumente für sein Leben und Wirken, Akademie-Verlag Berlin, 1959Google Scholar
  12. [Bin]
    C. Bindschedler, Die Teilungskörper der elliptischen Funktionen im Bereich der dritten Einheitswurzeln, J. Reine Angew. Math. 152 (1922), 49–75;MATHGoogle Scholar
  13. C. Bindschedler, Die Teilungskörper der elliptischen Funktionen im Bereich der dritten Einheitswurzeln, FdM 48 (1921–22), 189–190Google Scholar
  14. [Bor]
    C. Borchardt, Letter to R. Lipschitz, Dec. 21, 1875; in: Dokumente zur Geschichte der Mathematik, Bd. 2. DMV Vieweg & Sohn, 1986Google Scholar
  15. [BB]
    J.M. Borwein, P.B. Borwein, Pi and the AGM. A study in analytic number theory and computational complexity, Wiley-Interscience 1987Google Scholar
  16. [Bri]
    R. Bricard, Sur l’arc de la lemniscate, Nouv. Ann. (4) 2 (1902), 150Google Scholar
  17. [Bug]
    R. Bugaieff, Quelques applications de la théorie des fonctions elliptiques à la théorie des fonctions discontinues (Russ.), Moskow 1884; cf. Darboux Bull. (2) 9 89–103Google Scholar
  18. [Cal]
    J.W.S. Cassels, On the determination of generalised Gauss sums,Archiv Math. Brno 5 (1969), 79–84MathSciNetMATHGoogle Scholar
  19. [Ca2]
    J.W.S. Cassels, On Kummer sums, Proc. London Math. Soc. (3) 21 (1970), 19–27MathSciNetCrossRefMATHGoogle Scholar
  20. [Coh]
    H. Cohn, Introductory remarks on complex multiplication,Intern. J. Math. & Math. Sci. 5 (1982), 675–690CrossRefMATHGoogle Scholar
  21. [DM]
    L.E. Dickson, H.H. Mitchell, H.S. Vandiver, G.E. Wahlin, Report on algebraic numbers, part I 1923, part II 1928; reprint Chelsea 1967Google Scholar
  22. [Dil]
    E. Dintzl, Uber die Zahlen im Körper k, welche den Bernoul- li’schen Zahlen analog sind, Wiener Ber. 108 (1899), 196–226Google Scholar
  23. [Di2]
    E. Dintzl, Uber die Entwicklungskoeffizienten der elliptischen Funktionen, insbesondere im Falle singulärer Moduln, Monatsh. Math. 25 (1914), 125MathSciNetCrossRefMATHGoogle Scholar
  24. [EG]
    C. El Hassani, R. Gillard, Unités elliptiques et groupes de classes,Ann. Inst. Fourier 36 (1986), 29–41CrossRefMATHGoogle Scholar
  25. [Eis]
    G. Eisenstein, Zur Theorie der quadratischen Zerfällung der Primzahlen 8n+3, 7n+2 und 7n+4, J. Reine Angew. Math. 37 (1848), 97–126; Werke II, 506–535Google Scholar
  26. [Enn]
    A. Enneper, Elliptische Funktionen. Theorie und Geschichte, Halle 1890Google Scholar
  27. [Eul]
    L. Euler, Introductio in analysis infinitorum, tomi pari; “De multiplicatione ac divisione angulorum”, Lausanne 1748; Opera Omnia I (8), 258–283; German Translation: Einleitung in die Analysis des Unendlichen, Springer Verlag 1983Google Scholar
  28. [Eu2]
    L. Euler, Observationes de comparatione arcuum irrecitificabilium, Opera Omnia I (20), 80–107Google Scholar
  29. [Fag]
    G. C. di Fagnano, Opere matematiche, vols. I - III, Milano — Roma — Napoli 1911, 1912Google Scholar
  30. [GS]
    A.C.P. Gee, P. Stevenhagen, Generating class fields using Shimura reciprocity, in: Algorithmic Number Theory (J. P. Buhler, ed.), LNCS 1423, Springer Verlag (1998).Google Scholar
  31. [Hal]
    F. Hajir, Elliptic units of cyclic unramified extensions of complex quadratic fields, Acta Arith. 64 (1993), 69–85MathSciNetMATHGoogle Scholar
  32. [Ha2]
    F. Hajir, On units related to the arithmetic of elliptic curves with complex multiplication, Arch. Math. 66 (1996), 280–291MathSciNetCrossRefMATHGoogle Scholar
  33. [HP]
    D. R. Heath-Brown, S. J. Patterson, The distribution of Kummer sums at prime arguments, J. Reine Angew. Math. 310 (1979), 111–130MathSciNetMATHGoogle Scholar
  34. [Hee]
    K. Heegner, Diophantische Analysis und Modulfunktionen, Math. Z. 56 (1952), 227–253MathSciNetCrossRefMATHGoogle Scholar
  35. [Her]
    G. Herglotz, Ober die Entwicklungskoeffizienten der Weierstra, ßschen p-Funktion, Leipziger Ber. 74 (1922), 269–289; Ges. Werke 436–456Google Scholar
  36. [Hul]
    A. Hurwitz, Grundlagen einer independenten Theorie der elliptischen Modulfunctionen und Theorie der Multiplicatorgleichungen erster Stufe, Diss. Leipzig 1881; Math. Ann. 18 (1881), 528–592; Werke I, 1–66Google Scholar
  37. [Hu2]
    A. Hurwitz, Ober die Entwicklungskoeffizienten der lemniskatischen Funktionen, Math. Ann. 51 (1899), 196–226MathSciNetCrossRefMATHGoogle Scholar
  38. [Itl]
    H. Ito, On a problem of Yamamoto concerning biquadratic Gauss sums, Proc. Japan Acad. 63 (1987), 35–38CrossRefMATHGoogle Scholar
  39. [It2]
    H. Ito, On a problem of Yamamoto concerning biquadratic Gauss sums. II, J. Math. Soc. Japan 40 (1988), 647–660MathSciNetCrossRefMATHGoogle Scholar
  40. [It3]
    H. Ito, On a product related to the cubic Gauss sum,J. Reine Angew. Math. 395 (1989), 202–213MATHGoogle Scholar
  41. [Jac]
    C.G.J. Jacobi, Suite des notices sur les fonctions elliptiques, Werke 1, 266–275Google Scholar
  42. [Kat]
    N.M. Katz, The congruences of Clausen-von Staudt and Kummer for Bernoulli-Hurwitz numbers, Math. Ann. 216 (1975), 1–4MathSciNetCrossRefMATHGoogle Scholar
  43. [Kaw]
    Y. Kawada, Gauss and elliptic functions,Tokyo (1986), 184 pp.Google Scholar
  44. [Ked]
    K. Kedlaya, Complex multiplication and explicit class field theory, Senior thesis, Harvard University, 1996; URL:http://www.math.princeton.edu/’kkedlaya/math/Google Scholar
  45. [Kie]
    L. Kiepert, Siebzehnteilung des Lemniskatenumfangs durch alleinige Anwendung von Lineal und Cirkel, J. Reine Angew. Math. 75 (1873), 255–263CrossRefGoogle Scholar
  46. [Kin]
    R.B. King, Beyond the quartic equation, Birkhäuser 1996Google Scholar
  47. [Kna]
    A. Knapp, Elliptic curves, Princeton University Press 1992Google Scholar
  48. [Kob]
    N. Koblitz, Introduction to elliptic curves and modular forms, Graduate Texts in Math. 97, Springer-Verlag, 2nd edition 1993Google Scholar
  49. [Kra]
    A. Krazer, Zur Geschichte des Umkehrproblems der Integrale,Jahres-ber. DMV 18 (1909), 44–75MATHGoogle Scholar
  50. [Krl]
    L. Kronecker, Zur Theorie elliptischer Funktionen, 1886; Werke 4, 345–495Google Scholar
  51. [Kr2]
    L. Kronecker, Letter to Dedekind, March 15, 1880; in: Werke 5, 453–457Google Scholar
  52. [Kru]
    W. Krull, Elementare und klassische Algebra vom modernen Standpunkt, Göschen Band 930, de Gruyter 1952Google Scholar
  53. [Kr]
    R. Krusemarck, Zur Theorie der elliptischen Functionen,J. Reine Angew Math. 46 (1853), 189–233MATHGoogle Scholar
  54. [Ku]
    E.E. Kummer, Letter to Kronecker, December 4, 1851; Collected Papers I, 89–91Google Scholar
  55. [Lan]
    S. Lang, Complex Analysis, 3rd ed. Springer Verlag 1993Google Scholar
  56. [Law]
    D.F. Lawden, Elliptic functions and applications, Appl. Math. Sci. 80 Springer-Verlag 1989Google Scholar
  57. [Leb]
    V. A. Lebesgue, Sommation de quelques séries, J. Math. Pures Appl. 5 (1840), 42–71Google Scholar
  58. [Li]
    J. Li, Hilbert’s twelfth problem - the reciprocity law and Langlands conjecture (Chinese), Acta Sci. Nat. Univ. Sunyatseni 3 (1981), 104–114Google Scholar
  59. [Lil]
    M. Libri, Note de M. Libri sur un théorème de M. Dirichlet, C. R. Acad. Sci. Paris 10 (1840), 311–314Google Scholar
  60. [Li2]
    M. Libri, Résponse de M. Libri aux observations de M. Liouville, C. R. Acad. Sci. Paris 10 (1840), 345–347Google Scholar
  61. [Li3]
    M. Libri, Memoire sur la résolution des équations algébriques dont les racines ont entre elles un rapport donné, et sur l’integration des équations différentielles linéaires dont les integrales particulières peuvent s’exprimer les unes par les autres, J. Reine Angew. Math. 10 (1833), 167–194CrossRefMATHGoogle Scholar
  62. [Lio]
    J. Liouville, Observations sur une note de M. Libri, C. R. Acad. Sci. Paris 10 (1840), 343–345Google Scholar
  63. [Lol]
    J. H. Loxton, Products related to Gauss Sums, J. Reine Angew. Math. 268/269 (1974), 53–67MathSciNetGoogle Scholar
  64. [Lo2]
    J. H. Loxton, On the determination of Gauss Sums, Sém. DelangePisot-Poitou 1976/77, 12ppGoogle Scholar
  65. [Lun]
    H. Luneburg, On the rational normal form of endomorphisms, B.I. Mannheim, 1987Google Scholar
  66. [Mar]
    A.I. Markuschewitsch, Die Arbeiten von C.F. Gauß liber Funktionentheorie, Gauß Gedenkband (ed.: H. Reichardt), Teubner 1957Google Scholar
  67. [Mas]
    T. Masahito, Three aspects of the theory of complex multiplication, The intersection of history and mathematics (S. Chikara, ed.) Papers presented at the history of mathematics symposium, Tokyo, Japan, August 31 — September 1, 1990; Hist. Stud. v. 15 (1994), 91–108.Google Scholar
  68. [Mal]
    G.B. Mathews, The complex multiplication of the Weierstrass lemniscatic function, Quart. J. 32 (1900), 257–265MATHGoogle Scholar
  69. [Ma2]
    G.B. Mathews, Division of the lemniscate into seven equal parts, Proc. London Math. Soc. (2) 14 (1915), 464–466CrossRefMATHGoogle Scholar
  70. [Ma3]
    G.B. Mathews, A direct method in the multiplication theory of the lemniscatic function and other elliptic functions, Proc. London Math. Soc. (2) 14 (1915), 467–475CrossRefMATHGoogle Scholar
  71. [Mat]
    K. Matter, Die den Bernoulli’schen Zahlen analogen Zahlen im Körper der dritten Einheitswurzeln; Vierteljahresschrift Naturf. Ges. Zürich (1900), 238–271Google Scholar
  72. [Mtl]
    C.R. Matthews, Gauss sums and elliptic functions. I: The Kummer sum, Invent. Math. 52 (1979), 163–185MathSciNetCrossRefMATHGoogle Scholar
  73. [Mt2]
    C.R. Matthews, Gauss sums and elliptic functions. II: The quartic sum Invent. Math. 54 (1979), 23–52MathSciNetCrossRefMATHGoogle Scholar
  74. [MG1]
    A. D. McGettrick, On Gaussian Sums, Diss. 1970Google Scholar
  75. [MG2]
    A. D. McGettrick, A result in the theory of Weierstrass elliptic functions, Proc. London Math. Soc. 25 (1972), 41–54Google Scholar
  76. [MG3]
    A. D. McGettrick, On the biquadratic Gauss sum, Proc. Cambridge Phil. Soc. 71 (1972), 79–83MathSciNetCrossRefMATHGoogle Scholar
  77. [Mel]
    I.G. Melnikov, Das Problem der Lemniskatenteilung. I, II, III (Russian), Leningr. Gos. Ped. Inst. A.I. Gertsen, Uch. Zap. 197 (1958), 20–83, 39–42; ibid. 218 (1961), 171–177Google Scholar
  78. [Mer]
    F. Mertens, Ober Abel’sche Gleichungen und den Satz von Kronecker über die Teilungsgleichungen der Lemniskate, Wiener Ber. 118 (1909), 245–291MATHGoogle Scholar
  79. [MeC]
    C. Meyer, Zur Theorie und Praxis der elliptischen Einheiten, Ann. Univ. Saray., Ser. Math. 6 No. 2 (1995), 215–572MATHGoogle Scholar
  80. [MeP]
    P. Meyer, Ober die Siebenteilung der Lemniskate, Diss. Strassburg, 1900Google Scholar
  81. [Mor]
    C.J. Moreno, Sur le problème de Kummer, Enseignement Math. (2) 20 (1974), 45–51MathSciNetMATHGoogle Scholar
  82. [Nag]
    N.D. Nagaev, The irreducibility of one form of the equations for the division of a lemniscate (Russian), Modern algebra, No. 5 (1976), 93–101Google Scholar
  83. [Nak]
    K. Nakamula, Elliptic units and the class numbers of non-Galois fields J. Number Theory 31 (1989), 142–166MathSciNetCrossRefMATHGoogle Scholar
  84. [Nar]
    E. Naryskina, Über Zahlen, die den Bernoullischen Zahlen analog sind und mit den einklassigen quadratischen Körpern von negativer Diskriminante verknüpft sind (Russ.), Bull. Assoc. Leningrad (6) 19 (1925), 145–176; FdM 51 (1925), 154Google Scholar
  85. [Op]
    H. Opolka, Das wissenschaftliche Werk von Kurt Heegner — ein kurzer Bericht, preprint 1999Google Scholar
  86. [PS]
    L. Panaitopol, D. Stefanescu, A resultant condition for the irreducibility of the polynomials, J. Number Theory 25 (1987), 107–111MathSciNetCrossRefMATHGoogle Scholar
  87. [Pep]
    T. Pépin, Introduction à la théorie des fonctions elliptiques d’après les oeuvres posthumes de Gauss, Rom. Acc. Pontif. d. N. L. 9 (1893), 1 ff.Google Scholar
  88. [Pet]
    K. Petr, Uber eine Anwendung der elliptischen Funktionen auf die Zahlentheorie, Prager Ber. 18 (1907), 8 pp.; FdM 38 (1907), 260–261Google Scholar
  89. [PS]
    V. Prasolov, Y. Solovyev, Elliptic Functions and Elliptic Integrals, Translations of Mathematical Monographs 170 AMS 1997Google Scholar
  90. [Qu]
    J.-P. Quellet, De la construction de fonctions elliptiques selon une méthode d’Eisenstein, Diss. Univ. Montreal 1979Google Scholar
  91. [Ros]
    M. Rosen, Abel’s theorem on the lemniscate, Amer. Math. Monthly 88 (1981), 387–395MathSciNetCrossRefMATHGoogle Scholar
  92. [Scl]
    N. Schappacher, CM motives and the Taniyama group, in: Motives (Jannsen et al., eds.), Proc. Symp. Pure Math. 55 part I AMS 1994, 485–508Google Scholar
  93. [Sc2]
    N. Schappacher, Some Milestones of Lemniscatomy,Algebraic Geometry (Sinan Sertoz, ed.), Lecture Notes in Pure and Applied Mathematics 193 1997Google Scholar
  94. [Sc3]
    N. Schappacher, On the History of Hilbert’s Twelfth Problem, I, Matériaux pour l’histoire des math. (Nice, 1996), 243–273Google Scholar
  95. [Srl]
    W. Scharlau, Zur Entstehung der Algebraischen Zahlentheorie — ein Bericht eines Augenzeugen, Arch. Hist. Exact. Sci. 36 (1986), 63–74MathSciNetCrossRefMATHGoogle Scholar
  96. [Sbn]
    W. Scheibner, Uber elliptische Doppelsummen, Leipziger Ber. 42 (1890), 130–152Google Scholar
  97. [Srl]
    R. Schertz, Problèmes de construction en multiplication complexe,Sém. Théor. Nombres 4 (1992), 239–262MathSciNetCrossRefMATHGoogle Scholar
  98. [Sr2]
    R. Schertz, Construction of ray class fields by elliptic units,J. Théor. Nombres Bordx. 9 (1997), 383–394MathSciNetCrossRefMATHGoogle Scholar
  99. [Sml]
    T. Schönemann, Von denjenigen Moduln, welche Potenzen von Primzahlen sind, J. Reine Angew. Math. 32 (1846), 93–105CrossRefMATHGoogle Scholar
  100. [Sm2]
    T. Schönemann, Notiz, J. Reine Angew. Math. 40 (1850), 188Google Scholar
  101. [Swl]
    K. Schwering, Zerfällung der lemniskatischen Teilungsgleichung in vier Faktoren, J. Reine Angew. Math. 110 (1891), 42–72;Google Scholar
  102. K. Schwering, Zerfällung der lemniskatischen Teilungsgleichung in vier Faktoren, Zusatz zur Abhandlung: ibidem 112 (1893), 37–38MATHGoogle Scholar
  103. [Sw2]
    K. Schwering, Zur Auflösung der lemniskatischen Theilungsgleichung, J. Reine Angew. Math. 111 (1893), 170–204MATHGoogle Scholar
  104. [Ser]
    J.P. Serre, A course in arithmetic, Graduate Texts in Math. 7 Springer Verlag 1978Google Scholar
  105. [Sie]
    C.L. Siegel, Vorlesungen über ausgewählte Kapitel der Funktionentheorie. Teil I, Mathem. Inst. Univ. Göttingen 1965Google Scholar
  106. [Tal]
    T. Takagi, Ober die im Bereich der rationalen komplexen Zahlen Abelschen Zahlkörper, J. Coll. Sci. Tokyo 19 (1903), 1–42; Coll. Papers, 13–39Google Scholar
  107. [Ta2]
    T. Takagi, On a fundamental property of the ‘Equation of division’ in the theory of complex multiplication, Proc. Phys.-Math. Soc. Japan 7 (1914), 414–417; Coll. Papers 40–42Google Scholar
  108. [Tak]
    T. Takenouchi, On the relatively abelian corpora with respect to the corpus defined by a primitive cube root of unity, J. Coll. Sci. Imper. Univ. Tokyo 37 (1916), 70 pp.; FdM 46 (1916–18), 247Google Scholar
  109. [Vin]
    A. I. Vinogradov, On the cubic Gauss sum, Math. USSR, Izv. 1 (1967), 113–138CrossRefGoogle Scholar
  110. [Vll]
    S. G. Vladut, On the history of complex multiplication; Abel’s complex multiplication (Russ.), Istor. Mat. Issled 26 (1982), 91–114MATHGoogle Scholar
  111. [V12]
    S. G. Vladut, On the history of complex multiplication; Gauss, Eisenstein and Kronecker (Russ.), Istor. Mat. Issled 27 (1983), 190–238MathSciNetMATHGoogle Scholar
  112. [V13]
    S. G. Vladut, Kronecker’s Jugendtraum and modular functions, Studies in the Development of Modern Math. 2 Gordon and Breach, 1991Google Scholar
  113. [Web]
    H. Weber, Elliptische Funktionen und algebraische Zahlen, 2nd edition (Lehrbuch der Algebra III), 1908Google Scholar
  114. [Wel]
    A. Weil, Jacobi sums as “Grössencharaktere”, Trans. Am. Math. Soc. 73 (1952), 487–495MathSciNetMATHGoogle Scholar
  115. [We2]
    A. Weil, Sommes de Jacobi et caractères de Hecke, Nachr. Akad. Wiss. Gött. 1974, 1–14Google Scholar
  116. [We3]
    A. Weil, Elliptic functions according to Eisenstein and Kronecker, Ergebnisse Math. 88,Springer-Verlag 1976Google Scholar
  117. [Wic]
    Wichert, Die Fünf- und Siebzehnteilung der Lemniskate, Programmabh. Conitz 1846Google Scholar
  118. [Yam]
    K. Yamamoto, On Gaussian sums with biquadratic residue character, J. Reine Angew. Math. 219 (1965), 200–213MathSciNetMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2000

Authors and Affiliations

  • Franz Lemmermeyer

There are no affiliations available

Personalised recommendations