Any action of a group Γ on H 3 by isometries yields a class in degree three bounded cohomology by pulling back the volume cocycle to Γ. We prove that the bounded cohomology of finitely generated Kleinian groups without parabolic elements distinguishes the asymptotic geometry of geometrically infinite ends of hyperbolic 3manifolds. That is, if two homotopy equivalent hyperbolic manifolds with infinite volume and without parabolic cusps have different geometrically infinite end invariants, then they define a 2 dimensional subspace of bounded cohomology. Our techniques apply to classes of hyperbolic 3-manifolds that have sufficiently different end invariants, and we give explicit bases for vector subspaces whose dimension is uncountable. We also show that these bases are uniformly separated in pseudo-norm, extending results of Soma. The technical machinery of the Ending Lamination Theorem allows us to analyze the geometrically infinite ends of hyperbolic 3-manifolds with unbounded geometry.

We extend Mirzakhani's conjugacy between the earthquake and horocycle flows to a bijection, demonstrating conjugacies between these flows on all strata and exhibiting an abundance of new ergodic measures for the earthquake flow. The structure of our map indicates a natural extension of the earthquake flow to an action of the the upper-triangular subgroup P < SL 2 R and we classify the ergodic measures for this action as pullbacks of affine measures on the bundle of quadratic differentials. Our main tool is a generalization of the shear coordinates of Bonahon and Thurston to arbitrary measured laminations.

We show that the bounded Borel class of any dense representation $\rho : G\to{\operatorname{PSL}}_n{\mathbb{C}}$ is non-zero in degree three bounded cohomology and has maximal semi-norm, for any discrete group $G$. When $n=2$, the Borel class is equal to the three-dimensional hyperbolic volume class. Using tools from the theory of Kleinian groups, we show that the volume class of a dense representation $\rho : G\to{\operatorname{PSL}}_2{\mathbb{C}}$ is uniformly separated in semi-norm from any other representation $\rho ^{\prime}: G\to{\operatorname{PSL}}_2 {\mathbb{C}}$ for which there is a subgroup $H\le G$ on which $\rho $ is still dense but $\rho ^{\prime}$ is discrete or indiscrete but stabilizes a point, line, or plane in ${\mathbb{H}}^3\cup \partial{\mathbb{H}}^3$. We exhibit a family of dense representations of a non-abelian free group on two letters and a family of discontinuous dense representations of ${\operatorname{PSL}}_2{\mathbb{R}}$, whose volume classes are linearly independent and satisfy some additional properties; the cardinality of these families is that of the continuum. We explain how the strategy employed may be used to produce non-trivial volume classes in higher dimensions, contingent on the existence of a family of hyperbolic manifolds with certain topological and geometric properties.

We explain some interesting relations in the degree 3 bounded cohomology of surface groups. Specifically, we show that if two faithful Kleinian surface group representations are quasi‐isometric, then their bounded fundamental classes are the same in bounded cohomology. This is novel in the setting that one end is degenerate, while the other end is geometrically finite. We also show that a difference of two singly degenerate classes with bounded geometry is boundedly cohomologous to a doubly degenerate class, which has a nice geometric interpretation. Finally, we explain that the above relations completely describe the linear dependencies between the ‘geometric’ bounded classes defined by the volume cocycle with bounded geometry. We obtain a mapping class group invariant Banach subspace of the reduced degree 3 bounded cohomology with explicit topological generating set and describe all linear relations.

Geometric constraint systems underly popular Computer Aided Design software. Automated approaches for detecting dependencies in a design are critical for developing robust solvers and providing informative user feedback, and we provide algorithms for two types of dependencies. First, we give a pebble game algorithm for detecting generic dependencies. Then, we focus on identifying the "special positions" of a design in which generically independent constraints become dependent. We present combinatorial algorithms for identifying subgraphs associated to factors of a particular polynomial, whose vanishing indicates a special position and resulting dependency. Further factoring in the Grassmann-Cayley algebra may allow a geometric interpretation giving conditions (e.g., "these two lines being parallel cause a dependency") determining the special position.