For a complete, finite volume real hyperbolic n-manifold M, we investigate the map between homology of the cusps of M and the homology of M. Our main result provides a proof of a result required in a recent paper of Frigerio, Lafont and Sisto.

The work of Reid, Chinburg–Hamilton–Long–Reid, Prasad–Rapinchuk, and the author with Reid have demonstrated that geodesics or totally geodesic submanifolds can sometimes be used to determine the commensurability class of an arithmetic manifold. The main results of this article show that generalizations of these results to other arithmetic manifolds will require a wide range of data. Specifically, we prove that certain incommensurable arithmetic manifolds arising from the semisimple Lie groups of the form ${{\left( \text{SL(d,}\,\mathbf{R}) \right)}^{r}}\,\times \,{{\left( \text{SL(d,}\,\mathbf{C}) \right)}^{s}}$ have the same commensurability classes of totally geodesic submanifolds coming from a fixed field. This construction is algebraic and shows the failure of determining, in general, a central simple algebra from subalgebras over a fixed field. This, in turn, can be viewed in terms of forms of $\text{S}{{\text{L}}_{d}}$ and the failure of determining the form via certain classes of algebraic subgroups.

In this paper, the dates when the paper and its revised version were received, were inadvertently omitted. The missing information is:

Motivated by a question of Hirzebruch on the possible topological types of cusp cross-sections of Hilbert modular varieties, we give a necessary and sufficient condition for a manifold M to be diffeomorphic to a cusp cross-section of a Hilbert modular variety. Specialized to Hilbert modular surfaces, this proves that every Sol 3–manifold is diffeo morphic to a cusp cross-section of a (generalized) Hilbert modular surface. We also deduce an obstruction to geometric bounding in this setting. Consequently, there exist Sol 3–manifolds that cannot arise as a cusp cross-section of a 1–cusped nonsingular Hilbert modular surface.