A 1983 graduate of the Massachusetts Institute of Technology, he received the PhD from the University of California, Berkeley in 1988 under the direction of Clifford Taubes and Robion Kirby. He joined the MIT mathematics faculty as professor in 1996, following faculty appointments at Stanford University and at the California Institute of Technology (professor 1994–96).[3] At MIT, he was the Simons Professor of Mathematics from 2007–2010. Upon Isadore Singer's retirement in 2010 the name of the chair became the Singer Professor of Mathematics which Mrowka held until 2017. He was named head of the Department of Mathematics in 2014 and held that position for 3 years.[4]
Mrowka's work combines analysis, geometry, and topology, specializing in the use of partial differential equations, such as the Yang-Mills equations from particle physics to analyze low-dimensional mathematical objects.[4] Jointly with Robert Gompf, he discovered four-dimensional models of space-time topology.[11]
In joint work with Peter Kronheimer, Mrowka settled many long-standing conjectures, three of which earned them the 2007 Veblen Prize. The award citation mentions three papers that Mrowka and Kronheimer wrote together. The first paper in 1995 deals with Donaldson's polynomial invariants and introduced Kronheimer–Mrowka basic class, which have been used to prove a variety of results about the topology and geometry of 4-manifolds, and partly motivated Witten's introduction of the Seiberg–Witten invariants.[12] The second paper proves the so-called Thom conjecture and was one of the first deep applications of the then brand new Seiberg–Witten equations to four-dimensional topology.[13] In the third paper in 2004, Mrowka and Kronheimer used their earlier development of Seiberg–Witten monopole Floer homology to prove the Property P conjecture for knots.[14] The citation says: "The proof is a beautiful work of synthesis which draws upon advances made in the fields of gauge theory, symplectic and contact geometry, and foliations over the past 20 years."[5]
In further recent work with Kronheimer, Mrowka showed that a certain subtle combinatorially-defined knot invariant introduced by Mikhail Khovanov can detect “unknottedness.”[15]
^Gompf, Robert E.; Mrowka, Tomasz S. (July 1, 1993). "Irreducible 4-Manifolds Need not be Complex". Annals of Mathematics. Second Series. 138 (1): 61–111. doi:10.2307/2946635. JSTOR2946635.