Leray

Leray
Name	Jean Leray
Birth date	7 November 1906
Birth place	Chantenay-Saint-Imbert
Death date	10 November 1998
Death place	Paris
Nationality	France
Fields	Mathematics
Institutions	Collège de France, Université de Paris, École Normale Supérieure
Alma mater	École Normale Supérieure
Doctoral advisor	Paul Montel
Known for	Leray spectral sequence; Leray–Schauder degree; Leray theorem; Leray residue

Leray

Jean Leray was a French mathematician whose work in algebraic topology, partial differential equations, and complex analysis reshaped twentieth-century mathematics. His constructions include foundational tools such as the Leray spectral sequence and the Leray–Schauder degree, which linked methods from Émile Picard, Henri Cartan, and Luitzen Egbertus Jan Brouwer to new fields such as homological algebra and nonlinear functional analysis. Leray's career spanned institutions like the École Normale Supérieure and the Collège de France and interacted with contemporaries including Jean-Pierre Serre, André Weil, Alexander Grothendieck, and Laurent Schwartz.

Jean Leray

Jean Leray studied at the École Normale Supérieure under the supervision of Paul Montel and held positions at the University of Nancy, Université de Paris, and the Collège de France. During World War II, Leray was interned, where he produced influential work in algebraic topology connecting to the traditions of Henri Poincaré, Élie Cartan, and Hermann Weyl. After the war he contributed to the revival of French mathematics alongside figures such as Élie Cartan, André Lichnerowicz, Jean Dieudonné, and Émile Borel. Leray mentored or collaborated with mathematicians like Serre, Grothendieck, René Thom, and Alexander Grothendieck whose developments in sheaf theory, spectral sequences, and homotopy theory bore traces of Leray's methods.

Leray spectral sequence

The Leray spectral sequence arises from studying the derived functors of the pushforward associated to a continuous map between topological spaces or a morphism of schemes and builds on earlier work by Noether-era algebraists and analysts such as Emmy Noether, Oscar Zariski, and André Weil. It relates the sheaf cohomology groups of a source, the higher direct image sheaves on the target, and the cohomology of the target; this device influenced the development of Grothendieck's formalism of derived categories and Alexander Grothendieck's six operations. The spectral sequence has been applied in contexts ranging from the cohomology of fibre bundles studied by Hassler Whitney and Raoul Bott to computations in algebraic geometry used by Jean-Pierre Serre, David Mumford, Michael Artin, and Pierre Deligne in the proof of deep results like the cohomological analysis underlying the Weil conjectures.

Leray theorem and Leray cover

Leray introduced notions of covers adapted to sheaf cohomology, known as Leray covers, which permit computation of cohomology via Čech methods; these ideas connected to the work of Henri Cartan, Shreeram Abhyankar, Henri Cartan's seminar participants, and the Čech cohomology tradition of Eduard Čech. The Leray theorem gives conditions under which the Čech cohomology of a cover computes the sheaf cohomology of the whole space, an insight later formalized in the frameworks of Alexander Grothendieck's sheaf theory and the cohomological techniques used by Jean-Pierre Serre and Grothendieck in algebraic geometry. Leray covers have become a standard tool in computations used by practitioners such as Raoul Bott, Hatcher, Borel, Serre, and Godement.

Leray residue and Leray coboundary

Leray developed residue theory in several complex variables, including the Leray residue formula and the construction of coboundary operators intimately related to the ideas of Henri Poincaré and Élie Cartan. His residue and coboundary techniques influenced the work of Joseph J. Kohn, Bernard Malgrange, Grégoire Vergne, and Pierre Lelong in microlocal analysis and the study of complex hypersurfaces. The Leray residue connects integral representations of holomorphic functions with topological invariants of singularities, a theme pursued by John Milnor, René Thom, Vladimir Arnol'd, and Bernard Teissier in singularity theory and stratified Morse theory.

Leray–Schauder degree and fixed-point theory

In nonlinear analysis, Leray and Julian Schauder developed a topological degree theory for compact perturbations of the identity on Banach spaces, now known as the Leray–Schauder degree, which extends the Brouwer fixed-point theorem of Luitzen Brouwer and influenced subsequent fixed-point theories by Krasnoselskii, Kuratowski, Schauder, and Nikolai E. Kochin. The degree has applications in existence results for nonlinear partial differential equations studied by Evans, Lions, Jean Leray's successors such as J. T. Schwartz and Crandall, and in bifurcation theory developed by Ivar Ekeland, Bifurcation theorists like Paul Rabinowitz, and Stuart Antman. Leray–Schauder degree methods underpin modern approaches to nonlinear elliptic and parabolic problems and link to variational methods championed by Marston Morse and Richard Palais.

Applications and influence

Leray's constructions permeate algebraic topology, algebraic geometry, complex analysis, and nonlinear PDEs; his spectral sequence and sheaf-theoretic ideas fed directly into the work of Grothendieck, Serre, Deligne, Hartshorne, and Mumford. In applied directions, Leray-influenced analytic tools appear in fluid dynamics through the existence theory for the Navier–Stokes equations studied by Leray and later researchers such as Fritz John, Ladyzhenskaya, Temam, and Caffarelli. The Leray legacy is visible in the broad interplay among singularity theory, index theory of Atiyah–Singer, and modern microlocal analysis by Sato and Hörmander.

Bibliography and selected works

- "Sur le mouvement d'un liquide visqueux emplissant l'espace", Annales scientifiques de l'École Normale Supérieure (foundational work on Navier–Stokes equations). - Papers introducing the Leray spectral sequence and higher direct images; expositions in seminars associated with Élie Cartan and Jean-Pierre Serre. - Works on the Leray–Schauder degree with Julian Schauder. - Contributions on residues in several complex variables and coboundary operators influencing Hörmander and Kohn.

Category:French mathematicians Category:Topologists