nLab Michael Hopkins

Redirected from "Michael J. Hopkins".

Michael Jerome Hopkins is a mathematician at Harvard University. He got his PhD from Northwestern University in 1984, advised by Mark Mahowald, and became a world leading researcher in algebraic topology and (stable-)homotopy theory.

Among notable achievements are his work on the Ravenel conjectures, the introduction and discussion of the generalized cohomology theory tmf and its string orientation, a formalization and construction of differential cohomology, the proof of the Kervaire invariant problem. More recently via Jacob Lurie‘s work on the cobordism hypothesis Hopkins participates in work related to the foundations of quantum field theory.

Selected writings

On the stable homotopy theory of the loop spaces of special unitary group and of quaternionic unitary groups (with early discussion of finite-dimensional complex orientation of generalized cohomology theories):

  • Michael Hopkins, Stable decompositions of certain loop spaces, PhD thesis, Northwestern (1984) [[pdf]

Introducing the nilpotence theorem in stable homotopy theory:

On the Conner-Floyd isomorphism for the Atiyah-Bott-Shapiro orientation of KU and KO (cobordism theory determining homology theory):

The construction of tmf was originally announced, as joint work with Mark Mahowald and Haynes Miller, in

  • Michael Hopkins, section 9 of Topological modular forms, the Witten Genus, and the theorem of the cube, Proceedings of the International Congress of Mathematics, Zürich (1994) [pdf, doi:10.1007/978-3-0348-9078-6_49]

    (There the spectrum was still called “eo 2eo_2” instead of “tmftmf”.)

On elliptic genera, the Witten genus and the string orientation of tmf:

The details of the definition then appeared in

On complex oriented cohomology theory and stacks:

On generalized (transchromatic) group characters via complex oriented cohomology theory:

Introducing generalized differential cohomology motivated by the M5-brane partition function:

On twisted equivariant K-theory with an eye towards twisted ad-equivariant K-theory:

On ∞-groups of units, Thom spectra and twisted generalized cohomology:

On topological quantum field theory:

On twisted ad-equivariant K-theory of compact Lie groups and the identification with the Verlinde ring of positive energy representations of their loop group:

On stable homotopy theory:

On ambidextrous adjunctions in stable homotopy theory

Introducing Hodge-filtered differential cohomology and its specialization to Hodge-filtered complex cobordism theory:

Solving the Arf-Kervaire invariant problem with methods of equivariant stable homotopy theory:

On classification of invertible TQFTs via reflection positivity:

On a relation of extended 3d TQFT to lattice models for topological phases of matter (like the 3d toric code):

category: people

Last revised on November 23, 2025 at 15:11:57. See the history of this page for a list of all contributions to it.