Canonical models of arithmetic $(1;\infty )$ curves

Jeroen Sijsling

In 1983 Takeuchi showed that up to conjugation there are exactly 4 arithmetic subgroups of ${\text{PSL}}_2(\mathbb{R})$ with signature $(1;\infty )$. Shinichi Mochizuki gave a pur…