Passer au global : le cas d'Élie Cartan, 1922-1930
Revue d'histoire des mathématiques, Tome 15 (2009) no. 2, pp. 231-316.

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.

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.

Classification : 01A22, 01A53, 01A58, 01A83
Mot clés : Cartan (Élie), Weyl, Einstein, local, global, connexion, groupe de Lie, variété
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},
     pages = {231--316},
     publisher = {Soci\'et\'e math\'ematique de France},
     volume = {15},
     number = {2},
     year = {2009},
     mrnumber = {2667779},
     zbl = {1196.01017},
     language = {fr},
     url = {http://archive.numdam.org/item/RHM_2009__15_2_231_0/}
}
TY  - JOUR
AU  - Chorlay, Renaud
TI  - Passer au global : le cas d'Élie Cartan, 1922-1930
JO  - Revue d'histoire des mathématiques
PY  - 2009
SP  - 231
EP  - 316
VL  - 15
IS  - 2
PB  - Société mathématique de France
UR  - http://archive.numdam.org/item/RHM_2009__15_2_231_0/
LA  - fr
ID  - RHM_2009__15_2_231_0
ER  - 
%0 Journal Article
%A Chorlay, Renaud
%T Passer au global : le cas d'Élie Cartan, 1922-1930
%J Revue d'histoire des mathématiques
%D 2009
%P 231-316
%V 15
%N 2
%I Société mathématique de France
%U http://archive.numdam.org/item/RHM_2009__15_2_231_0/
%G fr
%F RHM_2009__15_2_231_0
Chorlay, Renaud. Passer au global : le cas d'Élie Cartan, 1922-1930. Revue d'histoire des mathématiques, Tome 15 (2009) no. 2, pp. 231-316. http://archive.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 | Zbl

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

[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. | EuDML | JFM | 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. | EuDML | JFM | Numdam

[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

[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

[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

[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

[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

[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

[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 | 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

[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 | 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 | 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 | 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

[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

[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

[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 | 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

[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

[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

[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

[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

[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

[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

[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

[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

[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

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

[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

[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

[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 | 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 | Zbl

[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

[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

[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 | Zbl

[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

[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

[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 | Zbl

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

[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 | Zbl

[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

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

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

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

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

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

[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

[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 | MR

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

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

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

[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 | Zbl

[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

[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

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

[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 | Zbl

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

[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 | Zbl

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

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

[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

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

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

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

[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

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

[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

[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

[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