Fields Academy Shared Graduate Course: Geometry, Arithmetic, and Dynamics of Discrete Groups
Description
Instructor: Professor Nikolay Bogachev, University of Toronto
Course Description
Modern research in the geometry, topology, and group theory often combines geometric, arithmetic and dynamical aspects of discrete groups. This course is mostly devoted to hyperbolic manifolds and orbifolds, but also will deal with the general theory of discrete subgroups of Lie groups and arithmetic groups. Vinberg’s theory of hyperbolic reflection groups will also be discussed, as it provides a lot of interesting examples and methods which turn out to be useful for different purposes. One of the goals of this course is to sketch the proof of the famous Mostow rigidity theorem via ergodic methods. In conclusion, I am going to talk about very recent results giving a geometric characterization of arithmetic hyperbolic manifolds through their totally geodesic subspaces.
Course Program:
- Introduction: what do we study? Examples and pictures. Hyperbolic background: the hyperbolic space $\mathbb{H}^{d}$ and its ideal boundary $\partial\mathbb{H}^{d}$ in different models, classification of isometries, convex polyhedra.
- Background on discrete subgroups of Lie groups: Haar measures, lattices, and their basic properties.
- Fundamental polyhedra for discrete subgroups of hyperbolic isometries, the Dirichlet domain, the Poincare method.
- Vinberg’s theory of hyperbolic reflection groups: hyperbolic Coxeter polyhedra, Coxeter-Vinberg diagrams.
- Commensurability invariants of lattices: the adjoint trace field and the ambient group. Examples from reflection groups.
- Geometrization of surfaces, deformations in $\mathbb{H}^{2}$.
- Sketch of proof of the Mostow Rigidity Theorem: lifting a smooth homotopy to pseudo-isometry, extension to a ball homeomorphism, quasi-conformality and differentiability on the ideal boundary, dynamics and ergodic theory, ergodicity of geodesic flows on hyperbolic manifolds, the Howe-Moore ergodicity theorem and ergodicity of group actions, conformal map on the ideal boundary = hyperbolic isometry.
- Algebraic number fields and rings, algebraic k-groups, general definition of arithmetic and quasi-arithmetic lattices, arithmetic lattices in PSL$_{2}$($\mathbb{R}$) and PSL$_{2}$($\mathbb{C}$).
- Arithmetic hyperbolic lattices of type I via quadratic forms. Vinberg’s arithmeticity criterion for reflection groups.
- Quaternion algebras, arithmetic hyperbolic lattices of type II via skew-Hermitian forms over quaternion algebras.
- Totally geodesic subspaces. Two constructions of nonarithmetic hyperbolic manifolds: hybrids of Gromov and Piatetski-Shapiro and properly quasi-arithmetic manifolds with arbitrarily small systole constructed by Agol, Belolipetsky-Thomson, and Bergeron-Haglund-Wise.
- Totally geodesic subspaces and characterization of arithmeticity. Algebraic classification of geodesic immersions of arithmetic hyperbolic orbifolds into one another.
(More logistical details are coming soon.)