Модульная форма

Аналитическая функция в верхней полуплоскости с определенным поведением относительно модулярной группы

В математике модулярная форма — это (комплексная) аналитическая функция в верхней полуплоскости , которая удовлетворяет: ${\displaystyle \,{\mathcal {H}}\,}$

• своего рода функциональное уравнение относительно группового действия модулярной группы ,
• и условия роста.

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

Теория модульных форм является частным случаем более общей теории автоморфных форм , которые представляют собой функции, определенные на группах Ли , которые хорошо преобразуются относительно действия определенных дискретных подгрупп , обобщая пример модулярной группы . ${\displaystyle \mathrm {SL} _{2}(\mathbb {Z} )\subset \mathrm {SL} _{2}(\mathbb {R} )}$

Термин «модульная форма» как систематическое описание обычно приписывают Гекке.

Каждая модульная форма привязана к представлению Галуа . ^[1]

Определение

В общем, ^[2] для данной подгруппы конечного индекса , называемой арифметической группой , модулярная форма уровня и веса является голоморфной функцией из верхней полуплоскости такой, что выполняются два условия: ${\displaystyle \Gamma \subset {\text{SL}}_{2}(\mathbb {Z} )}$ ${\displaystyle \Gamma }$ ${\displaystyle k}$ ${\displaystyle f:{\mathcal {H}}\to \mathbb {C} }$

• Условие автоморфности: для любого существует равенство ^{[примечание 1]} ${\displaystyle \gamma \in \Gamma }$ ${\displaystyle f(\gamma (z))=(cz+d)^{k}f(z)}$
• Условие роста: для любого функция ограничена ${\displaystyle \gamma \in {\text{SL}}_{2}(\mathbb {Z} )}$ ${\displaystyle (cz+d)^{-k}f(\gamma (z))}$ ${\displaystyle {\text{im}}(z)\to \infty }$

где и функция отождествляется с матрицей. Отождествление таких функций с такими матрицами приводит к тому, что композиция таких функций соответствует умножению матриц. Кроме того, ее называют формой возврата , если она удовлетворяет следующему условию роста: ${\textstyle \gamma (z)={\frac {az+b}{cz+d}}}$ ${\textstyle \gamma }$ ${\textstyle \gamma ={\begin{pmatrix}a&b\\c&d\end{pmatrix}}\in {\text{SL}}_{2}(\mathbb {Z} ).\,}$

• Каспидальное условие: для любой функции как ${\displaystyle \gamma \in {\text{SL}}_{2}(\mathbb {Z} )}$ ${\displaystyle (cz+d)^{-k}f(\gamma (z))\to 0}$ ${\displaystyle {\text{im}}(z)\to \infty }$

Как разделы линейного пучка

Модульные формы также можно интерпретировать как участки определенного линейного расслоения на модульных разновидностях . Для модульной формы уровень и вес можно определить как элемент ${\displaystyle \Gamma \subset {\text{SL}}_{2}(\mathbb {Z} )}$ ${\displaystyle \Gamma }$ ${\displaystyle k}$

${\displaystyle f\in H^{0}(X_{\Gamma },\omega ^{\otimes k})=M_{k}(\Gamma )}$

где – каноническое линейное расслоение на модулярной кривой ${\displaystyle \omega }$

${\displaystyle X_{\Gamma }=\Gamma \backslash ({\mathcal {H}}\cup \mathbb {P} ^{1}(\mathbb {Q} ))}$

Размерности этих пространств модулярных форм можно вычислить с помощью теоремы Римана–Роха . ^[3] Классическими модулярными формами для являются сечения линейного расслоения на стеке модулей эллиптических кривых . ${\displaystyle \Gamma ={\text{SL}}_{2}(\mathbb {Z} )}$

Модульная функция

Модульная функция — это функция, инвариантная относительно модулярной группы, но без условия голоморфности f  ( z ) в верхней полуплоскости (среди прочих требований) . Вместо этого модулярные функции мероморфны : они голоморфны в дополнении множества изолированных точек, которые являются полюсами функции.

Модульные формы для SL(2, Z)

Стандартное определение

Модульная форма веса k для модульной группы

${\displaystyle {\text{SL}}(2,\mathbf {Z} )=\left\{\left.{\begin{pmatrix}a&b\\c&d\end{pmatrix}}\right|a,b,c,d\in \mathbf {Z} ,\ ad-bc=1\right\}}$

— комплексная функция f в верхней полуплоскости H = { z ∈ C , Im ( z ) > 0}, удовлетворяющая следующим трем условиям:   

1.  f  — голоморфная функция на H .
2. Для любого z ∈ H и любой матрицы из SL(2, Z ) , как указано выше, мы имеем:

   ${\displaystyle f\left({\frac {az+b}{cz+d}}\right)=(cz+d)^{k}f(z)}$

3.  f  требуется, чтобы оно было ограничено при z → i ∞ .

Примечания:

• Вес k обычно является положительным целым числом.
• При нечетном k только нулевая функция может удовлетворять второму условию.
• Третье условие также формулируется, говоря, что f «голоморфен на вершине», терминология, которая объясняется ниже. Явно это условие означает, что существуют такие , что значение ограничено над некоторой горизонтальной линией.   ${\displaystyle M,D>0}$ ${\displaystyle \operatorname {Im} (z)>M\implies |f(z)|<D}$ ${\displaystyle f}$
• Второе условие для

${\displaystyle S={\begin{pmatrix}0&-1\\1&0\end{pmatrix}},\qquad T={\begin{pmatrix}1&1\\0&1\end{pmatrix}}}$

читает

${\displaystyle f\left(-{\frac {1}{z}}\right)=z^{k}f(z),\qquad f(z+1)=f(z)}$

соответственно. Поскольку S и T порождают модулярную группу SL(2, Z ) , второе условие выше эквивалентно этим двум уравнениям.

• Поскольку f  ( z +1) =   f  ( z ) , модулярные формы являются периодическими функциями с периодом 1 и, таким образом, имеют ряд Фурье . 

Определение в терминах решеток или эллиптических кривых.

Модульную форму можно эквивалентно определить как функцию F от набора решеток в C до набора комплексных чисел , которая удовлетворяет определенным условиям:

1. Если мы рассмотрим решетку Λ = Z α + Z z , порожденную константой α и переменной z , то F (Λ) является аналитической функцией от z .
2. Если α — ненулевое комплексное число и α Λ — решетка, полученная умножением каждого элемента Λ на α , то F ( α Λ) = α ^{− k} F (Λ) , где k — константа (обычно положительное целое число) называется весом формы.
3. Абсолютное значение F (Λ) остается ограниченным сверху до тех пор, пока абсолютное значение наименьшего ненулевого элемента в Λ отделено от 0.

Ключевая идея доказательства эквивалентности двух определений состоит в том, что такая функция F определяется в силу второго условия своими значениями на решетках вида Z + Z τ , где τ ∈ H .

Примеры

Серия И. Эйзенштейн

Простейшими примерами с этой точки зрения являются ряды Эйзенштейна . Для каждого четного целого числа k > 2 мы определяем G _k (Λ) как сумму λ ^{− k} по всем ненулевым векторам λ из Λ :

${\displaystyle G_{k}(\Lambda )=\sum _{0\neq \lambda \in \Lambda }\lambda ^{-k}.}$

Тогда Gk _— модулярная форма веса k . Для Λ = Z + Z τ имеем

${\displaystyle G_{k}(\Lambda )=G_{k}(\tau )=\sum _{(0,0)\neq (m,n)\in \mathbf {Z} ^{2}}{\frac {1}{(m+n\tau )^{k}}},}$

и

${\displaystyle {\begin{aligned}G_{k}\left(-{\frac {1}{\tau }}\right)&=\tau ^{k}G_{k}(\tau ),\\G_{k}(\tau +1)&=G_{k}(\tau ).\end{aligned}}}$

Условие k > 2 необходимо для сходимости ; для нечетного k существует сокращение между λ ^{− k} и (− λ ) ^{− k} , так что такие ряды тождественно равны нулю.

II. Тэта-функции четных унимодулярных решеток

Четная унимодулярная решетка L в R ⁿ — это решетка, порожденная n векторами, образующими столбцы матрицы определителя 1 и удовлетворяющая условию, что квадрат длины каждого вектора в L является четным целым числом. Так называемая тета-функция

${\displaystyle \vartheta _{L}(z)=\sum _{\lambda \in L}e^{\pi i\Vert \lambda \Vert ^{2}z}}$

сходится, когда Im(z) > 0, и, как следствие формулы суммирования Пуассона, можно показать, что это модулярная форма веса n /2 . Построить четные унимодулярные решетки не так-то просто, но есть один из способов: пусть n — целое число, делящееся на 8, и рассмотрим все векторы v в R ⁿ такие, что 2 v имеет целые координаты, либо все четные, либо все нечетные, и такие что сумма координат v является четным целым числом. Мы называем эту решетку L _n . Когда n = 8 , это решетка, порожденная корнями корневой системы, называемой E 8 . Поскольку существует только одна модульная форма веса 8 с точностью до скалярного умножения,

${\displaystyle \vartheta _{L_{8}\times L_{8}}(z)=\vartheta _{L_{16}}(z),}$

хотя решетки L ₈ × L ₈ и L ₁₆ не подобны. Джон Милнор заметил, что 16-мерные торы , полученные делением R ¹⁶ на эти две решетки, являются, следовательно, примерами компактных римановых многообразий , которые являются изоспектральными , но не изометрическими (см. «Услышать форму барабана» ).

III. Модульный дискриминант

Эта-функция Дедекинда определяется как

${\displaystyle \eta (z)=q^{1/24}\prod _{n=1}^{\infty }(1-q^{n}),\qquad q=e^{2\pi iz}.}$

где q – квадрат нома . Тогда модульный дискриминант Δ( z ) = (2π) ¹² η ( z ) ²⁴ является модулярной формой веса 12. Наличие 24 связано с тем, что решетка Лича имеет 24 измерения. Знаменитая гипотеза Рамануджана утверждала , что когда Δ( z ) разлагается в степенной ряд по q, коэффициент при q ^p для любого простого числа p имеет абсолютное значение ≤ 2 p ^11/2 . Это было подтверждено работами Эйхлера , Шимуры , Куги , Ихары и Пьера Делиня в результате доказательства Делинем гипотез Вейля , которые, как было показано, подразумевают гипотезу Рамануджана.

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

Модульные функции

Когда вес k равен нулю, с помощью теоремы Лиувилля можно показать , что единственные модульные формы являются постоянными функциями. Однако ослабление требования голоморфности f приводит к понятию модулярных функций . Функция f  : H → C называется модулярной, если она удовлетворяет следующим свойствам:

• f мероморфен в открытой верхней полуплоскости H
• Для каждой целочисленной матрицы модулярной группы Γ , . ${\displaystyle {\begin{pmatrix}a&b\\c&d\end{pmatrix}}}$ ${\displaystyle f\left({\frac {az+b}{cz+d}}\right)=f(z)}$
• Второе условие подразумевает, что f периодична и, следовательно, имеет ряд Фурье . Третье условие состоит в том, что этот ряд имеет вид

${\displaystyle f(z)=\sum _{n=-m}^{\infty }a_{n}e^{2i\pi nz}.}$

Его часто пишут в терминах (квадрат нома ) , как: ${\displaystyle q=\exp(2\pi iz)}$

${\displaystyle f(z)=\sum _{n=-m}^{\infty }a_{n}q^{n}.}$

Это также называется q -разложением f ( принцип q-разложения ). Коэффициенты известны как коэффициенты Фурье функции f , а число m называется порядком полюса функции f в точке i∞. Это условие называется «мероморфным на вершине», что означает, что только конечное число коэффициентов с отрицательным числом n отличны от нуля, поэтому q -разложение ограничено снизу, гарантируя, что оно мероморфно при q  = 0.  ^{[примечание 2]} ${\displaystyle a_{n}}$

Иногда используется более слабое определение модулярных функций - согласно альтернативному определению достаточно, чтобы f была мероморфной в открытой верхней полуплоскости и чтобы f была инвариантной относительно подгруппы модулярной группы конечного индекса. ^[4] В данной статье это не соблюдается.

Другой способ сформулировать определение модулярных функций — использовать эллиптические кривые : каждая решетка Λ определяет эллиптическую кривую C /Λ над C ; две решетки определяют изоморфные эллиптические кривые тогда и только тогда, когда одна получается из другой умножением на некоторое ненулевое комплексное число α . Таким образом, модулярную функцию можно рассматривать и как мероморфную функцию на множестве классов изоморфизма эллиптических кривых. Например, j-инвариант j ( z ) эллиптической кривой, рассматриваемый как функция на множестве всех эллиптических кривых, является модулярной функцией. С более концептуальной точки зрения модулярные функции можно рассматривать как функции в пространстве модулей классов изоморфизма комплексных эллиптических кривых.

Модульная форма f , которая обращается в нуль при q = 0 (эквивалентно a ₀ = 0 , также перефразируемая как z = i ∞ ), называется формой возврата ( Spitzenform на немецком языке ). Наименьшее n такое, что a _n ≠ 0 — это порядок нуля f в точке i ∞ .

Модульная единица — это модульная функция, полюсы и нули которой ограничены точками возврата. ^[5]

Модульные формы для более общих групп

Функциональное уравнение, т. е. поведение f относительно можно смягчить, потребовав его только для матриц в меньших группах. ${\displaystyle z\mapsto {\frac {az+b}{cz+d}}}$

Риманова поверхность G \H ∗

Пусть G — подгруппа SL(2, Z ) , имеющая конечный индекс . Такая группа G действует на H так же, как SL(2, Z ) . Можно показать, что фактортопологическое пространство G \ H является хаусдорфовым пространством . Обычно он не компактен, но его можно компактифицировать, добавив конечное число точек, называемых точками возврата . Это точки на границе H , т.е. в Q ∪{∞}, ^{[примечание 3]} такие, что существует параболический элемент G (матрица со следом ±2), фиксирующий точку. Это дает компактное топологическое пространство G \ H ^∗ . Более того, ей можно наделить структуру римановой поверхности , что позволяет говорить о голо- и мероморфных функциях.

Важными примерами являются для любого положительного целого числа N любая из подгрупп конгруэнтности

${\displaystyle {\begin{aligned}\Gamma _{0}(N)&=\left\{{\begin{pmatrix}a&b\\c&d\end{pmatrix}}\in {\text{SL}}(2,\mathbf {Z} ):c\equiv 0{\pmod {N}}\right\}\\\Gamma (N)&=\left\{{\begin{pmatrix}a&b\\c&d\end{pmatrix}}\in {\text{SL}}(2,\mathbf {Z} ):c\equiv b\equiv 0,a\equiv d\equiv 1{\pmod {N}}\right\}.\end{aligned}}}$

Для G = Γ ₀ ( N ) или Γ ( N ) пространства G \ H и G \ H ^∗ обозначаются Y ₀ ( N ) и X ₀ ( N ) и Y ( N ), X ( N ) соответственно.

Геометрию G \ H ^∗ можно понять, изучая фундаментальные области для G , т.е. подмножества D ⊂ H такие, что D пересекает каждую орбиту действия G на H ровно один раз и такие, что замыкание D соответствует всем орбитам. Например, ^можно вычислить род G \ H ∗ . ^[6]

Определение

Модульная форма для G веса k — это функция на H , удовлетворяющая приведенному выше функциональному уравнению для всех матриц в G , то есть голоморфная на H и во всех точках возврата G. Опять же, модулярные формы, которые исчезают во всех точках возврата, называются формами сборки для G . C -векторные пространства модулярной и параболической форм веса k обозначаются M _k ( G ) и S _k ( G ) соответственно. Аналогично мероморфная функция на G \ H ^∗ называется модулярной функцией для G. В случае G = Γ ₀ ( N ) их также называют модулярными/касп-формами и функциями уровня N . Для G = Γ(1) = SL(2, Z ) это возвращает приведенные выше определения.

Последствия

Теорию римановых поверхностей можно применить к G \ H ^∗ для получения дополнительной информации о модулярных формах и функциях. Например, пространства Mk ( _G ) и Sk ( G ) конечномерны , а их размерности можно вычислить благодаря _{теореме} Римана – Роха в терминах геометрии G -действия на H. ^[7] Например,

${\displaystyle \dim _{\mathbf {C} }M_{k}\left({\text{SL}}(2,\mathbf {Z} )\right)={\begin{cases}\left\lfloor k/12\right\rfloor &k\equiv 2{\pmod {12}}\\\left\lfloor k/12\right\rfloor +1&{\text{otherwise}}\end{cases}}}$

где обозначает функцию пола и является четным. ${\displaystyle \lfloor \cdot \rfloor }$ ${\displaystyle k}$

Модульные функции составляют поле функций римановой поверхности и, следовательно, образуют поле первой степени трансцендентности (над C ). Если модулярная функция f не равна тождественно 0, то можно показать, что число нулей f равно числу полюсов f в замыкании фундаментальной области R _{Γ . Можно показать} , что поле модулярной функции f не равно 0. функция уровня N ( N ≥ 1) порождается функциями j ( z ) и j ( Nz ). ^[8]

Линейные пучки

Ситуацию можно выгодно сравнить с той, которая возникает при поиске функций в проективном пространстве P( V ): в этой ситуации в идеале хотелось бы, чтобы функции F в векторном пространстве V были полиномиальными в координатах v  ≠ 0 в V и удовлетворяют уравнению F ( cv ) =  F ( v ) для всех ненулевых c . К сожалению, единственные такие функции — константы. Если мы допустим знаменатели (рациональные функции вместо многочленов), мы можем позволить F быть отношением двух однородных многочленов одной и той же степени. В качестве альтернативы мы можем придерживаться полиномов и ослабить зависимость от c , полагая F ( cv ) =  c ^k F ( v ). Тогда решения представляют собой однородные многочлены степени k . С одной стороны, они образуют конечномерное векторное пространство для каждого  k , а с другой, если мы позволим k меняться, мы сможем найти числители и знаменатели для построения всех рациональных функций, которые на самом деле являются функциями в базовом проективном пространстве P. ( В ).

Можно задаться вопросом: поскольку однородные полиномы на самом деле не являются функциями P( V ), каковы они с геометрической точки зрения? Алгебро -геометрический ответ заключается в том, что они представляют собой сечения пучка ( в данном случае можно также сказать, линейного расслоения ). Точно аналогичная ситуация и с модульными формами.

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

Кольца модульных форм

Для подгруппы Γ группы SL(2, Z ) кольцо модулярных форм — это градуированное кольцо , порожденное модулярными формами Γ . Другими словами, если Mk ₍ Γ) — кольцо модулярных форм веса k , то кольцо модулярных форм Γ является градуированным кольцом . ${\displaystyle M(\Gamma )=\bigoplus _{k>0}M_{k}(\Gamma )}$

Кольца модулярных форм конгруэнтных подгрупп группы SL(2, Z ) конечно порождены благодаря результату Пьера Делиня и Майкла Рапопорта . Такие кольца модулярных форм порождаются с весом не более 6, а отношения - с весом не более 12, когда конгруэнтная подгруппа имеет модулярные формы с ненулевым нечетным весом, а соответствующие границы равны 5 и 10, когда нет модулярных форм с ненулевым нечетным весом. .

В более общем смысле существуют формулы для оценок весов образующих кольца модулярных форм и их соотношений для произвольных фуксовых групп .

Типы

Целые формы

Если f голоморфна в точке возврата (не имеет полюса в точке q =  0), она называется целой модулярной формой .

Если f мероморфна, но не голоморфна в точке возврата, она называется неполной модулярной формой . Например, j-инвариант представляет собой неполную модульную форму веса 0 и имеет простой полюс в точке i∞.

Новые формы

Новые формы — это подпространство модулярных форм ^[9] фиксированного веса , которое не может быть построено из модулярных форм младших весов, делящих . Остальные формы называются старыми формами . Эти старые формы можно построить, используя следующие наблюдения: если затем дать обратное включение модульных форм . ${\displaystyle N}$ ${\displaystyle M}$ ${\displaystyle N}$ ${\displaystyle M\mid N}$ ${\displaystyle \Gamma _{1}(N)\subseteq \Gamma _{1}(M)}$ ${\displaystyle M_{k}(\Gamma _{1}(M))\subseteq M_{k}(\Gamma _{1}(N))}$

Формы острия

Форма возврата — это модулярная форма с нулевым постоянным коэффициентом в ряду Фурье. Это называется формой возврата, потому что форма исчезает на всех точках возврата.

Обобщения

Помимо классического, существует ряд других вариантов использования термина «модульная функция»; например, в теории мер Хаара это функция ∆( g ) , определяемая действием сопряжения.

Формы Мааса являются вещественно-аналитическими собственными функциями лапласиана , но не обязательно должны быть голоморфными . Голоморфные части некоторых слабых волновых форм Мааса оказываются, по сути, ложными тета-функциями Рамануджана . Можно рассматривать группы, не являющиеся подгруппами SL(2, Z ) .

Модульные формы Гильберта — это функции от n переменных, каждая из которых представляет собой комплексное число в верхней полуплоскости, удовлетворяющие модульному соотношению для матриц 2 × 2 с элементами в полностью вещественном числовом поле .

Модулярные формы Зигеля связаны с более крупными симплектическими группами точно так же, как классические модулярные формы связаны с SL(2, R ) ; другими словами, они связаны с абелевыми многообразиями в том же смысле, в каком классические модулярные формы (которые иногда называют эллиптическими модулярными формами , чтобы подчеркнуть это) связаны с эллиптическими кривыми.

Формы Якоби представляют собой смесь модульных форм и эллиптических функций. Примеры таких функций очень классические — тэта-функции Якоби и коэффициенты Фурье модулярных форм Зигеля второго рода — но относительно недавнее наблюдение показало, что формы Якоби имеют арифметическую теорию, очень аналогичную обычной теории модулярных форм.

Автоморфные формы расширяют понятие модулярных форм на общие группы Ли .

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

Автоморфные факторы - это функции формы , которые используются для обобщения отношения модулярности, определяющего модульные формы, так что ${\displaystyle \varepsilon (a,b,c,d)(cz+d)^{k}}$

${\displaystyle f\left({\frac {az+b}{cz+d}}\right)=\varepsilon (a,b,c,d)(cz+d)^{k}f(z).}$

Функция называется небентипусом модульной формы. Такие функции, как эта-функция Дедекинда , модульная форма веса 1/2, могут быть включены в теорию, допуская автоморфные факторы. ${\displaystyle \varepsilon (a,b,c,d)}$

История

Теория модульных форм развивалась в четыре периода:

• В связи с теорией эллиптических функций в начале XIX в.
• Феликсом Кляйном и другими в конце девятнадцатого века, когда стало понятно понятие автоморфной формы (для одной переменной).
• Эрих Хекке, примерно 1925 г.
• В 1960-е годы, когда потребности теории чисел и, в частности, формулировка теоремы модулярности, прояснили, что модульные формы глубоко запутаны.

Танияма и Шимура выявили соответствие 1 к 1 между определенными модульными формами и эллиптическими кривыми. Роберт Ленглендс опирался на эту идею при создании своей обширной программы Ленглендса , которая стала одной из самых далеко идущих и последовательных исследовательских программ в области математики.

В 1994 году Эндрю Уайлс использовал модульные формы для доказательства Великой теоремы Ферма . В 2001 году была доказана модулярность всех эллиптических кривых над рациональными числами. В 2013 году была доказана модулярность эллиптических кривых над действительными квадратичными полями . В 2023 году было доказано, что эллиптические кривые являются модулярными примерно для половины мнимых квадратичных полей, включая поля, образованные путем объединения рациональных чисел с квадратным корнем из целых чисел до -5. ^[1]

Смотрите также

• Доказательство Уайлса Великой теоремы Ферма

Примечания

1. Некоторые авторы используют другие соглашения, допуская дополнительную константу, зависящую только от , см., например, «DLMF: §23.15 Определения ‣ Модульные функции ‣ Глава 23 Эллиптические и модульные функции Вейерштрасса». dlmf.nist.gov . Проверено 7 июля 2023 г. ${\displaystyle \gamma }$
2. Мероморфная функция может иметь только конечное число членов с отрицательной экспонентой в своем ряду Лорана, своем q-разложении . Он может иметь не более полюса в точке q  = 0, а не существенную особенность , как это имеет exp(1/ q ).
3. Здесь матрица отправляет ∞ в a / c . ${\displaystyle {\begin{pmatrix}a&b\\c&d\end{pmatrix}}}$

Цитаты

1. Ван Вик, Герхард (июль 2023 г.). «Эллиптические кривые раскрывают свои секреты в новой системе счисления». Кванта .
2. Лан, Кай-Вэнь. «Когомологии автоморфных расслоений» (PDF) . Архивировано (PDF) из оригинала 1 августа 2020 года.
3. Милн. «Модульные функции и модульные формы». п. 51.
4. Чандрасекхаран, К. (1985). Эллиптические функции . Спрингер-Верлаг. ISBN 3-540-15295-4.п. 15
5. Куберт, Дэниел С .; Ланг, Серж (1981), Модульные единицы, Grundlehren der Mathematischen Wissenschaften [Фундаментальные принципы математической науки], том. 244, Берлин, Нью-Йорк: Springer-Verlag , с. 24, ISBN 978-0-387-90517-4, МР  0648603, Збл  0492.12002
6. Ганнинг, Роберт К. (1962), Лекции по модульным формам , Анналы математических исследований, том. 48, Издательство Принстонского университета, п. 13
7. Шимура, Горо (1971), Введение в арифметическую теорию автоморфных функций , Публикации Математического общества Японии, том. 11, Токио: Иванами Шотен, Теорема 2.33, Предложение 2.26
8. Милн, Джеймс (2010), Модульные функции и модульные формы (PDF) , стр. 88, Теорема 6.1.
9. Мокану, Андреа. «Теория Аткина-Ленера -модулярных форм» (PDF) . Архивировано (PDF) из оригинала 31 июля 2020 года.

Рекомендации

• Апостол, Том М. (1990), Модульные функции и ряды Дирихле в теории чисел , Нью-Йорк: Springer-Verlag , ISBN 0-387-97127-0
• Даймонд, Фред; Шурман, Джерри Майкл (2005), Первый курс модульных форм , Тексты для выпускников по математике, том. 228, Нью-Йорк: Springer-Verlag , ISBN. 978-0387232294 Подводит к обзору доказательства теоремы модульности .
• Гелбарт, Стивен С. (1975), Автоморфные формы в группах Адель , Анналы математических исследований, том. 83, Принстон, Нью-Джерси: Издательство Принстонского университета , MR  0379375. Содержит введение в модульные формы с точки зрения теории представлений .
• Хекке, Эрих (1970), Mathematische Werke , Геттинген: Ванденхук и Рупрехт
• Рэнкин, Роберт А. (1977), Модульные формы и функции , Кембридж: Издательство Кембриджского университета , ISBN 0-521-21212-Х
• Рибет, К.; Штейн В. Лекции по модульным формам и операторам Гекке
• Серр, Жан-Пьер (1973), Курс арифметики , Тексты для выпускников по математике, том. 7, Нью-Йорк: Springer-Verlag. Глава VII представляет собой элементарное введение в теорию модулярных форм .
• Скоруппа, НП; Загер, Д. (1988), «Формы Якоби и определенное пространство модульных форм», Inventiones Mathematicae , Springer
• Взгляните на модульные формы, «пятую фундаментальную операцию» математики.