Модулярная группа

Модулярная группа — группа $\mathrm{\Gamma <!--\; \Gamma \; -->}$$\Gamma$ всех преобразований Мёбиуса вида

$z\mapsto <!--\; \mapsto \; -->\frac{az+b}{cz+d},$$z\mapsto {\frac {az+b}{cz+d}},$

где $a,b,c,d$$a,\;b,\;c,\;d$ — целые числа, причём $ad-<!--\; -\; -->bc=1$$ad-bc=1$.

Модулярная группа отождествляется с факторгруппой $PSL(2,\mathbb{Z})=SL(2,\mathbb{Z})/\{I,-<!--\; -\; -->I\}$$PSL(2,\mathbb {Z} )=SL(2,\;\mathbb {Z} )/\{I,\;-I\}$. Здесь $SL(2,\mathbb{Z})$$SL(2,\;\mathbb {Z} )$ — группа матриц

${\begin{pmatrix}a&b\\c&d\end{pmatrix}},$

где $a,b,c,d$$a,\;b,\;c,\;d$ — целые числа, $ad-<!--\; -\; -->bc=1$$ad-bc=1$.

Модулярная группа является дискретной группой преобразований верхней комплексной полуплоскости $H=\{z:\mathrm{I}\mathrm{m}z>0\}$$H=\{z:\mathrm {Im} \,z>0\}$ (плоскости Лобачевского) и допускает представление образующими

$S:z\mapsto <!--\; \mapsto \; -->-<!--\; -\; -->1/z,$$S:z\mapsto -1/z,$

$T:z\mapsto <!--\; \mapsto \; -->z+1$$T:z\mapsto z+1$

и соотношениями $S^2=(ST{)}^3=1$$S^{2}=(ST)^{3}=1$, то есть является свободным произведением циклической группы порядка 2, порождённой $S$$S$, и циклической группы порядка 3, порождённой $ST$$ST$.

Для произвольного преобразования $g(z)=\frac{az+b}{cz+d}$$g(z)={\frac {az+b}{cz+d}}$ из модулярной группы справедливо равенство:

$\mathrm{I}\mathrm{m}g(z)=\frac{\mathrm{I}\mathrm{m}z}{|cz+d{|}^2}.(1)$$\mathrm {Im} \,g(z)={\frac {\mathrm {Im} \,z}{|cz+d|^{2}}}.\qquad \qquad (1)$

Поскольку мнимая часть $z$$z$ ненулевая, а числа $c$$c$ и $d$$d$ — целые, не равные нулю одновременно, то величина $|cz+d{|}^2$$|cz+d|^{2}$ отделена от нуля (не может быть сколь угодно малой). Это означает, что в орбите любой точки есть такая, на которой мнимая часть достигает своего максимума.

Фундаментальная область (каноническая) модулярной группы — это замкнутая область

$D=\{z\in <!--\; \in \; -->H:|z|⩾<!--\; ⩾\; -->1,|\mathrm{R}\mathrm{e}z|⩽<!--\; ⩽\; -->1/2\}.$$D=\{z\in H:|z|\geqslant 1,\;|\mathrm {Re} \,z|\leqslant 1/2\}.$

Легко проверить, используя (1), что преобразования модулярной группы не увеличивают мнимую часть точек из $D$$D$. Из этого следует, что для того, чтобы две точки $z,g(z)$$z,\;g(z)$ принадлежали $D$$D$, их мнимая часть должна быть одинакова: $|cz+d{|}^2=1$$|cz+d|^{2}=1$. Таким условиям отвечают следующие преобразования и точки:

1. $g(z)=z,z$$g(z)=z,\;z$ — любая точка;
2. $g(z)=z-<!--\; -\; -->1,\mathrm{R}\mathrm{e}z=1/2;$$g(z)=z-1,\;\mathrm {Re} \,z=1/2;$
3. $g(z)=z+1,\mathrm{R}\mathrm{e}z=-<!--\; -\; -->1/2;$$g(z)=z+1,\;\mathrm {Re} \,z=-1/2;$
4. $g(z)=-<!--\; -\; -->1/z,|z|=1.$$g(z)=-1/z,\;|z|=1.$

В частности, все точки области $D$$D$ имеют тривиальный стабилизатор, кроме трёх:

1. $\mathrm{S}\mathrm{t}(i)=\{1,S\};$$\mathrm {St} (i)=\{1,\;S\};$
2. $\mathrm{S}\mathrm{t}(e^{2\mathrm{\pi <!--\; \pi \; -->}i/3})=\{1,ST,(ST{)}^2\};$$\mathrm {St} (e^{2\pi i/3})=\{1,\;ST,\;(ST)^{2}\};$
3. $\mathrm{S}\mathrm{t}(-<!--\; -\; -->e^{-<!--\; -\; -->2\mathrm{\pi <!--\; \pi \; -->}i/3})=\{1,TS,(TS{)}^2\}.$$\mathrm {St} (-e^{-2\pi i/3})=\{1,\;TS,\;(TS)^{2}\}.$

Кроме того, из этого следует что при факторизации верхней полуплоскости по действию модулярной группы внутренние точки $D$$D$ отображаются инъективно, тогда как граничные — склеиваются с точками, «зеркальными» к ним относительно прямой $\mathrm{R}\mathrm{e}z=0$$\mathrm {Re} \,z=0$.

Чтобы показать, что всякая точка из $H$$H$ конгруэнтна некоторой точке из $D$$D$, рассмотрим в её орбите, порождённой преобразованиями $S$$S$ и $T$$T$, точку с максимальной мнимой частью и с помощью целочисленного сдвига сдвинем так, чтобы вещественная часть её образа стала по модулю не больше, чем 1/2. Тогда образ принадлежит $D$$D$ (иначе, если бы его модуль был меньше 1, с помощью преобразования $S$$S$ можно было бы строго увеличить мнимую часть).

Легко показать также, что преобразования $S$$S$ и $T$$T$ порождают всю модулярную группу. Пусть $g$$g$ — произвольное модулярное преобразование и $z$$z$ — внутренняя точка $D$$D$. Как описано выше, найдём преобразование $g^{\prime }$$g'$ переводящее $g(z)$$g(z)$ в область $D$$D$. Точки $z$$z$ и $g^{\prime }g(z)$$g'g(z)$ лежат в $D$$D$, причём $z$$z$ — внутренняя, следовательно, $g^{\prime }g(z)=z$$g'g(z)=z$. Тогда преобразование $g^{\prime }g$$g'g$ лежит в стабилизаторе точки $z$$z$, который тривиален. Следовательно, $g=(g^{\prime }{)}^{-<!--\; -\; -->1}$$g=(g')^{-1}$ лежит в группе, порождённой преобразованиями $S$$S$ и $T$$T$.

Интерес к модулярной группе связан с изучением модулярных функций, римановой поверхностью которых является факторпространство $H/\mathrm{\Gamma <!--\; \Gamma \; -->}$$H/\,\Gamma$, отождествляемое с фундаментальной областью $G$$G$ модулярной группы. Фундаментальная область $G$$G$ имеет конечную площадь (в смысле геометрии Лобачевского), то есть модулярная группа есть фуксова группа первого рода.