
Let $S$ be a compact oriented surface. We construct homogeneous
quasimorphisms on $Diff(S, area)$, on $Diff_0(S, area)$ and on $Ham(S)$
generalizing the constructions of GambaudoGhys and Polterovich.
We prove that there are infinitely many linearly independent homogeneous
quasimorphisms on $Diff(S, area)$, on $Diff_0(S, area)$ and on $Ham(S)$ whose
absolute values bound from below the topological entropy. In case when $S$ has
a positive genus, the quasimorphisms we construct on $Ham(S)$ are
$C^0$continuous.
We define a biinvariant metric on these groups, called the entropy metric,
and show that it is unbounded. In particular, we reprove the fact that the
autonomous metric on $Ham(S)$ is unbounded.

Let $F_n$ be the free group on $n$ generators and $\Gamma_g$ the surface
group of genus $g$. We consider two particular generating sets: the set of all
primitive elements in $F_n$ and the set of all simple loops in $\Gamma_g$. We
give a complete characterization of distorted and undistorted elements in the
corresponding $Aut$invariant word metrics. In particular, we reprove Stallings
theorem and answer a question of Danny Calegari about the growth of simple
loops. In addition, we construct infinitely many quasimorphisms on $F_2$ that
are $Aut(F_2)$invariant. This answers an open problem posed by Mikl\'os
Ab\'ert.

We show that the Autinvariant word norm on right angled Artin and right
angled Coxeter groups is unbounded (except in few special cases). To prove
unboundedness we exhibit certain characteristic subgroups. This allows us to
find unbounded quasimorphisms which are Lipschitz with respect to the
Autinvariant word norm.

We give the first examples of rationally inessential but macroscopically
large manifolds. Our manifolds are counterexamples to the Dranishnikov
rationality conjecture. For some of them we prove that they do not admit a
metric of positive scalar curvature, thus satisfy the Gromov positive scalar
curvature conjecture. Fundamental groups of our manifolds are finite index
subgroups of right angled Coxeter groups. The construction uses small covers of
convex polyhedrons (or alternatively Davis complexes) and surgery.

We study biinvariant word metrics on groups. We provide an efficient
algorithm for computing the biinvariant word norm on a finitely generated free
group and we construct an isometric embedding of a locally compact tree into
the biinvariant Cayley graph of a nonabelian free group. We investigate the
geometry of cyclic subgroups. We observe that in many classes of groups cyclic
subgroups are either bounded or detected by homogeneous quasimorphisms. We call
this property the bqdichotomy and we prove it for many classes of groups of
geometric origin.

We give a homological construction of aperiodic tiles for certain open
Riemannian surfaces admitting actions of Grigorchuk groups of intermediate
growth.