For a compact contact manifold it is shown that the anisotropic Folland-Stein function spaces form an algebra. The notion of anisotropic regularity is extended to define the space of Folland-Stein contact diffeomorphisms, which is shown to be a topological group under composition and a smooth Hilbert manifold. These results are used in a subsequent paper to analyze the action of the group of contact diffeomorphisms on the space of CR structures on a compact, three dimensional manifold.
We show the existence of a weak bi-invariant symmetric nondegenerate 2-form on the contact diffeomorphisms group $\mathcal{D}_θ$ of a contact Riemannian manifold $(M,g,θ)$ and study its properties. We describe the Euler's equation on a Lie algebra of group $\mathcal{D}_θ$ and calculate the sectional curvature of $\mathcal{D}_θ$. In a case $\dim M =3$ connection between the bi-invariant metric on $\mathcal{D}_θ$ and the bi-invariant metric on volume-preserving diffeomorphisms group $\mathcal{D}_μ$ of $M^3$ is discover.
In this paper, we prove that on any contact manifold, there exists an arbitrary C^{\infty}-small contactomorphism which does not admit a square root. In particular, there exists an arbitrary C^{\infty}-small contactomorphism which is not "autonomous". This result is the first step to study the topology of non-autonomous contactomorphisms. As an application, we also prove a similar result for the diffeomorphism group for any smooth manifold.
We study the action of the group of contact diffeomorphisms on CR deformations of compact three-dimensional CR manifolds. Using anisotropic function spaces and an anisotropic structure on the space of contact diffeomorphisms, we establish the existence of local transverse slices to the action of the contact diffeomorphism group in the neighbourhood of a fixed embeddable strongly pseudoconvex CR structure.
R-circles in general three dimensional CR manifolds (of contact type) are the analogues to traces of Lagrangian totally geodesic planes on the sphere viewed as the boundary of two dimensional complex hyperbolic space. They form a family of certain legendrian curves on the manifold. We prove that a diffeomorphism between three dimensional CR manifolds which preserve circles is either a CR diffeomorphism or conjugate CR diffeomorphism.
We study the Riemannian geometry of 3D axisymmetric ideal fluids. We prove that the $L^2$ exponential map on the group of volume-preserving diffeomorphisms of a $3$-manifold is Fredholm along axisymmetric flows with sufficiently small swirl. Along the way, we define the notions of axisymmetric and swirl-free diffeomorphisms of any manifold with suitable symmetries and show that such diffeomorphisms form a totally geodesic submanifold of infinite $L^2$ diameter inside the space of volume-preserving diffeomorphisms whose diameter is known to be finite. As examples we derive the axisymmetric Eule…
The group of volume preserving diffeomorphisms, the group of symplectomorphisms and the group of contactomorphisms constitute the classical groups of diffeomorphisms. The first homology groups of the compactly supported identity components of the first two groups have been computed by Thurston and Banyaga, respectively. In this paper we solve the long standing problem on the algebraic structure of the third classical diffeomorphism group, i.e. the contactomorphism group. Namely we show that the compactly supported identity component of the group of contactomorphisms is perfect and simple (if t…
We show that a group of diffeomorphisms $\D$ on the open unit interval $I,$ equipped with the topology of uniform convergence on any compact set of the derivatives at any order, is non regular: the exponential map is not defined for some path of the Lie algebra. this result extends to the group of diffeomorphisms of finite dimensional, non compact manifold $M.$
For a compact, smooth C^r orbifold (without boundary), we show that the topological structure of the orbifold diffeomorphism group is a Banach manifold for finite r \ge 1 and a Frechet manifold if r=infty. In each case, the local model is the separable Banach (Frechet) space of C^r (C^infty, resp.) orbisections of the tangent orbibundle.
A diffeomorphism of pseudo-Riemannian manifolds is called sectional curvature preserving if it preserves the sectional curvature of all the nondegenerate 2-planes. We consider a similar condition for degenerate 2-planes and we prove that the diffeomorphism is conformal (when the condition is fulfilled for weakly degenerate planes) or an isometry (when the condition is fulfilled for strongly degenerate 2-planes).
We show the existence of a weak bi-invariant symmetric nondegenerate 2-form on the volume-preserving diffeomorphism group of a three-dimensional manifold and study its properties. Despite the fact that the space $\mathcal{D}_μ(M^3)$ is infinite-dimensional, we succeed in defining the signature of the bi-invariant quadric form. It is equal to the $η$-invariant of the manifold $M^3$.
In this paper we show that the topological closure of the holonomy group of a certain class of projectively flat Finsler 2-manifolds of constant curvature is maximal, that is isomorphic to the connected component of the diffeomorphism group of the circle. This class of 2-manifolds contains the standard Funk plane of constant negative curvature and the Bryant-Shen-spheres of constant positive curvature. The result provides the first examples describing completely infinite dimensional Finslerian holonomy structures.
In this paper, we classify the three-dimensional contact partially hyperbolic diffeomorphisms whose stable, unstable and central distributions are smooth, and whose non-wandering set equals the whole manifold. We prove that up to a finite quotient or a finite power, they are smoothly conjugated either to the time-one map of an algebraic contact-Anosov flow, or to an affine partially hyperbolic automorphism of a nil-manifold. The rigid geometric structure induced by the three invariant distributions plays a fundamental role in the proof.
Let $M$ be a $G$-manifold and $\om$ a $G$-invariant exact $m$-form on $M$. We indicate when these data allow us to constract a cocycle on a group $G$ with values in the trivial $G$-module $\mathbb R$ and when this cocycle is nontrivial.
For a given Riemannian manifold $(M^n, g)$ which is near standard sphere $(S^n, g_{round})$ in the Gromov-Hausdorff topology and satisfies $Rc \geq n-1$, it is known by Cheeger-Colding theory that $M$ is diffeomorphic to $S^n$. A diffeomorphism $φ: M \to S^n$ was constructed by Cheeger and Colding using Reifenberg method. In this note, we show that a desired diffeomorphism can be constructed canonically. Let $\{f_i\}_{i=1}^{n+1}$ be the first $(n+1)$-eigenfunctions of $(M, g)$ and $f=(f_1, f_2, \cdots, f_{n+1})$. Then the map $\tilde{f}=\frac{f}{|f|}: M \to S^n$ provides a diffeomorphism, and …
In this paper we extend some well-known rigidity results for conformal changes of Einstein metrics to the class of generalized quasi-Einstein (GQE) metrics, which includes gradient Ricci solitons. In order to do so, we introduce the notions of conformal diffeomorphisms and vector fields that preserve a GQE structure. We show that a complete GQE metric admits a structure-preserving, non-homothetic complete conformal vector field if and only if it is a round sphere. We also classify the structure-preserving conformal diffeomorphisms. In the compact case, if a GQE metric admits a structure-preser…
A smooth diffeomorphism is said to be distributionally uniquely ergodic (DUE for short) when it is uniquely ergodic and its unique invariant probability measure is the only invariant distribution (up to multiplication by a constant). Ergodic translations on tori are classical examples of DUE diffeomorphisms. In this article we construct DUE diffeomorphisms supported on closed manifolds different from tori, providing some counterexamples to a conjecture proposed by Forni in [For08].
We construct a smooth Lie group structure on the group of real analytic diffeomorphisms of a compact analytic manifold with corners. This generalises the known analogous results in the situation where the real analytic manifold has no corners. Additionally our approach uses a different construction.
We use a 1-parameter version of gauge theory to investigate the topology of the diffeomorphism group of 4-manifolds. A polynomial invariant, analogous to the Donaldson polynomial, is defined, and is used to show that the diffeomorphism group of certain simply-connected 4-manifolds has infinitely generated π_0.
In this paper, we define locally convex vector spaces of weighted vector fields and use them as model spaces for Lie groups of weighted diffeomorphisms on Riemannian manifolds. We prove an easy condition on the weights that ensures that these groups contain the compactly supported diffeomorphisms. We finally show that for the special case where the manifold is the euclidean space, these Lie groups coincide with the ones constructed in the author's earlier work ["Weighted diffeomorphism groups of Banach spaces and weighted mapping groups". In: Dissertationes Math. 484 (2012), p. 128. DOI: 10.40…
By a theorem of Banyaga the group of diffeomorphisms of a manifold $P$ preserving a regular contact form $α$ is a central $S^1$ extension of the commutator of the group of symplectomorphisms of the base $B = P/S^1$. We show that if $T$ is a Hamiltonian maximal torus in the group of symplectomorphism of $B$, then its preimage under the extension map is a maximal torus not only in the group $\Diff(P, α)$ of diffeomorphisms of $P$ preserving $α$ but also in the much bigger group of contactomorphisms $\Diff (P, ξ)$, the group of diffeomorphism of $P$ preserving the contact distribution $ξ= \ker α$…
A recent preprint of Csikós, Pyber and Szabó (arXiv:1411.7524) proves that the diffeomorphism group of $T^2\times S^2$ is not Jordan. The purpose of this paper is to generalize the arguments of Csikós, Pyber and Szabó in order to obtain many other examples of compact manifolds whose diffeomorphism group fails to be Jordan. In particular we prove that for any $ε>0$ there exist manifolds admitting effective actions of arbitrarily large $p$-groups $Γ$ all of whose abelian subgroups have at most $|Γ|^ε$ elements. Finally, we also recover some results on nonexistence of effective actions of compact…
We obtain an expression for the curvature of the Lie group SDiff$\cal M$ and use it to derive Lukatskii's formula for the case where $\cal M$ is locally Euclidean. We discuss qualitatively some previous findings for SDiff$S^{2}$ in conjunction with our result.
Given a closed connected Riemannian manifold M and a connected Riemannian manifold N, we study fiberwise volume decreasing diffeomorphisms on the product M x N. Our main theorem shows that in the presence of certain cohomological condition on M and N such diffeomorphisms must map a fiber diffeomorphically onto another fiber and are therefore fiber volume preserving. As a first corollary, we show that the isometries of M x N split. We also study properly discontinuous actions of a discrete group on M x N. In this case, we generalize the first Bieberbach theorem and prove a special case of an ex…
We prove that $π_1(\text{Ham}(M))$ contains an infinite cyclic subgroup, where $\text{Ham}(M)$ is the Hamiltonian group of the one point blow up of ${\Bbb C}P^3$. We give a sufficient condition for the group $π_1(\text{Ham}(M))$ to contain an infinite cyclic subgroup, when $M$ is a general toric manifold.
We show that if $M$ is a compact smooth manifold diffeomorphic to the total space of an orientable $S^2$ bundle over the torus $T^2$, then its diffeomorphism group does not have the Jordan property, i.e., Diff$(M)$ contains a finite subgroup $G_n$ for any natural number $n$ such that every abelian subgroup of $G_n$ has index at leat $n$. This gives a counterexample to an old conjecture of Ghys.
We extend the adiabatic limit formula for eta-invariants by Bismut-Cheeger and Dai to Seifert fibrations. Our formula contains a new contribution from the singular fibres that takes the form of a generalised Dedekind sum. As an application, we compute the Eells-Kuiper and t-invariants of certain cohomogeneity one manifolds that were studied by Dearricott, Grove, Verdiani, Wilking, and Ziller. In particular, we determine the diffeomorphism type of a new manifold of positive sectional curvature.
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.
The smallest $r$ so that a metric $r$-ball covers a metric space $M$ is called the radius of $M$. The volume of a metric $r$-ball in the space form of constant curvature $k$ is an upper bound for the volume of any Riemannian manifold with sectional curvature $\geq k$ and radius $\leq r$. We show that when such a manifold has volume almost equal to this upper bound, it is diffeomorphic to a sphere or a real projective space.
Suppose M is a noncompact connected smooth 2-manifold without boundary and let D(M)_0 denote the identity component of the diffeomorphism group of M with the compact-open C^infty-topology. In this paper we investigate the topological type of D(M)_0 and show that D(M)_0 is a topological ell_2-manifold and it has the homotopy type of the circle if M is the plane, the open annulus or the open M"obius band, and it is contractible in all other cases. When M admits a volume form w, we also discuss the topological type of the group of w-preserving diffeomorphisms of M. To obtain these results we stud…
It is the purpose of this article to establish a technical tool to study regularity of solutions to parabolic equations on manifolds. As applications of this technique, we prove that solutions to the Ricci-DeTurck flow, the surface diffusion flow and the mean curvature flow enjoy joint analyticity in time and space, and solutions to the Ricci flow admit temporal analyticity.
We examine the existence of one parameter groups of diffeomorphisms whose infinitesimal generators annihilate all scalar polynomial curvature invariants through the application of the Lie derivative, known as $\mathcal{I}$-preserving diffeomorphisms. Such mappings are a generalization of isometries and appear to be related to nil-Killing vector fields, for which the associated Lie derivative of the metric yields a nilpotent rank two tensor. We show that the set of nil-Killing vector fields contains Lie algebras, although the Lie algebras may be infinite and can contain elements which are not $…
By considering suitable Poisson groupoids, we develop an approach to obtain Lie group structures on (subgroups of) the Poisson diffeomorphism groups of various classes of Poisson manifolds. As applications, we show that the Poisson diffeomorphism groups of (normal-crossing) log-symplectic, elliptic symplectic, scattering-symplectic and cosymplectic manifolds are regular infinite-dimensional Lie groups.
We prove the bounded isometry conjecture of F. Lalonde and L. Polterovich for a special class of closed symplectic manifolds. As a byproduct, it is shown that the flux group of a product of these special symplectic manifold is isomorphic to the direct sum of the flux group of each symplectic manifold.
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…
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.
We give constraints on smooth families of 4-manifolds with boundary using Manolescu's Seiberg-Witten Floer stable homotopy type, provided that the fiberwise restrictions of the families to the boundaries are trivial families of 3-manifolds. As an application, we show that, for a simply-connected oriented compact smooth 4-manifold $X$ with boundary with an assumption on the Frøyshov invariant or the Manolescu invariants $α, β, γ$ of $\partial X$, the inclusion map $\mathrm{Diff}(X,\partial) \hookrightarrow \mathrm{Homeo}(X,\partial)$ between the groups of diffeomorphisms and homeomorphisms whic…
Suppose M is a non-compact connected smooth n-manifold. Let D(M) denote the group of diffeomorphisms of M endowed with the compact-open C^\infty-topology and D^c(M) denote the subgroup consisting of diffeomorphisms of M with compact support. Let D(M)_0 and D^c(M)_0 be the connected components of id_M in D(M) and D^c(M) respectively. In this paper we show that the pair (D(M), D^c(M)) admits a topological (\prod^ω\ell_2, \sum^ω\ell_2)-factor. In the case n = 2, this enables us to apply the characterization of (\prod^ω\ell_2, \sum^ω\ell_2)-manifolds and show that the pair (D(M)_0, D^c(M)_0) is a …
We study the space of positive scalar curvature (psc) metrics on a 4-manifold, and give examples of simply connected manifolds for which it is disconnected. These examples imply that concordance of psc metrics does not imply isotopy of such metrics. This is demonstrated using a modification of the 1-parameter Seiberg-Witten invariants which we introduced in earlier work. The invariant shows that the diffeomorphism group of the underlying 4-manifold is disconnected. We also study the moduli space of positive scalar curvature metrics modulo diffeomorphism, and give examples to show that this spa…
We construct an infinite dimensional real analytic manifold structure for the space of real analytic mappings from a compact manifold to a locally convex manifold. Here a map is real analytic if it extends to a holomorphic map on some neighbourhood of the complexification of its domain. As is well known the construction turns the group of real analytic diffeomorphisms into a smooth locally convex Lie group. We prove then that the diffeomorphism group is regular in the sense of Milnor. In the inequivalent "convenient setting of calculus" the real analytic diffeomorphisms even form a real analyt…
Suppose M is a non-compact connected n-manifold without boundary, DD(M) is the group of C^\infty-diffeomorphisms of M endowed with the Whitney C^\infty-topology and DD_0(M) is the identity connected component of DD(M), which is an open subgroup in the group DD_c(M) \subset DD(M) of compactly supported diffeomorphisms of M. It is shown that DD_0(M) is homeomorphic to N \times IR^\infty for an l_2-manifold N whose topological type is uniquely determined by the homotopy type of DD_0(M). For instance, DD_0(M) is homeomorphic to l_2 \times IR^\infty if n = 1, 2 or n = 3 and M is orientable and irre…
We complete the proof of the Generalized Smale Conjecture, apart from the case of $RP^3$, and give a new proof of Gabai's theorem for hyperbolic 3-manifolds. We use an approach based on Ricci flow through singularities, which applies uniformly to spherical space forms other than $S^3$ and $RP^3$ and hyperbolic manifolds, to prove that the moduli space of metrics of constant sectional curvature is contractible. As a corollary, for such a 3-manifold $X$, the inclusion $\text{Isom} (X,g)\to \text{Diff}(X)$ is a homotopy equivalence for any Riemannian metric $g$ of constant sectional curvature.
We introduce coG_2-vector fields, coRochesterian 2-forms and coRochesterian vector fields on manifolds with a coclosed G_2-structure as a continuous of work from [15], and we show that the spaces of coG_2-vector fields and of coRochesterian vector fields are Lie subalgebras of the Lie algebra of vector fields with the standard Lie bracket. We also define a bracket operation on the space of coRochesterian 2-forms associated to the space of coRochesterian vector fields and prove, despite the lack of a Jacobi identity, a relationship between this bracket and so-called coG_2-morphisms.
We introduce G_2-vector fields, Rochesterian 1-forms and Rochesterian vector fields on manifolds with a closed G_2-structure as analogues of symplectic vector fields, Hamiltonian functions and Hamiltonian vector fields respectively, and we show that the spaces of G_2-vector fields and of Rochesterian vector fields are Lie subalgebras of the Lie algebra of vector fields with the standard Lie bracket. We also define, in analogy with the Poisson bracket on smooth real-valued functions from symplectic geometry, a bracket operation on the space of Rochesterian 1-forms associated to the space of Roc…
We prove a general relative higher index theorem for complete manifolds with positive scalar curvature towards infinity. We apply this theorem to study Riemannian metrics of positive scalar curvature on manifolds. For every two metrics of positive scalar curvature on a closed manifold and a Galois cover of the manifold, we define a secondary higher index class. Non-vanishing of this higher index class is an obstruction for the two metrics to be in the same connected component of the space of metrics of positive scalar curvature. In the special case where one metric is induced from the other by…
Let S be a compact surface - or the interior of a compact surface - and let V be the manifold of cooriented contact elements of S equiped with its canonical contact structure. A diffeomorphism of V that preserves the contact structure and its coorientation is called a contact transformation over S. We prove the following results. 1) If S is neither a sphere nor a torus then the inclusion of the diffeomorphism group of S into the contact transformation group is 0-connected. 2) If S is a sphere then the contact transformation group is connected. 3) if S is a torus then the homomorphism from the …
