We describe a unified descriptive set-theoretic framework for studying the complexity of classification problems for finite-dimensional manifolds. We establish several precise complexity results, such as for the classification of surfaces up to homeomorphism and for classes of hyperbolic manifolds up to isometry. The latter is intimately connected with the conjugation actions of certain Lie groups on their spaces of discrete subgroups.
This work is joint with Jeffrey Bergfalk.