Michael J. Hopkins | |
---|---|

Born | April 18, 1958 |

Nationality | American |

Alma mater | Northwestern University |

Known for | Nilpotence theorem in Mathematics Topological modular forms Kervaire invariant problem |

Awards | Veblen Prize (2001) NAS Award in Mathematics (2012) Nemmers Prize (2014) Senior Berwick Prize (2014) |

Scientific career | |

Fields | Mathematics |

Institutions | Harvard University |

Doctoral advisors | Mark Mahowald Ioan James |

Doctoral students | Daniel Biss Jacob Lurie Charles Rezk |

**Michael Jerome Hopkins** (born April 18, 1958) is an American mathematician known for work in algebraic topology.

He received his Ph.D. from Northwestern University in 1984 under the direction of Mark Mahowald. In 1984 he also received his D.Phil. from the University of Oxford under the supervision of Ioan James. He has been professor of mathematics at Harvard University since 2005, after fifteen years at MIT, a few years of teaching at Princeton University, a one-year position with the University of Chicago, and a visiting lecturer position at Lehigh University.

Hopkins' work concentrates on algebraic topology, especially stable homotopy theory. It can roughly be divided into four parts (while the list of topics below is by no means exhaustive):

The Ravenel conjectures very roughly say: complex cobordism (and its variants) see more in the stable homotopy category than you might think. For example, the nilpotence conjecture states that some suspension of some iteration of a map between finite CW-complexes is null-homotopic iff it is zero in complex cobordism. This was proven by Ethan Devinatz, Hopkins and Jeff Smith (published in 1988).^{ [1] } The rest of the Ravenel conjectures (except for the telescope conjecture) were proven by Hopkins and Smith soon after (published in 1998).^{ [2] } Another result in this spirit proven by Hopkins and Douglas Ravenel is the chromatic convergence theorem, which states that one can recover a finite CW-complex from its localizations with respect to wedges of Morava K-theories.

This part of work is about refining a homotopy commutative diagram of ring spectra up to homotopy to a strictly commutative diagram of highly structured ring spectra. The first success of this program was the Hopkins–Miller theorem: It is about the action of the Morava stabilizer group on Lubin–Tate spectra (arising out of the deformation theory of formal group laws) and its refinement to -ring spectra – this allowed to take homotopy fixed points of finite subgroups of the Morava stabilizer groups, which led to higher real K-theories. Together with Paul Goerss, Hopkins later set up a systematic obstruction theory for refinements to -ring spectra.^{ [3] } This was later used in the Hopkins–Miller construction of topological modular forms.^{ [4] } Subsequent work of Hopkins on this topic includes papers on the question of the orientability of TMF with respect to string cobordism (joint work with Ando, Strickland and Rezk).^{ [5] }^{ [6] }

On 21 April 2009, Hopkins announced the solution of the Kervaire invariant problem, in joint work with Mike Hill and Douglas Ravenel.^{ [7] } This problem is connected to the study of exotic spheres, but got transformed by work of William Browder into a problem in stable homotopy theory. The proof by Hill, Hopkins and Ravenel works purely in the stable homotopy setting and uses equivariant homotopy theory in a crucial way.^{ [8] }

This includes papers on smooth and twisted K-theory and its relationship to loop groups ^{ [9] } and also work about (extended) topological field theories,^{ [10] } joint with Daniel Freed, Jacob Lurie, and Constantin Teleman.

He gave invited addresses at the 1990 Winter Meeting of the American Mathematical Society in Louisville, Kentucky, at the 1994 International Congress of Mathematicians in Zurich,^{ [11] } and was a plenary speaker at the 2002 International Congress of Mathematicians in Beijing.^{ [12] } He presented the 1994 Everett Pitcher Lectures at Lehigh University, the 2000 Namboodiri Lectures at the University of Chicago, the 2000 Marston Morse Memorial Lectures at the Institute for Advanced Study, Princeton, the 2003 Ritt Lectures at Columbia University and the 2010 Bowen Lectures in Berkeley. In 2001 he was awarded the Oswald Veblen Prize in Geometry from the AMS for his work in homotopy theory,^{ [13] }^{ [14] } 2012 the NAS Award in Mathematics and 2014 the Nemmers Prize in Mathematics. He was named to the 2021 class of fellows of the American Mathematical Society "for contributions to algebraic topology and related areas of algebraic geometry, representation theory, and mathematical physics".^{ [15] }

- ↑ Devinatz, Ethan S.; Hopkins, Michael J.; Smith, Jeffrey H. (1988), "Nilpotence and Stable Homotopy Theory I",
*Annals of Mathematics*,**128**(2): 207–241, doi:10.2307/1971440, JSTOR 1971440, MR 0960945 - ↑ Hopkins, Michael J.; Smith, Jeffrey H. (1998), "Nilpotence and Stable Homotopy Theory II",
*Annals of Mathematics*,**148**(1): 1–49, CiteSeerX 10.1.1.568.9148 , doi:10.2307/120991, JSTOR 120991 - ↑
*Moduli spaces of commutative ring spectra*(PDF) - ↑
*Goerss – Topological Modular Forms*(PDF) - ↑ Ando, Matthew; Hopkins, Michael J.; Strickland, Neil P. (2001), "Elliptic spectra, the Witten genus and the theorem of the cube",
*Inventiones Mathematicae*,**146**(3): 595, Bibcode:2001InMat.146..595A, CiteSeerX 10.1.1.136.5083 , doi:10.1007/s002220100175, S2CID 119932563 - ↑
*Multiplicative orientations of KO-theory and of the spectrum of topological modular forms*, CiteSeerX 10.1.1.128.1530 - ↑
*Geometry and Physics: Atiyah80* - ↑ Hill, Michael A; Hopkins, Michael J; Ravenel, Douglas C (2009), "On the non-existence of elements of Kervaire invariant one", arXiv: 0908.3724 [math.AT]
- ↑ Freed, Daniel S.; Hopkins, Michael J.; Teleman, Constantin (2003), "Twisted K-theory and loop group representations", arXiv: math/0312155
- ↑ Freed, Daniel S.; Hopkins, Michael J.; Lurie, Jacob; Teleman, Constantin (2010), "Topological quantum field theories from compact Lie groups",
*A celebration of the mathematical legacy of Raoul Bott*, CRM Proc. Lecture Notes,**50**, Providence, RI: American Mathematical Society, pp. 367–403, arXiv: 0905.0731 , MR 2648901 - ↑ Hopkins, M. J. (1994). "Topological modular forms, the Witten genus, and the theorem of the cube" (PDF).
*In:**Proceedings of the International Congress of Mathematicians, Zürich, Switzerland 1994*. Vol. 1. pp. 554–565.`|volume=`

has extra text (help) - ↑ Hopkins, M. J. (2002). "Algebraic topology and modular forms".
*Proceedings of the ICM, Beijing*.**1**: 283–309. arXiv: math/0212397 . Bibcode:2002math.....12397H. - ↑
*Mike Hopkins – Biographical Sketch*(PDF) - ↑
*Veblen Prize 2001*(PDF) - ↑
*2021 Class of Fellows of the AMS*, American Mathematical Society, retrieved 2020-11-02

**Daniel Gray** "**Dan**" **Quillen** was an American mathematician.

**Algebraic K-theory** is a subject area in mathematics with connections to geometry, topology, ring theory, and number theory. Geometric, algebraic, and arithmetic objects are assigned objects called

In stable homotopy theory, a branch of mathematics, **Morava K-theory** is one of a collection of cohomology theories introduced in algebraic topology by Jack Morava in unpublished preprints in the early 1970s. For every prime number *p*, it consists of theories *K*(*n*) for each nonnegative integer *n*, each a ring spectrum in the sense of homotopy theory. Johnson & Wilson (1975) published the first account of the theories.

In mathematics, **complex cobordism** is a generalized cohomology theory related to cobordism of manifolds. Its spectrum is denoted by MU. It is an exceptionally powerful cohomology theory, but can be quite hard to compute, so often instead of using it directly one uses some slightly weaker theories derived from it, such as Brown–Peterson cohomology or Morava K-theory, that are easier to compute.

**Jeffrey Henderson Smith** is a former professor of mathematics at Purdue University in Lafayette, Indiana. He received his Ph.D. from the Massachusetts Institute of Technology in 1981, under the supervision of Daniel Kan, and was promoted to full professor at Purdue in 1999. His primary research interest is algebraic topology; his best-cited work consists of two papers in the *Annals of Mathematics* on "nilpotence and stable homotopy".

In mathematics, **stable homotopy theory** is that part of homotopy theory concerned with all structure and phenomena that remain after sufficiently many applications of the suspension functor. A founding result was the Freudenthal suspension theorem, which states that given any pointed space , the homotopy groups stabilize for sufficiently large. In particular, the homotopy groups of spheres stabilize for . For example,

The **Oswald Veblen Prize in Geometry** is an award granted by the American Mathematical Society for notable research in geometry or topology. It was founded in 1961 in memory of Oswald Veblen. The Veblen Prize is now worth US$5000, and is awarded every three years.

In mathematics, **topological modular forms (tmf)** is the name of a spectrum that describes a generalized cohomology theory. In concrete terms, for any integer *n* there is a topological space , and these spaces are equipped with certain maps between them, so that for any topological space *X*, one obtains an abelian group structure on the set of homotopy classes of continuous maps from *X* to . One feature that distinguishes tmf is the fact that its coefficient ring, (point), is almost the same as the graded ring of holomorphic modular forms with integral cusp expansions. Indeed, these two rings become isomorphic after inverting the primes 2 and 3, but this inversion erases a lot of torsion information in the coefficient ring.

In mathematics, **elliptic cohomology** is a cohomology theory in the sense of algebraic topology. It is related to elliptic curves and modular forms.

**Jack Johnson Morava** is an American homotopy theorist at Johns Hopkins University.

In mathematics, a **highly structured ring spectrum** or -ring is an object in homotopy theory encoding a refinement of a multiplicative structure on a cohomology theory. A commutative version of an -ring is called an -ring. While originally motivated by questions of geometric topology and bundle theory, they are today most often used in stable homotopy theory.

**Mark Edward Mahowald** was an American mathematician known for work in algebraic topology.

**Douglas Conner Ravenel** is an American mathematician known for work in algebraic topology.

In algebraic topology, the **nilpotence theorem** gives a condition for an element of the coefficient ring of a ring spectrum to be nilpotent, in terms of complex cobordism. It was conjectured by Douglas Ravenel (1984) and proved by Ethan S. Devinatz, Michael J. Hopkins, and Jeffrey H. Smith (1988).

In mathematics, the **Ravenel conjectures** are a set of mathematical conjectures in the field of stable homotopy theory posed by Douglas Ravenel at the end of a paper published in 1984. It was earlier circulated in preprint. The problems involved have largely been resolved, with all but the "telescope conjecture" being proved in later papers by others. The telescope conjecture is now generally believed not to be true, though there are some conflicting claims concerning it in the published literature, and is taken to be an open problem. Ravenel's conjectures exerted influence on the field through the founding of the approach of chromatic homotopy theory.

**Goro Nishida** was a Japanese mathematician. He was a leading member of the Japanese school of homotopy theory, following in the tradition of Hiroshi Toda.

In the mathematical field of algebraic topology, a **commutative ring spectrum**, roughly equivalent to a -ring spectrum, is a commutative monoid in a good category of spectra.

In mathematics, **chromatic homotopy theory** is a subfield of stable homotopy theory that studies complex-oriented cohomology theories from the "chromatic" point of view, which is based on Quillen's work relating cohomology theories to formal groups. In this picture, theories are classified in terms of their "chromatic levels"; i.e., the heights of the formal groups that define the theories via the Landweber exact functor theorem. Typical theories it studies include: complex K-theory, elliptic cohomology, Morava K-theory and tmf.

This page is based on this Wikipedia article

Text is available under the CC BY-SA 4.0 license; additional terms may apply.

Images, videos and audio are available under their respective licenses.

Text is available under the CC BY-SA 4.0 license; additional terms may apply.

Images, videos and audio are available under their respective licenses.