Bounded cohomology is a functional-analytic analogue of ordinary cohomology that has become a fundamental tool in many fields, from rigidity theory to the geometry of manifolds. However it is infamously hard of compute, and the lack of very basic examples makes the overall picture still hard to grasp. I will report on recent progress in this direction, and draw attention to some natural questions that remain open.

In 1977, Milnor formulated the following conjecture: every discrete group of affine transformations acting properly on the affine space is virtually solvable. We now know that this statement is false; the current goal is to gain a better understanding of the counterexamples to this conjecture. Every group that violates this conjecture "lives" in a certain algebraic affine group, which can be specified by giving a linear group and a representation thereof. Representations that give rise to counterexamples are said to be non-Milnor. We will talk about the progress made so far towards classification of these non-Milnor representations.

The talk is based on joint work with Uri Bader. We prove that arithmetic lattices in a semisimple Lie group G satisfy a higher-degree version of property T below the rank of G. The proof relies on functional analysis and the polynomiality of higher Dehn functions of arithmetic lattices below the rank and avoids any automorphic machinery. If time permits, we describe applications to the cohomology and stability of arithmetic groups (the latter being joint work with Alex Lubotzky and Shmuel Weinberger).

There is a deep analogy between Kleinaian groups and subgroups of the mapping class group. Inspired by this, Farb and Mosher defined convex cocompact subgroups of the mapping class group in analogy with convex cocompact Kleinian groups. These subgroups have since seen immense study, producing surprising applications to the geometry of surface group extension and surface bundles.  In particular, Hamenstadt plus Farb and Mosher proved that a subgroup of the mapping class groups is convex cocompact if and only if the corresponding surface group extension is Gromov hyperbolic.

Among Kleinian groups, convex cocompact groups are a special case of the geometrically finite groups. Despite the progress on convex cocompactness, no robust notion of geometric finiteness in the mapping class group has emerged.  Durham, Dowdall, Leininger, and Sisto recently proposed that geometric finiteness in the mapping class group might be characterized by the corresponding surface group extension being hierarchically hyperbolic instead of Gromov hyperbolic. We provide evidence in favor of this hypothesis by proving that the surface group extension of the stabilizer of a multicurve is hierarchically hyperbolic.

An example of a uniformly proper action is the action of a group (or any of its subgroups) on its Cayley graph. A natural question appearing in a paper of Coulon and Osin, is whether the class of groups acting uniformly properly on hyperbolic spaces coincides with the class of subgroups of hyperbolic groups. In joint work with Vladimir Vankov we construct an uncountable family of finitely generated groups which act uniformly properly on hyperbolic spaces. This gives the first examples of finitely generated groups acting uniformly properly on hyperbolic spaces that are not subgroups of hyperbolic groups. We also give examples that are not virtually torsion-free.

In recent years, duality approaches have yielded new results about the high-dimensional cohomology of several groups and moduli spaces, such as $\operatorname{SL}_n(\mathbb{Z})$ and $\mathcal{M}_g$. I will explain the general strategy of these approaches and survey results that have been obtained so far. To give an example, I will first explain how Borel-Serre duality can be used to show that the rational cohomology of $\operatorname{SL}_n(\mathbb{Z})$ vanishes near its virtual cohomological dimension. This is based on joint work with Miller-Patzt-Sroka-Wilson and builds on results by Church-Farb-Putman. I will then put this into a more general context by giving an overview of analogous results for mapping class groups of surfaces, automorphism groups of free groups and further arithmetic groups such as $\operatorname{SL}_n(\mathcal{O}_K)$ and $\operatorname{Sp}_{2n}(\mathbb{Z})$.

A metric is said to be (globally) median,  if any three points have a unique “median” which  lies  between  any  two  points  from  the  triple.  
Such  spaces  arise  naturally  in  many different contexts.  The property of being locally median can be viewed as a kind of
non-positive curvature condition.  We show that a complete uniformly locally median space is
globally median if and only if it is simply connected.  This is an analogue of the well known Cartan-Hadamard Theorem for non-positively curved manifolds, or more generally CAT(0) spaces.  However it leaves open a number of interesting questions.