Title:Computing Veech groups

Download PDF

Abstract: Wir präsentieren einen Algorithmus, der auf Arbeiten des erstgenannten Autors basiert, zur Berechnung der Veech-Gruppe $\mathrm{SL}(X,\omega)$ einer Translationsfläche$(X, \omega)$. Für jede Schicht des Raums der Translationsflächen führen wir eine unendliche Translationsfläche ein, die in geeigneter Weise eine Kopie jeder Translationsfläche der Schicht enthält. Wir zeigen, dass eine Matrix dann und nur dann in$\mathrm{SL}(X,\omega)$ ist, wenn ein zugehöriger affiner Automorphismus derunendlichen Fläche jedes der endlichen Menge, der „markierten“ {\em Voronoistaples}, die aus orientierungsgepaarten Segmenten entstehen, die in geeigneter Weise senkrecht zu Voronoi 1-Zellen stehen, zu einem anderen Paar orientierungsgepaarter „markierter“ Segmente sendet.(„Segmente“ werden auch als „Sattelverbindungen“ bezeichnet.)
Wir beweisen ein Ergebnis, das von unabhängigem Interesse ist. Für jedes reelle $a\ge\sqrt{2}$ gibt es eine explizite hyperbolische Kugel, so dass für eine beliebige Fuchssche Gruppe, die $i$ trivial stabilisiert, der auf $i$ zentrierte Dirichlet-Bereich der Gruppe bereits innerhalb der Kugel mit dem Schnittpunkt der Hyperbolichalf-Ebenen übereinstimmt, die durch die Gruppenelemente bestimmt werden, deren Frobenius-Norm höchstens $a$ ist. Wenn $\mathrm{SL}(X,\omega)$ ein Gitter ist, verwenden wir dies, um eine Bedingung anzugeben, die garantiert, dass die vollständige Gruppe $\mathrm{SL}(X,\omega)$ berechnet worden ist.