Майкл Дж. Хопкинс | |
---|---|
Рожденный | ( 1958-04-18 )18 апреля 1958 г. |
Национальность | американский |
Альма-матер | Северо-Западный университет |
Известный | Теорема нильпотентности в математике Топологические модулярные формы Проблема инварианта Кервера |
Награды | Премия Веблена (2001) Премия NAS по математике (2012) Премия Неммерса (2014) Премия Senior Berwick (2014) Премия Веблена (2022) |
Научная карьера | |
Поля | Математика |
Учреждения | Гарвардский университет |
Руководители докторской диссертации | Марк Маховальд Иоан Джеймс |
Докторанты | Дэниел Бисс Джейкоб Лури Чарльз Резк Рид Бартон |
Майкл Джером Хопкинс (родился 18 апреля 1958 года) — американский математик, известный своими работами в области алгебраической топологии .
Он получил докторскую степень в Северо-Западном университете в 1984 году под руководством Марка Маховальда , защитив диссертацию «Устойчивые разложения определенных пространств петель» . [1] Также в 1984 году он получил докторскую степень в Оксфордском университете под руководством Иоана Джеймса . Он является профессором математики в Гарвардском университете с 2005 года, после пятнадцати лет в Массачусетском технологическом институте , нескольких лет преподавания в Принстонском университете , годичной должности в Чикагском университете и должности приглашенного лектора в Университете Лихай .
Работа Хопкинса сосредоточена на алгебраической топологии, особенно на стабильной гомотопической теории . Ее можно условно разделить на четыре части (хотя список тем ниже ни в коем случае не является исчерпывающим):
Гипотезы Равенеля очень грубо говорят: комплексный кобордизм (и его варианты) видят больше в стабильной гомотопической категории , чем вы могли бы подумать. Например, гипотеза нильпотентности утверждает, что некоторая приостановка некоторой итерации отображения между конечными CW-комплексами является нуль-гомотопной тогда и только тогда, когда она равна нулю в комплексном кобордизме. Это было доказано Этаном Девинацем, Хопкинсом и Джеффом Смитом (опубликовано в 1988 году). [2] Остальные гипотезы Равенеля (за исключением гипотезы телескопа) были доказаны Хопкинсом и Смитом вскоре после этого (опубликовано в 1998 году). [3] Еще один результат в этом духе, доказанный Хопкинсом и Дугласом Равенелем, — это теорема о хроматической сходимости, которая утверждает, что можно восстановить конечный CW-комплекс из его локализаций относительно клиньев K-теорий Моравы .
Эта часть работы посвящена уточнению гомотопически коммутативной диаграммы кольцевых спектров до гомотопии к строго коммутативной диаграмме высокоструктурированных кольцевых спектров . Первым успехом этой программы стала теорема Хопкинса–Миллера: речь идет о действии группы стабилизатора Моравы на спектры Любина–Тейта (вытекающей из теории деформации формальных групповых законов ) и ее уточнении до -кольцевых спектров – это позволило взять гомотопически неподвижные точки конечных подгрупп групп стабилизаторов Моравы, что привело к высшим действительным K-теориям . Вместе с Полом Герссом Хопкинс позже создал систематическую теорию препятствий для уточнений до -кольцевых спектров. [4] Это позже было использовано в конструкции Хопкинса–Миллера топологических модулярных форм . [5] Последующие работы Хопкинса по этой теме включают статьи по вопросу об ориентируемости TMF относительно струнных кобордизмов (совместная работа с Андо, Стриклендом и Резком). [6] [7]
21 апреля 2009 года Хопкинс объявил о решении проблемы инварианта Кервера в совместной работе с Майком Хиллом и Дугласом Равенелом . [8] Эта проблема связана с изучением экзотических сфер , но была преобразована работой Уильяма Браудера в проблему стабильной гомотопической теории. Доказательство Хилла, Хопкинса и Равенела работает исключительно в стабильной гомотопической обстановке и использует эквивариантную гомотопическую теорию решающим образом. [9]
Сюда входят статьи по гладкой и скрученной K-теории и ее связи с группами петель [10] , а также работа по (расширенным) топологическим теориям поля [11] , совместная с Дэниелом Фридом , Якобом Лурье и Константином Телеманом.
Он выступал с приглашенными докладами на зимнем собрании Американского математического общества в Луисвилле, штат Кентукки, на Международном конгрессе математиков в Цюрихе в 1994 году [12] и был пленарным докладчиком на Международном конгрессе математиков в Пекине в 2002 году. [13] Он прочитал лекции Эверетта Питчера 1994 года в Университете Лихай, лекции Намбудири 2000 года в Чикагском университете, лекции памяти Марстона Морзе 2000 года в Институте перспективных исследований в Принстоне, лекции Ритта 2003 года в Колумбийском университете и лекции Боуэна 2010 года в Беркли. В 2001 году он был награжден премией Освальда Веблена по геометрии от AMS за его работу в теории гомотопий , [14] [15] в 2012 году премией NAS по математике , в 2014 году премией Senior Berwick , а также в 2014 году премией Неммерса по математике . Он был включен в класс стипендиатов Американского математического общества 2021 года «за вклад в алгебраическую топологию и смежные области алгебраической геометрии, теории представлений и математической физики». [16] В 2022 году он во второй раз получил премию Освальда Веблена по геометрии . [17]