Charles Ehresmann (19 April 1905 – 22 September 1979) was a German-born French mathematician who worked in differential topology and category theory.

Charles Ehresmann
Charles Ehresmann (right) at the topology conference 1949 in Oberwolfach, together with Paul Vincensini (middle) and Georges Reeb (left)
Born(1905-04-19)19 April 1905
Straßburg, Alsace-Lorraine, German Empire (today Strasbourg, Alsace, France)
Died22 September 1979(1979-09-22) (aged 74)
Amiens, Picardy, France
NationalityFrench
Alma materÉcole Normale Supérieure
Known forAlmost complex manifold
Ehresmann's fibration theorem
Ehresmann connection
Jet bundle
Lie groupoid
Sketch
Strict 2-category
SpouseAndrée Ehresmann
AwardsPrix Francoeur
Scientific career
FieldsMathematics
InstitutionsUniversity of Strasbourg
Paris Diderot University
ThesisSur la topologie de certains espaces homogènes (1934)
Doctoral advisorÉlie Cartan
Doctoral students

He was an early member of the Bourbaki group, and is known for his work on the differential geometry of smooth fiber bundles, notably the introduction of the concepts of Ehresmann connection and of jet bundles, and for his seminar on category theory.

Life

edit

Ehresmann was born in Strasbourg (at the time part of the German Empire) to an Alsatian-speaking family; his father was a gardener. After World War I, Alsace returned part of France and Ehresmann was taught in French at Lycée Kléber.[1][2]

Between 1924 and 1927 he studied at the École Normale Supérieure (ENS) in Paris and obtained agrégation in mathematics. After one year of military service, in 1928-29 he taught at a French school in Rabat, Morocco. He studied further at the University of Göttingen during the years 1930–31, and at Princeton University in 1932–34.[1][2]

He completed his PhD thesis entitled Sur la topologie de certains espaces homogènes (On the topology of certain homogeneous spaces) at ENS in 1934 under the supervision of Élie Cartan.[3]

From 1935 to 1939 he was a researcher with the Centre national de la recherche scientifique and he contributed to the seminar of Gaston Julia, which was a forerunner of the Bourbaki seminar. In 1939 Ehresmann became a lecturer at the University of Strasbourg, but one year later the whole faculty was evacuated to Clermont-Ferrand due to the German occupation of France. When Germany withdrew in 1945, he returned to Strasbourg.[1][2]

From 1955 he was Professor of Topology at Sorbonne, and after the reorganization of Parisian universities in 1969 he moved to Paris Diderot University (Paris 7).

Ehresmann was President of the Société Mathématique de France in 1965.[4] He was awarded in 1940 the Prix Francoeur for young researchers in mathematics[5] and in 1967 an honorary doctorate by the University of Bologna.[6] He also held visiting chairs at Yale University, Princeton University, in Brazil (São Paulo, Rio de Janeiro), Buenos Aires, Mexico City, Montreal, and the Tata Institute of Fundamental Research in Bombay.[7]

After his retirement in 1975 and until 1978 he gave lectures at the University of Picardy at Amiens, where he moved because his second wife, Andrée Charles-Ehresmann, was a professor of mathematics there. He died at Amiens in 1979.[1][2]

Mathematical work

edit

In the first part of his career Ehresmann introduced many new mathematical objects in differential geometry and topology, which gave rise to entire new fields, often developed later by his students.[8][9][2]

In his first works he investigated the topology and homology of manifolds associated with classical Lie groups, such as Grassmann manifolds and other homogeneous spaces.[10][11]

He developed the concept of fiber bundle, and the related notions of Ehresmann connection and solder form,[12][13][14][15] building on the works by Herbert Seifert[16] and Hassler Whitney[17] in the 1930s. Norman Steenrod was working in the same direction from a topological point of view,[18] but Ehresmann, influenced by Cartan's ideas, was particularly interested in differentiable (smooth) fiber bundles, and in the differential-geometric aspects of these.[2] This approach led him also to the notion of almost complex structure,[19] which was introduced independently also by Heinz Hopf.[20]

In order to obtain a more conceptual understanding of completely integrable systems of partial differential equations, in 1944 Ehresmann inaugurated the theory of foliations,[21][22] which will be later developed by his student Georges Reeb.[23] With the same perspective, he pioneered the notions of jet and of Lie groupoid.[24][25][26][27]

Since the 1960s, Ehresmann's research interests moved to category theory, where he introduced the concepts of sketch and of strict 2-category.[28][29]

His collected works, edited by his wife, appeared in seven volumes in 1980–1983 (four volumes published by Imprimerie Evrard, Amiens, and the rest in the journal Cahiers de Topologie et Géométrie Différentielle Catégoriques, which he had founded in 1957).[30] His publications include also the books Catégories et structures (Dunod, Paris, 1965) and Algèbre (1969).

Jean Dieudonné described Ehresmann's personality as "... distinguished by forthrightness, simplicity, and total absence of conceit or careerism. As a teacher he was outstanding, not so much for the brilliance of his lectures as for the inspiration and tireless guidance he generously gave to his research students ... "[2]

He had 76 PhD students, including Georges Reeb, Wu Wenjun (吴文俊), André Haefliger, Valentin Poénaru, and Daniel Tanré.[3] His first student was Jacques Feldbau.[31][32]

References

edit
  1. ^ a b c d O'Connor, John J.; Robertson, Edmund F., "Charles Ehresmann", MacTutor History of Mathematics Archive, University of St Andrews
  2. ^ a b c d e f g Dieudonné, Jean (2007). "Ehresmann, Charles". Complete Dictionary of Scientific Biography. Charles Scribner's Sons. Retrieved 18 February 2022.
  3. ^ a b Charles Ehresmann at the Mathematics Genealogy Project
  4. ^ "Liste anciens présidents | Société Mathématique de France". smf.emath.fr. Retrieved 18 February 2022.
  5. ^ "Charles Ehresmann". serge.mehl.free.fr (in French). Retrieved 18 February 2022.
  6. ^ "Lauree Honoris Causa – Archivio Storico". archiviostorico.unibo.it (in Italian). Retrieved 26 February 2022.
  7. ^ "CTHS – EHRESMANN Charles". cths.fr. Retrieved 18 February 2022.
  8. ^ Libermann, Paulette (2007). "Charles Ehresmann's concepts in differential geometry". Geometry and Topology of Manifolds. Banach Center Publications. 76. Będlewo, Poland: Institute of Mathematics Polish Academy of Sciences: 35–50. doi:10.4064/bc76-0-2.
  9. ^ Ehresmann, Andrée C. (2007). "How Charles Ehresmann's vision of geometry developed with time". Geometry and Topology of Manifolds. Banach Center Publications. 76. Będlewo, Poland: Institute of Mathematics Polish Academy of Sciences: 29–34. doi:10.4064/bc76-0-1.
  10. ^ Ehresmann, Charles (1934). "Sur la Topologie de Certains Espaces Homogenes". Annals of Mathematics. 35 (2): 396–443. doi:10.2307/1968440. ISSN 0003-486X. JSTOR 1968440.
  11. ^ Ehresmann, Charles (1936). "Sur les espaces localement homogènes" [On locally homogeneous spaces]. Enseign. Math. (in French). 35: 317–333. JFM 62.1473.03.
  12. ^ Marle, Charles-Michel (2007). "The works of Charles Ehresmann on connections: from Cartan connections to connections on fibre bundles". Geometry and Topology of Manifolds. Banach Center Publications. 76. Będlewo, Poland: Institute of Mathematics Polish Academy of Sciences: 65–86. arXiv:1401.8272. doi:10.4064/bc76-0-4. S2CID 43455645.
  13. ^ Ehresmann, Charles (1947). "Sur les espaces fibrés différentiables" [On differentiable fibred bundles]. Comptes rendus de l'Académie des Sciences (in French). 224: 1611–1612. Zbl 0029.42001.
  14. ^ Ehresmann, Charles (1949). "Sur la théorie des espaces fibres" [On the theory of fibred bundles]. Colloques Internat. Centre Nat. Rech. Sci. (Topologie Algebrique) (in French). 12: 3–15. Zbl 0039.39703.
  15. ^ Ehresmann, Charles (1955). "Les prolongements d'un espace fibré différentiable" [The prolongations of a differentiable fibred bundle]. Comptes rendus de l'Académie des Sciences (in French). 240: 1755–1757.
  16. ^ Seifert, Herbert (1933). "Topologie Dreidimensionaler Gefaserter Räume" [Topology of tridimensional fibred space]. Acta Mathematica (in German). 60: 147–238. doi:10.1007/BF02398271. ISSN 0001-5962. S2CID 122571694 – via Project Euclid.
  17. ^ Whitney, Hassler (1 July 1935). "Sphere-Spaces". Proceedings of the National Academy of Sciences of the United States of America. 21 (7): 464–468. Bibcode:1935PNAS...21..464W. doi:10.1073/pnas.21.7.464. ISSN 0027-8424. PMC 1076627. PMID 16588001.
  18. ^ Steenrod, Norman (1951). The Topology of Fibre Bundles. (PMS-14), Volume 14. Princeton University Press. doi:10.1515/9781400883875. ISBN 978-1-4008-8387-5.
  19. ^ Ehresmann, Charles (1952). "Sur les variétés presques complexes" [On almost complex manifolds]. Proc. Internat. Congr. Math. (in French). 2: 412–419. Zbl 0049.12904.
  20. ^ Hopf, Heinz (1948). "Zur Topologie der komplexen Mannigfaltigkeiten" [On the topology of complex manifolds]. Studies and Essays Presented to R. Courant on His 60th Birthday (in German). New York: 167–185.
  21. ^ Haefliger, André (2005). "Naissance des feuilletages, d'Ehresmann-Reeb à Novikov" [Birth of foliations, from Ehresmann-Reeb to Novikov]. Géométrie au XXe Siècle, 1930-2000: Histoire et Horizons (in French). Hermann: 257–272. CiteSeerX 10.1.1.694.1226.
  22. ^ Ehresmann, Charles (1951). "Sur la théorie des variétés feuilletées" [On the theory of foliated manifolds]. Rendiconti di Matematica e delle sue Applicazioni (in French). 10 (5). Rome: Istituto Nazionale di Alta Matematica: 64–82.
  23. ^ Reeb, Georges (1952). "Sur certaines propriétés topologiques des variétés feuilletées" [On certain topological properties of foliated manifolds]. Actualités Scientifiques et Industrielles (in French). 1183. Paris: Hermann: 5–89, 155–156. MR 0055692.
  24. ^ Pradines, Jean (2007). "In Ehresmann's footsteps: from group geometries to groupoid geometries". Geometry and Topology of Manifolds. Banach Center Publications. 76. Będlewo, Poland: Institute of Mathematics Polish Academy of Sciences: 87–157. arXiv:0711.1608. doi:10.4064/bc76-0-5. S2CID 17743849.
  25. ^ Tulczyjew, Włodzimierz M. (2007). "Evolution of Eresmann's jet theory". Geometry and Topology of Manifolds. Banach Center Publications. 76. Będlewo, Poland: Institute of Mathematics Polish Academy of Sciences: 159–176. doi:10.4064/bc76-0-6. S2CID 17456748.
  26. ^ Ehresmann, Charles (1959). "Catégories topologiques et categories différentiables" [Topological categories and differentiable categories] (PDF). Colloque de Géométrie différentielle globale (in French). CBRM, Bruxelles: 137–150.
  27. ^ Ehresmann, Charles (1963). "Catégories structurées" [Structured categories]. Annales scientifiques de l'École Normale Supérieure (in French). 80 (4): 349–426. doi:10.24033/asens.1125.
  28. ^ Ehresmann, Charles (1968). "Esquisses et types des structures algébriques" [Sketches and types of algebraic structures]. Bul. Inst. Politeh. Iaşi. New Series (in French). 14 (18): 1–14. MR 0238918. Zbl 0196.03102.
  29. ^ Ehresmann, Charles; Bastiani, Andrée (1972). "Categories of sketched structures". Cahiers de Topologie et Géométrie Différentielle Catégoriques. 13 (2): 105–214. Zbl 0263.18009.
  30. ^ "Oeuvres de Charles Ehresmann". ehres.pagesperso-orange.fr. Retrieved 18 February 2022.
  31. ^ Audin, Michèle (2009). "Publier sous l'Occupation. Autour du cas de Jacques Feldbau et de l'Académie des Sciences" [Publish under the Occupation. On the case of Jacques Feldbau and the Academy of Sciences]. Revue d'histoire des mathématiques (in French). 15 (1): 7–57.
  32. ^ Audin, Michèle (March 2008). "Differential Geometry, Strasbourg, 1953" (PDF). Notices of the AMS. 55: 366–370.
edit