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

В теории представлений и алгебраической теории чисел программа Ленглендса представляет собой сеть далеко идущих и последовательных гипотез о связях между теорией чисел и геометрией . Предложенный Робертом Ленглендсом ( 1967 , 1970 ), он стремится связать группы Галуа в теории алгебраических чисел с автоморфными формами и теорией представлений алгебраических групп над локальными полями и аделями . Программа Ленглендса, которую многие считают крупнейшим проектом в современных математических исследованиях, была описана Эдвардом Френкелем как «своего рода великая единая теория математики».

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

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

Предыстория

В очень широком контексте программа основывалась на существующих идеях: философии возвратных форм, сформулированной несколькими годами ранее Хариш-Чандрой и Гельфандом ( 1963 ), работе и подходе Хариш-Чандры к полупростым группам Ли , а также в техническом плане формула следов Сельберга и др .

Что первоначально было очень новым в работе Ленглендса, помимо технической глубины, так это предполагаемая прямая связь с теорией чисел вместе с предполагаемой богатой организационной структурой (так называемая функториальность ).

Например, в работе Хариш-Чандры можно найти принцип, согласно которому то, что можно сделать для одной полупростой (или редуктивной) группы Ли , должно быть сделано для всех. Таким образом, как только была признана роль некоторых маломерных групп Ли, таких как GL(2) в теории модулярных форм, и, оглядываясь назад, GL(1) в теории полей классов , открылся путь, по крайней мере, для спекуляций о GL. ( n ) для общего n > 2.

Идея формы возврата возникла из точек возврата на модульных кривых , но также имела значение, видимое в спектральной теории как « дискретный спектр », в отличие от « непрерывного спектра » из ряда Эйзенштейна . Для более крупных групп Ли это становится гораздо более техническим, потому что параболических подгрупп более многочисленны.

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

А со стороны модульных форм были такие примеры, как модульные формы Гильберта , модульные формы Зигеля и тэта-ряды .

Объекты

Существует ряд связанных с этим гипотез Ленглендса. Существует множество различных групп по многим различным областям, для которых их можно сформулировать, и для каждой области существует несколько разных версий гипотез. Некоторые версии Гипотезы Ленглендса расплывчаты или зависят от таких объектов, как группы Ленглендса , существование которых недоказано, или от L -группы, имеющей несколько неэквивалентных определений. Более того, гипотезы Ленглендса претерпели изменения с тех пор, как Ленглендс впервые высказал их в 1967 году.

Существуют различные типы объектов, для которых можно сформулировать гипотезу Ленглендса:

• Представления редуктивных групп над локальными полями (с различными подслучаями, соответствующими архимедовым локальным полям, p -адическим локальным полям и пополнениям функциональных полей)
• Автоморфные формы редуктивных групп над глобальными полями (с подслучаями, соответствующими числовым полям или функциональным полям).
• Конечные поля. Ленглендс изначально не рассматривал этот случай, но его гипотезы имеют для него аналоги.
• Более общие поля, такие как поля функций над комплексными числами.

Предположения

Существует несколько различных способов формулирования гипотез Ленглендса, которые тесно связаны, но не являются очевидно эквивалентными.

Взаимность

Отправной точкой программы можно считать Эмиля Артина , закон взаимности который обобщает квадратичную взаимность . Закон взаимности Артина применяется к расширению Галуа поля алгебраических чисел, которого Галуа абелева группа ; он присваивает L -функции одномерным представлениям этой группы Галуа и утверждает, что эти L -функции идентичны некоторым Дирихле L -рядам или более общим рядам (то есть некоторым аналогам дзета -функции Римана ), построенным по Гекке персонажи . Точное соответствие между этими различными видами L -функций составляет закон взаимности Артина.

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

Идея Ленглендса заключалась в том, чтобы найти правильное обобщение L -функций Дирихле, которое позволило бы сформулировать утверждение Артина в этой более общей ситуации. Ранее Гекке связал L -функции Дирихле с автоморфными формами ( голоморфными функциями на верхней полуплоскости $\mathbb {C}$ ( комплексные числа ), удовлетворяющие определенным функциональным уравнениям). Затем Ленглендс обобщил их на автоморфные каспидальные представления , которые представляют собой некоторые бесконечномерные неприводимые представления полной линейной группы GL( n ) над аделей кольцом $\mathbb {Q}$ ( рациональные числа ). (Это кольцо одновременно отслеживает все завершения $\mathbb {Q} ,$ см. p -адические числа .)

Ленглендс присоединил к этим автоморфным представлениям автоморфные L -функции и предположил, что каждая L -функция Артина, возникающая из конечномерного представления группы Галуа числового поля, равна функции, возникающей из автоморфного каспидального представления. Это известно как его « гипотеза взаимности ».

Грубо говоря, гипотеза взаимности дает соответствие между автоморфными представлениями редуктивной группы и гомоморфизмами группы Ленглендса в L -группу . Существует множество вариантов этого, отчасти потому, что определения группы Ленглендса и L -группы не являются фиксированными.

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

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

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

Обобщенная функториальность

Ленглендс обобщил идею функториальности: вместо использования общей линейной группы GL( n ) другие связные редуктивные группы можно использовать . Более того, по такой группе G Ленглендс строит двойственную группу Ленглендса ^л G , и тогда для любого автоморфного каспидального представления G и любого конечномерного представления группы G ^л G он определяет L -функцию. Одна из его гипотез утверждает, что эти L -функции удовлетворяют некоторому функциональному уравнению, обобщающему уравнения других известных L -функций.

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

Все эти гипотезы можно сформулировать для более общих полей вместо $\mathbb {Q}$: поля алгебраических чисел (исходный и наиболее важный случай), локальные поля и функциональные поля (конечные расширения F полем _p ( t ), где p — простое число , а F _p ( t ) — поле рациональных функций над конечным с p элементы).

Геометрические гипотезы

Основная статья: Переписка Геометрического Ленглендса

Так называемая геометрическая программа Ленглендса, предложенная Жераром Ломоном вслед за идеями Владимира Дринфельда , возникает в результате геометрической переформулировки обычной программы Ленглендса, которая пытается связать нечто большее, чем просто неприводимые представления. В простых случаях он связывает l -адические представления этальной фундаментальной группы алгебраической кривой с объектами производной категории l -адических пучков на стеке модулей векторных расслоений над кривой.

Текущий статус

Гипотезы Ленглендса для GL(1, K (и по существу эквивалентны ей) ) следуют из теории полей классов .

Ленглендс доказал гипотезу Ленглендса для групп над архимедовыми локальными полями. $\mathbb {R}$ ( действительные числа ) и $\mathbb {C}$ ( комплексные числа ), дав классификацию Ленглендса их неприводимых представлений.

Классификацию Люстига неприводимых представлений групп лиева типа над конечными полями можно считать аналогом гипотез Ленглендса для конечных полей.

Доказательство Эндрю Уайлса модульности полустабильных эллиптических кривых над рациональными числами можно рассматривать как пример гипотезы взаимности Ленглендса, поскольку основная идея состоит в том, чтобы связать представления Галуа, возникающие из эллиптических кривых, с модулярными формами. Хотя результаты Уайлса были существенно обобщены во многих различных направлениях, полная гипотеза Ленглендса для ${\text{GL}}(2,\mathbb {Q} )$ остается недоказанным.

В 1998 году Лоран Лафорг доказал теорему Лафорга подтверждающую гипотезы Ленглендса для общей линейной группы GL( n , K ) для функциональных полей K. , Эта работа продолжила более ранние исследования Дринфельда, который доказал случай GL(2, K ) в 1980-х годах.

В 2018 году Винсент Лафорг установил глобальное соответствие Ленглендса (направление от автоморфных форм к представлениям Галуа) для связных редуктивных групп над глобальными функциональными полями.

Локальные

Основная статья: местные гипотезы Ленглендса

Филип Куцко ( 1980 ) доказал локальные гипотезы Ленглендса для общей линейной группы GL(2, K ) над локальными полями.

Жерар Ломон , Михаэль Рапопорт и Ульрих Штулер ( 1993 ) доказали локальные гипотезы Ленглендса для общей линейной группы GL( n , K ) для локальных полей K с положительной характеристикой . Их доказательство использует глобальный аргумент.

Майкл Харрис и Ричард Тейлор ( 2001 ) доказали локальные гипотезы Ленглендса для общей линейной группы GL( n , K ) для локальных полей K характеристики 0 . Гай Хенниарт ( 2000 ) привел еще одно доказательство. Оба доказательства используют глобальный аргумент. Питер Шольце ( 2013 ) привел еще одно доказательство.

Основная лемма

Основная статья: Фундаментальная лемма (программа Ленглендса)

В 2008 году Нго Бо Чау доказал « фундаментальную лемму », которая была первоначально выдвинута Ленглендсом и Шелстадом в 1983 году и потребовалась для доказательства некоторых важных гипотез в программе Ленглендса.

Последствия

Для непрофессионала или даже неспециалиста-математика абстракции в программе Ленглендса могут быть несколько непонятными. Однако существуют некоторые убедительные и ясные выводы для доказательства или опровержения фундаментальных гипотез Ленглендса.

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

Более того, если существует взаимность таких обобщенных алгебр для постулируемых объектов и если можно показать, что их аналитические функции четко определены, некоторые очень глубокие результаты в математике могут оказаться в пределах досягаемости доказательства. Примеры включают: рациональные решения эллиптических кривых , топологическое построение алгебраических многообразий и знаменитую гипотезу Римана . Ожидается, что такие доказательства будут использовать абстрактные решения в объектах обобщенных аналитических рядов , каждый из которых относится к инвариантности внутри структур числовых полей.

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

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

См. также

• Переписка Жаке-Лэнглендса
• Эрлангенская программа

Ссылки

• Артур, Джеймс (2003), «Принцип функториальности», Бюллетень Американского математического общества , Новая серия, 40 (1): 39–53, doi : 10.1090/S0273-0979-02-00963-1 , ISSN   0002- 9904 , МР   1943132
• Бернштейн, Дж.; Гелбарт, С. (2003), Введение в программу Ленглендса , Бостон: Биркхойзер, ISBN  978-3-7643-3211-2
• Гелбарт, Стивен (1984), «Элементарное введение в программу Ленглендса», Бюллетень Американского математического общества , новая серия, 10 (2): 177–219, doi : 10.1090/S0273-0979-1984-15237-6 , ISSN   0002-9904 , МР   0733692
• Френкель, Эдвард (2005). «Лекции по программе Ленглендса и конформной теории поля». arXiv : hep-th/0512172 .
• Гельфанд И. М. (1963), "Автоморфные функции и теория представлений" , Тр. Интерн. Конгресс Математики (Стокгольм, 1962) , Дюрсхольм: Ин-т. Миттаг-Леффлер, стр. 74–85, MR   0175997.
• Харрис, Майкл; Тейлор, Ричард (2001), Геометрия и когомологии некоторых простых многообразий Шимуры , Анналы математических исследований, том. 151, Издательство Принстонского университета , ISBN  978-0-691-09090-0 , МР   1876802
• Хенниарт, Гай (2000), «Простое доказательство гипотез Ленглендса для GL( n теле ) на p -адическом », Inventiones Mathematicae , 139 (2): 439–455, Bibcode : 2000InMat.139..439H , doi : 10.1007/s002220050012 , ISSN   0020-9910 , MR   1738446 , S2CID   120799103
• Куцко, Филип (1980), «Гипотеза Ленглендса для Gl ₂ локального поля» , Annals of Mathematics , 112 (2): 381–412, doi : 10.2307/1971151 , JSTOR   1971151
• Ленглендс, Роберт (1967), Письмо профессору Вейлю
• Ленглендс, Р.П. (1970), «Проблемы теории автоморфных форм» , Лекции по современному анализу и приложениям, III , Конспекты лекций по математике, том. 170, Берлин, Нью-Йорк: Springer-Verlag , стр. 18–61, doi : 10.1007/BFb0079065 , ISBN.  978-3-540-05284-5 , МР   0302614
• Лаумон, Г.; Рапопорт, М.; Сталер, У. (1993), « D -эллиптические пучки и соответствие Ленглендса», Inventiones Mathematicae , 113 (2): 217–338, Bibcode : 1993InMat.113..217L , doi : 10.1007/BF01244308 , ISSN   0020-9910 , МР   1228127 , S2CID   124557672
• Шольце, Питер (2013), «Локальное соответствие Ленглендса для GL( n ) над p -адическими полями», Inventiones Mathematicae , 192 (3): 663–715, arXiv : 1010.1540 , Bibcode : 2013InMat.192..663S , doi : 10.1007/s00222-012-0420-5 , S2CID   15124490

Внешние ссылки

• Работа Роберта Ленглендса