L-функция
L-функция — это мероморфная функция на комплексной плоскости, связанная с одним из нескольких типов математических объектов. L-ряд — это ряд Дирихле, который обычно сходится на полуплоскости, и который может быть аналитически продолжен до L-функции на всей комплексной плоскости.
Теория L-функция стала очень важной, хотя ещё пока во многом гипотетической, частью современной аналитической теории чисел. В ней построены широкие обобщения дзета-функции Римана и L-рядов для характеров Дирихле, а их общие свойства, в подавляющем большинстве случаев пока недоступны для доказательства в систематическом изложении
Построение
Мы будем различать L-ряды, то есть представления через ряды (например, ряд Дирихле для дзета-функции Римана), и L-функции, то есть аналитические продолжения функции на всей комплексной плоскости. Общее построение начинается с L-рядов, сначала определяемых как ряд Дирихле, и их разложения в эйлерово произведение с индексом, пробегающим простые числа. Рассмотрение требует доказательства сходимости ряда в некоторой правой полуплоскости поля комплексных чисел. Потом спрашивается, может ли определяемая функция быть аналитически продолжена на всю комплексную плоскость (возможно, с появлением нескольких полюсов).
Гипотетическое мероморфное продолжение на комплексную плоскость называется L-функцией. Уже в классических случаях известно, что полезная информация содержится в значениях и в поведении L-функции в её нулях и полюсах. Обобщающий термин «L-функция», используемый здесь, включает в себя много известных типов дзета-функций. Класс Сельберга — это попытка описать ключевые свойства L-функций с помощью набора аксиом и, таким образом, начать изучать свойства класса в целом, а не функции по-отдельности.
Гипотетическая информация
Можно перечислить характеристики L-функций, которые представляют интерес, если обобщить то это:
- Расположение нулей и полюсов;
- Функциональное уравнение, с учётом некоторых вертикальных прямых ;
- Интересные значения в целых числах, связанные с параметрами алгебраической K-теории
Тщательная работа породила большой объём правдоподобных гипотез, например, гипотезу о точном типе функционального уравнения, которое должно выполняться для L-функций. Так как дзета-функция Римана связана (через свои значения в положительных четных и отрицательных нечетных числах) с числами Бернулли, то идет работа по обобщению этого явления. Уже были получены результаты для p-адических L-функций, которые описывают определенный модуль Галуа.
Статистика распределения нулей представляет интерес из-за их связи с такими проблемами, как обобщенная гипотеза Римана, распределение простых чисел и т. д. Связи с теорией случайных матриц и квантовым хаосом также представляют интерес. Фрактальная структура распределений изучалась при помощи такого метода как "анализ масштабированного диапазона"[2]. Самоподобие распределения нулей характеризуется большим значением фрактальной размерности 1,9. Эта достаточно большая фрактальная размерность найдена среди нулей дзета-функции Римана и покрывает как минимум пятнадцать порядков, а также для нулей других L-функций разных порядков и кондукторов.
Гипотеза Бёрча и Свиннертон-Дайера
Одним из важных примеров, как для истории более общих L-функций, так и как ещё пока открытой исследовательской проблемы, является гипотеза Бёрча и Свиннертон-Дайера. Гипотеза говорит, как можно вычислить ранг эллиптической кривой над полем рациональных чисел (или другим глобальным полем), то есть число свободных образующих его группы рациональных точек. Многие предыдущие работы в этой области стали объединяться вокруг лучшего знания L-функций. Это было похоже на пример парадигмы зарождающейся теории L-функций.
Восход общей теории
Это развитие предшествовало программе Ленглендса на несколько лет и может рассматриваться как дополняющее его: работа Ленглендса в основном связана с L-функциями Артина, и с L-функциям, присоединенным к общему автоморфному представлению.
Постепенно стало понятнее, в каком смысле конструкция дзета-функцию Хассе-Вейля может сделать рабочим обеспечение допустимых L -функций - в аналитическом смысле: должен быть некоторый вклад от анализа, что означало «автоморфный» анализ. Общий случай теперь объединяет на концептуальном уровне ряд различных исследовательских программ.
См. также
Ссылки
- ↑ Jorn Steuding, An Introduction to the Theory of L-functions, Preprint, 2005/06
- ↑ O. Shanker. Random matrices, generalized zeta functions and self-similarity of zero distributions (англ.) // J. Phys. A: Math. Gen.[англ.] : journal. — 2006. — Vol. 39, no. 45. — P. 13983—13997. — doi:10.1088/0305-4470/39/45/008. — .