Eisenstein and the Jacobian varieties of Fermat curves. (English) Zbl 0934.11002
Deep examinations of Gauß’ first paper on biquadratic residues (Gauß-Werke II, 65-92) and of parts of Eisenstein’s papers “Zur Theorie der quadratischen Zerfällung der Primzahlen \(8n+3\), \(7n+2\), \(7n+4\)”, “Beiträge zur Theorie der elliptischen Functionen”, “Über die Irreductibilität und andere Eigenschaften der Gleichung, von welcher die Theilung der ganzen Lemniscate abhängt” [Eisenstein, Math. Werke II, 506-535, I, 299-478, II, 536-619] and making use of numerous other papers (of Jacobi, Kronecker, Abel for instance) the author gains new insight that Eisenstein had some way of knowing that certain differentials on the Fermat curve of degree 7 are reducible to elliptic integrals without explicitly transforming them.
Reviewer: Herbert Pieper (Berlin)
MSC:
| 11-03 | History of number theory |
| 14-03 | History of algebraic geometry |
| 01A55 | History of mathematics in the 19th century |
| 11G30 | Curves of arbitrary genus or genus \(\ne 1\) over global fields |
| 11G05 | Elliptic curves over global fields |
| 14K20 | Analytic theory of abelian varieties; abelian integrals and differentials |
References:
| [1] | Niels Henryk Abel, Recherches sur les fonctions elliptiques , Crelle 2 (1827), 101-181; 3 (1828), 160-187, 187-190 [Oeuvres I, article XVI, 263-388]. · ERAM 002.0052cj |
| [2] | ——–, Mémoire sur une propriété générale d’une class très étendue de fonctions transcendantes , Mémoires présentés par divers savants, VII, Paris, 1841, [Oeuvres I, 145-211]. |
| [3] | Allan Adler, On a theorem of Gauss and a proof of it by Eisenstein , preprint, TIFR, Bombay, 1981. |
| [4] | ——–, Rough Translation of Gauss’ paper ‘Theoria Residuorum Biquadraticorum, Commentatio Prima\(,\) ’ preprint, TIFR, Bombay, 1981. |
| [5] | ——–, Bilingual edition (Latin-English) of Gauss’paper, [ 39 ], in preparation. |
| [6] | ——–, Some integral representations of \(PSL_2(\f_p)\) and their applications , J. Algebra 72 (1981), 115-145. · Zbl 0479.20017 · doi:10.1016/0021-8693(81)90314-8 |
| [7] | Kurt-R. Biermann, Johann Peter Gustav Lejeune Dirichlet, Dokumente für sein Leben und Wirken , Abh. Deutschen Akad. d. Wiss., Berlin, 1959, nr. 2 |
| [8] | ——–, Zur Geschichte der Ehrenpromotion Gotthold Eisensteins , Forschungen und Fortschritte 32 (1958), 332-335. · Zbl 0085.00603 |
| [9] | B.J. Birch and W. Kuyk, eds., Modular functions of one variable IV . Proceedings of the International Summer School, University of Antwerp, RUCA, July 17-August 3, 1972 Lecture Notes in Math., 476-1975. · Zbl 0315.14014 · doi:10.1007/BFb0097580 |
| [10] | Arthur Cayley, Eisenstein’s geometrical proof of the fundamental theorem for quadratic residues, (translated from the original memoir, Crelle t. XXVIII (1844), with an Addition by A. Cayley) , Quart. J. Pure and Appl. Math. 1 (1957), 186-191, [Collected mathematical papers, vol. III (Cambridge 1890), 39-43]. |
| [11] | William Leonard Edge, The Klein group in three dimensions , Acta Math. 79 (1947), 153-223. · Zbl 0029.41201 · doi:10.1007/BF02404696 |
| [12] | Gotthold Eisenstein, Zur Theorie der Quadratische Zerfallung der Primzahlen \(8n+3\), \(7n+2\) und \(7n+4\) , Crelle 37 (1848), 97-126 [Math. Werke II, pp. 506-535, art. 33]. |
| [13] | ——–, Beiträge zur Theorie der elliptischen Funktionen , Crelle 30 (1846), 185-274 [Mathematische Werke I, 299-478, art. 28, 28a-f]. · ERAM 030.0862cj |
| [14] | ——–, Über die Irreductibilität und andere Eigenschaften der Gleichung von welcher die Theilung der ganzen Lemniscate Abhängt , Crelle 39 (1850), 160-179; 224-287 [Mathematische Werke II, 536-619, art. 34]. · ERAM 039.1073cj |
| [15] | ——–, Mathematische Werke , 2 vols., Chelsea Publishing Company, New York, 1975. |
| [16] | ——–, Geometrischer Beweis der Fundamentaltheorems für die quadratischen Reste , Crelle 28 (1844), 246-248 [Mathematische Werke I, 164-166, art. 23]. · ERAM 028.0828cj |
| [17] | ——–, Letter to Stern, July, 1847, Mathematische Werke II, 815-818, art., 46. |
| [18] | ——–, Bermerkungen zu den elliptischen und Abelschen Transcendanten , Crelle 27 (1844), 445-450; [Mathematische Werke I, 28-34, art. 6]. |
| [19] | ——–, Elementare Ableitung einer merkwürdigen Relation zwischen zwei unendlichen Producten , Crelle 27 (1844), 285-288 [Mathematische Werke I, 55-58, art. 9]. · ERAM 027.0799cj |
| [20] | ——–, Genaue Untersuchung der unendlichen Doppelproducte, aus welchen die elliptische Functionen als Quotienten zusammengesetzt sind , Crelle 35 (1847), 153-274, [Mathematische Werke I, 357-478, art. 28f]. |
| [21] | ——–, Allgemeine untersuchung über die Formen dritten Grades mit drei Variabeln, Welche der Kreistheilung ihre Enstehung verdanken , Crelle 28 (1844), 289-374 and 29 (1845), 19-53 [Math. Werke I, 167-287, art. 24]. · ERAM 029.0836cj |
| [22] | ——–, Über die Anzahl der quadratischen Formen in den verschiedenen complexen Theorieen , Crelle 27 (1844), 311-316 [Math Werke I, 89\emdash/94, art. 12]. · ERAM 027.0802cj |
| [23] | ——–, Ableitung des biquadratischen Fundamentaltheorems aus der Theorie der Lemniscatenfunctionen, nebst Bemerkungen zu den Multiplications und Transformationsformeln , Crelle 30 (1846), 185-210 [Math. Werke I, 299-324, art. 28a]. |
| [24] | ——–, Über ein einfaches Mittel zur Auffindung der höheren Reciprocitätsgesetze und der mit ihnen zu verbindenden Ergänzungssätze , Crelle 39 (1850), 351-364 [Math. Werke II, 623-636, art. 36]. · ERAM 039.1081cj |
| [25] | ——–, Beiträge der Kreistheilung , Crelle 27 (1844), 269-278 [Math. Werke I. 45-54, art. 8]. · ERAM 027.0795cj |
| [26] | ——–, Applications de l’Algèbre à l’Arithmétique transcendante , Crelle 29 (1845), 177-184 [Math. Werke I, 291-298, art. 27]. · ERAM 029.0842cj |
| [27] | Leonhard Euler, (a), Demonstratio Theorematis Fermatiani Omnem Numerorum Primus Formae \(4n+1\) Esse Summam Duorum Quadratorum , Nov. comm. sci. Petr. 5 (1754/5), 1760, 3-13 [Opera Omnia, Series \(I^a\), 2 , 328-337, Commentatio 241]. |
| [28] | ——–, De numeris qui sunt aggregata duorum quadratorum , Nov. comm. sci. Petr. 4 (1752/3), 1758, 3-40 [Opera Omnia, Series \(I^a\), 2 , 295-327, Commentatio 228]. |
| [29] | ——–, Evolutio Generalior Formularum Comparationi Curvarum Inservientium , Nov. comm. sci. Petr. 12 (1766/7), 1768, 42-86 [Opera Omnia, Series \(I^a\), 20 , 318-356, Commentatio 347]. |
| [30] | ——–, Introductio in analysis infinitorum, tomi primi. \(``\)De multiplicatione ac divisione angulorum\("\) , Lausanne: Bousquet, 1748 [Opera Omnia, Series \(I^a\), 8 ]. |
| [31] | ——–, De Integratione Aequationes Differentiales \(\fracmdx\sqrt1-x^4= \fracndy\sqrt1-y^4\) , Nov. comm. sci. Petr. 6 (1756/7), 1761, 37-57 [Opera Omnia, Series \(I^a\), 20 , 58-79, Commentatio 251]. |
| [32] | ——–, Introduction to analysis of the infinite, book I , translated by John D. Blanton, published by Springer-Verlag. · Zbl 0657.01013 |
| [33] | Pierre de Fermat, Oeuvres de Fermat , edited by Paul Tannery and Jules Henry, Paris, 4 vol., 1891-1912. · JFM 23.0013.02 |
| [34] | ——–, Letter to Mersenne, Tuesday, Dec. 25, 1640, Letter XLV, Oeuvres, 2 , 212-217. |
| [35] | ——–, Marginal note in Fermat’s copy of Bachet’s edition of Diophantos, Oeuvres, 1 , p. 293, Obs. VII. |
| [36] | ——–, Letter to Huygens, August 1659, Letter CI, Oeuvres, 2 , 431-436. |
| [37] | Évariste Galois, Oeuvres Mathématiques d’ Évariste Galois , Paris, Gauthier-Villars et fils, 1897. · JFM 28.0011.01 |
| [38] | Karl Friedrich Gauss, Disquisitiones Arithmeticae , Leipzig: G. Fleischer, 1801 [Werke, vol. I, Göttingen: Kön. Ges. d. Wiss., 1863]. |
| [39] | ——–, Theoria Residuorum Biquadraticorum, Commentatio Prima , [Werke, vol. II, 65-92]. |
| [40] | ——–, Untersuchungen über höhere Arithmetik Deutsch Herausgegeben von H. Maser Berlin: Springer, 1889 (reprinted by Chelsea, New, York). · JFM 21.0166.04 |
| [41] | Phillip Griffiths, On the periods of certain rational integrals I, II , Annals of Mathematics 90 (1969), 460-541. JSTOR: · Zbl 0215.08103 · doi:10.2307/1970746 |
| [42] | Benedict Gross and David E. Rohrlich, Some results on the Mordell-Weil group of the Jacobian of the Fermat curve , Inv. Math. 44 (1978), 201-224. · Zbl 0369.14011 · doi:10.1007/BF01403161 |
| [43] | Hermann Hädenkamp, Über Transformation Vielfacher Integrale , Crelle 22 (1841), 184-192. · ERAM 022.0681cj |
| [44] | Adolph Hurwitz, Über die diophantische Gleichung \(x^3y+y^3z+z^3x=0\) , Mathematische Werke II, 427-429. |
| [45] | ——–, Grundlagen einer independenten Theorie der elliptischen Modulfunktionen und Theorie der Multiplikator-Gleichungen erster Stufe , Inauguraldissertation, Leipzig, 1881; Math. Ann. 20 (1881), 528-592 [Math. Werke, 1 , 1-66]. |
| [46] | Carl Gustav Jacob Jacobi, Über die Kreistheilung und ihre Anwendung auf die Zahlentheorie , Math. Werke VI, 254-274. |
| [47] | ——–, Letter to C.F. Gauss, Königsberg, February 8, 1827, Mathematische Werke VII, 393-400. |
| [48] | ——–, Notices sur les fonctions elliptiques , Math. Werke I, 249-275. |
| [49] | ——–, Considerationes Generales de Transcentibus Abelianis , Math. Werke II, 5-16. |
| [50] | ——–, Anzeige von Legendre Théorie des Fonctions Elliptiques , Troisième Supplement, 169-359 , Math. Werke I, 373-382. |
| [51] | ——–, Note sur les fonction abéliennes , Math. Werke II, 83-86. |
| [52] | ——–, De functionibus duarum variabilium quadrupliciter periodicis, quibus theoria transcendentium abelianarum inititur , Math. Werke II, 25-50. |
| [53] | ——–, Note von der geodätischen Linie auf einem Ellipsoid und den verschiedenen Anwendungen einer merkwürdigen analytischen Substitution , Crelle 19 (1839), 309-313 [Math. Werke II, 59-63]. · ERAM 019.0621cj |
| [54] | Felix Klein, Über die Transformation siebenter Ordnung der elliptischen Funktionen , Math. Ann. 14 (1878/79) [Ges. Math. Abh., Bd. III, 90-136]. · JFM 11.0297.01 · doi:10.1007/BF01677143 |
| [55] | Neal Koblitz and David Rohrlich, Simple factors of the Jacobian of a Fermat curve , Can. J. Math. 30 (1978), 1183-1205. · Zbl 0399.14023 · doi:10.4153/CJM-1978-099-6 |
| [56] | Leo Königsberger, Ueber die Reduction hyperelliptischer Integrale auf elliptische , Crelle 85 (1878), 273-294. · JFM 10.0323.01 |
| [57] | ——–, Ueber die Reduction Abel’scher Integrale auf elliptische und hyperelliptische , Math. Ann. 15 (1879), 174-205. · JFM 11.0307.01 · doi:10.1007/BF01444138 |
| [58] | ——–, Ueber eine Beziehung der complexen Multiplication der elliptischen Integrale zur Reduction gewisser Klassen Abelscher Integrale auf elliptische , Crelle 86 (1879), 317-352. · JFM 11.0305.02 |
| [59] | ——–, Vorlesungen ueber die Theorie der hyperelliptischen Integrale , Leipzig: B.G. Teubner, 1878. · JFM 10.0320.01 |
| [60] | Leopold Kronecker, Werke , 5 vols., New York: Chelsea, 1968. |
| [61] | ——–, Letter to Dirichlet, June 26, 1856. |
| [62] | ——–, De unitatibus complexis , Inaugural Dissertation, Berlin, 1845 [Math. Werke 1, 5-73, art. 2]. |
| [63] | ——–, Ueber das Reciprocitätsgesetzes , Monatsb. Kön. Preuss. Akad. Wiss. Berl. (1875), 267-274 [Werke, 2 , 11-23, art. 2]. · JFM 07.0018.04 |
| [64] | ——–, Sur la loi de réciprocité , Bulletin des sciences mathématiques, ser. 2, pt. 1, 4 (1880), 182-192 [Werke 2 , 5-36, art. 3]. |
| [65] | ——–, Ueber die Potenzreste gewisser complexer Zahlen , Monatsb. Kön. Preuss. Akad. Wiss. Berl. (1880), 404-407 [Werke 2 , 95-101, art. 7]. · JFM 12.0125.02 |
| [66] | ——–, Beweis des Reciprocitätsgesetzes für die quadratischen Reste , Monatsb. Kön. Preuss. Akad. Wiss. Berl. (1884), 519-537 [Werke 2 , 497-522, art. 18]. · JFM 16.0156.02 |
| [67] | ——–, Die absolut kleinsten Reste reeller Grössen , Monatsb. Kön. Preuss. Akad. Wiss. Berl. (1885), 383-396, 1045-1049 [Werke 3 , 111-136, art. 5]. · JFM 17.0150.01 |
| [68] | ——–, Ein Satz über Discriminanten-Formen , Crelle 100 (1887), 79-82 [Werke 3 , 241-247, art. 9]. · JFM 18.0060.01 |
| [69] | ——–, Zur Theorie der elliptischen Funktionen , Sitz. Kön. Preuss. Akad. Wiss. Berl. (1883), 497-506, 525-530; (1885), 761-784; (1886), 701-780; (1889), 53-63, 123-135 [Werke, 4 , 345\endash/495, art. 31]. |
| [70] | ——–, Zur Theorie der elliptischen Functionen , Sitz. Kön. Preuss. Akad. Wiss. Berl. (1889), 199-220, 255-275, 309-317; (1890), 99-120, 123-130, 219-241, 307\endash/318, 1025\endash/1029 [Werke 5 , 1\endash/132, art. 1]. |
| [71] | ——–, Die Legendre’sche Relation , Sitz. Kön. Preuss. Akad. Wiss. Berl. (1891), 323-332, 343-358, 447-465, 905-908 [Werke 5 , 131-184, art. 2]. · JFM 23.0464.02 |
| [72] | ——–, Über die algebraisch auflösbaren Gleichungen (I. Abhandlung) , Mon. Kön. Preuss. Akad. Wiss. Berl. (1853), 365-374 [Werke 4 , 1-11, art. 1]. |
| [73] | Legendre, Traité des fonctions elliptiques et des intégrales Eulériennes, avec des tables pour en faciliter le calcul numérique, 3 vols., Paris, Huzard-Courcier, 1825-1828. |
| [74] | Gustav Lejeune-Dirichlet, Werke , 2 vols., bound as one, Chelsea, New York, 1969. |
| [75] | A.R. Rajwade, Certain classical congruences via elliptic curves , J. London Math. Soc. (2) 8 (1974), 60-62. · Zbl 0277.10028 · doi:10.1112/jlms/s2-8.1.60 |
| [76] | R. Richelot, Ueber die Reduction des Integrales \( \int \fracfx\,dx\sqrt\pm(1-x^8)\) auf elliptische Integrale , Crelle 32 (1846), 213-218. · ERAM 032.0921cj |
| [77] | Ernst Schering, ed., Briefwechsel zwischen Gustav Lejeune-Dirichlet und Herrn Leopold Kronecker , Nach. Ges. Wiss. Gött. (1885), 361-382 [Kronecker’s Werke 5 , 407-431; Lejeune Dirichlet’s Werke 2 , 388-411]., · JFM 17.0017.02 |
| [78] | Leon Stickelberger, Ueber eine Verallgemeinerung der Kreistheilung , Math. Ann. 37 (1890), 321-367. · JFM 22.0100.01 · doi:10.1007/BF01721360 |
| [79] | Karl Weierstrass, Beitrag zur Theorie der Abel’schen Integrale , Beilage zum Jahresbericht über das Gymnasium zu Braunschweig in dem Schuljahre 1848-49 [Math. Werke 1 , 111-131]. |
| [80] | André Weil, Scientific papers, vols. I, II, III, Springer Verlag, New York, 1979. · Zbl 0424.01028 |
| [81] | ——–, Elliptic functions according to Eisenstein and Kronecker , Springer Verlag, New York, 1976. · Zbl 0318.33004 |
| [82] | ——–, Euler and the Jacobians of Elliptic curves , Arithmetic and Geometry (vol. I, Arithmetic), 353-359, Papers dedicated to I.R. Shafarevitch on the occasion of his sixtieth birthday (Michael Artin and John Tate, ed.), Birkhäuser, Boston, 1983. |
| [83] | ——–, Numbers of solutions of equations in finite fields , Scientific Papers 1 , 399-410, art. [1949b] |
| [84] | ——–, History of mathematics : Why and how , Scientific Papers, 3 , 434-442, art. [1978b]. |
| [85] | ——–, Review of ‘Mathematische Werke, by Gotthold Eisenstein’ , Scientific Papers, 3 , 398-403, art. [1976c]. |
| [86] | Albert Leon Whiteman, A theorem of Brewer on character sums , Duke Math. J. 30 (1963), 545-552. · Zbl 0126.07503 · doi:10.1215/S0012-7094-63-03059-X |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
