Модулярные формы и модулярная группа

Модулярная группа целочисленных матриц действует на верхней полуплоскости, а модулярные формы — это голоморфные функции, которые сохраняют это действие; их определение, примеры и базовая структура являются отправной точкой для всей теории.

Definition

Модулярная группа — это группа целочисленных матриц два на два с определителем, равным единице, действующих на верхней полуплоскости посредством дробно-линейных преобразований; модулярная форма веса k для нее — это голоморфная функция, преобразующаяся по k-й степени автоморфного множителя и голоморфная в каспиде.

Scope

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

Core questions

• Как генерируется модулярная группа и как выглядит ее фундаментальная область?
• Каков точный закон преобразования, определяющий модулярную форму веса k, и чем отличаются формы параболического типа?
• Что такое ряды Эйзенштейна и как они генерируют кольцо модулярных форм для полной группы?
• Как формула валентности подсчитывает нули и фиксирует размерности этих пространств?

Key theories

Фундаментальная область и генераторы

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

Ряды Эйзенштейна и модулярное кольцо

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

Формула валентности и размерности

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

Clinical relevance

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

History

Модулярная группа и ее фундаментальная область возникли из теории эллиптических и модулярных функций XIX века, разработанной Гауссом, Якоби, Эйзенштейном, Клейном и Пуанкаре. Современная бескоординатная формулировка модулярных форм как функций с законом преобразования была консолидирована в XX веке Хекке и его последователями.

Key figures

• Felix Klein
• Henri Poincare
• Gotthold Eisenstein
• Carl Ludwig Siegel

Seminal works

• serre1973
• apostol1990

Frequently asked questions

Что такое фундаментальная область модулярной группы?

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

Что такое форма параболического типа?

Это модулярная форма, которая обращается в нуль в каждой каспиде, что означает, что ее ряд Фурье не имеет постоянного члена; формы параболического типа несут наиболее арифметически интересную информацию и являются собственными формами операторов Гекке.