Passer au global : le cas d'Élie Cartan, 1922-1930  [ Going global: the case of Élie Cartan, 1922-1930 ]
Revue d'histoire des mathématiques, Volume 15 (2009) no. 2, p. 231-316

After his work on connections and generalized spaces between 1922 and 1925, Élie Cartan began laying the foundation of the topological and geometric study of Lie groups and homogeneous spaces (1925-1930). We will endeavour to establish that the emergence of global questions is but part and parcel of a thorough restructuring around the epistemological polarity between local and global, a restructuring that occurs at three levels : a theoretical level, a thematic level and a rhetorical level. This new central polarity replaced a 19th century polarity between the infinitesimal and the finite. Our chronological exposition of Cartan's work in the period between 1922 and 1930 will pay special attention to modes of writing, comparing with the works of Hermann Weyl and Otto Schreier. We shall see, in particular, that in spite of the stability of terms such as “neighbourhood”, “manifold” or “group”, the meaning of these words underwent a dramatic change after 1925.

Après avoir enrichi la notion de connexion entre 1922 et 1925, Élie Cartan jette entre 1925 et 1930 les bases de l'étude topologique et géométrique globale des groupes de Lie et variétés homogènes. Nous voulons montrer que ce passage aux questions globales s'accompagne d'une réorganisation complète, aux niveaux théorique, thématique et rhétorique, autour d'une polarité local / global jusque là absente des travaux de Cartan ; elle remplace, selon nous, une polarité infinitésimal / fini héritée du xixe siècle. Nous procédons par une lecture chronologique attentive aux modes d'écritures, en comparant systématiquement avec des auteurs tels Hermann Weyl ou Otto Schreier. Nous montrons en particulier combien, derrière l'apparente stabilité des termes, « voisinage » , « variété » ou « groupe » prennent à partir de 1925 des sens radicalement différents.

Classification:  01A22,  01A53,  01A58,  01A83
Keywords: Cartan (Élie), Weyl, Einstein, local, global, connection, Lie group, manifold
@article{RHM_2009__15_2_231_0,
     author = {Chorlay, Renaud},
     title = {Passer au global : le cas d'\'Elie Cartan, 1922-1930},
     journal = {Revue d'histoire des math\'ematiques},
     publisher = {Soci\'et\'e math\'ematique de France},
     volume = {15},
     number = {2},
     year = {2009},
     pages = {231-316},
     zbl = {1196.01017},
     mrnumber = {2667779},
     language = {fr},
     url = {http://www.numdam.org/item/RHM_2009__15_2_231_0}
}
Chorlay, Renaud. Passer au global : le cas d'Élie Cartan, 1922-1930. Revue d'histoire des mathématiques, Volume 15 (2009) no. 2, pp. 231-316. http://www.numdam.org/item/RHM_2009__15_2_231_0/

[Akivis & Rosenfeld 1993] Akivis (Maks) & Rosenfeld (Boris) - Élie Cartan (1869-1951), AMS, 1993.

[Blaschke 1923] Blaschke (Wilhem) - Vorlesungen über Differentialgeometrie und geometrische Grundlagen von Einsteins Relativitätstheorie. II. Affine Differentialgeometrie, Berlin : Springer, 1re et 2e édition, 1923. | JFM 55.0422.01 | Zbl 0063.00453

[Blaschke 1924] Blaschke (Wilhem) - Vorlesungen über Differentialgeometrie und geometrische Grundlagen von Einsteins Relativitätstheorie I, Berlin : Springer, 2e édition, 1924. | JFM 55.0422.01

[Cartan 1952-1955] Cartan (Élie) - Œuvres complètes, Gauthier-Villars, 1952-1955.

[Cartan 1913] Cartan (Élie) - Les groupes projectifs qui ne laissent invariante aucune multiplicité plane, Bulletin de la SMF, 41 (1913), p. 53-96. | JFM 44.0170.02 | Numdam

[Cartan 1914] Cartan (Élie) - Les groupes projectifs continus réels qui ne laissent invariante aucune multiplicité plane, J. Math. Pures et Appl., 10 (1914), p. 149-186. | JFM 45.0247.01

[Cartan 1915] Cartan (Élie) - La théorie des groupes continus et la géométrie (exposé d'après l'article allemand de G. Fano), dans Encyclopédie des sciences mathématiques, 1915, p. 1-135 ; réimpression Gabay, Paris, 1991 ; dans [Cartan 1952-1955, III.2, p. 1727-1862].

[Cartan 1922a] Cartan (Élie) - Leçons sur les invariant intégraux, Paris : Hermann, 1922 ; 3e tirage, 1971. | Zbl 0212.12501

[Cartan 1922b] Cartan (Élie) - Sur une définition géométrique du tenseur d'énergie d'Einstein, C.R.A.S., 174 (1922), p. 437-439 ; dans [Cartan 1952-1955, III.1, p. 613-615]. | JFM 48.0854.01

[Cartan 1922c] Cartan (Élie) - Sur une généralisation de la notion de courbure de Riemann et les espaces à torsion, C.R.A.S., 174 (1922), p. 593-595 ; dans [Cartan 1952-1955, III.1, p. 616-618]. | JFM 48.0854.02

[Cartan 1922d] Cartan (Élie) - Sur les espaces généralisés et la théorie de la relativité, C.R.A.S., 174 (1922), p. 734-736 ; dans [Cartan 1952-1955, III.1, p. 619-621]. | JFM 48.0854.03

[Cartan 1922e] Cartan (Élie) - Sur les espaces conformes généralisés et l'Univers optique, C.R.A.S., 174 (1922), p. 857-860 ; dans [Cartan 1952-1955, III.1, p. 622-624]. | JFM 48.0854.04

[Cartan 1922f] Cartan (Élie) - Sur les équations de structure des espaces généralisés et l'expression analytique du tenseur d'Einstein, C.R.A.S., 174 (1922), p. 1104-1107 ; dans [Cartan 1952-1955, III.1, p. 625-628]. | JFM 48.0854.05

[Cartan 1923] Cartan (Élie) - Sur les variétés à connexions affines et la théorie de la relativité généralisée, Ann. sci. ENS, 40 (1923), p. 325-412 ; dans [Cartan 1952-1955, III.1, p. 659-746]. | JFM 49.0542.02 | Numdam

[Cartan 1924a] Cartan (Élie) - Les récentes généralisations de la notion d'espace, Bull. Sc. Math., 48 (1924), p. 294-320 ; dans [Cartan 1952-1955, III.1, p. 863-890]. | JFM 50.0589.01

[Cartan 1924b] Cartan (Élie) - Sur les variétés à connexions affines et la théorie de la relativité généralisée (suite), Ann. sci. ENS, 41 (1924), p. 1-25 ; dans [Cartan 1952-1955, III.1, p. 799-824]. | JFM 50.0685.03 | Numdam

[Cartan 1924c] Cartan (Élie) - Sur les variétés à connexions projectives, Bulletin de la SMF, 52 (1924), p. 205-241 ; dans [Cartan 1952-1955, III.1, p. 825-862]. | JFM 50.0500.02 | Numdam

[Cartan 1925a] Cartan (Élie) - La géométrie des espaces de Riemann, dans Mémorial des sciences mathématiques, vol.9, Paris : Gauthier-Villars, 1925. | JFM 51.0566.01 | Numdam

[Cartan 1925b] Cartan (Élie) - La théorie des groupes et les recherches récentes en géométrie différentielle (conférence faite au Congrès de Toronto en 1924), Ens. Math., 24 (1925), p. 1-18 ; dans [Cartan 1952-1955, III.2, p. 891-904]. | JFM 54.0721.07

[Cartan 1925c] Cartan (Élie) - Les groupes d'holonomie des espaces généralisés et l'Analysis Situs, Assoc. Avanc. Science, 49 (1925), p. 47-49 ; dans [Cartan 1952-1955, III.1, p. 919-920]. | JFM 52.0726.01

[Cartan 1925d] Cartan (Élie) - Les tenseurs irréductibles et les groupes linéaires simples et semi-simples, Bull. Sc. Math., 49 (1925), p. 130-152 ; dans [Cartan 1952-1955, III.1, p. 531-553]. | JFM 51.0322.01

[Cartan 1925e] Cartan (Élie) - Sur les variétés à connexions affines et la théorie de la relativité généralisée (2e partie), Ann. sci. ENS, 42 (1925), p. 17-88 ; dans [Cartan 1952-1955, III.1, p. 921-992]. | JFM 51.0582.01 | Numdam

[Cartan & Schouten 1926] Cartan (Élie) & Schouten (J. A.) - On Riemannian geometries admitting absolute parallelism, Proc. Amsterdam, 29 (1926), p. 933-946 ; dans [Cartan 1952-1955, III.2, p. 1067-1080]. | JFM 52.0744.02

[Cartan 1926a] Cartan (Élie) - L'application des espaces de Riemann et l'Analysis Situs, Assoc. Avanc. Science, 50 (1926), p. 53 ; dans [Cartan 1952-1955, III.2, p. 993-995]. | JFM 52.0726.02

[Cartan 1926b] Cartan (Élie) - Les groupes d'holonomie des espaces généralisés, Acta math., 48 (1926), p. 1-42 ; dans [Cartan 1952-1955, III.2, p. 997-1038]. | JFM 52.0723.01

[Cartan 1927a] Cartan (Élie) - La géométrie des groupes de transformations, J. Math. Pures et Appl., 6 (1927), p. 1-119 ; dans [Cartan 1952-1955, I.2, p. 673-792]. | JFM 53.0388.01

[Cartan 1927b] Cartan (Élie) - La théorie des groupes et la géométrie, Ens. Math., 26 (1927), p. 220-225 ; dans [Cartan 1952-1955, I.2, p. 841-866]. | JFM 54.0446.01

[Cartan 1927c] Cartan (Élie) - Sur certaines formes riemanniennes remarquables des géométries à groupes fondamental simple, C.R.A.S., 184 (1927), p. 1628-1630 ; dans [Cartan 1952-1955, I.2, p. 667-669]. | JFM 53.0392.02

[Cartan 1927d] Cartan (Élie) - Sur la possibilité de plonger un espace de Riemann dans un espace euclidien, Ann. Soc. Pol. Math., 6 (1927), p. 1-7 ; dans [Cartan 1952-1955, III.2, p. 1091-1098]. | JFM 54.0763.05

[Cartan 1927e] Cartan (Élie) - Sur la topologie des groupes continus simples réels, C.R.A.S., 184 (1927), p. 1036-1038 ; dans [Cartan 1952-1955, I.2, p. 664-666]. | JFM 53.0392.01

[Cartan 1927f] Cartan (Élie) - Sur les formes riemanniennes des géométries à groupe fondamental simple, C.R.A.S., 185 (1927), p. 96-98 ; dans [Cartan 1952-1955, I.2, p. 670-672]. | JFM 53.0394.01

[Cartan 1927g] Cartan (Élie) - Sur les géodésiques des espaces de groupes simples, C.R.A.S., 184 (1927), p. 862-864 ; dans [Cartan 1952-1955, I.2, p. 661-663]. | JFM 53.0391.01

[Cartan 1928a] Cartan (Élie) - Leçons sur la géométrie des espaces de Riemann, Paris : Gauthier-Villars, 1928. | JFM 54.0755.01

[Cartan 1928b] Cartan (Élie) - Sur les nombres de Betti des espaces de groupe clos, C.R.A.S., 187 (1928), p. 196-198 ; dans [Cartan 1952-1955, I.2, p. 999-1001]. | JFM 54.0604.01

[Cartan 1929] Cartan (Élie) - Sur les invariants intégraux de certains espaces homogènes clos et les propriétés topologiques de ces espaces, Ann. Soc. Pol. Math., 8 (1929), p. 181-225 ; dans [Cartan 1952-1955, I.2, p. 1081-1126]. | JFM 56.0371.02

[Cartan 1931a] Cartan (Élie) - La théorie des groupes finis et continus et l'Analysis situs, dans Mémorial des sciences mathématiques, vol.42, Paris : Gauthier-Villars, 1931 ; dans [Cartan 1952-1955, I.2, p. 1165-1226]. | JFM 56.0370.08 | Numdam

[Cartan 1931b] Cartan (Élie) - Notice sur les travaux scientifiques, 1931 ; dans [Cartan 1952-1955, I.1, p. 1-98].

[Cartan 1936] Cartan (Élie) - La topologie des espaces représentatifs des groupes de Lie, L'Enseignement mathématique, 35 (1936), p. 177-200 ; dans [Cartan 1952-1955, I.2, p. 1307-1330]. | JFM 62.0441.02 | Zbl 0015.20401

[Cartan & Einstein 1979] Cartan (Élie) & Einstein (Albert) - Lettres sur le parallélisme absolu (1929-1932), Académie Royale de Belgique et Princeton Univ. Press, 1979. | Zbl 0592.01014

[Cartan 1950] Cartan (Henri) - Problèmes globaux dans la théorie des fonctions de plusieurs variables complexes, dans Proc. Internat. Congress Math. 1950 Amer. Math. Soc., 1950. | Zbl 0049.06404

[Chorlay 2007] Chorlay (Renaud) - L'émergence du couple local / global dans les théories géométriques, de Bernhard Riemann à la théorie des faisceaux (1851-1953), Thèse, Université Paris 7, 2007.

[Chorlay 2010] Chorlay (Renaud) - From problems to structures : The Cousin problems and the emergence of the sheaf concept, Archive for History of Exact Sciences, 64(1) (2010), p. 1-73. | MR 2570308 | Zbl 1198.01001

[Chorlay 201 ?] Chorlay (Renaud) - Mathématiques globales. L'émergence du couple local / global dans les théories géométriques (1851-1953), 201 ? ; à paraître dans la coll. Sciences dans l'Histoire, Librairie Albert Blanchard, Paris.

[de Rham 1981] De Rham (Georges) - Œuvres mathématiques, Génève : Éditions de l'enseignement mathématique, 1981. | Zbl 0481.01020

[Fano 1907-1910] Fano (Gino) - Kontinuirliche geometrische Gruppen. Die Gruppentheorie als geometrisches Einteilungsprinzip, Encyclopädie der Mathematischen Wissenschaften mit Einschluss ihrer Anwendungen, III.1.1 (1907-1910), p. 289-388. | JFM 38.0499.01

[Goldstein 1999] Goldstein (Catherine) - Local et global, dans Lecourt (D.), éd., Dictionnaire d'histoire et de philosophie des sciences, Paris : PUF, 1999, p. 571-575.

[Gray 1999] Gray (Jeremy), éd. - The Symbolic Universe : Geometry and Physics 1890-1930, Oxford : Oxford Univ. Press, 1999. | MR 1750737 | Zbl 0923.53039

[Hadamard 1912] Hadamard (Jacques) - L'œuvre mathématique de Poincaré, Acta math., 38 (1912), p. 203-287. | Zbl 0536.01033

[Hawkins 2000] Hawkins (Thomas) - Emergence of the Theory of Lie Groups - An Essay in the History of Mathematics 1869-1926, New York : Springer, 2000. | MR 1771134 | Zbl 0965.01001

[Hopf 1925] Hopf (Heing) - Über Zusammenhänge zwischen Topologie und Metrik von Mannigfaltigkeiten, Thèse, Friedrich-Wilhelms-Universität, 1925.

[Hopf 1926] Hopf (Heing) - Zum Clifford-Kleinschen Raumproblem, Math. Annalen, 95 (1926), p. 313-339. | JFM 51.0439.05

[Hurwitz 1897] Hurwitz (Adolf) - Über die Erzeugung der Invarianten durch Integration, Gött. Nachr., 1897, p. 71-90. | JFM 28.0103.03

[Katz 1979] Katz (Victor) - The History of Stoke's Theorem, Math. Magazine, 52 (1979), p. 146-156. | MR 533433 | Zbl 0439.26001

[Katz 1981] Katz (Victor) - The History of Differential Forms from Clairaut to Poincaré, Hist. Math., 8 (1981), p. 161-188. | MR 618368 | Zbl 0462.01010

[Katz 1985] Katz (Victor) - Differential Forms - From Cartan to de Rham, Arch. Hist. of Exact Sc., 33 (1985), p. 321-336. | MR 802297 | Zbl 0563.01012

[Klein 1898] Klein (Felix) - Conférences sur les mathématiques (Congrès de Mathématiques de Chicago, 1893. trad. Laugel), Hermann, 1898. | JFM 29.0023.03

[Lie 1888] Lie (Sophus) - Theorie der Transformationsgruppen I (unter Mitwirkung von Dr. F. Engel), 1888 ; réimpression de la seconde édition New York : Chelsea Pub., 1970.

[Poincaré 2004-2005] Poincaré (Henri) - Œuvres, J. Gabay, 2004-2005 (11 vol.). | Zbl 0072.24103

[Poincaré 1887] Poincaré (Henri) - Sur les résidus des intégrales doubles, Acta math., 9 (1887), p. 321-380 ; dans [Poincaré 2004-2005, 3, p. 440-489]. | JFM 19.0275.01 | MR 1554721

[Poincaré 1899] Poincaré (Henri) - Les méthodes nouvelles de la mécanique céleste, Gauthier-Villars, 1899. | JFM 25.1847.03

[Scholz 1980] Scholz (Erhard) - Geschichte des Mannigfaltigkeitsbegriffes von Riemann bis Poincaré, Boston : Birkhäuser, 1980. | MR 631524 | Zbl 0438.01004

[Scholz 1999] Scholz (Erhard) - Weyl and the Theory of Connections, 1999 ; dans [Gray 1999, p. 260-284]. | MR 1750738 | Zbl 1059.01512

[Scholz 2001a] Scholz (Erhard), éd. - Hermann Weyl's Raum-Zeit-Materie and a general introduction to his scientific work, Basel-Boston : Birkhäuser, 2001. | MR 1847723 | Zbl 1005.83001

[Scholz 2001b] Scholz (Erhard) - Weyls Infinitesimalgeometrie, 1917-1925, 2001 ; dans [Scholz 2001a, p. 48-104].

[Schreier 1926] Schreier (Otto) - Abstrakte kontinuirliche Gruppen, Abhandlungen aus dem mathematischen Seminar der Hamburger Universität, 4 (1926), p. 15-32. | JFM 51.0112.04

[Schreier 1927] Schreier (Otto) - Die Verwandtschaft stetiger Gruppen im Großen, Abhandlungen aus dem mathematischen Seminar der Hamburger Universität, 5 (1927), p. 233-244. | JFM 53.0110.02

[Schreier 1928] Schreier (Otto) - Über neue Untersuchungen in der Theorie der kontinuirlichen Gruppen, Jahresbericht der DMV, 37 (1928), p. 113-122. | JFM 54.0442.03

[Sharpe 1997] Sharpe (Richard W.) - Differential Geometry : Cartan's Generalization of Klein's Erlangen Program, Graduate Texts in Math., vol. 166, New York : Springer, 1997. | MR 1453120 | Zbl 0876.53001

[Veblen 1927] Veblen (Oswald) - Invariants of Quadratic Differential Forms, Cambridge Tracts in Mathematics and Mathematical Physics, 24 (1927). | JFM 53.0681.01

[Veblen & Whitehead 1931] Veblen (Oswald) & Whitehead (John Henry Constantine) - A Set of Axioms for Differential Geometry, Proc. Nat. Acad. Sc., 17 (1931), p. 551-561. | JFM 57.0861.01 | Zbl 0003.13002

[Veblen & Whitehead 1932] Veblen (Oswald) & Whitehead (John Henry Constantine) - The Foundations of Differential Geometry, Cambridge Tracts in Mathematics and Mathematical Physics, 29 (1932). | JFM 58.0754.01 | Zbl 0005.21801

[Weyl 1968] Weyl (Hermann) - Gesammelte Abhandlungen, Springer, 1968. | MR 230597

[Weyl 1913] Weyl (Hermann) - Die Idee der Riemannschen Fläche, Teubner, 1913 ; = Die Idee der Riemannschen Fläche (R. Remmert, éd.), Teubner Archiv zur Mathematik 5, Leipzig : Teubner, 1997. | Zbl 0858.01039

[Weyl 1918] Weyl (Hermann) - Reine Infinitesimalgeometrie, Math. Zeitschrift, 2 (1918), p. 384-411 ; dans [Weyl 1968, 2, p. 1-28]. | JFM 46.1301.01 | MR 1544327

[Weyl 1919] Weyl (Hermann) - Raum, Zeit, Materie, Berlin : Springer, 2e édition, 1919. | MR 988402 | Zbl 0781.53001

[Weyl 1922a] Weyl (Hermann) - Das Raumproblem, Jahresbericht der DMV, 31 (1922), p. 205-221 ; dans [Weyl 1968, 2, p. 329-344]. | JFM 48.0637.03

[Weyl 1922b] Weyl (Hermann) - Temps, espace, matière (trad. G. Juvet et R. Leroy), Paris : Blanchard, 1922.

[Weyl 1923] Weyl (Hermann) - Mathematische Analyse des Raumproblems, Berlin : Springer, 1923. | JFM 50.0368.06

[Weyl 1924a] Weyl (Hermann) - Das gruppentheoretische Fundament der Tensorrechnung, Gött. Nachr., 1924, p. 218-224 ; dans [Weyl 1968, 2, p. 461-467]. | JFM 50.0079.02

[Weyl 1924b] Weyl (Hermann) - Zur Theorie der Darstellung der einfachen kontinuirlichen Gruppen, Sitzungsbericht der preußischen Akademie der Wissenschaften zu Berlin, 1924, p. 338-345 ; dans [Weyl 1968, 2, p. 453-460]. | JFM 50.0293.01

[Weyl 1925] Weyl (Hermann) - Theorie der Darstellung kontinuirlicher halbeinfacher Gruppen durch lineare Transformationen I, II,III, Math. Zeitschrift, 23 (1925), p. 271-309 ; 24 (1926), p. 328-376, 24 (1926), p. 377-395. | JFM 51.0319.01

[Weyl 1929] Weyl (Hermann) - On the Foundation of Infinitesimal Geometry, Bull. AMS, 35 (1929), p. 716-725 ; dans [Weyl 1968, 3, p. 207-216]. | JFM 55.1027.01