Fungrim home page

Modular transformations

Table of contents: Basic formulas - Fundamental domain

094772
Symbol: SL2Z SL2(Z)\operatorname{SL}_2(\mathbb{Z}) Modular group
1e211d
Symbol: PSL2Z PSL2(Z)\operatorname{PSL}_2(\mathbb{Z}) Modular group (canonical representatives)
76de9d
Symbol: ModularGroupAction γτ\gamma \circ \tau Action of modular group
dc2c26
Symbol: ModularGroupFundamentalDomain F\mathcal{F} Fundamental domain for action of the modular group

Basic formulas

d7962e
H={τ:τCandIm ⁣(τ)>0}\mathbb{H} = \left\{ \tau : \tau \in \mathbb{C} \,\mathbin{\operatorname{and}}\, \operatorname{Im}\!\left(\tau\right) \gt 0 \right\}
c84f3f
SL2(Z)={(abcd):aZandbZandcZanddZandadbc=1}\operatorname{SL}_2(\mathbb{Z}) = \left\{ \begin{pmatrix} a & b \\ c & d \end{pmatrix} : a \in \mathbb{Z} \,\mathbin{\operatorname{and}}\, b \in \mathbb{Z} \,\mathbin{\operatorname{and}}\, c \in \mathbb{Z} \,\mathbin{\operatorname{and}}\, d \in \mathbb{Z} \,\mathbin{\operatorname{and}}\, a d - b c = 1 \right\}
80279d
PSL2(Z)={(abcd):(abcd)SL2(Z)and(c>0or(c=0andd>0))}\operatorname{PSL}_2(\mathbb{Z}) = \left\{ \begin{pmatrix} a & b \\ c & d \end{pmatrix} : \begin{pmatrix} a & b \\ c & d \end{pmatrix} \in \operatorname{SL}_2(\mathbb{Z}) \,\mathbin{\operatorname{and}}\, \left(c \gt 0 \,\mathbin{\operatorname{or}}\, \left(c = 0 \,\mathbin{\operatorname{and}}\, d \gt 0\right)\right) \right\}
127a52
(abcd)τ=aτ+bcτ+d\begin{pmatrix} a & b \\ c & d \end{pmatrix} \circ \tau = \frac{a \tau + b}{c \tau + d}
5636db
(γη)τ=γ(ητ)\left(\gamma \eta\right) \circ \tau = \gamma \circ \left(\eta \circ \tau\right)

Fundamental domain

a637cd
F={τ:τHandRe ⁣(τ)[12,12)and(τ>1or(τ=1andRe ⁣(τ)0))}\mathcal{F} = \left\{ \tau : \tau \in \mathbb{H} \,\mathbin{\operatorname{and}}\, \operatorname{Re}\!\left(\tau\right) \in \left[-\frac{1}{2}, \frac{1}{2}\right) \,\mathbin{\operatorname{and}}\, \left(\left|\tau\right| \gt 1 \,\mathbin{\operatorname{or}}\, \left(\left|\tau\right| = 1 \,\mathbin{\operatorname{and}}\, \operatorname{Re}\!\left(\tau\right) \le 0\right)\right) \right\}
1d1028
iFi \in \mathcal{F}
21b67f
e2πi/3=1+3i2F{e}^{2 \pi i / 3} = \frac{-1 + \sqrt{3} i}{2} \in \mathcal{F}
e28209
e2πiτ<0.004334\left|{e}^{2 \pi i \tau}\right| \lt 0.004334
fd53ab
{γτ:τFandγPSL2(Z)}=H\left\{ \gamma \circ \tau : \tau \in \mathcal{F} \,\mathbin{\operatorname{and}}\, \gamma \in \operatorname{PSL}_2(\mathbb{Z}) \right\} = \mathbb{H}

Copyright (C) Fredrik Johansson and contributors. Fungrim is provided under the MIT license. The source code is on GitHub.

2019-05-23 08:00:13.607731 UTC