On arithmetically defined hyperbolic 5-manifolds arising from maximal orders in definite \(\mathbb{Q} \)-algebras (Q6934089)

If \(D\) is a definite quaternion algebra over \(\mathbb Q,\) the author considers the \(\mathbb Q\)-algebra \(M=M_2(D)\) of \(2\times 2\)-matrices with entries in \(D\) and for a maximal order \(\Lambda_D\subset D\) the induced maximal order \(M_2(\Lambda_D)=:\Lambda\) in \(M.\) One can then define the algebraic group \(G := \mathrm{SL}_M\) and the group scheme \(\mathrm{SL}_\Lambda,\) and it turns out that \(\Gamma:=\mathrm{SL}_\Lambda(\mathbb Z)\) is an arithmetic subgroup of \(G(\mathbb R).\) It is known that the symmetric space \(X_G\) associated to \(G\) is hyperbolic 5-space and if \(\Gamma'\subset \Gamma\) is a torsion free subgroup of finite index the locally symmetric space \(X_G/{\Gamma'}\) is a non-compact hyperbolic manifold with finite volume. It contains an open subset \(Y_{\Gamma'}\) such that its closure \(\overline Y_{\Gamma'}\) is a compact manifold with boundary, homotopy equivalent to \(X_G/{\Gamma'}.\)\N\NThe author strives to giving information on the number of connected components of the boundary \(\partial\overline Y_{\Gamma'}\) and on the space of cohomology classes on the boundary coming from classes on \(\overline Y_{\Gamma'}.\)\N\NHe succeeds in giving information when \(\Gamma'\) is a congruence subgroup of \(\Gamma.\)\N\NAn ingredient of independent interest, proven in the paper, says that for an oriented compact manifold \(M\) of odd dimension with boundary \(\partial M\) of dimension \(2k\) and for a field \(F\) of characteristic zero the dimensions of the subspaces of classes in \(H^j(\partial M, F)\) and \(H^{2k-j}(\partial M,F)\) respectively, which extend to \(M,\) add up to \(\dim H^j(\partial M, F)\) for all \(j.\)\N\NFurthermore, reduction theory as developed in \textit{J. Schwermer}'s book [Reduction theory and arithmetic groups. Cambridge: Cambridge University Press (2023; Zbl 1521.11003)] is an important tool.