Related papers: The $L^2$-metric on $C^\infty(M,N)$
On the manifold $\Met(M)$ of all Riemannian metrics on a compact manifold $M$ one can consider the natural $L^2$-metric as described first by \cite{Ebin70}. In this paper we consider variants of this metric which in general are of higher…
If M is a smooth compact connected Riemannian manifold, let P(M) denote the Wasserstein space of probability measures on M. We describe a geometric construction of parallel transport of some tangent cones along geodesics in P(M). We show…
Extending earlier work of Tian, we show that if a manifold admits a metric that is almost hyperbolic in a suitable sense, then there exists an Einstein metric that is close to the given metric in the $C^{2,\alpha}$-topology. In dimension…
Wasserstein distance, especially among symmetric positive-definite matrices, has broad and deep influences on development of artificial intelligence (AI) and other branches of computer science. A natural idea is to describe the geometry of…
Harmonic maps from S^2 to S^2 are all weakly conformal, and so are represented by rational maps. This paper presents a study of the L^2 metric gamma on M_n, the space of degree n harmonic maps S^2 -> S^2, or equivalently, the space of…
Given a pseudo-Riemannian metric of regularity $C^{1,1}$ on a smooth manifold, we prove that the corresponding exponential map is a bi-Lipschitz homeomorphism locally around any point. We also establish the existence of totally normal…
A novel neural architecture was recently developed that enforces an exact upper bound on the Lipschitz constant of the model by constraining the norm of its weights in a minimal way, resulting in higher expressiveness compared to other…
An algebraic formulation of Riemannian geometry on quantum spaces is presented, where Riemannian metric, distance, Laplacian, connection, and curvature have their counterparts. This description is also extended to complex manifolds.…
Let $M$ be a complete connected Riemannian manifold. For $n \geq 0$, we endow the Wasserstein space $P^{(n)}_2(M) = P_2(\ldots P_2(M)\ldots)$, equipped with the Wasserstein distance $W_2$, with a variational structure that generalizes the…
The spaces of Riemannian metrics on a closed manifold $M$ are studied. On the space ${\mathcal M}$ of all Riemannian metrics on $M$ the various weak Riemannian structures are defined and the corresponding connections are studied. The space…
Let $(M_1,g_1)$ and $(M_2,g_2)$ be two $C^\infty$--differentiable connected, complete Riemannian manifolds, $k:M_1\to\mathbb R$ a $C^\infty$--differentiable function, having $0<k_0<k(x)\leq K_0$, for any $x\in M_1$ and $g:=g_1-kg_2$ the…
In physics, two systems that radically differ at short scales can exhibit strikingly similar macroscopic behaviour: they are part of the same long-distance universality class. Here we apply this viewpoint to geometry and initiate a program…
We present a pair of open smooth $4$-manifolds that are mutually homeomorphic. One of them admits a Riemannian metric that possesses quasi-cylindricity, and positivity of scalar curvature and of dimension of certain $L^2$ harmonic forms. By…
We study the approximation of functions that map a Euclidean domain $\Omega\subset \mathbb{R}^{d}$ into an $n$-dimensional Riemannian manifold $(M,g)$ minimizing an elliptic, semilinear energy in a function set $H\subset W^{1,2}(\Omega,M)$.…
This work presents an explicit description of the Fisher-Rao Riemannian metric on the Hilbert manifold of equivalent centered Gaussian measures on an infinite-dimensional Hilbert space. We show that the corresponding quantities from the…
We will prove a decomposition for Wasserstein geodesics in the following sense: let $(X,d,m)$ be a non-branching metric measure space verifying $\mathsf{CD}_{loc}(K,N)$ or equivalently $\mathsf{CD}^{*}(K,N)$. We prove that every geodesic…
We present a very simple proof of the global existence of a $C^\infty$ Lagrangian flow map for the 2D Euler and second-grade fluid equations (on a compact Riemannian manifold with boundary) which has $C^\infty$ dependence on initial data…
Let $M$ be a smooth, compact manifold and let $\mathcal{N}_{\mu}$ denote the set of Riemannian metrics on $M$ with smooth volume density $\mu$. For a given $g_0\in \mathcal{N}_{\mu}$, we show that if $\dim(M)\ge 5$, then there exists an…
A Riemannian metric bundle G(M) is a fiber bundle over a smooth manifold M, whose fibers are the spaces of symmetric, positive-definite bilinear forms on the tangent spaces of M, which represent the Rieman?nian metrics. In this work, we aim…
We introduce in this paper a manifold optimization framework that utilizes semi-Riemannian structures on the underlying smooth manifolds. Unlike in Riemannian geometry, where each tangent space is equipped with a positive definite inner…