We initiate the study of the monoid of right-veering diffeomorphisms on a compact oriented surface with nonempty boundary. The monoid strictly contains the monoid of products of positive Dehn twists. We explain the relationship to tight contact structures and open book decompositions.
We continue our study of the monoid of right-veering diffeomorphisms on a compact oriented surface with nonempty boundary, introduced in [HKM2]. We conduct a detailed study of the case when the surface is a punctured torus; in particular, we exhibit the difference between the monoid of right-veering diffeomorphisms and the monoid of products of positive Dehn twists, with the help of the Rademacher function. We then generalize to the braid group B_n on n strands by relating the signature and the Maslov index. Finally, we discuss the symplectic fillability in the pseudo-Anosov case by comparing …
We introduce a notion of "quasi-right-veering" for closed braids, which plays an analogous role to "right-veering" for open books. We show that a transverse link $K$ in a contact 3-manifold $(M,ξ)$ is non-loose if and only if every braid representative of $K$ with respect to every open book decomposition that supports $(M,ξ)$ is quasi-right-veering. We also show that several definitions of "right-veering" closed braids are equivalent.
We construct a hyperbolic fibered slice knot with right-veering monodromy, giving a negative answer to the question posed by Hubbard-Kawamuro-Kose-Martin-Plamenevskaya-Raoux-Truong-Turner.
We classify right-veering homeomorphisms of the once-punctured torus using the Burau representation of the 3-strand braid group. We show that reducible and periodic mapping classes in B_3 can be identified as right-veering by consideration of the reduced version of the Burau representation. Given any element beta in B_3, we give a method to quickly determine its action on the generators of the fundamental group of the 3-times punctured disk. This action which determines whether beta is right-veering, left-veering, or neither.
We give a sufficient condition using the Ozsváth-Stipsicz-Szabó concordance invariant Upsilon for the monodromy of the open book decomposition of a fibered knot to be right-veering. As an application, we generalize a result of Baker on ribbon concordances between fibered knots. Following Baker, we conclude that either fibered knots $K$ in $S^{3}$ satisfying that $Υ'(t) = -g(K)$ for some $t \in [0,1)$ are unique in their smooth concordance classes or there exists a counterexample to the Slice-Ribbon Conjecture.
We study diffeomorphisms of compact, oriented surfaces, developing methods of distinguishing those which have positive factorizations into Dehn twists from those which satisfy the weaker condition of right veering. We use these to construct open book decompositions of Stein-fillable 3-manifolds whose monodromies have no positive factorization.
We exhibit infinitely many overtwisted, right-veering, non-destabilizable open books, thus providing infinitely many counterexamples to a conjecture of Honda-Kazez-Matic. The page of all our open books is a four-holed sphere and the underlying 3-manifolds are lens spaces.
A closed braid naturally gives rise to a transverse link in the standard contact 3-space. We study the effect of the dynamical properties of the braid monodromy, such as right-veering, on the contact-topological properties of the transverse link and its transverse invariants in knot Floer and Khovanov homologies. In particular, we show that a 3-braid is right-veering if and only if the (hat-version of) the Heegaard Floer transverse invariant is non-zero. For higher-index braids, we show that this invariant is non-zero whenever the braid monodromy has the fractional Dehn twist coefficient C>1. …
We give an alternative proof of a theorem of Honda-Kazez-Matić that every non-right-veering open book supports an overtwisted contact structure. We also study two types of examples that show how overtwisted discs are embedded relative to right-veering open books.
Let $K\subset S^3$ be a hyperbolic fibered knot such that $S^3_{p/q}(K)$, the $\frac pq$--surgery on $K$, is non-hyperbolic. We prove that if the monodromy of $K$ is right-veering, then $0\le\frac pq\le 4g(K)$. The upper bound $4g(K)$ cannot be attained if $S^3_{p/q}(K)$ is a small Seifert fibered L-space. If the monodromy of $K$ is neither right-veering nor left-veering, then $|q|\le3$. As a corollary, for any given positive torus knot $T$, if $p/q\ge4g(T)+4$, then $p/q$ is a characterizing slope. This improves earlier bounds of Ni--Zhang and McCoy. We also prove that some finite/cyclic slope…
We prove that any mapping class on a compact oriented surface with nonempty boundary can be made pseudo-Anosov and right-veering after a sequence of positive stabilizations.
We prove that every right-angled Artin group embeds into the $C^{\infty}$ diffeomorphism group of the real line. As a corollary, we show every limit group, and more generally every countable residually RAAG group, embeds into the $C^{\infty}$ diffeomorphism group of the real line.
We survey the role of right-angled Artin groups in the theory of diffeomorphism groups of low dimensional manifolds. We first describe some of the subgroup structure of right-angled Artin groups. We then discuss the interplay between algebraic structure, compactness, and regularity for group actions on one--dimensional manifolds. For compact one--manifolds, every right-angled Artin group acts faithfully by $C^1$ diffeomorphisms, but the right-angled Artin groups which act faithfully by $C^2$ diffeomorphisms are very restricted. For the real line, every right-angled Artin group acts faithfully …
Let $M$ be a compact one--manifold, and let $\mathrm{Diff}^{1+\mathrm{bv}}(M)$ denote the group of $C^1$ orientation preserving diffeomorphisms of $M$ whose first derivatives have bounded variation. We prove that if $G$ is a group which is not virtually metabelian, then $(G\times\mathbb{Z})*\mathbb{Z}$ is not realized as a subgroup of $\mathrm{Diff}^{1+\mathrm{bv}}(M)$. This gives the first examples of finitely generated groups $G,H\le \mathrm{Diff}_+^\infty(M)$ such that $G\ast H$ does not embed into $\mathrm{Diff}^{1+\mathrm{bv}}(M)$. By contrast, for all countable groups $G,H\le\mathrm{Home…
We prove a number of new results on the large-scale geometry of the $L^p$-metrics on the group of area-preserving diffeomorphisms of each orientable surface. Our proofs use in a key way the Fulton-MacPherson type compactification of the configuration space of $n$ points on the surface due to Axelrod-Singer and Kontsevich. This allows us to apply the Schwarz-Milnor lemma to configuration spaces, a natural approach which we carry out successfully for the first time. As sample results, we prove that all right-angled Artin groups admit quasi-isometric embeddings into the group of area-preserving d…
We show that no finite index subgroup of a sufficiently complicated mapping class group or braid group can act faithfully by $C^{1+\mathrm{bv}}$ diffeomorphisms on the circle, which generalizes a result of Farb-Franks, and which parallels a result of Ghys and Burger-Monod concerning differentiable actions of higher rank lattices on the circle. This answers a question of Farb, which has its roots in the work of Nielsen. We prove this result by showing that if a right-angled Artin group acts faithfully by $C^{1+\mathrm{bv}}$ diffeomorphisms on a compact one-manifold, then its defining graph has …
We calculate the Heegaard Floer homologies$HF^+(M,s) for mapping tori M associated to certain surface diffeomorphisms, where s is any Spin^c structure on M whose first Chern class is non-torsion. Let gamma and delta be a pair of geometrically dual nonseparating curves on a genus g Riemann surface Sigma_g, and let sigma be a curve separating Sigma_g into components of genus 1 and g-1. Write t-gamma, t_delta, and t_sigma for the right-handed Dehn twists about each of these curves. The examples we consider are the mapping tori of the diffeomorphisms t_gamma^m circ t_delta^n for m,n in Z and that …
Let M be a smooth connected compact surface, P be either the real line R^1 or the circle S^1, and f:M-->P be a smooth mapping. In a previous series of papers for the case when f is a Morse map the author calculated the homotopy types of stabilizers and orbits of f with respect to the right action of the diffeomorphisms group of M. The present paper extends those calculations to a large class of maps M-->P with degenerate singularities satisfying certain set of axioms.