
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 prove that manifolds with complicated enough fundamental group admit
measurepreserving homeomorphisms which have positive stable fragmentation norm
with respect to balls of bounded measure.

We prove that the entropy norm on the group of diffeomorphisms of a closed
orientable surface of positive genus is unbounded.

We show that for each $p \geq 1,$ the $L^p$metric on the group of
areapreserving diffeomorphisms of the twosphere has infinite diameter. This
solves the last open case of a conjecture of Shnirelman from 1985. Our methods
extend to yield stronger results on the largescale geometry of the
corresponding metric space, completing an answer to a question of Kapovich from
2012. Our proof uses configuration spaces of points on the twosphere,
quasimorphisms, optimally chosen braid diagrams, and, as a key element, the
crossratio map $X_4(\mathbb{C} P^1) \to \mathcal{M}_{0,4} \cong \mathbb{C} P^1
\setminus \{\infty,0,1\}$ from the configuration space of $4$ points on
$\mathbb{C} P^1$ to the moduli space of complex rational curves with $4$ marked
points.

Let $\beta:=\sigma_1\sigma_2^{1}$ be a braid in $B_3$, where $B_3$ is the
braid group on 3 strings and $\sigma_1, \sigma_2$ are the standard Artin
generators. We use Gauss diagram formulas to show that for each natural number
$n$ not divisible by $3$ the knot which is represented by the closure of the
braid $\beta^n$ is algebraically slice if and only if $n$ is odd. As a
consequence, we deduce some properties of Lucas numbers.

We prove that the autonomous norm on the group of compactly supported
Hamiltonian diffeomorphisms of the standard $\mathbf{R}^{2n}$ is bounded.

We prove that the autonomous norm on the group of Hamiltonian diffeomorphisms
of the twodimensional torus is unbounded. We provide explicit examples of
Hamiltonian diffeomorphisms with arbitrarily large autonomous norm. For the
proofs we construct quasimorphisms on $Ham(T^2)$ and some of them are Calabi.

We define a quasihomomorphism from braid groups to the concordance group of
knots and examine its properties and consequences of its existence. In
particular, we provide a relation between the stable four ball genus in the
concordance group and the stable commutator length in braid groups, and produce
examples of infinite families of concordance classes of knots with uniformly
bounded four ball genus. We also provide applications to the geometry of the
infinite braid group. In particular, we show that its commutator subgroup
admits a stably unbounded conjugation invariant norm. This answers an open
problem posed by Burago, Ivanov and Polterovich.

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 prove a number of results on the interrelation between the $L^p$metric on
the group of Hamiltonian diffeomorphisms of surfaces and the subset of all
autonomous Hamiltonian diffeomorphisms. More precisely, we show that there are
Hamiltonian diffeomorphisms of all surfaces of genus $g\neq 1$ lying
arbitrarily $L^p$far from this subset; answering a variant of a question of
Polterovich for the $L^p$metric.

We prove that the vector space R^d of any finite dimension d with the
standard metric embeds in a biLipschitz way into the group of areapreserving
diffeomorphisms G of the twosphere endowed with the L^pmetric for p>2. Along
the way we show that the L^pmetric on the group G is unbounded for p>2 by
elementary methods.

Let \Sigma_g be a closed orientable surface let Diff_0(\Sigma_g; area) be the
identity component of the group of areapreserving diffeomorphisms of \Sigma_g.
In this work we present an extension of GambaudoGhys construction to the case
of a closed hyperbolic surface \Sigma_g, i.e. we show that every nontrivial
homogeneous quasimorphism on the braid group on n strings of \Sigma_g defines
a nontrivial homogeneous quasimorphism on the group Diff_0(\Sigma_g; area).
As a consequence we give another proof of the fact that the space of
homogeneous quasimorphisms on Diff_0(\Sigma_g; area) is infinite dimensional.
Let Ham(\Sigma_g) be the group of Hamiltonian diffeomorphisms of \Sigma_g. As
an application of the above construction we construct two injective
homomorphisms from Z^m to Ham(\Sigma_g), which are biLipschitz with respect to
the word metric on Z^m and the autonomous and fragmentation metrics on
Ham(\Sigma_g). In addition, we construct a new infinite family of Calabi
quasimorphisms on Ham(\Sigma_g).

Let $\Sigma_g$ be a closed hyperbolic surface of genus $g$ and let
$Ham(\Sigma_g)$ be the group of Hamiltonian diffeomorphisms of $\Sigma_g$. The
most natural word metric on this group is the autonomous metric. It has many
interesting properties, most important of which is the biinvariance of this
metric. In this work we show that $Ham(\Sigma_g)$ is unbounded with respect to
this metric.

A Gauss diagram is a simple, combinatorial way to present a knot. It is known
that any Vassiliev invariant may be obtained from a Gauss diagram formula that
involves counting (with signs and multiplicities) subdiagrams of certain
combinatorial types. These formulas generalize the calculation of a linking
number by counting signs of crossings in a link diagram. Until recently,
explicit formulas of this type were known only for few invariants of low
degrees. In this paper we present simple formulas for an infinite family of
invariants in terms of counting surfaces of a certain genus and number of
boundary components in a Gauss diagram. We then identify the resulting
invariants with certain derivatives of the HOMFLYPT polynomial.

In this paper we define and present a simple combinatorial formula for a
3variable Laurent polynomial invariant of conjugacy classes in Artin braid
group $B_m$. We show that this Laurent polynomial satisfies the Conway skein
relation and its coefficients are Vassiliev invariants of braids.

A Gauss diagram is a simple, combinatorial way to present a link. It is known
that any Vassiliev invariant may be obtained from a Gauss diagram formula that
involves counting subdiagrams of certain combinatorial types. In this paper we
present simple formulas for an infinite family of invariants in terms of
counting surfaces of a certain genus and number of boundary components in a
Gauss diagram associated with a closed braid. We then identify the resulting
invariants with partial derivatives of the HOMFLYPT polynomial.

Let $D^2$ be the open unit disc in the Euclidean plane and let $G:= Diff(D2;
area)$ be the group of smooth compactly supported areapreserving
diffeomorphisms of $D^2$. We investigate the properties of G endowed with the
autonomous metric. In particular, we construct a biLipschitz homomorphism $Z^k
\rightarrow G$ of a finitely generated free abelian group of an arbitrary rank.
We also show that the space of homogeneous quasimorphisms vanishing on all
autonomous diffeomorphisms in the above group is infinite dimensional.

Let M be a smooth compact connected oriented manifold of dimension at least
two endowed with a volume form. We show that every homogeneous quasimorphism
on the identity component $Diff_0(M,vol)$ of the group of volume preserving
diffeomorphisms of M, which is induced by a quasimorphism on the fundamental
group, is Lipschitz with respect to the L^pmetric on the group
$Diff_0(M,vol)$. As a consequence, assuming certain conditions on the
fundamental group, we construct biLipschitz embeddings of finite dimensional
vector spaces into $Diff_0(M,vol)$.

Let M be a smooth compact connected oriented manifold of dimension at least
two endowed with a volume form. Assuming certain conditions on the fundamental
group $\pi_1(M)$ we construct quasiisometric embeddings of either free Abelian
or direct products of nonAbelian free groups into the group of volume
preserving diffeomorphisms of M equipped with the L^p metric induced by a
Riemannian metric on M.

We study quasimorphisms on the groups Pn of pure braids on n strings and on
the group D of compactly supported areapreserving diffeomorphisms of an open
twodimensional disc. We show that it is possible to build quasimorphisms on
Pn by using knot invariants which satisfy some special properties. In
particular, we study quasimorphisms which come from knot Floer homology and
Khovanovtype homology. We then discuss possible variations of the
GambaudoGhys construction, using the above quasimorphisms on Pn to build
quasimorphisms on the group D of diffeomorphisms of a 2disc.