Peter B. Kronheimer | |
---|---|
Born | 1963 (age 60–61) |
Nationality | British |
Alma mater | Merton College, Oxford |
Awards | Whitehead Prize (1993) Oberwolfach Prize (1998) Veblen Prize (2007) Doob Prize (2011) Leroy P. Steele Prize (2023) |
Scientific career | |
Fields | Mathematics |
Institutions | Harvard University |
Doctoral advisor | Michael Atiyah |
Doctoral students | Ciprian Manolescu |
Peter Benedict Kronheimer (born 1963) is a British mathematician, known for his work on gauge theory and its applications to 3- and 4-dimensional topology. He is William Caspar Graustein Professor of Mathematics at Harvard University and former chair of the mathematics department. [1] [2]
Kronheimer attended the City of London School. He completed his DPhil at Oxford University under the direction of Michael Atiyah. He has had a long association with Merton College, the oldest of the constituent colleges of Oxford University, being an undergraduate, graduate, and full fellow of the college.
Kronheimer's early work was on gravitational instantons, in particular the classification of hyperkähler 4-manifolds with asymptotical locally Euclidean geometry (ALE spaces), leading to the papers "The construction of ALE spaces as hyper-Kähler quotients" and "A Torelli-type theorem for gravitational instantons." He and Hiraku Nakajima gave a construction of instantons on ALE spaces generalizing the Atiyah–Hitchin–Drinfeld–Manin construction. This constructions identified these moduli spaces as moduli spaces for certain quivers (see "Yang-Mills instantons on ALE gravitational instantons.") He was the initial recipient of the Oberwolfach prize in 1998 on the basis of some of this work.
Kronheimer has frequently collaborated with Tomasz Mrowka from the Massachusetts Institute of Technology. Their collaboration began at the Mathematical Research Institute of Oberwolfach, and their first work developed analogues of Simon Donaldson's invariants for 4-manifolds with a distinguished surface. They used the tools developed to prove a conjecture of John Milnor, that the four-ball genus of a -torus knot is . They then went on to develop these tools further and established a structure theorem for Donaldson's polynomial invariants using Kronheimer–Mrowka basic classes. After the arrival of Seiberg–Witten theory their work on embedded surfaces culminated in a proof of the Thom conjecture—which had been outstanding for several decades. Another of Kronheimer and Mrowka's results was a proof of the Property P conjecture for knots. They developed an instanton Floer invariant for knots which was used in their proof that Khovanov homology detects the unknot.
Besides his research articles, his writings include a book, with Simon Donaldson, on 4-manifolds, and a book with Mrowka on Seiberg–Witten–Floer homology, entitled "Monopoles and Three-Manifolds". [3] This book won the 2011 Doob Prize of the AMS.
In 1990 he was an invited speaker at the International Congress of Mathematicians (ICM) in Kyoto. In 2018 he gave a plenary lecture at the ICM in Rio de Janeiro, together with Tomasz Mrowka. In 2023 he was awarded the Leroy P. Steele Prize for Seminal Contribution to Research. [4]
Kronheimer's PhD students have included Ian Dowker, Jacob Rasmussen, Ciprian Manolescu, and Olga Plamenevskaya.
Sir Michael Francis Atiyah was a British-Lebanese mathematician specialising in geometry. His contributions include the Atiyah–Singer index theorem and co-founding topological K-theory. He was awarded the Fields Medal in 1966 and the Abel Prize in 2004.
Maxim Lvovich Kontsevich is a Russian and French mathematician and mathematical physicist. He is a professor at the Institut des Hautes Études Scientifiques and a distinguished professor at the University of Miami. He received the Henri Poincaré Prize in 1997, the Fields Medal in 1998, the Crafoord Prize in 2008, the Shaw Prize and Breakthrough Prize in Fundamental Physics in 2012, and the Breakthrough Prize in Mathematics in 2015.
In gauge theory and mathematical physics, a topological quantum field theory is a quantum field theory which computes topological invariants.
Sir Simon Kirwan Donaldson is an English mathematician known for his work on the topology of smooth (differentiable) four-dimensional manifolds, Donaldson–Thomas theory, and his contributions to Kähler geometry. He is currently a permanent member of the Simons Center for Geometry and Physics at Stony Brook University in New York, and a Professor in Pure Mathematics at Imperial College London.
In mathematics, specifically in symplectic topology and algebraic geometry, Gromov–Witten (GW) invariants are rational numbers that, in certain situations, count pseudoholomorphic curves meeting prescribed conditions in a given symplectic manifold. The GW invariants may be packaged as a homology or cohomology class in an appropriate space, or as the deformed cup product of quantum cohomology. These invariants have been used to distinguish symplectic manifolds that were previously indistinguishable. They also play a crucial role in closed type IIA string theory. They are named after Mikhail Gromov and Edward Witten.
In mathematics, Khovanov homology is an oriented link invariant that arises as the cohomology of a cochain complex. It may be regarded as a categorification of the Jones polynomial.
In mathematics, Floer homology is a tool for studying symplectic geometry and low-dimensional topology. Floer homology is a novel invariant that arises as an infinite-dimensional analogue of finite-dimensional Morse homology. Andreas Floer introduced the first version of Floer homology, now called symplectic Floer homology, in his proof of the Arnold conjecture in symplectic geometry. Floer also developed a closely related theory for Lagrangian submanifolds of a symplectic manifold. A third construction, also due to Floer, associates homology groups to closed three-dimensional manifolds using the Yang–Mills functional. These constructions and their descendants play a fundamental role in current investigations into the topology of symplectic and contact manifolds as well as (smooth) three- and four-dimensional manifolds.
Ciprian Manolescu is a Romanian-American mathematician, working in gauge theory, symplectic geometry, and low-dimensional topology. He is currently a professor of mathematics at Stanford University.
In theoretical physics, Seiberg–Witten theory is an supersymmetric gauge theory with an exact low-energy effective action, of which the kinetic part coincides with the Kähler potential of the moduli space of vacua. Before taking the low-energy effective action, the theory is known as supersymmetric Yang–Mills theory, as the field content is a single vector supermultiplet, analogous to the field content of Yang–Mills theory being a single vector gauge field or connection.
In mathematics, a smooth algebraic curve in the complex projective plane, of degree , has genus given by the genus–degree formula
Clifford Henry Taubes is the William Petschek Professor of Mathematics at Harvard University and works in gauge field theory, differential geometry, and low-dimensional topology. His brother is the journalist Gary Taubes.
In mathematics, and especially gauge theory, Donaldson theory is the study of the topology of smooth 4-manifolds using moduli spaces of anti-self-dual instantons. It was started by Simon Donaldson (1983) who proved Donaldson's theorem restricting the possible quadratic forms on the second cohomology group of a compact simply connected 4-manifold. Important consequences of this theorem include the existence of an Exotic R4 and the failure of the smooth h-cobordism theorem in 4 dimensions. The results of Donaldson theory depend therefore on the manifold having a differential structure, and are largely false for topological 4-manifolds.
In mathematics, and especially gauge theory, Seiberg–Witten invariants are invariants of compact smooth oriented 4-manifolds introduced by Edward Witten, using the Seiberg–Witten theory studied by Nathan Seiberg and Witten during their investigations of Seiberg–Witten gauge theory.
The Geometry Festival is an annual mathematics conference held in the United States.
Tomasz Mrowka is an American mathematician specializing in differential geometry and gauge theory. He is the Singer Professor of Mathematics and former head of the Department of Mathematics at the Massachusetts Institute of Technology.
In physics and mathematics, and especially differential geometry and gauge theory, the Yang–Mills equations are a system of partial differential equations for a connection on a vector bundle or principal bundle. They arise in physics as the Euler–Lagrange equations of the Yang–Mills action functional. They have also found significant use in mathematics.
In differential geometry, algebraic geometry, and gauge theory, the Kobayashi–Hitchin correspondence relates stable vector bundles over a complex manifold to Einstein–Hermitian vector bundles. The correspondence is named after Shoshichi Kobayashi and Nigel Hitchin, who independently conjectured in the 1980s that the moduli spaces of stable vector bundles and Einstein–Hermitian vector bundles over a complex manifold were essentially the same.
Michael Lounsbery Hutchings is an American mathematician, a professor of mathematics at the University of California, Berkeley. He is known for proving the double bubble conjecture on the shape of two-chambered soap bubbles, and for his work on circle-valued Morse theory and on embedded contact homology, which he defined.
Ronald Alan Fintushel is an American mathematician, specializing in low-dimensional geometric topology and the mathematics of gauge theory.
In mathematics, and especially differential geometry and mathematical physics, gauge theory is the general study of connections on vector bundles, principal bundles, and fibre bundles. Gauge theory in mathematics should not be confused with the closely related concept of a gauge theory in physics, which is a field theory which admits gauge symmetry. In mathematics theory means a mathematical theory, encapsulating the general study of a collection of concepts or phenomena, whereas in the physical sense a gauge theory is a mathematical model of some natural phenomenon.