Программа Ленглендса

Программа Ленглендса — это обширная и глубоко влиятельная сеть гипотез и математических результатов, связывающая теорию чисел, теорию представлений и гармонический анализ на группах Ли. Сформулированная канадским математиком Робертом Ленглендсом в конце 1960-х годов, программа представляет собой единую концептуальную основу, которая стремится объяснить и предсказать глубокие связи между, казалось бы, разрозненными областями математики. Её часто называют «великой объединённой теорией математики» из-за её амбициозного масштаба и далеко идущих последствий. Программа Ленглендса является одной из центральных и наиболее активных областей исследований в современной чистой математике.

История

Предпосылки и возникновение

Истоки программы Ленглендса восходят к нескольким ключевым математическим открытиям середины XX века. Одним из них была теория полей классов, которая описывает абелевы расширения числовых полей. Другим — работы Эриха Гекке, который ввёл L-функции, связанные с модулярными формами, и обнаружил их связь с L-функциями Дирихле. В 1967 году Роберт Ленглендс, работавший тогда в Принстонском университете, написал знаменитое письмо Андре Вейлю, в котором изложил первоначальные идеи программы. В этом письме он предложил обобщение закона взаимности Артина, связывающее L-функции Артина (из теории чисел) с L-функциями, возникающими из автоморфных форм (из гармонического анализа). Это письмо считается отправной точкой программы.

Развитие и ключевые результаты

В 1970-е и 1980-е годы программа Ленглендса развивалась в основном как теоретическая конструкция, с доказательством частных случаев и формулировкой новых гипотез. Важным этапом стала работа Владимира Дринфельда, который в 1974 году доказал гипотезу Ленглендса для функциональных полей в случае группы GL(2). За это он был удостоен Филдсовской медали в 1990 году. Другим значительным достижением стало доказательство гипотезы Ленглендса для локальных полей (локальная программа Ленглендса) для группы GL(n) в работах Михаила Харитоновича Гинзбурга, Дэвида Каждана и других.

Прорывным моментом стало доказательство гипотезы Таниямы — Шимуры (теорема о модулярности) в 1994 году Эндрю Уайлсом и Ричардом Тейлором, которое, хотя и не было прямым доказательством гипотез Ленглендса, подтвердило один из их ключевых частных случаев. В 2000-х годах Лоран Лаффорг доказал гипотезу Ленглендса для функциональных полей для группы GL(n), за что получил Филдсовскую медаль в 2002 году. В 2010-х годах Винсент Лаффорг (сын Лорана Лаффорга) сделал значительный шаг вперёд, доказав гипотезу о соответствии Ленглендса для функциональных полей в случае произвольной редуктивной группы, за что также был удостоен Филдсовской медали в 2018 году.

Основные понятия и гипотезы

Автоморфные формы и представления

Центральным объектом программы являются автоморфные формы — это функции на группе Ли (например, GL(n, R)), которые инвариантны относительно действия дискретной подгруппы (например, GL(n, Z)) и удовлетворяют определённым дифференциальным уравнениям и условиям роста. Классическими примерами являются модулярные формы, которые являются автоморфными формами для группы GL(2). Автоморфные формы порождают автоморфные представления — представления группы GL(n, A), где A — кольцо аделей числового поля. Эти представления являются бесконечномерными и играют ключевую роль в гармоническом анализе на адельных группах.

L-функции

С каждой автоморфной формой или представлением, а также с каждым представлением группы Галуа (галуа-представлением) можно связать L-функцию. L-функции — это аналитические функции, которые обобщают дзета-функцию Римана. Они кодируют арифметическую информацию, такую как распределение простых чисел. Программа Ленглендса утверждает, что L-функции, возникающие из разных источников (из теории чисел и из гармонического анализа), на самом деле являются одними и теми же функциями.

Функториальность

Гипотеза функториальности является центральной и наиболее общей гипотезой программы. Она утверждает, что для любого гомоморфизма между L-группами (определёнными алгебраическими группами, связанными с исходными редуктивными группами) существует соответствующее отображение между автоморфными представлениями этих групп. Это отображение должно переводить L-функции одного представления в L-функции другого. Функториальность является мощным инструментом, который позволяет переносить результаты из одной области в другую и устанавливать связи между различными типами объектов.

Соответствие Ленглендса

Гипотеза соответствия Ленглендса (или глобальная гипотеза Ленглендса) является частным случаем функториальности. Она устанавливает биекцию между:

1. Автоморфными представлениями редуктивной группы G над числовым полем (или функциональным полем), которые являются «каспидальными» (неприводимыми и бесконечномерными).
2. Галуа-представлениями (гомоморфизмами из группы Галуа в L-группу G), которые являются «неприводимыми» и «рациональными».

Эта биекция должна сохранять L-функции: L-функция автоморфного представления должна совпадать с L-функцией соответствующего галуа-представления. Это и есть обобщение закона взаимности Артина.

Классификация и разделы

Программа Ленглендса не является единой теоремой, а скорее набором взаимосвязанных гипотез и результатов. Её можно условно разделить на несколько направлений:

• Глобальная программа Ленглендса: рассматривает числовые поля и функциональные поля (поля алгебраических функций над конечным полем). Это наиболее амбициозная и сложная часть.
• Локальная программа Ленглендса: рассматривает локальные поля (поля p-адических чисел и поля формальных степенных рядов). Для локальных полей программа доказана для многих групп, включая GL(n), и является важным инструментом для глобальной программы.
• Программа Ленглендса для функциональных полей: рассматривает поля алгебраических функций. В этой области достигнуты значительные успехи, включая доказательство гипотезы для всех редуктивных групп (В. Лаффорг, 2018).
• Геометрическая программа Ленглендса: переформулирует гипотезы программы на языке алгебраической геометрии, заменяя числовые поля на кривые над конечными полями, а группы Галуа — на фундаментальные группы. Эта версия, предложенная Владимиром Дринфельдом и развитая многими математиками, оказалась более доступной для доказательства и привела к глубоким результатам в теории пучков и модулях Дринфельда.

Применение и значение

Влияние на теорию чисел

Программа Ленглендса оказала огромное влияние на теорию чисел. Она предоставила концептуальную основу для понимания и доказательства многих классических гипотез, таких как:

• Гипотеза Таниямы — Шимуры (теперь теорема о модулярности): любая эллиптическая кривая над Q является модулярной, то есть соответствует автоморфной форме для GL(2). Это было ключевым шагом в доказательстве Великой теоремы Ферма.
• Гипотеза Сато — Тейта: о распределении углов Фробениуса для эллиптических кривых. Доказана в 2011 году с использованием методов программы Ленглендса.
• Гипотеза Артина: о голоморфности L-функций Артина. Доказана для многих частных случаев, но остаётся открытой в общем виде.

Связь с другими областями

Программа Ленглендса имеет глубокие связи с:

• Теорией представлений: автоморфные представления являются объектами теории представлений редуктивных групп над аделями.
• Гармоническим анализом: программа использует методы гармонического анализа на группах Ли и адельных группах, такие как теория рядов Фурье и интегральные преобразования.
• Алгебраической геометрией: геометрическая программа Ленглендса тесно связана с теорией пучков, модулями Дринфельда и теорией Ходжа.
• Физикой: некоторые идеи программы, такие как дуальность и функториальность, нашли отражение в теоретической физике, в частности в теории струн и квантовой теории поля.

Интересные факты

• Письмо Вейлю: первоначальное письмо Ленглендса Вейлю содержало 17 страниц рукописного текста и было написано от руки. Вейль, по слухам, не сразу оценил его глубину.
• L-группа: ключевым понятием программы является L-группа (или группа Ленглендса) — это полупрямое произведение комплексной редуктивной группы и группы Галуа. Она играет роль «дуальной» группы, которая связывает автоморфные формы и галуа-представления.
• Роль функциональных полей: доказательство гипотез Ленглендса для функциональных полей (В. Дринфельд, Л. Лаффорг, В. Лаффорг) часто служит моделью для более сложного случая числовых полей, хотя прямой перенос результатов невозможен.
• Премия Абеля: Роберт Ленглендс был удостоен премии Абеля в 2018 году за «пророческое видение, связавшее теорию чисел с теорией представлений и гармоническим анализом». Это признание фундаментального значения программы.

Критика и сложности

Программа Ленглендса, несмотря на свою красоту и глубину, сталкивается с рядом критических замечаний и объективных сложностей:

• Чрезвычайная сложность: доказательство общих гипотез программы требует развития новых, очень сложных математических теорий. Многие из них остаются недоказанными на протяжении десятилетий.
• Неполнота: программа не является полностью замкнутой и самодостаточной. Она не даёт готовых рецептов для решения всех задач теории чисел, а скорее предлагает концептуальную рамку.
• Отсутствие единого метода: для разных групп и полей используются разные методы, и единого универсального подхода к доказательству всех гипотез пока не существует.
• Практическая применимость: программа Ленглендса является чисто теоретической областью математики, и её практические приложения (например, в криптографии) пока ограничены, хотя и не исключены в будущем.

Источники

• Langlands, R. P. (1967). Letter to André Weil.
• Bump, D. (1997). Automorphic Forms and Representations. Cambridge University Press.
• Gelbart, S. (1984). An Elementary Introduction to the Langlands Program. Bulletin of the American Mathematical Society.
• Frenkel, E. (2005). Lectures on the Langlands Program and Conformal Field Theory. arXiv:hep-th/0512172.
• Лаффорг, Л. (2002). La correspondance de Langlands sur les corps de fonctions. Séminaire Bourbaki.