Leighton's theorem and regular cube complexes (Q6188368)

\textit{T. Leighton}'s theorem [J. Comb. Theory, Ser. B 33, 231--238 (1982; Zbl 0488.05033)] says that if \(\mathcal{G}_{1}\) and \(\mathcal{G}_{2}\) are two finite, connected graphs with a common cover, then they have a common finite cover. This purely graph theoretical statement can be reformulated into the statement that if \(G_{1}\) and \(G_{2}\) are free subgroups of the automorphism group of a tree \(\mathfrak{T}\), both acting freely and with finitely many orbits, then there is an automorphism \(g\) of \(\mathfrak{T}\) such that \(g^{-1}G_{1}g\) and \(G_{2}\) are commensurable in \(\mathrm{Aut}(\mathfrak{T})\) (see [\textit{H. Bass} and \textit{R. S. Kulkarni}, J. Am. Math. Soc. 3, No. 4, 843--902 (1990; Zbl 0734.05052)]). An interesting conjecture was made by \textit{F. Haglund} [Algebr. Geom. Topol. 6, 949--1024 (2006; Zbl 1179.20038)]: Leighton's graph covering theorem should generalize to special cube complexes. In the paper under review, the author proves Haglund's conjecture for a large family of \(\mathsf{CAT}(0)\) cube complexes which exhibit symmetry and homogeneity reminiscent of finite regular trees.