Tomasz Mrowka

Tomasz Mrowka: The Topologist Who Tamed Four Dimensions

Tomasz Mrowka spent much of his career proving things about four-dimensional space that no one else could touch — using equations borrowed from particle physics to settle century-old questions in pure topology. His single most cited result, worked out with a lifelong collaborator, took a conjecture mathematicians had abandoned hope of proving and made it fall in a few dense pages of analysis.

A Mathematical Inheritance

Mrowka was born on September 8, 1961, the son of the Polish-American mathematician Stanisław Mrówka, a specialist in general topology who had emigrated to the United States and taught at the City University of New York. The son's path ran through MIT as an undergraduate, where he earned his S.B. in 1983, and then to the University of California, Berkeley, where he completed a Ph.D. in 1988 under Clifford Taubes and Robion Kirby with a thesis on Yang-Mills moduli spaces. The choice of advisor mattered: Taubes was at the center of a revolution then reshaping low-dimensional topology, importing the machinery of theoretical physics — gauge theory, the mathematics developed to describe the forces that bind atomic nuclei — into the study of abstract shapes.

Gauge Theory as a Topologist's Tool

The insight driving that revolution, associated above all with Simon Donaldson, was that solutions to physicists' field equations, when studied on a four-dimensional manifold, encode subtle information about the manifold's shape that no classical topological technique could see. Mrowka became one of the deftest handlers of this machinery. Early in his career he moved through Stanford, a visiting position at Caltech, and then a professorship there from 1992 to 1996, before joining MIT's mathematics faculty in 1996, where he stayed for the rest of his career — holding the Simons Professorship from 2007 to 2010, the Singer Professorship from 2010 onward, and serving as head of the department from 2014 to 2017.

The Kronheimer Partnership

Mrowka's defining scientific relationship has been his decades-long collaboration with the British-American mathematician Peter Kronheimer, whom he met as a fellow graduate student in the Yang-Mills circle of the 1980s. Together the two produced a body of work substantial enough that the American Mathematical Society has twice honored it as a joint achievement rather than crediting either man alone. Their earliest major result introduced what the field now calls the Kronheimer-Mrowka basic classes, invariants that extract topological information about a four-manifold from the structure of its instanton moduli spaces — refining Donaldson's original invariants into a sharper, more computable form.

Solving the Thom Conjecture

Their most celebrated single achievement came in the early 1990s, after the discovery of the Seiberg-Witten equations gave gauge theorists a technically simpler alternative to the older Yang-Mills approach. Kronheimer and Mrowka used the new equations to prove the Thom conjecture, a statement — open since the 1950s — about the minimal genus of a surface representing a given homology class in the complex projective plane. The proof was one of the first and most dramatic demonstrations that Seiberg-Witten theory could resolve problems the earlier generation of gauge theorists had found intractable, and it helped trigger the wholesale migration of the field to the new equations.

Knots, Monopoles, and Property P

Mrowka's later work pushed the same toolkit into knot theory. With Kronheimer he used Seiberg-Witten monopole Floer homology to prove the Property P conjecture, a long-standing question about which surgeries on a knot complement can produce the three-sphere — a result with direct bearing on the topology of three-manifolds more broadly. The pair went on to show that Khovanov homology, a combinatorial knot invariant with no obvious geometric origin, is powerful enough to detect the unknot, tying together two branches of the subject — gauge-theoretic Floer homology and Mikhail Khovanov's algebraic construction — that had developed almost independently. Their monograph on monopoles and three-manifolds, published in 2007, remains a standard reference in the field.

Recognition

The mathematical community's judgment on this body of work has been unusually consistent. Mrowka and Kronheimer shared the Oswald Veblen Prize in Geometry in 2007, the AMS's Joseph L. Doob Prize in 2011, and — the clearest signal a mathematician's peers can send — the Leroy P. Steele Prize for a seminal contribution to research in 2023, awarded specifically for the papers introducing the Kronheimer-Mrowka basic classes and applying them to the Thom conjecture. Mrowka was independently elected to the American Academy of Arts and Sciences in 2007 and to the National Academy of Sciences in 2015, and he delivered plenary lectures at the International Congress of Mathematicians in 1994 and again in 2018 in Rio de Janeiro. He also held Sloan and Guggenheim fellowships and mentored dozens of doctoral students and postdocs at MIT.

Why Tomasz Is Called a Genius

The case for Mrowka rests on a specific and well-documented kind of technical mastery: the ability to take equations from theoretical physics and push them, through extremely delicate analysis of nonlinear partial differential equations, to answer questions in pure topology that had sat unsolved for decades. The Thom conjecture had resisted direct attack since the 1950s; the Property P conjecture belonged to a similarly old and stubborn family of three-manifold problems. Both fell not to a new idea about knots or surfaces as such, but to Mrowka and Kronheimer's command of moduli-space analysis — the hardest technical layer of gauge theory, where most mathematicians who understood the physics still could not make the estimates work. His election to the National Academy of Sciences and the Steele Prize citation reflect a genuine consensus among topologists that this was singular work. The honest complication is that almost none of it is solo: every landmark result discussed here is joint with Peter Kronheimer, and the Veblen, Doob, and Steele prizes were all awarded to the pair together, which makes Mrowka's genius, on the evidence, inseparable from a partnership rather than a solitary gift.

Legacy

Mrowka's basic classes and his and Kronheimer's Seiberg-Witten arguments are now standard tools taught to every graduate student entering low-dimensional topology, and his tenure running MIT's mathematics department left an institutional mark alongside the mathematical one. The Thom and Property P proofs remain, four decades after Taubes and Donaldson opened the field, among the clearest demonstrations of what gauge theory can do for topology.

Achievements

• Oswald Veblen Prize in Geometry — 2007
• Joseph Doob Prize — 2011
• Steele Prize for Seminal Contribution to Research — 2023
• Held posts at Massachusetts Institute of Technology and California Institute of Technology
• Fields: mathematics, differential geometry and topology