В математике геометрическое соответствие Ленглендса связывает алгебраическую геометрию и теорию представлений . Это переформулировка соответствия Ленглендса , полученная путем замены числовых полей, появляющихся в исходной версии теории чисел , на функциональные поля и применения методов из алгебраической геометрии . [1] Геометрическая гипотеза Ленглендса утверждает существование геометрического соответствия Ленглендса.
Существование геометрического соответствия Ленглендса в частном случае общих линейных групп над функциональными полями было доказано Лораном Лаффоргом в 2002 году, где оно следует как следствие теоремы Лаффорга . [2]
В математике классическое соответствие Ленглендса представляет собой набор результатов и гипотез, связывающих теорию чисел и теорию представлений. Сформулированное Робертом Ленглендсом в конце 1960-х годов, соответствие Ленглендса связано с важными гипотезами в теории чисел, такими как гипотеза Таниямы–Шимуры , которая включает в себя Великую теорему Ферма как частный случай. [1]
Соответствия Ленглендса могут быть сформулированы для глобальных полей (а также локальных полей ), которые классифицируются на числовые поля или глобальные функциональные поля . Установление классического соответствия Ленглендса для числовых полей оказалось чрезвычайно сложным. В результате некоторые математики сформулировали геометрическое соответствие Ленглендса для глобальных функциональных полей, с которыми в некотором смысле оказалось проще иметь дело. [3]
Геометрическая гипотеза Ленглендса для общих линейных групп над полем функций была сформулирована Владимиром Дринфельдом и Жераром Ломоном в 1987 году. [4] [5]
Геометрическая гипотеза Ленглендса была доказана Пьером Делинем и Дринфельдом в 1983 году. [6] [7]
Лоран Лаффорг доказал геометрическую гипотезу Ленглендса для поля функций в 2002 году. [2]
Заявленное доказательство категорической неразветвленной геометрической гипотезы Ленглендса было объявлено 6 мая 2024 года группой математиков, включая Денниса Гейтсгори . [8] [9] Заявленное доказательство содержится на более чем 1000 страницах в пяти статьях и было названо «настолько сложным, что почти никто не может его объяснить». Даже передача значимости результата другим математикам была описана Дринфельдом как «очень сложная, почти невозможная». [10]
В статье 2007 года Антон Капустин и Эдвард Виттен описали связь между геометрическим соответствием Ленглендса и S-дуальностью , свойством некоторых квантовых теорий поля . [11]
В 2018 году, принимая премию Абеля, Ленглендс представил доклад, в котором переформулировал геометрическую программу, используя инструменты, аналогичные его оригинальной переписке с Ленглендсом. [12] [13] Идеи Ленглендса были в дальнейшем развиты Этингофом, Френкелем и Кажданом. [14]
{{cite arXiv}}
: CS1 maint: несколько имен: список авторов ( ссылка )