Фундаментальная пара периодов

Способ определения решетки на комплексной плоскости

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

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

Определение

Фундаментальная пара периодов — это пара комплексных чисел, отношение которых не является действительным. Если рассматривать их как векторы в , они линейно независимы . Решетка, порожденная и ${\displaystyle \omega _{1},\omega _{2}\in \mathbb {C} }$ ${\displaystyle \omega _{2}/\omega _{1}}$ ${\displaystyle \mathbb {R} ^{2}}$ ${\displaystyle \omega _{1}}$ ${\displaystyle \omega _{2}}$

${\displaystyle \Lambda =\left\{m\omega _{1}+n\omega _{2}\mid m,n\in \mathbb {Z} \right\}.}$

Эту решетку также иногда обозначают, чтобы прояснить, что она зависит от и Она также иногда обозначается или просто двумя генераторами и называется базисом решетки . Параллелограмм с вершинами называется фундаментальным параллелограммом . ${\displaystyle \Lambda (\omega _{1},\omega _{2})}$ ${\displaystyle \omega _{1}}$ ${\displaystyle \omega _{2}.}$ ${\displaystyle \Omega {\vphantom {(}}}$ ${\displaystyle \Omega (\omega _{1},\omega _{2}),}$ ${\displaystyle (\omega _{1},\omega _{2}).}$ ${\displaystyle \omega _{1}}$ ${\displaystyle \omega _{2}}$ ${\displaystyle (0,\omega _{1},\omega _{1}+\omega _{2},\omega _{2})}$

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

Алгебраические свойства

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

Эквивалентность

Решетка, натянутая на периоды ω ₁ и ω ₂ , показывающая эквивалентную пару периодов α ₁ и α ₂ .

Две пары комплексных чисел и называются эквивалентными , если они порождают одну и ту же решетку: т. е. если ${\displaystyle (\omega _{1},\omega _{2})}$ ${\displaystyle (\alpha _{1},\alpha _{2})}$ ${\displaystyle \Lambda (\omega _{1},\omega _{2})=\Lambda (\alpha _{1},\alpha _{2}).}$

Нет внутренних точек

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

Модульная симметрия

Две пары и эквивалентны тогда и только тогда, когда существует матрица 2 × 2 с целыми элементами и определителем такая, что ${\displaystyle (\omega _{1},\omega _{2})}$ ${\displaystyle (\alpha _{1},\alpha _{2})}$ ${\textstyle {\begin{pmatrix}a&b\\c&d\end{pmatrix}}}$ ${\displaystyle a,}$ ${\displaystyle b,}$ ${\displaystyle c,}$ ${\displaystyle d}$ ${\displaystyle ad-bc=\pm 1}$

${\displaystyle {\begin{pmatrix}\alpha _{1}\\\alpha _{2}\end{pmatrix}}={\begin{pmatrix}a&b\\c&d\end{pmatrix}}{\begin{pmatrix}\omega _{1}\\\omega _{2}\end{pmatrix}},}$

то есть, чтобы

${\displaystyle {\begin{aligned}\alpha _{1}=a\omega _{1}+b\omega _{2},\\[5mu]\alpha _{2}=c\omega _{1}+d\omega _{2}.\end{aligned}}}$

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

Топологические свойства

Абелева группа отображает комплексную плоскость в фундаментальный параллелограмм. То есть каждую точку можно записать как целые числа с точкой в ​​основном параллелограмме. ${\displaystyle \mathbb {Z} ^{2}}$ ${\displaystyle z\in \mathbb {C} }$ ${\displaystyle z=p+m\omega _{1}+n\omega _{2}}$ ${\displaystyle m,n}$ ${\displaystyle p}$

Поскольку это отображение идентифицирует противоположные стороны параллелограмма как одинаковые, фундаментальный параллелограмм имеет топологию тора . Эквивалентно, говорят, что фактормногообразие является тором. ${\displaystyle \mathbb {C} /\Lambda }$

Фундаментальный регион

Серым цветом обозначена каноническая фундаментальная область.

Определить как соотношение полупериода . Тогда базис решетки всегда можно выбрать так, чтобы он лежал в особой области, называемой фундаментальной областью . С другой стороны, всегда существует элемент проективной специальной линейной группы , который отображает базис решетки в другой базис, так что он лежит в фундаментальной области. ${\displaystyle \tau =\omega _{2}/\omega _{1}}$ ${\displaystyle \tau }$ ${\displaystyle \operatorname {PSL} (2,\mathbb {Z} )}$ ${\displaystyle \tau }$

Фундаментальная область определяется множеством , которое состоит из множества плюс часть границы : ${\displaystyle D,}$ ${\displaystyle U}$ ${\displaystyle U}$

${\displaystyle U=\left\{z\in H:\left|z\right|>1,\,\left|\operatorname {Re} (z)\right|<{\tfrac {1}{2}}\right\}.}$

где находится верхняя полуплоскость . ${\displaystyle H}$

Затем фундаментальная область строится путем добавления границы слева и половины дуги внизу: ${\displaystyle D}$

${\displaystyle D=U\cup \left\{z\in H:\left|z\right|\geq 1,\,\operatorname {Re} (z)=-{\tfrac {1}{2}}\right\}\cup \left\{z\in H:\left|z\right|=1,\,\operatorname {Re} (z)\leq 0\right\}.}$

Речь идет о трех случаях:

• Если и , то существует ровно два основания решетки с одинаковыми в фундаментальной области: и ${\displaystyle \tau \neq i}$ ${\textstyle \tau \neq e^{i\pi /3}}$ ${\displaystyle \tau }$ ${\displaystyle (\omega _{1},\omega _{2})}$ ${\displaystyle (-\omega _{1},-\omega _{2}).}$
• Если , то четыре решетчатых основания имеют одинаковые : упомянутые два , и , ${\displaystyle \tau =i}$ ${\displaystyle \tau }$ ${\displaystyle (\omega _{1},\omega _{2})}$ ${\displaystyle (-\omega _{1},-\omega _{2})}$ ${\displaystyle (i\omega _{1},i\omega _{2})}$ ${\displaystyle (-i\omega _{1},-i\omega _{2}).}$
• Если , то существует шесть оснований решетки с одинаковыми : , , и их отрицаниями. ${\textstyle \tau =e^{i\pi /3}}$ ${\displaystyle \tau }$ ${\displaystyle (\omega _{1},\omega _{2})}$ ${\displaystyle (\tau \omega _{1},\tau \omega _{2})}$ ${\displaystyle (\tau ^{2}\omega _{1},\tau ^{2}\omega _{2})}$

В закрытии фундаментальной области: и ${\displaystyle \tau =i}$ ${\textstyle \tau =e^{i\pi /3}.}$

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

• Существует ряд альтернативных обозначений решетки и фундаментальной пары, которые часто используются вместо нее. См., например, статьи о номе , эллиптическом модуле , отношении четверти периода и полупериода .
• Эллиптическая кривая
• Модульная форма
• серия Эйзенштейна

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

• Том М. Апостол , Модульные функции и ряды Дирихле в теории чисел (1990), Springer-Verlag, Нью-Йорк. ISBN  0-387-97127-0 (см. главы 1 и 2.)
• Юрген Йост, Компактные римановы поверхности (2002), Springer-Verlag, Нью-Йорк. ISBN 3-540-43299-X (см. главу 2.)