# Программа Ленглендса: как Алекс Конторович объясняет связь между числами и волнами Источник: https://www.youtube.com/watch?v=_bJeKUosqoY Канал: Quanta Magazine Опубликовано: 01.06.2022 --- Программа Ленглендса считается крупнейшим проектом в современных математических исследованиях, стремящимся связать далекие друг от друга области науки. В материале Quanta Magazine математик Алекс Конторович рассказывает, как глубокие внутренние симметрии объединяют арифметику и гармонический анализ. Этот грандиозный мост между математическими дисциплинами уже позволил разгадать многовековые загадки и, по мнению многих ученых, претендует на роль «теории великого объединения» в математическом мире. ## 🗺️ Математические континенты: от арифметики до анализа сигналов [[JUMP:0:01]] Воображаемая карта математического мира, создававшаяся на протяжении тысячелетий от древних вавилонян до Бернхарда Римана, содержит в себе все известные человечеству знания о числах, формах и их взаимосвязях. В этом пространстве существуют отдельные математические континенты, каждый из которых обладает собственным уникальным языком и культурой. Одним из таких регионов с богатой историей является теория чисел — непредсказуемая земля, скрывающая множество арифметических тайн. На противоположном же конце этой карты находится континент гармонического анализа, где преобладают плавные кривые, симметрия и повторяющиеся паттерны, а математические объекты изъясняются на языке сигналов и волн. На протяжении большей части истории эти территории оставались изолированными друг от друга, поскольку ученые не видели смысла в поиске путей сообщения между ними. Однако в последние полвека математики обнаружили очертания гигантского моста, который получил название «Программа Ленглендса». Перенос неразрешимых задач с одного континента на другой позволяет осветить и решить проблемы, казавшиеся ранее непреодолимыми. ## ✉️ Пророческое письмо Роберта Ленглендса [[JUMP:1:49]] В 1967 году тридцатилетний математик Роберт Ленглендс написал скромное письмо своему коллеге, знаменитому французскому специалисту по теории чисел Андре Вейлю. Автор полушутя просил отнестись к тексту как к чистой спекуляции, заметив, что в противном случае у Вейля под рукой наверняка найдется мусорная корзина. К удивлению адресата, послание содержало ряд поразительных гипотез, предсказывавших маловероятное соответствие между объектами из абсолютно разных областей математики. Предположение Ленглендса казалось невероятным: структуры, зародившиеся на разных математических континентах, развивались и вели себя абсолютно идентично, напоминая ментальную телепатию. Понимание этой загадочной связи стало главной задачей масштабной исследовательской программы. ## 🌀 Секреты модулярных форм и прорыв Рамануджана [[JUMP:2:40]] История создания моста начинается на берегах гармонического анализа, где в 1916 году индийский математик-самоучка Сриниваса Рамануджан заинтересовался необычной функцией, известной сегодня как дискриминантная функция Рамануджана. Эта функция представляет собой произведение бесконечного числа членов. В те годы было известно, что она принадлежит к особому классу объектов — модулярным формам. Чтобы увидеть внутреннее устройство модулярных форм, недостаточно использовать вещественные числа — их аргументы и значения должны рассматриваться в комплексной плоскости, где и раскрываются их завораживающие симметрии. Модулярные формы считаются одними из самых причудливых объектов в математике из-за огромного количества внутренних симметрий, само существование которых кажется удивительным. Рамануджан стал первым, кто попытался связать симметрии модулярных форм с далекими берегами теории чисел. Он разложил функцию и собрал её коэффициенты, обнаружив у них предсказательную силу: зная простые коэффициенты функции, можно вычислить все остальные. Например, зная коэффициенты: * для первой степени: $-24$ * для второй степени: $252$ Можно мгновенно определить коэффициент для шестой степени, так как дважды три равно шести. Рамануджан не смог доказать эту закономерность, и его гипотезы оставались неразгаданными почти шесть десятилетий. Лишь позже бельгийский математик Пьер Делинь представил блестящее доказательство гипотезы Рамануджана, за что был удостоен Филдсовской медали. Делинь использовал ключевую идею Ленглендса, называемую функториальностью, чтобы совершить переход от гармонического анализа к теории чисел. ## 📐 Великая теорема Ферма и эллиптические кривые [[JUMP:5:05]] В 1637 году французский юрист и математик-любитель Пьер де Ферма записал уравнение на полях книги Диофанта «Арифметика», заявив, что истинное доказательство слишком масштабно для узких полей. Теорема описывала полиномиальные уравнения — базовые объекты теории чисел, состоящие из переменных с положительными целыми степенями. В отличие от известной со школы теоремы Пифагора, описывающей целые решения для треугольников, уравнения Ферма вида $a^n + b^n = c^n$ не имеют решений в натуральных числах, если степень $n$ больше двух. На протяжении 350 лет сменяющие друг друга поколения математиков безуспешно пытались найти доказательство или опровержение этого утверждения. В 1990-х годах профессор Принстонского университета Эндрю Уайлс потряс научный мир своим прорывом. Находясь на стороне теории чисел, он разработал стратегию создания моста к гармоническому анализу. Ключевым инструментом для Уайлса стал особый тип полиномиальных уравнений — эллиптические кривые, содержащие две переменные $x$ и $y$. ## ⏰ Модулярная арифметика и бесконечные ряды [[JUMP:7:04]] Для исследования решений эллиптических кривых в целых и рациональных числах применяется модулярная арифметика — метод подсчета, использующий только остатки от деления. Человечество сталкивается с этой математикой ежедневно, определяя время по 12-часовому циферблату. Например, встреча в 15:00 означает 3 часа дня, поскольку числа 15 и 3 оставляют одинаковый остаток при делении на 12. Если изменить модуль вычислений, например, взять число 31, правила изменятся. В модулярной арифметике уравнения, не имеющие рациональных решений, могут иметь модулярные решения. Математиков интересует точное количество таких решений. Для эллиптической кривой при модуле $n$ количество решений обозначается как $b_n$. Поменяв множество часов с разным количеством делений, можно получить бесконечную последовательность чисел. Если умножить каждый член этой последовательности на $x$ в соответствующей степени и сложить их, получится бесконечный степенной ряд, напоминающий многочлен с бесконечным числом слагаемых. Эта функция послужила основой для возведения математического моста. ## 🌉 Слияние двух миров: гипотеза Таниямы — Шимуры — Вейля [[JUMP:9:26]] При строительстве моста Эндрю Уайлс опирался на теоретический фундамент, заложенный десятилетиями ранее японскими математиками Ютакой Таниямой, Горо Шимурой и французом Андре Вейлем. Они предсказали, что функция, полученная из любой эллиптической кривой, на самом деле является замаскированной модулярной формой, обладающей теми же симметриями, что изучал Рамануджан. Визуализация этой функции на единичном диске подтверждает её модулярную природу, однако Уайлсу требовалось строго доказать, что это правило работает без исключений. Связь с теоремой Ферма обнаружил немецкий математик Герхард Фрей. Он выявил следующую математическую закономерность: * Если уравнение Ферма имеет гипотетическое решение (контрпример $a^p + b^p = c^p$ при $p > 2$), то на его основе можно построить аномальную эллиптическую кривую. * Эта гипотетическая кривая обладала бы настолько странными свойствами, что её степенной ряд не имел бы симметрий модулярной формы. Таким образом, если бы Великая теорема Ферма была неверна, то гипотеза Таниямы — Шимуры — Вейля тоже оказалась бы ложной. Когда Эндрю Уайлс совместно со своим учеником Ричардом Тейлором доказали модулярность всех эллиптических кривых, они автоматически подтвердили невозможность существования кривой Фрея. Это сложнейшее доказательство от противного навсегда закрыло вопрос о Великой теореме Ферма. ## 🔮 Новые горизонты единой математической теории [[JUMP:12:19]] Успешные доказательства теоремы Ферма и гипотез Рамануджана представляют собой лишь малую часть грандиозного проекта Программы Ленглендса. Сегодня идеи Ленглендса выходят далеко за пределы классического анализа и теории чисел, проникая в такие дисциплины: * алгебраическая геометрия; * теория представлений; * квантовая физика. По мнению Алекса Конторовича и многих других исследователей, концепция Ленглендса способна решить самые трудноразрешимые математические задачи нашего времени. В будущем программа может полностью стереть границы между разрозненными математическими континентами, создав единую фундаментальную теорию числового мира.