Томаш Мровка: Тополог, укротивший четыре измерения

Томаш Мровка посвятил большую часть своей карьеры доказательству свойств четырехмерного пространства, которые никто другой не мог затронуть, используя уравнения, заимствованные из физики элементарных частиц, для решения столетних вопросов чистой топологии. Его самый цитируемый результат, полученный совместно с давним коллегой, решил гипотезу, доказательство которой математики уже оставили, уместившись на нескольких плотных страницах анализа.

Математическое наследие

Мровка родился 8 сентября 1961 года в семье польско-американского математика Станислава Мровки, специалиста по общей топологии, который эмигрировал в США и преподавал в Городском университете Нью-Йорка. Путь сына пролегал через MIT, где он получил степень бакалавра в 1983 году, а затем через Калифорнийский университет в Беркли, где он завершил докторскую диссертацию в 1988 году под руководством Клиффорда Таубеса и Робиона Кирби с работой по пространствам модулей Янга-Миллса. Выбор научного руководителя имел решающее значение: Таубес находился в центре революции, перекраивавшей топологию низкой размерности, импортируя аппарат теоретической физики — калибровочную теорию, математику, разработанную для описания сил, связывающих атомные ядра, — в изучение абстрактных форм.

Калибровочная теория как инструмент тополога

Идея, движущая этой революцией, связанная прежде всего с Саймоном Дональдсоном, заключалась в том, что решения полевых уравнений физиков, при изучении их на четырехмерном многообразии, кодируют тонкую информацию о форме многообразия, которую не могла увидеть ни одна классическая топологическая техника. Мровка стал одним из самых искусных мастеров этого аппарата. В начале своей карьеры он работал в Стэнфорде, был приглашенным профессором в Калтехе, затем профессором там же с 1992 по 1996 год, прежде чем присоединиться к математическому факультету MIT в 1996 году, где он оставался до конца своей карьеры — занимая кафедру Саймонса с 2007 по 2010 год, кафедру Сингера с 2010 года и возглавляя кафедру с 2014 по 2017 год.

Партнерство с Кронхаймером

Определяющими научными отношениями Мровки стало его многолетнее сотрудничество с британско-американским математиком Питером Кронхаймером, с которым он познакомился как аспирант в кругу Янга-Миллса в 1980-х годах. Вместе они создали объем работ, достаточно значительный для того, чтобы Американское математическое общество дважды отметило его как совместное достижение, а не отдало должное кому-то одному. Их первый крупный результат ввел то, что сейчас в области называют «базисными классами Кронхаймера-Мровки», инварианты, которые извлекают топологическую информацию о четырехмерном многообразии из структуры его пространств модулей инстантонов, уточняя исходные инварианты Дональдсона в более четкую и вычислимую форму.

Решение гипотезы Тома

Их самое знаменитое индивидуальное достижение пришло в начале 1990-х годов, после того как открытие уравнений Зайберга-Виттена дало теоретикам калибровочных полей технически более простую альтернативу старому подходу Янга-Миллса. Кронхаймер и Мровка использовали новые уравнения, чтобы доказать гипотезу Тома, утверждение, открытое с 1950-х годов, о минимальном роде поверхности, представляющей заданный класс гомологий в комплексной проективной плоскости. Доказательство стало одной из первых и самых драматичных демонстраций того, что теория Зайберга-Виттена может решать проблемы, которые предыдущее поколение теоретиков калибровочных полей считало неразрешимыми, и помогло спровоцировать массовый переход области к новым уравнениям.

Узлы, монополи и свойство P

Более поздние работы Мровки перенесли тот же инструментарий в теорию узлов. Вместе с Кронхаймером он использовал монопольную гомологию Флоера Зайберга-Виттена для доказательства гипотезы о свойстве P, давнего вопроса о том, какие операции над дополнением узла могут породить трехмерную сферу — результат, имеющий прямое отношение к топологии трехмерных многообразий в более широком смысле. Пара далее показала, что гомология Хованова, комбинаторный инвариант узлов без очевидного геометрического происхождения, достаточно мощна, чтобы обнаружить тривиальный узел, связав две ветви предмета — калибровочно-теоретическую гомологию Флоера и алгебраическую конструкцию Михаила Хованова, — которые развивались почти независимо. Их монография о монополях и трехмерных многообразиях, опубликованная в 2007 году, остается стандартным справочником в этой области.

Признание

Оценка математическим сообществом этого корпуса работ была необычайно последовательной. Мровка и Кронхаймер разделили премию Освальда Веблена по геометрии в 2007 году, премию Джозефа Л. Дуба Американского математического общества в 2011 году и — самый ясный сигнал, который могут послать коллеги-математики, — премию Лероя П. Стила за фундаментальный вклад в исследования в 2023 году, присужденную специально за статьи, вводящие базисные классы Кронхаймера-Мровки и применяющие их к гипотезе Тома. Мровка был независимо избран в Американскую академию искусств и наук в 2007 году и в Национальную академию наук в 2015 году, а также выступал с пленарными докладами на Международном конгрессе математиков в 1994 году и снова в 2018 году в Рио-де-Жанейро. Он также получал стипендии Слоуна и Гуггенхайма и был наставником десятков аспирантов и постдоков в MIT.

Почему Томаша называют гением

Случай Мровки основан на специфическом и хорошо задокументированном виде технического мастерства: способности брать уравнения из теоретической физики и доводить их, посредством чрезвычайно тонкого анализа нелинейных дифференциальных уравнений в частных производных, до ответов на вопросы чистой топологии, которые десятилетиями оставались нерешенными. Гипотеза Тома сопротивлялась прямой атаке с 1950-х годов; гипотеза о свойстве P принадлежала к столь же старому и упрямому семейству задач о трехмерных многообразиях. Обе пали не перед новой идеей об узлах или поверхностях как таковых, а перед владением Мровкой и Кронхаймером анализом пространств модулей — самым сложным техническим слоем калибровочной теории, где большинство математиков, понимавших физику, все еще не могли заставить оценки работать. Его избрание в Национальную академию наук и цитирование премии Стила отражают подлинный консенсус среди топологов, что это была уникальная работа. Честная сложность заключается в том, что почти ничего из этого не является сольной работой: каждый исторический результат, обсуждаемый здесь, является совместным с Питером Кронхаймером, и премии Веблена, Дуба и Стила были присуждены паре вместе, что делает гениальность Мровки, судя по доказательствам, неотделимой от партнерства, а не от одиночного дара.

Наследие

Базисные классы Мровки и его и Кронхаймера аргументы Зайберга-Виттена теперь являются стандартными инструментами, которым обучают каждого аспиранта, входящего в топологию низкой размерности, а его пребывание на посту руководителя математического факультета MIT оставило институциональный след наряду с математическим. Доказательства Тома и свойства P остаются, спустя четыре десятилетия после того, как Таубес и Дональдсон открыли эту область, одними из самых ясных демонстраций того, что калибровочная теория может сделать для топологии.