The autonomous norm on $Ham(\mathbf{R}^{2n})$ is bounded
We prove that the autonomous norm on the group of compactly supported Hamiltonian diffeomorphisms of the standard $\mathbf{R}^{2n}$ is bounded.
math.SG↗
arXiv subjects
Michael Brandenbursky
Publications and source records attributed to Michael Brandenbursky.
On the autonomous norm on the group of Hamiltonian diffeomorphisms of the torus
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.
math.SG↗
Concordance group and stable commutator length in braid groups
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.
math.GT↗
On the $L^p$-geometry of autonomous Hamiltonian diffeomorphisms of surfaces
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.
math.SG↗
On the large-scale geometry of the L^p-metric on the symplectomorphism group of the two-sphere
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.
math.GT↗
On the autonomous metric on groups of Hamiltonian diffeomorphisms of closed hyperbolic surfaces
Let $Σ_g$ be a closed hyperbolic surface of genus $g$ and let $Ham(Σ_g)$ be the group of Hamiltonian diffeomorphisms of $Σ_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(Σ_g)$ is unbounded with respect to this metric.
math.GT↗
Bi-invariant metrics and quasi-morphisms on groups of Hamiltonian diffeomorphisms of surfaces
Let Σ_g be a closed orientable surface let Diff_0(Σ_g; area) be the identity component of the group of area-preserving diffeomorphisms of Σ_g. In this work we present an extension of Gambaudo-Ghys construction to the case of a closed hyperbolic surface Σ_g, i.e. we show that every non-trivial homogeneous quasi-morphism on the braid group on n strings of Σ_g defines a non-trivial homogeneous quasi-morphism on the group Diff_0(Σ_g; area). As a consequence we give another proof of the fact that the space of homogeneous quasi-morphisms on Diff_0(Σ_g; area) is infinite dimensional. Let Ham(Σ_g) be the group of Hamiltonian diffeomorphisms of Σ_g. As an application of the above construction we construct two injective homomorphisms from Z^m to Ham(Σ_g), which are bi-Lipschitz with respect to the word metric on Z^m and the autonomous and fragmentation metrics on Ham(Σ_g). In addition, we construct a new infinite family of Calabi quasi-morphisms on Ham(Σ_g).
math.GT↗
Link invariants via counting surfaces
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.
math.GT↗
Coloring Link Diagrams And Conway-type Polynomial Of Braids
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.
math.GT↗
Invariants of closed braids via counting surfaces
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.
math.GT↗
On the autonomous metric on the group of area-preserving diffeomorphisms of the 2-disc
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.
math.GT↗
Quasi-Isometric Embeddings into Diffeomorphism Groups
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 $π_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.
math.GT↗
Quasi-morphisms and L^p-metrics on groups of volume-preserving diffeomorphisms
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)$.
math.GT↗
On quasi-morphisms from knot and braid invariants
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.
math.GT↗