Geometry of diffeomorphism groups, complete integrability and geometric statistics

DOI10.1007/S00039-013-0210-2MaRDI QIDQ352112zbMATHOpenAlexFDO

Authors Boris Khesin, J. Lenells, Gerard Misiołek, Stephen C. Preston

Publication date 4 July 2013

Published in Geometric and Functional Analysis. GAFA (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1105.0643

zbMATH Keywords

integrable systemsdiffeomorphism groupsgeodesicsHellinger distancecurvatureFisher-Rao metricRiemannian metricsEuler-Arnold equations

Mathematics Subject Classification ID

Methods of global Riemannian geometry, including PDE methods; curvature restrictions (53C21) Riemannian, Finsler and other geometric structures on infinite-dimensional manifolds (58B20) Groups of diffeomorphisms and homeomorphisms as manifolds (58D05) Manifolds of metrics (especially Riemannian) (58D17)

Abstract: We study the geometry of the space of densities $VolM$, which is the quotient space $Diff(M)/Dif{f}_{m}u(M)$ of the diffeomorphism group of a compact manifold $M$ by the subgroup of volume-preserving diffemorphisms, endowed with a right-invariant homogeneous Sobolev $dot{H}^1$-metric. We construct an explicit isometry from this space to (a subset of) an infinite-dimensional sphere and show that the associated Euler-Arnold equation is a completely integrable system in any space dimension. We also prove that its smooth solutions break down in finite time. Furthermore, we show that the $dot{H}^1$-metric induces the Fisher-Rao (information) metric on the space of probability distributions, and thus its Riemannian distance is the spherical version of Hellinger distance. We compare it to the Wasserstein distance in optimal transport which is induced by an $L^2$-metric on $Diff(M)$. The $dot{H}^1$ geometry we introduce in this paper can be seen as an infinite-dimensional version of the geometric theory of statistical manifolds.

Recommendations

• Geometry of the Fisher-Rao metric on the space of smooth densities on a compact manifold
• Amari-Chentsov connections and their geodesics on homogeneous spaces of diffeomorphism groups
• Uniqueness of the Fisher-Rao metric on the space of smooth densities
• On geodesic completeness for Riemannian metrics on smooth probability densities
• On completeness of groups of diffeomorphisms

Cites work

• scientific article; zbMATH DE number 3761167 (Why is no real title available?)
• scientific article; zbMATH DE number 1560711 (Why is no real title available?)
• scientific article; zbMATH DE number 2142841 (Why is no real title available?)
• scientific article; zbMATH DE number 3327104 (Why is no real title available?)
• 2D-shape analysis using conformal mapping
• A computational fluid mechanics solution to the Monge-Kantorovich mass transfer problem
• A metric on shape space with explicit geodesics
• Construction of a smooth mapping with prescribed Jacobian. I
• Curvatures of Sobolev metrics on diffeomorphism groups
• Defining the curvature of a statistical problem (with applications to second order efficiency)
• Dynamics of Director Fields
• Euler equations on homogeneous spaces and Virasoro orbits
• Fredholm properties of Riemannian exponential maps on diffeomorphism groups
• Further comments on some comments on a paper by Bradley Efron
• Groups of diffeomorphisms and the motion of an incompressible fluid
• On the Volume Elements on a Manifold
• Optimal Transport
• Ricci flow and the metric completion of the space of Kähler metrics
• Shapes and diffeomorphisms
• THE GEOMETRY OF DISSIPATIVE EVOLUTION EQUATIONS: THE POROUS MEDIUM EQUATION
• The Euler-Poincaré equations and semidirect products with applications to continuum theories
• The Hunter-Saxton equation describes the geodesic flow on a sphere
• The basic geometry of the manifold of Riemannian metrics and of its quotient by the diffeomorphism group
• Topological methods in hydrodynamics
• Weak geodesic flow and global solutions of the Hunter-Saxton equation
• Well-posedness of the generalized Proudman-Johnson equation without viscosity

Cited in

(42)

• On geodesic completeness for Riemannian metrics on smooth probability densities
• Deformed Neumann model from spinning strings on \({\mathrm{AdS}}_5\times\mathrm{S}^5_{\eta}\)
• Invariant variational problems on homogeneous spaces
• Gaussian distributions, Jacobi group, and Siegel-Jacobi space
• Generalized compressible flows and solutions of the \(H(\text{div})\) geodesic problem
• The exponential map near conjugate points in 2D hydrodynamics
• Riemannian Hilbert manifolds
• Riemannian geometry of the space of volume preserving immersions
• On the relation between geometrical quantum mechanics and information geometry
• The Bao—Ratiu equations on surfaces
• About simple variational splines from the Hamiltonian viewpoint
• Geometric hydrodynamics and infinite-dimensional Newton's equations
• When optimal transport meets information geometry
• The Schrödinger problem on the non-commutative Fisher-Rao space
• The Wasserstein geometry of nonlinear \(\sigma\) models and the Hamilton-Perelman Ricci flow
• A two-component geodesic equation on a space of constant positive curvature
• Can we run to infinity? The diameter of the diffeomorphism group with respect to right-invariant Sobolev metrics
• Liouville comparison theory for breakdown of Euler-Arnold equations
• Geometry of the Madelung transform
• Geometry of generalized fluid flows
• Convex Sobolev inequalities related to unbalanced optimal transport
• Semi-invariant Riemannian metrics in hydrodynamics
• Uniqueness of the Fisher-Rao metric on the space of smooth densities
• Overview of the geometries of shape spaces and diffeomorphism groups
• scientific article; zbMATH DE number 2155264 (Why is no real title available?)
• Amari-Chentsov connections and their geodesics on homogeneous spaces of diffeomorphism groups
• Stochastic wave-current interaction in thermal shallow water dynamics
• Generalized Hunter-Saxton equations, optimal information transport, and factorization of diffeomorphisms
• Partial differential equations with quadratic nonlinearities viewed as matrix-valued optimal ballistic transport problems
• The Camassa-Holm equation as an incompressible Euler equation: a geometric point of view
• Quantum information geometry of driven CFTs
• The \(L^p\)-Fisher-Rao metric and Amari-Čencov \(\alpha\)-connections
• On Optimal Transport of Matrix-Valued Measures
• Geometry and curvature of diffeomorphism groups with \(H^1\) metric and mean hydrodynamics
• Geometry of the Fisher-Rao metric on the space of smooth densities on a compact manifold
• Totally geodesic subgroups of diffeomorphisms
• Vortex sheets and diffeomorphism groupoids
• The measurement and analysis of shapes. An application of hydrodynamics and probability theory
• Geometry of matrix decompositions seen through optimal transport and information geometry
• Global estimates and blow-up criteria for the generalized Hunter-Saxton system
• On the smoothness of the geodesic spray for the Camassa-Holm equation
• Diffeomorphic density matching by optimal information transport

This page was built for publication: Geometry of diffeomorphism groups, complete integrability and geometric statistics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q352112)