Can we run to infinity? The diameter of the diffeomorphism group with respect to right-invariant Sobolev metrics

Abstract

The group $\text{Diff}(\mathcal{M})$ of diffeomorphisms of a closed manifold $\mathcal{M}$ is naturally equipped with various right-invariant Sobolev norms $W^{s,p}$. Recent work showed that for sufficiently weak norms, the geodesic distance collapses completely (namely, when $sp\le \text{dim}\mathcal{M}$ and $s<1$). But when there is no collapse, what kind of metric space is obtained? In particular, does it have a finite or infinite diameter? This is the question we study in this paper. We show that the diameter is infinite for strong enough norms, when $(s-1)p\ge \text{dim}\mathcal{M}$, and that for spheres the diameter is finite when $(s-1)p<1$. In particular, this gives a full characterization of the diameter of $\text{Diff}(S^1)$. In addition, we show that for ${\text{Diff}}_c({\mathbb{R}}^n)$, if the diameter is not zero, it is infinite.

arXiv commentv2: some minor changes in presentation, no mathematical changes. v3: a few typos fixed

References in corpus (20)

• An integrable shallow water equation with peaked solitons
• The Camassa-Holm equation as a geodesic flow on the diffeomorphism group
• Overview of the Geometries of Shape Spaces and Diffeomorphism Groups
• The geometry of a vorticity model equation
• Geodesic distance for right invariant Sobolev metrics of fractional order on the diffeomorphism group
• Geometric investigations of a vorticity model equation
• Local and Global Well-posedness of the fractional order EPDiff equation on ${\mathbb{R}}^d$
• Multiplication in Sobolev Spaces, Revisited
• Geodesic distance for right invariant Sobolev metrics of fractional order on the diffeomorphism group. II
• The Lagrangian Radon Transform and the Weil representation
• Conjugation-invariant norms on groups of geometric origin
• Diffeomorphic density matching by optimal information transport
• Vanishing distance phenomena and the geometric approach to SQG
• Generalized Euler-Poincaré equations on Lie groups and homogeneous spaces, orbit invariants and applications
• Local well-posedness of the EPDiff equation: a survey
• Vanishing geodesic distance for right-invariant Sobolev metrics on diffeomorphism groups
• The r-Hunter-Saxton equation, smooth and singular solutions and their approximation
• The $L^p$-diameter of the group of area-preserving diffeomorphisms of $S^2$
• Geodesic distance for right-invariant metrics on diffeomorphism groups: critical Sobolev exponents
• The uniform perfectness of diffeomorphism groups of open manifolds

Cited by in corpus (3)

• The r-Hunter-Saxton equation, smooth and singular solutions and their approximation
• A geometric view on the generalized Proudman-Johnson and $r$-Hunter-Saxton equations
• The $L^p$-Fisher-Rao metric and Amari-Cencov $\alpha$-connections