On arithmetically defined hyperbolic 5-manifolds arising from maximal orders in definite Q -algebras

From MaRDI portal
Publication:6934089





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.



Cites work









This page was built for publication: On arithmetically defined hyperbolic 5-manifolds arising from maximal orders in definite \(\mathbb{Q} \)-algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6934089)