Symmetry, Integrability and Geometry: Methods and Applications (SIGMA)

SIGMA 20 (2024), 066, 37 pages      arXiv:2307.16234      https://doi.org/10.3842/SIGMA.2024.066
Contribution to the Special Issue on Differential Geometry Inspired by Mathematical Physics in honor of Jean-Pierre Bourguignon for his 75th birthday

Fragments of a History of the Concept of Ideal. Poncelet's and Chasles's Reflections on Generality in Geometry and their Impact on Kummer's Work with Ideal Divisors

Karine Chemla
Laboratoire SPHERE UMR 7219, Université Paris Cité, 27 rue Jean-Antoine de Baïf, 75013 Paris, France

Received June 30, 2023, in final form June 27, 2024; Published online July 21, 2024

Abstract
In this essay, I argue for the following theses. First, Kummer's concept of ''ideal prime factors of a complex number'' was inspired by Poncelet's introduction of ideal elements in geometry as well as by the reconceptualization that Michel Chasles put forward for them in 1837. In other words, the idea of ideal divisors in Kummer's ''theory of complex numbers'' derives from the introduction of ideal elements in the new geometry. This is where the term ''ideal'' comes from. Second, the introduction of ideal elements into geometry and the subsequent reconceptualization of what was in play with these elements were linked to philosophical reflections on generality that practitioners of geometry in France developed in the first half of the 19${}^{\rm th}$ century in order to devise a new approach to geometry, which would eventually become projective geometry. These philosophical reflections circulated as such and played a key part in the advance of other domains, including in Kummer's major innovation in the context of number theory.

Key words: Ernst Eduard Kummer; Jean-Victor Poncelet; Michel Chasles; projective geometry; cyclotomic fields; divisibility; ideality.

pdf (608 kb)   tex (64 kb)  

References

  1. Avigad J., Methodology and metaphysics in the development of Dedekind's theory of ideals, in The Architecture of Modern Mathematics, Oxford University Press, Oxford, 2006, 159-186.
  2. Belhoste B., Chemla K., Ideal chords in Poncelet's work, from Saratov notebooks to the Traité des propriétés projectives des figures, in Episodes from the History of Mathematics: Essays in Honor of Jesper Lützen, De Gruyter, Berlin, 2024, 47-75.
  3. Belhoste B., Taton R., Leçons de Monge, in L'Ecole Normale de l'An III. Leçons de Mathématiques. Laplace-Lagrange-Monge, Dunod, Paris, 1992, 266-459.
  4. Boniface J., A process of generalization: Kummer's creation of ideal numbers, in The Oxford Handbook of Generality in Mathematics and the Sciences, Oxford University Press, Oxford, 2016, 483-500.
  5. Cauchy A.L., Rapport à l'académie royale des sciences (Sur un mémoire relatif aux propriétés projectives des sections coniques par Jean-Victor Poncelet), Ann. Math. Pures Appl. 11 (1820), 69-83.
  6. Chasles M., Aperçu historique sur l'origine et le développement des méthodes en géométrie, particulièrement de celles qui se rapportent à la géométrie moderne, suivi d'un mémoire de géométrie sur deux principes généraux de la science: la dualité et l'homographie, M. Hayez, Bruxelles, 1837, available at https://numelyo.bm-lyon.fr/f_view/BML:BML_00GOO0100137001101358724.
  7. Chasles M., Geschichte der Geometrie, hauptsächlich mit Bezug auf die neueren Methoden, aus dem Französischen übertragen, durch Dr. Ludwig Adolph Sohncke, Gebauersche Buchhandlung, Halle, 1839.
  8. Chemla K., Lazare Carnot et la généralité en géométrie. Variations sur le théorème dit de Menelaus, Rev. Histoire Math. 4 (1998), 163-190.
  9. Chemla K., The value of generality in Michel Chasles's historiography of geometry, in The Oxford Handbook of Generality in Mathematics and the Sciences, Oxford University Press, Oxford, 2016, 47-89.
  10. Chemla K., Chorlay R., Rabouin D., Prologue: generality as a component of an epistemological culture, in The Oxford Handbook of Generality in Mathematics and the Sciences, Oxford University Press, Oxford, 2016, 1-41.
  11. Chemla K., Chorlay R., Rabouin D. (Editors), The Oxford Handbook of Generality in Mathematics and the Sciences, Oxford University Press, Oxford, 2016.
  12. Cope T.F., Kummer, on ideal numbers, in Source Book in Mathematics, Vol. 1, McGraw-Hill, New York, 1929, 119-126.
  13. Crelle A., Einige Nachrichten von Büchern, J. Reine Angew. Math. 1 (1826), 95-96.
  14. Dedekind R., Sur la théorie des nombres entiers algébriques, Darboux Bull. 11 (1876), 278-288.
  15. Del Centina A., Brianchon and Poncelet's joint memoir, the nine-point circle, and beyond, Arch. Hist. Exact Sci. 76 (2022), 363-390.
  16. Dupin C., Développements de géométrie. Avec des Applications à la stabilité des Vaisseaux, aux Déblais et Remblais, au Défilement, à l'Optique, etc. pour faire suite à la géométrie descriptive et à la géométrie analytique de M. Monge, Me Veuve Courcier, Paris, 1813.
  17. Edwards H.M., The background of Kummer's proof of Fermat's last theorem for regular primes, Arch. History Exact Sci. 14 (1975), 219-236.
  18. Edwards H.M., Fermat's last theorem. A genetic introduction to algebraic number theory, Grad. Texts in Math., Vol. 50, Springer, New York, 1977.
  19. Edwards H.M., On the Kronecker Nachlass, Historia Math. 5 (1978), 419-426.
  20. Friedelmeyer J.-P., L'impulsion originelle de Poncelet dans l'invention de la géométrie projective, in Eléments d'une biographie de l'espace projectif, Hist. Géom., Presses University Nancy, Nancy, 2010, 55-158.
  21. Gudermann C., Grundriss der analytischen Sphaerik, DuMont-Schauberg, Köln, 1830.
  22. Jacobi C.G.J., Ueber die Anwendung der elliptischen Transcendenten auf ein bekanntes Problem der Elementargeometrie: ''Die Relation zwischen der Distanz der Mittelpuncte und den Radien zweier Kreise zu finden, von denen der eine einem unregelmäfsigen Polygon eingeschrieben, der andere demselben umgeschrieben ist'', J. Reine Angew. Math. 3 (1828), 376-389.
  23. Jahnke E., Güntsche R., Färber C. (Editors), Festschrift zur Feier des 100. Geburtstages Eduard Kummer, mit Briefen an seine Mutter und an Leopold Kronecker. Herausgegeben vom Vorstande der Berliner mathematischen Gesellschaft. Mit einem Bildnis E. Kummers, B.G. Teubner, Leipzig, 1910.
  24. Kummer E.E., Hr. Lejeune-Dirichlet übergab hierauf im Auftrage des Hrn. Kummer in Breslau, Correspondenten der Akademie, folgenden Auszug aus dessen neuensten zahlentheoretischen Untersuchungen (Extract of his latest investigations, communicated to the Berlin academy by Lejeune-Dirichlet), Ber. Bekanntmachung Verh. Königl. Preuss. Akad. Wis. Berlin (1846), 87-96.
  25. Kummer E.E., Über die Zerlegung der aus Wurzeln der Einheit gebildeten complexen Zahlen in ihre Primfactoren, J. Reine Angew. Math. 35 (1847), 327-367.
  26. Kummer E.E., Zur Theorie der complexen Zahlen, J. Reine Angew. Math. 35 (1847), 319-326.
  27. Kummer E.E., Mémoire sur la théorie des nombres complexes composés de racines de l'unité et de nombres entiers, J. Math. Pures Appl. 16 (1851), 377-498.
  28. Kummer E.E., Collected papers. Volume I: Contributions to number theory, Springer, Berlin, 1975.
  29. Lorenat J., ''Die Freude an der Gestalt'': Méthodes, figures et pratiques de la géométrie au début du dix-neuvième siècle, Université Pierre et Marie Curie and Simon Fraser University, 2015.
  30. Lorenat J., Figures real, imagined, and missing in Poncelet, Plücker, and Gergonne, Historia Math. 42 (2015), 155-192.
  31. Lorenat J., Radical, ideal and equal powers: new definitions in modern geometry 1814-1826, Rev. Histoire Math. 23 (2017), 71-123.
  32. Lorenat J., Measuring past geometers: a history of non-metric projective anachronism, in Anachronisms in the History of Mathematics -- Essays on the Historical Interpretation of Mathematical Texts, Cambridge University Press, Cambridge, 2021, 251-280.
  33. Lorey W., Das Studium der Mathematik an den deutschen Universitäten seit Anfang des 19. Jahrhunderts, B.G. Teubner, Leipzig, 1916.
  34. Nabonnand P., L'argument de la généralité chez Carnot, Poncelet etChasles, in Justifier en Mathématiques, Editions de la Maison des sciences de l'homme, Paris, 2011, 17-47, available at https://hal.archives-ouvertes.fr/hal-00637385.
  35. Nabonnand P., L'étude des propriétés projectives des figures par Poncelet: une modernité explicitement ancrée dans la tradition, in Sciences Mathématiques 1750-1850, CNRS Editions, Paris, 2015, 381-402, available at https://hal.archives-ouvertes.fr/hal-01266538.
  36. Plücker J., Analytisch-geometrisch Entwicklungen, G.D. Baedeker, Essen, 1828.
  37. Poncelet J.-V., Philosophie mathématique. Réflexions sur l'usage de l'analise algébrique dans la géométrie; suivies de la solution de quelques problèmes dépendant de la géométrie de la règle, Ann. Math. Pures Appl. 8 (1817), 141-155.
  38. Poncelet J.-V., Traité des propriétés projectives des figures; ouvrage utile à ceux qui s'occupent des applications de la géométrie descriptive et d'opérations géométriques sur le terrain, Bachelier, Paris, 1822.
  39. Poncelet J.-V., Mémoire sur les centres de moyennes harmoniques; pour faire suite au traité des propriétés projectives des figures, et servir d'introduction à la Théorie générale des propriétés projectives des courbes et surfaces géométriques, J. Reine Angew. Math. 3 (1828), 213-272.
  40. Poncelet J.-V., Applications d'analyse et de géométrie qui ont servi de principal fondement au Traité des propriétés projectives des figures, comprenant la matière des sept cahiers manuscrits rédigés à Saratoff dans les prisons de Russie (1813 à 1814) et accompagnés de divers autres écrits, anciens ou nouveaux, annotés par l'auteur et suivis d'Additions par MM. Mannheim et Moutard, anciens élèves de l'École polytechnique. Tome 1, Mallet-Bachelier, Paris, 1862.
  41. Poncelet J.-V., Applications d'analyse et de géométrie qui ont servi de principal fondement au Traité des propriétés projectives des figures, avec Additions par MM. Mannheim et Moutard, anciens élèves de l'École Polytechnique.Tome deuxième et dernier, Gauthier-Villars, Paris, 1864.
  42. Poncelet J.-V., Traité des propriétés projectives des figures; ouvrage utile à ceux qui s'occupent des applications de la géométrie descriptive et d'opérations géométriques sur le terrain. Tome premier. Deuxième édition, revue, corrigée et augmentée d'annotations nouvelles, Gauthier-Villars, Paris, 1865.
  43. Poncelet J.-V., Traité des propriétés projectives des figures; ouvrage utile à ceux qui s'occupent des applications de la géométrie descriptive et d'opérations géométriques sur le terrain. Tome second. Deuxième édition, revue par l'auteur et augmentée de sections et d'annotations nouvelles ou jusqu'ici inédites, Gauthier-Villars, Paris, 1866.
  44. Schreiber G., Erläuterungen zum geometrischen Port-folio. Kurs der darstellenden Geometrie und ihrer Anwendungen, Christian Theodor Groos, Karlsruhe, 1839.
  45. Seydewitz F., Sätze von den Kegelschnitten, welche zu beweisen sind, Arch. Math. Phys. 5 (1844), 225-258.
  46. Smadja I., Concepts et Contextes. Historicisation, historiographie, histoire des mathématiques. Mémoire sur travaux, habilitation à diriger des recherches, Université Paris Diderot - Paris 7, 2016.

Previous article  Next article  Contents of Volume 20 (2024)