Název:Computing Veech groups

Stáhnout PDF

Abstrakt: Na základě práce prvního jmenovaného autora představujeme algoritmus pro výpočet Veechovy grupy, $\mathrm{SL}(X,\omega)$, translační plochy$(X, \omega)$. Tato prezentace je založena na implementaci algoritmu druhého jmenovaného autora.
Pro každou vrstvu prostoru translačních ploch zavedeme nekonečnou translační plochu obsahující vhodným způsobem kopii každé translační plochy této vrstvy. Ukážeme, že matice je v$\mathrm{SL}(X,\omega)$ tehdy a jen tehdy, když přidružený afinní automorfismus nekonečné plochy posílá každou z konečné množiny, „označených“ {\em Voronoistaples}, vznikajících z orientačně spárovaných úseček vhodně kolmých k Voronoiovým 1-buněk, na jinou dvojici orientačně spárovaných „označených“ úseček („úsečky“ jsou také známy jako „sedlové spoje“.)
Dokazujeme výsledek, který je předmětem nezávislého zájmu. Pro každé reálné $a\ge\sqrt{2}$ existuje explicitní hyperbolická koule taková, že pro libovolnou Fuchsovu gruputriviálně stabilizující $i$ se Dirichletova oblast se středem v $i$ grupyuž v kouli shoduje s průsečíkem hyperbolických rovin určených prvky grupy, jejichž Frobeniova norma je nejvýše $a$. Pokud je $\mathrm{SL}(X,\omega)$ mřížkou, použijeme to jako podmínku zaručující, že byla vypočtena celá grupa $\mathrm{SL}(X,\omega)$.