Let $M$ be a manifold, $N$ a 1-dimensional manifold. Assuming $r \neq \dim(M)+1$, we show that any nontrivial homomorphism $ρ: \text{Diff}^r_c(M)\to \text{Homeo}(N)$ has a standard form: necessarily $M$ is $1$-dimensional, and there are countably many embeddings $ϕ_i: M\to N$ with disjoint images such that the action of $ρ$ is conjugate (via the product of the $ϕ_i$) to the diagonal action of $\text{Diff}^r_c(M)$ on $M \times M \times ...$ on $\bigcup_i ϕ_i(M)$, and trivial elsewhere. This solves a conjecture of Matsumoto. We also show that the groups $\text{Diff}^r_c(M)$ have no countable index subgroups.
Exotic diffeomorphisms on closed aspherical $4$-manifolds
Graduate School of Mathematical Sciences, the University of Tokyo（东京大学大学院数理科学研究科）；RIKEN iTHEMS（理化学研究所 iTHEMS）；Yau Mathematical Sciences Center, Tsinghua University（清华大学丘成桐数学科学中心）；Department of Mathematics, University of Southern California（南加州大学数学系）；Department of Mathematics, State University of New York, Stony Brook（纽约州立大学石溪分校数学系）
We announce some results towards the classification of partially hyperbolic diffeomorphisms on 3-manifolds, and outline the proofs in the case when the diffeomorphism is dynamically coherent. Detailed proofs are long and technical and will appear later.
We study conservative partially hyperbolic diffeomorphisms in hyperbolic 3-manifolds. We show that they are always accessible and deduce as a result that every conservative $C^{1+}$ partially hyperbolic in a hyperbolic 3-manifold must be ergodic, giving an afirmative answer to a conjecture of Hertz-Hertz-Ures in the context of hyperbolic 3-manifolds. Some of the intermediary steps are also done for general partially hyperbolic diffeomorphisms homotopic to the identity.
We establish the existence of a pair of exotic surfaces in a punctured $K3$ which remains exotic after one external stabilization and have diffeomorphic complements. A key ingredient in the proof is a vanishing theorem of the family Bauer--Furuta invariant for diffeomorphisms on a large family of spin 4-manifolds, which is proved using the tom Dieck splitting theorem in equivariant stable homotopy theory. In particular, we prove that the $S^{1}$-equivariant family Bauer--Furuta invariant of any orientation-preserving diffeomorphism on $S^{4}$ is trivial and that the $\mathrm{Pin}(2)$-equivaria…
Plante-Thurston proved that every nilpotent subgroup of $\Diff^2(S^1)$ is abelian. One of our main results is a sharp converse: $\Diff^1(S^1)$ contains every finitely-generated, torsion-free nilpotent group.
It is a celebrated result of Mather that the group of $C^k$--diffeomorphisms of an $n$--manifold is simple, provided that a mild isotopy condition is satisfied, with the possible exception of $k=n+1$. The purpose of this article is mostly expository, and in it we give a detailed account of Mather's proof in the case when $n=1$.
A long-standing conjecture asserts that any Anosov diffeomorphism of a closed manifold is finitely covered by a diffeomorphism which is topologically conjugate to a hyperbolic automorphism of a nilpotent manifold. In this paper, we show that any closed 4-manifold that carries a Thurston geometry and is not finitely covered by a product of two aspherical surfaces does not support (transitive) Anosov diffeomorphisms.
We study 3-dimensional dynamically coherent partially hyperbolic diffeomorphisms that are homotopic to the identity, focusing on the transverse geometry and topology of the center stable and center unstable foliations, and the dynamics within their leaves. We find a structural dichotomy for these foliations, which we use to show that every such diffeomorphism on a hyperbolic or Seifert fibered 3-manifold is leaf conjugate to the time one map of a (topological) Anosov flow. This proves a classification conjecture of Hertz-Hertz-Ures in hyperbolic 3-manifolds and in the homotopy class of the ide…
In this paper we study the uniform perfectness, boundedness and uniform simplicity of diffeomorphism groups of compact manifolds with boundary and open manifolds and obtain some upper bounds of their diameters with respect to commutator length, those with support in balls and conjugation-generated norm.
We show that, up to topological conjugation, the equivalence class of a Morse-Smale diffeomorphism without heteroclinic curves on 3-manifold is completely defined by an em- bedding of two-dimensional stable and unstable heteroclinic laminations to a characteristic space.
Let $X$ be a smooth simply connected closed 4-manifold with definite intersection form. We show that any automorphism of the intersection form of $X$ is realized by a diffeomorphism of $X \mathbin{\#} S^2 \times S^2$. This extends and completes Wall's foundational result from 1964.
We provide the first information on diffeotopy groups of exotic smoothings of R^4: For each of uncountably many smoothings, there are uncountably many isotopy classes of self-diffeomorphisms. We realize these by various explicit group actions. There are also actions at infinity by nonfinitely generated groups, for which no nontrivial element extends over the whole manifold. In contrast, every diffeomorphism of the end of the universal R^4 extends. Our techniques apply to many other open 4-manifolds, and are related to cork theory. We show that under broad hypotheses, cork twisting is equivalen…
We show that various classes of products of manifolds do not support transitive Anosov diffeomorphisms. Exploiting the Ruelle-Sullivan cohomology class, we prove that the product of a negatively curved manifold with a rational homology sphere does not support transitive Anosov diffeomorphisms. We extend this result to products of finitely many negatively curved manifolds of dimensions at least three with a rational homology sphere that has vanishing simplicial volume. As an application of this study, we obtain new examples of manifolds that do not support transitive Anosov diffeomorphisms, inc…
A diffeomorphism $f$ of a compact manifold $X$ is pseudo-isotopic to the identity if there is a diffeomorphism $F$ of $X\times I$ which restricts to $f$ on $X\times 1$, and which restricts to the identity on $X\times 0$ and $\partial X\times I$. We construct examples of diffeomorphisms of 4-manifolds which are pseudo-isotopic but not isotopic to the identity. To do so, we further understanding of which elements of the "second pseudo-isotopy obstruction", defined by Hatcher and Wagoner, can be realised by pseudo-isotopies of 4-manifolds. We also prove that all elements of the first and second p…
We show that symplectically embedded $(-1)$-tori give rise to certain elements in the symplectic mapping class group of $4$-manifolds. An example is given where such elements are proved to be of infinite order.
We study aspherical manifolds that do not support Anosov diffeomorphisms. Weakening conditions of Gogolev and Lafont, we show that the product of an infranilmanifold with finitely many aspherical manifolds whose fundamental groups have trivial center and finite outer automorphism group does not support Anosov diffeomorphisms. In the course of our study, we obtain a result of independent group theoretic and topological interest on the stability of the Hopf property, namely, that the product of finitely many Hopfian groups with trivial center is Hopfian.
Let $n \geq 2$. We prove a homological stability theorem for the diffeomorphism groups of $(4n+1)$-dimensional manifolds, with respect to forming the connected sum with $(2n-1)$-connected, $(4n+1)$-dimensional manifolds that are stably parallelizable. Our techniques involve the study of the action of the diffeomorphism group of a manifold $M$, on the linking form associated to the homology groups of $M$. In particular, we construct a geometric model for the linking form using the intersections of embedded and immersed $\mathbb{Z}/k$-manifolds. In addition to our main homological stability theo…
In this article, we construct countably many mutually non-isotopic diffeomorphisms of some closed non simply-connected 4-manifolds that are homotopic to but not isotopic to the identity, by surgery along $Θ$-graphs. As corollaries of this, we obtain some new results on codimension 1 embeddings and pseudo-isotopies of 4-manifolds. In the proof of the non-triviality of the diffeomorphisms, we utilize a twisted analogue of Kontsevich's characteristic class for smooth bundles, which is obtained by extending a higher dimensional analogue of Marché--Lescop's "equivariant triple intersection" in conf…
