Categoricity and non-arithmetic Fuchsian groups
Let $Γ\subset PSL_2(\mathbb{R})$ be a non-arithmetic Fuchsian group of the first kind with finite covolume, and let $j_Γ$ be a corresponding uniformizer. In this paper we introduce a natural $L_{ω_1,ω}$-axiomatization $T^{\infty}_{SF}$ of the theory of $j_Γ$ viewed as a covering map. We show that $T^{\infty}_{SF}$ is categorical in all infinite cardinalities, extending to the non-arithmetic setting earlier results of Daw and Harris obtained in the arithmetic case. We also show that the associated first-order theory $T_{j_Γ}$ is complete, admits elimination of quantifiers, and is $ω$-stable.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2602.11432
curl -X POST /api/v1/records/arxiv/2602.11432/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2602.11432/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'