Michael Jerome Hopkins (nacido el 18 de abril de 1958) es un matemático estadounidense conocido por su trabajo en topología algebraica .
Michael J. Hopkins | |
---|---|
Nació | 18 de abril de 1958 |
Nacionalidad | americano |
alma mater | Northwestern University |
Conocido por | Teorema de nilpotencia en matemáticas Formas modulares topológicas Problema invariante de Kervaire |
Premios | Premio Veblen (2001) Premio NAS en Matemáticas (2012) Premio Nemmers (2014) Premio Senior Berwick (2014) |
Carrera científica | |
Campos | Matemáticas |
Instituciones | Universidad Harvard |
Consejeros de doctorado | Mark Mahowald Ioan James |
Estudiantes de doctorado | Daniel Biss Jacob Lurie Charles Rezk |
La vida
Recibió su Ph.D. de la Universidad de Northwestern en 1984 bajo la dirección de Mark Mahowald . En 1984 también recibió su D.Phil. de la Universidad de Oxford bajo la supervisión de Ioan James . Ha sido profesor de matemáticas en la Universidad de Harvard desde 2005, después de quince años en el MIT , algunos años de docencia en la Universidad de Princeton , un puesto de un año en la Universidad de Chicago y un puesto de profesor invitado en la Universidad de Lehigh .
Trabaja
El trabajo de Hopkins se concentra en la topología algebraica, especialmente en la teoría de la homotopía estable . Se puede dividir aproximadamente en cuatro partes (mientras que la lista de temas a continuación no es de ninguna manera exhaustiva):
Las conjeturas de Ravenel
Las conjeturas de Ravenel dicen de manera muy aproximada: el cobordismo complejo (y sus variantes) ven más en la categoría de homotopía estable de lo que podría pensar. Por ejemplo, la conjetura de nilpotencia establece que alguna suspensión de alguna iteración de un mapa entre complejos CW finitos es homotópica nula si es cero en el cobordismo complejo. Esto fue probado por Ethan Devinatz, Hopkins y Jeff Smith (publicado en 1988). [1] El resto de las conjeturas de Ravenel (excepto la del telescopio) fueron probadas por Hopkins y Smith poco después (publicado en 1998). [2] Otro resultado en este espíritu probado por Hopkins y Douglas Ravenel es el teorema de la convergencia cromática, que establece que uno puede recuperar un complejo CW finito de sus localizaciones con respecto a las cuñas de las teorías K de Morava .
Teorema de Hopkins-Miller y formas modulares topológicas
Esta parte del trabajo trata de refinar un diagrama conmutativo de homotopía de espectros de anillo hasta la homotopía en un diagrama estrictamente conmutativo de espectros de anillo altamente estructurados . El primer éxito de este programa fue el teorema de Hopkins-Miller: se trata de la acción del grupo estabilizador de Morava en los espectros de Lubin-Tate (que surge de la teoría de la deformación de las leyes de grupo formales ) y su refinamiento paraEspectros de anillo: esto permitió tomar puntos fijos de homotopía de subgrupos finitos de los grupos estabilizadores de Morava, lo que condujo a teorías K reales más altas . Junto con Paul Goerss, Hopkins estableció más tarde una teoría de obstrucción sistemática para perfeccionarespectros de anillo. [3] Esto se utilizó más tarde en la construcción Hopkins-Miller de formas modulares topológicas . [4] El trabajo posterior de Hopkins sobre este tema incluye artículos sobre la cuestión de la orientabilidad de TMF con respecto al cobordismo de cuerdas (trabajo conjunto con Ando, Strickland y Rezk). [5] [6]
El problema invariante de Kervaire
El 21 de abril de 2009, Hopkins anunció la solución del problema invariante de Kervaire , en trabajo conjunto con Mike Hill y Douglas Ravenel . [7] Este problema está relacionado con el estudio de esferas exóticas , pero el trabajo de William Browder lo transformó en un problema de la teoría de la homotopía estable. La prueba de Hill, Hopkins y Ravenel funciona puramente en el entorno de homotopía estable y usa la teoría de homotopía equivariante de una manera crucial. [8]
Trabajo conectado a geometría / física
Esto incluye artículos sobre la teoría K suave y retorcida y su relación con los grupos de bucles [9] y también trabajo sobre teorías de campos topológicos (extendidos) , [10] junto con Daniel Freed , Jacob Lurie y Constantin Teleman .
Reconocimiento
Dio discursos invitados en la Reunión de Invierno de 1990 de la Sociedad Matemática Americana en Louisville, Kentucky, en el Congreso Internacional de Matemáticos de 1994 en Zurich , [11] y fue un orador plenario en el Congreso Internacional de Matemáticos de 2002 en Beijing . [12] Presentó las conferencias Everett Pitcher de 1994 en la Universidad de Lehigh, las conferencias Namboodiri de 2000 en la Universidad de Chicago, las conferencias en memoria de Marston Morse de 2000 en el Instituto de Estudios Avanzados de Princeton, las conferencias Ritt de 2003 en la Universidad de Columbia y las conferencias Bowen de 2010. Conferencias en Berkeley. En 2001 fue galardonado con el Premio Oswald Veblen en Geometría de la AMS por su trabajo en la teoría de la homotopía , [13] [14] 2012 el Premio NAS en Matemáticas y en 2014 el Premio Nemmers en Matemáticas . Fue nombrado miembro de la clase de becarios 2021 de la American Mathematical Society "por sus contribuciones a la topología algebraica y áreas relacionadas de geometría algebraica, teoría de la representación y física matemática". [15]
Notas
- ^ 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
- ^ Módulos de espacios de espectros de anillos conmutativos (PDF)
- ^ Goerss - Formas modulares topológicas (PDF)
- ^ Ando, Matthew; Hopkins, Michael J .; Strickland, Neil P. (2001), "Espectros elípticos, el género Witten y el teorema del cubo", Inventiones Mathematicae , 146 (3): 595, Bibcode : 2001InMat.146..595A , CiteSeerX 10.1.1.136.5083 , doi : 10.1007 / s002220100175 , S2CID 119932563
- ^ Orientaciones multiplicativas de la teoría KO y del espectro de formas modulares topológicas , CiteSeerX 10.1.1.128.1530
- ^ Geometría y Física: Atiyah80
- ^ Hill, Michael A; Hopkins, Michael J; Ravenel, Douglas C (2009), "Sobre la inexistencia de elementos del invariante de Kervaire", arXiv : 0908.3724 [ math.AT ]
- ^ Freed, Daniel S .; Hopkins, Michael J .; Teleman, Constantin (2003), "Teoría K retorcida y representaciones de grupos de bucles", arXiv : math / 0312155
- ^ Freed, Daniel S .; Hopkins, Michael J .; Lurie, Jacob ; Teleman, Constantin (2010), "Teorías de campos cuánticos topológicos de grupos de Lie compactos", Una celebración del legado matemático de Raoul Bott , CRM Proc. Lecture Notes, 50 , Providence, RI: American Mathematical Society, págs. 367–403, arXiv : 0905.0731 , MR 2648901
- ^ Hopkins, MJ (1994). "Formas modulares topológicas, el género Witten y el teorema del cubo" (PDF) .En: Actas del Congreso Internacional de Matemáticos, Zúrich, Suiza 1994 . Vol. 1. págs. 554–565.
|volume=
tiene texto extra ( ayuda ) - ^ Hopkins, MJ (2002). "Topología algebraica y formas modulares". Actas del ICM, Beijing . 1 : 283-309. arXiv : matemáticas / 0212397 . Bibcode : 2002math ..... 12397H .
- ^ Mike Hopkins - Bosquejo biográfico (PDF)
- ^ Premio Veblen 2001 (PDF)
- ^ 2021 Class of Fellows of the AMS , American Mathematical Society , consultado el 2 de noviembre de 2020
enlaces externos
- Premio Veblen 2001
- Michael J. Hopkins en el Proyecto de genealogía matemática