Математическая семья за 20 лет решила важнейшую задачу теории групп

Бритта Шпет посвятила всю свою научную деятельность подтверждению одной-единственной фундаментальной догадки. Наконец, совместными усилиями со своим партнером Марком Кабанесом, ей сопутствовал долгожданный успех.

В далеком 2003 году начинающая немецкая исследовательница Бритта Шпет обратила внимание на гипотезу Маккея — одну из наиболее фундаментальных нерешенных задач в теории групп. Изначально её амбиции были весьма умеренными: она планировала вывести пару вспомогательных теорем, чтобы немного продвинуть вперед решение проблемы, подобно многим предшественникам. Тем не менее, с годами она неизменно возвращалась к этой теме. По её признанию, любые попытки переключиться на иные проекты неизменно терпели крах.

Несмотря на риск загнать в тупик собственную академическую траекторию из-за столь фанатичной приверженности столь сложной проблеме, Шпет отдала ей все свои силы. В конце концов это привело её в кабинет к Марку Кабанесу — математику из парижского Института Жюссьё, который поддался её энтузиазму и тоже всецело включился в исследование. Плечом к плечу решая научные задачи, они прониклись глубокими чувствами друг к другу и создали крепкую семью.

В центре их внимания оказалась проблема, которая переводит классический математический принцип в практический инструмент для исследователей симметрий. Математика изобилует невероятно сложными абстрактными структурами, которые невозможно постичь во всей их полноте. Тем не менее, как показывает практика, для понимания общих свойств объекта порой достаточно проанализировать лишь малую его часть. К примеру, еще в III веке до нашей эры Эратосфен вычислил земной периметр (около 40 000 километров), сопоставив углы солнечных теней всего в двух населенных пунктах с дистанцией в 800 километров между ними. Подобным образом, сталкиваясь с запутанной функцией, ученые изучают её поведение на узком подмножестве аргументов, чего зачастую хватает для экстраполяции выводов на всю область определения.

Гипотеза Маккея опирается на этот же постулат: она утверждает, что для исчерпывающего описания массивной и комплексной математической структуры — группы — хватит детального анализа её микроскопического фрагмента.

С момента выдвижения гипотезы в 1970-х годах множество исследователей безуспешно пытались её подтвердить. Хотя им удалось достичь частичных успехов и существенно расширить понимание свойств симметрии, окончательное доказательство долгое время оставалось за гранью возможного.

Всё изменилось с приходом Шпет. Два десятилетия спустя после первой встречи с этой задачей и более десяти лет после знакомства с Кабанесом они наконец поставили точку в доказательстве.

Научное сообщество встретило эту новость с неописуемым восторгом. «Я была готова устроить праздничный парад в их честь», — призналась Перси Диаконис из Стэнфордского университета. — «Годы упорного, неустанного труда принесли свои плоды — они сделали это вдвоем».

Магия простых чисел

Истоки гипотезы Маккея кроются в удивительном и неожиданном математическом совпадении.

Джон Маккей, которого приятели описывали как человека «гениального, деликатного и очаровательно рассеянного», славился чутьем на скрытые цифровые закономерности. Этот сотрудник Университета Конкордия прежде всего прославился «чудовищной луной» — концепцией, доказанной в 1992 году и связавшей гигантскую «чудовищную группу» с ключевыми объектами теории чисел.

Задолго до своего ухода из жизни Маккей выявил и другие глубокие взаимосвязи, преимущественно в сфере групп. Группа представляет собой совокупность элементов, подчиненных строгим законам взаимодействия; её можно воспринимать как набор симметрий, сохраняющих неизменность определенного объекта при трансформациях. Несмотря на высокий уровень абстракции, эти структуры играют важнейшую роль во всей современной математике.

В 1972 году внимание Маккея привлекла категория конечных групп, обладающих строго ограниченным числом элементов. Он заметил, что глубинные характеристики таких систем нередко можно извлечь из изучения крошечных внутренних подмножеств — в частности, элементов, формирующих так называемый нормализатор Силова.

Возьмем, к примеру, группу из 72 элементов. Само по себе это число мало о чем говорит, ведь существует ровно 50 уникальных групп аналогичного порядка. Однако 72 можно разложить на простые множители: 2 × 2 × 2 × 3 × 3, то есть 2³ × 3² (как правило, чем больше уникальных простых чисел требуется для описания размера, тем сложнее устроена структура). Опираясь на эти множители, можно выделить подгруппы — например, состоящие из восьми (2³) и девяти (3²) элементов. Их детальный анализ позволяет заглянуть во внутреннее устройство всей системы.

Если дополнить одну из таких подгрупп специфическими элементами, мы получим нормализатор Силова. Для группы из 72 элементов можно построить несколько подобных объектов (2- и 3-нормализаторы Силова).

Маккей предположил существование куда более тесной связи, чем предполагалось ранее. По его мнению, для вычисления ключевой величины, характеризующей всю родительскую группу, достаточно было проанализировать лишь один из её нормализаторов Силова, который обладал бы абсолютно тождественным показателем.

Данная величина отражает количество специфических «представлений» — способов записи элементов группы в виде матриц чисел. Подобный подсчет позволяет понять характер взаимодействия элементов и используется при вычислении других параметров.

Казалось, не было никаких объективных предпосылок к тому, чтобы этот показатель совпадал у гигантской конечной группы и её микроскопического нормализатора Силова, составляющего лишь долю процента от общей массы элементов и обладающего совершенно иной архитектурой.

Это выглядело бы так, «если бы на каждых президентских выборах в США общий результат по стране в точности повторял расклад голосов в каком-нибудь затерянном провинциальном городке», — образно пояснил Габриэль Наварро из Университета Валенсии. — «Не просто с погрешностью, а абсолютно копейка в копейку».

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

Год спустя после этого озарения математик Марти Айзекс доказал справедливость гипотезы для обширного класса групп. Однако дальнейший прогресс застопорился: несмотря на частные успехи для отдельных систем, бесконечное множество других оставалось неизученным.

Полномасштабное доказательство казалось невыполнимой миссией, требующей завершения одного из самых титанических проектов в истории науки.

Большой шаг для теории групп, гигантский скачок для гипотезы Маккея

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

Исследователи надеялись, что завершение классификации поможет наконец справиться с гипотезой Маккея. Возможно, требовалось подтвердить её не для каждой конечной группы во Вселенной, а лишь для ограниченного набора из 29 типов базовых структур (или связанных с ними простых групп).

Требовалось лишь доказать работоспособность этой стратегии. В том же 2004 году Айзекс, Наварро и Гунтер Малле предложили изящную переформулировку гипотезы Маккея, сузив поле поиска до конкретного семейства групп.

Для каждого элемента этого семейства необходимо было доказать жесткое условие: совпадение числа представлений родительской группы и нормализатора Силова при строгом соблюдении правил их взаимного соответствия. Авторы показали, что выполнение этого требования автоматически гарантирует верность гипотезы для абсолютно любой конечной группы. («Это происходило во время футбольного Евро-2004, — вспоминает Наварро. — Коллеги тогда не подозревали, что я тайком сбегал с работы ради матчей, но некоторые вещи действительно стоят того».)

Этот прорыв позволил в последующие годы закрыть большую часть вопросов, связанных с гипотезой Маккея, а также подтолкнул решение смежных задач. «Созданный ими шаблон лег в основу бесчисленных успешных доказательств», — отметила Манди Шеффер Фрай из Денверского университета.

Тем не менее, оставался один особо коварный класс — «группы лиева типа». Их представления поддавались анализу с огромным трудом, из-за чего проверка критериев Айзекса — Наварро — Малле казалась практически невыполнимой.

Этой проблеме и посвятила себя аспирантка Малле — Бритта Шпет.

«Наша общая одержимость»

Поступив в 2003 году в Кассельский университет к профессору Малле, Шпет обладала идеальным складом ума для подобных вызовов: еще в школе она могла часами биться над одной задачей, оттачивая выносливость и находя изящные нестандартные обходные пути.

Сфокусировавшись на теории представлений, она методично двигалась к разгадке гипотезы Маккея. «У неё потрясающая, почти мистическая интуиция, — подчеркивает Шеффер Фрай. — Она умеет чувствовать финальный результат задолго до завершения расчетов».

Перебравшись в 2010 году в Университет Пари-Сите, Шпет познакомилась с Кабанесом. Обсуждая с ним сложнейшие группы лиева типа, по поводу которых он то и дело сокрушенно вздыхал, она постепенно вовлекла эксперта в работу. Задача захватила их обоих, превратившись в «нашу общую манию», по выражению ученого.

Существует четыре разновидности групп лиева типа. Супруги планомерно штурмовали каждую из категорий, опубликовав за десятилетие ряд знаковых работ.

Это исследование обогатило математику новыми знаниями о группах лиева типа. Несмотря на их фундаментальное значение, работа с ними требует обращения к малоизученным концепциям из самых разных отраслей науки. Параллельно с научными прорывами развивался и их роман: у них родилось двое детей, а дом в Германии превратился в творческую мастерскую с грифельными досками в каждой комнате.

К 2018 году непокоренной оставалась ровно одна категория групп лиева типа. Именно её взятие сулило окончательную победу.

На финальный рывок ушло еще шесть лет.

«Монументальный триумф»

Четвертая категория сопротивлялась изо всех сил, подкидывая «невероятное количество неприятных сюрпризов», вспоминает Шпет (ситуацию усугубляли карантинные ограничения во время пандемии 2020 года и хлопоты с детьми). И тем не менее им удалось доказать искомое совпадение чисел и корректность соответствия представлений. Последний бастион пал, автоматически подтвердив гипотезу Маккея в полном масштабе.

В октябре 2023 года они презентовали готовое доказательство перед аудиторией из сотни профильных специалистов, а год спустя опубликовали текст в открытом доступе. «Это поистине грандиозное достижение», — констатировала Радха Кессар из Манчестерского университета.

Теперь исследователи могут уверенно изучать громоздкие структуры через призму компактных нормализаторов Силова. По словам Наварро, в ходе этой работы была создана «потрясающая, глубокая и изящная математика».

Впрочем, впереди новые горизонты: ученым еще предстоит понять первопричину столь удивительного феномена. Почему микроскопический фрагмент несет столь исчерпывающую информацию о гигантской родительской системе, на уровне строгой философии остается загадкой.

«Должно существовать некое фундаментальное структурное объяснение этому совпадению», — резюмирует Кессар.

Шпет и Кабанес тем временем отправляются на поиски новых научных вызовов. По словам Бритты, ничто в её карьере больше не сравнится по масштабу с гипотезой Маккея: «После столь грандиозного свершения трудно заново обрести дерзновение для следующего шага. Бывало тяжело, но именно это наполняло смыслом каждый наш день».

 

Источник