Тета-ряд
Те́та-ряд (-ряд), функциональный ряд, применяемый для представления автоморфных форм и автоморфных функций.
Пусть – область комплексного пространства , ; – дискретная группа автоморфизмов области . Если группа конечна, то из любой мероморфной в функции , , можно получить автоморфную функцию
Для бесконечных групп необходимы множители сходимости, что и приводит к тета-ряду. Тета-рядом Пуанкаре, или просто рядом Пуанкаре, ассоциированным с группой , называется ряд вида
где – якобиан отображения , – целое действительное число, называемое весом или порядком; звёздочка означает, что суммирование выполняется только по тем , которые доставляют различные члены ряда. При отображении , , функция преобразуется по закону и, следовательно, представляет собой автоморфную функцию веса , ассоциированную с группой . Отношение двух тета-рядов одинакового веса даёт автоморфную функцию.
Тета-ряды частного вида
называются тета-рядами Эйзенштейна или просто рядами Эйзенштейна, ассоциированными с группой .
A. Пуанкаре в серии работ 1880-x гг. развил теорию тета-рядов в связи с изучением автоморфных функций одного комплексного переменного. Пусть – дискретная фуксова группа дробно-линейных преобразований
отображающая единичную окружность на себя, – единичный круг. Ряды Пуанкаре в этом случае имеют вид
где , например, – ограниченная голоморфная функция в . В предположении, что действует свободно на и фактор компактен, доказано, что ряд сходится абсолютно и равномерно внутри при . При высказанных условиях на и это утверждение верно и для рядов в случае, когда – ограниченная область в . Для некоторых фуксовых групп ряды сходятся и при .
Название «тета-ряды» употребляется и применительно к разложениям в ряды тета-функций, служащих для представления эллиптических функций (см. Эллиптические функции Якоби) и абелевых функций.