Title:Computing Veech groups

Download PDF

Abstract: We present an algorithm, based on work of the first named author, forcomputing the Veech group, $mathrm{SL}(X,\omega)$, of a translation surface$(X, \omega)$. Dla każdej warstwy przestrzeni powierzchni translacyjnych wprowadzamy nieskończoną powierzchnię translacyjną, zawierającą w odpowiedni sposób kopię każdej powierzchni translacyjnej tej warstwy. Pokazujemy, że macierz jest w $mathrm{SL}(X,™omega)$ wtedy i tylko wtedy, gdy związany z nią afiniczny automorfizm nieskończonej powierzchni odsyła każdy ze skończonego zbioru, „oznaczonych” {macierzy Voronoistaples}, powstających z orientacyjnie sparowanych odcinków odpowiednio prostopadłych do 1-komórek Voronoi, do innej pary orientacyjnie sparowanych „oznaczonych” odcinków.(„Odcinki” są również znane jako „połączenia siodłowe”.)
Dowodzimy wyniku, który jest przedmiotem niezależnego zainteresowania. Dla każdego rzeczywistego $a$ istnieje wyraźna kula hiperboliczna taka, że dla dowolnej grupy fuksjańskiej trwalej stabilizującej $i$, dziedzina Dirichleta skupiona w $i$ grupy już zgadza się w kuli z przecięciem płaszczyzn hiperbolicznych wyznaczonych przez elementy grupy, których norma Frobeniusa jest co najwyżej $a$. Gdy $mathrm{SL}(X,™omega)$ jest kratą, używamy tego do podania warunku gwarantującego, że pełna grupa $mathrm{SL}(X,™omega)$ została obliczona.