
Élie Joseph Cartan (9 April 1869  6 May 1951) was a French mathematician, who did fundamental work in the theory of Lie groups and their geometric applications.
He was born in Dolomieu in Savoie, and became a student at the École Normale Superieure in Paris in 1888. After his doctorate in 1894, he took lecturing positions in Montpellier and Lyon, becoming a professor in Nancy in 1903. He took a lecturing position in Paris in 1909, becoming professor in 1912, and retiring in 1942. He died in Paris. He was the father of the mathematician Henri Cartan.
By his own account, in his Notice sur les travaux scientifiques, the main theme of his works (numbering 186 and published throughout the period 18931947) was the theory of Lie groups. He began by working over the foundational material on the complex simple Lie algebras, tidying up the previous work by Engel and Wilhelm Killing. This proved definitive, as far as the classification went, with the identification of the four main families and the five exceptional cases. He also introduced the algebraic group concept, which was not to be developed seriously before 1950.
He defined the general notion of antisymmetric differential form, in the style now used; his approach to Lie groups through the MaurerCartan equations required 2forms for their statement. At that time what were called Pfaffian systems (i.e. firstorder differential equations given as 1forms) were in general use; by the introduction of fresh variables for derivatives, and extra forms, they allowed for the formulation of quite general PDE systems. Cartan added the exterior derivative, as an entirely geometric and coordinateindependent operation. It naturally leads to the need to discuss pforms, of general degree p. Cartan writes of the influence on him of Riquier’s general PDE theory.
With these basics – Lie groups and differential forms – he went on to produce a very large body of work, and also some general techniques such as moving frames, that were gradually incorporated into the mathematical mainstream.
In the Travaux, he breaks down his work into 15 areas. Using modern terminology, they are these:
 Lie groups
 Representations of Lie groups
 Hypercomplex numbers, division algebras
 Systems of PDEs, CartanKähler theorem
 Theory of equivalence
 Integrable systems, theory of prolongation and systems in involution
 Infinitedimensional groups and pseudogroups
 Differential geometry and moving frames
 Generalised spaces with structure groups and connections, Cartan connection, holonomy, Weyl tensor
 Geometry and topology of Lie groups
 Riemannian geometry
 Symmetric spaces
 Topology of compact groups and their homogeneous spaces
 Integral invariants and classical mechanics
 Relativity, spinors
Most of these topics have been worked over thoroughly by later mathematicians. That cannot be said of all of them: while Cartan's own methods were remarkably unified, in the majority of cases the subsequent work can be said to have removed his characteristic touch. That is, it became more algebraic.
To look at some of those less mainstream areas:
 the PDE theory has to take into account singular solutions (i.e. envelopes), such as are seen in Clairaut's equation;
 the prolongation method is supposed to terminate in a system in involution (this is an analytic theory, rather than smooth, and leads to the theory of formal integrability and Spencer cohomology);
 the equivalence problem, as he put it, is to construct differential isomorphisms of structures (and discover thereby the invariants) by forcing their graphs to be integral manifolds of a differential system;
 the moving frames method, as well as being connected to principal bundles and their connections, should also use frames adapted to geometry;
 these days, the jet bundle method of Ehresmann is applied to use contact as a systematic equivalence relation.
There is a sense, therefore, in which the distinctive side of Cartan's work is still being digested by mathematicians. This is constantly seen in areas such as calculus of variations, Bäcklund transformations and the general theory of differential systems; roughly speaking those parts of differential algebra which feel that the existing, Galois theoryled model of symmetry is too narrow and requires something more analogous to a category of relations.
See also: