非正曲 $k$ 倍三角群的自动性
群论
2026-01-15 v2 几何拓扑
摘要
我们证明了非正曲 倍三角群具有有限个锥型，从而所有测地线的语言为正则语言。进一步地，我们证明了按字典序排列的测地线语言既为正则语言，又满足 fellow traveller 性质，为这类群族构建了自动结构。
引用
@article{arxiv.2511.05141,
title = {Automaticity of non-positively curved $k$-fold triangle groups},
author = {Ana Isaković},
journal= {arXiv preprint arXiv:2511.05141},
year = {2026}
}
备注
29 pages, 10 figures. Version 2 clarifies Lemma 3.6 (formerly 3.5) and Theorem 5.5