• 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 Gambaudo-Ghys 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 bi-invariant 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 measure-preserving 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 area-preserving diffeomorphisms of the two-sphere 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 large-scale 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 two-sphere, quasi-morphisms, optimally chosen braid diagrams, and, as a key element, the cross-ratio 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 two-dimensional 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 bq-dichotomy 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 bi-Lipschitz way into the group of area-preserving diffeomorphisms G of the two-sphere endowed with the L^p-metric for p>2. Along the way we show that the L^p-metric 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 area-preserving diffeomorphisms of \Sigma_g. In this work we present an extension of Gambaudo-Ghys construction to the case of a closed hyperbolic surface \Sigma_g, i.e. we show that every non-trivial homogeneous quasi-morphism on the braid group on n strings of \Sigma_g defines a non-trivial homogeneous quasi-morphism on the group Diff_0(\Sigma_g; area). As a consequence we give another proof of the fact that the space of homogeneous quasi-morphisms 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 bi-Lipschitz 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 quasi-morphisms 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 bi-invariance 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 3-variable 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 HOMFLY-PT 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 area-preserving diffeomorphisms of $D^2$. We investigate the properties of G endowed with the autonomous metric. In particular, we construct a bi-Lipschitz homomorphism $Z^k \rightarrow G$ of a finitely generated free abelian group of an arbitrary rank. We also show that the space of homogeneous quasi-morphisms 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 quasi-morphism on the identity component $Diff_0(M,vol)$ of the group of volume preserving diffeomorphisms of M, which is induced by a quasi-morphism on the fundamental group, is Lipschitz with respect to the L^p-metric on the group $Diff_0(M,vol)$. As a consequence, assuming certain conditions on the fundamental group, we construct bi-Lipschitz 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 quasi-isometric embeddings of either free Abelian or direct products of non-Abelian 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 quasi-morphisms on the groups Pn of pure braids on n strings and on the group D of compactly supported area-preserving diffeomorphisms of an open two-dimensional disc. We show that it is possible to build quasi-morphisms on Pn by using knot invariants which satisfy some special properties. In particular, we study quasi-morphisms which come from knot Floer homology and Khovanov-type homology. We then discuss possible variations of the Gambaudo-Ghys construction, using the above quasi-morphisms on Pn to build quasi-morphisms on the group D of diffeomorphisms of a 2-disc.