Программа Ленглендса — сеть далеко идущих математических гипотез о связях между теорией чисел и геометрией , предложенная Робертом Ленглендсом в 1967 и 1970 годы. Основная цель — связать группы Галуа в алгебраической теории чисел с автоморфными формами и теорией представлений алгебраических групп над локальными полями и . Считается одним из крупнейших математических исследовательских проектов XX века, отмечалась Френкелем как «теория великого объединения математики» .

За разработку программы Ленглендс получил премию Абеля в 2018 году.

Контекст

Программа Ленглендса построена на разработанных ранее идеях: , сформулированная несколькими годами ранее Хариш-Чандрой и Израилем Гельфандом в 1963 году, работы Хариш-Чандры по полупростым группам Ли , а в техническом плане — .

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

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

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

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

На стороне модулярных форм были такие примеры, как , и тэта-ряды .

Объекты гипотезы

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

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

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

Гипотезы

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

Взаимность

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

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

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

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

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

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

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

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

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

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

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

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

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

Так называемая геометрическая программа Ленглендса, предложенная Жераром Ломоном следуя идеям Владимира Дринфельда , возникает из геометрической переформулировки обычной программы Ленглендса. В простых случаях она связывает ${\displaystyle \ell }$ -адические представления алгебраической кривой с объектами ${\displaystyle \ell }$ -адическими пучками на модулях векторных расслоений над кривой.

Текущее состояние

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

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

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

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

Лоран Лаффорг доказал — гипотезу Ленглендса для общей линейной группы ${\displaystyle \mathrm {GL} (n,K)}$ для полей функций ${\displaystyle K}$ . Эта работа продолжила более ранние исследования Дринфельда, который доказал гипотезу для случая ${\displaystyle \mathrm {GL} (2,K)}$ .

Локальные гипотезы Ленглендса

в 1980 доказал для общей линейной группы ${\displaystyle \mathrm {GL} (2,K)}$ над локальным полям.

Жерар Ломон , , в 1993 доказали локальные гипотезы Ленглендса для общей линейной группы ${\displaystyle \mathrm {GL} (n,K)}$ для локальных полей ${\displaystyle K}$ положительной характеристики. Их доказательство использует глобальный аргумент.

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

Фундаментальная лемма

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

Примечания

Литература

• Arthur, James (2003), "The principle of functoriality", American Mathematical Society. Bulletin. New Series , 40 (1): 39—53, doi : , ISSN , MR
• Bernstein, J.; Gelbart, S. (2003), An Introduction to the Langlands Program , Boston: Birkhauser, ISBN 3-7643-3211-5
  • Дж. Бернштайн, Ст. Гелбарт. Введение в программу Ленглендса. — Москва — Ижевск, 2008.
• Gelbart, Stephen (1984), "An elementary introduction to the Langlands program", American Mathematical Society. Bulletin. New Series , 10 (2): 177—219, doi : , ISSN , MR
• Frenkel, Edward (2005). "Lectures on the Langlands Program and Conformal Field Theory". arXiv : .
• Gelfand, I. M. (1963), "Automorphic functions and the theory of representations", , Djursholm: Inst. Mittag-Leffler, pp. 74—85, MR , Дата обращения: 13 июля 2018 от 17 июля 2011 на Wayback Machine
• Harris, Michael; Taylor, Richard (2001), , Annals of Mathematics Studies, vol. 151, Princeton University Press , ISBN 978-0-691-09090-0 , MR
• Henniart, Guy (2000), "Une preuve simple des conjectures de Langlands pour GL(n) sur un corps p-adique", Inventiones Mathematicae , 139 (2): 439—455, Bibcode : , doi : , ISSN , MR
• Kutzko, Philip (1980), "The Langlands Conjecture for Gl_2 of a Local Field", Annals of Mathematics , 112 (2): 381—412, doi : , JSTOR
• Langlands, Robert (1967),
• Langlands, R. P. (1970), "Problems in the theory of automorphic forms", , Lecture Notes in Math, vol. 170, Berlin, New York: Springer-Verlag , pp. 18—61, doi : , ISBN 978-3-540-05284-5 , MR
• Laumon, G.; Rapoport, M.; Stuhler, U. (1993), "D-elliptic sheaves and the Langlands correspondence", Inventiones Mathematicae , 113 (2): 217—338, Bibcode : , doi : , ISSN , MR
• Scholze, Peter (2013), "The Local Langlands Correspondence for GL(n) over p -adic fields", Inventiones Mathematicae , 192 (3): 663—715, arXiv : , Bibcode : , doi :
• Solomon Friedberg. // Notices of the AMS . — 2018. — Vol. 65. — P. 663—665. — doi : .
• Владимир Королёв. (неопр.) . N+1 (23 марта 2018). Дата обращения: 13 июля 2018.

Ссылки

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

Для улучшения этой статьи желательно : Проверить качество перевода с иностранного языка. Исправить статью согласно стилистическим правилам Википедии . Проставить сноски , внести более точные указания на источники. Оформить математические формулы После исправления проблемы исключите её из списка. Удалите шаблон, если устранены все недостатки.