We construct a natural co-Riemannian structure on the manifold of smooth loops in a Riemannian manifold. We show that the smooth loop space of a string manifold is a per-Hilbert-Schmidt locally equivalent co-spin manifold and thus admits a Dirac operator.
This note proves that any locally extremal non-self-conjugate geodesic loop in a Riemannian manifold is a closed geodesic. As a consequence, any complete and non-contractible Riemannian manifold with diverging injectivity radii along diverging sequences and without points conjugate to themselves, possesses a minimizing closed geodesic.
Let $M^n$ be a complete, non-compact and $C^\infty$-smooth Riemannian manifold with nonnegative sectional curvature. Suppose $\Cal S$ is a soul of $M^n$. Then any distance non-increasing retraction $Ψ: M^n \to \Cal S$ must give rise to a $C^\infty$-smooth Riemannian submersion.
We show how to define a canonical Riemannian metric on a "dessin d'enfants' drawn on a topological surface. This gives a possible explanation of a claim of A. Grothendieck.
Under the assumption of the uniform local Sobolev inequality, it is proved that Riemannian metrics with an absolute Ricci curvature bound and a small Riemannian curvature integral bound can be smoothed to having a sectional curvature bound. This partly extends previous a priori estimates of Ye Li (J. Geom. Anal. 17 (2007) 495-511; Advances in Mathematics 223 (2010) 1924-1957).
We show that any generalised smooth distribution on a smooth manifold, possibly of non-constant rank, admits a Riemannian metric. Using such a metric, we attach a Laplace operator to any smooth distribution as such. When the underlying manifold is compact, we show that it is essentially self-adjoint. Viewing this Laplacian in the longitudinal pseudodifferential calculus of the smallest singular foliation which includes the distribution, we prove hypoellipticity.
A Riemannian metric on a manifold M induces a family of Riemannian metrics on the loop space LM depending on a Sobolev space parameter s. We compute the connection forms of these metrics and the higher symbols of their curvature forms, which take values in pseudodifferential operators. These calculations are used in a followup paper "The Geometry of Loop Spaces II: Characteristic Classes" to construct Chern-Simons classes on the tangent bundle TLM which detect nontrivial elements in the diffeomorphism group of certain Sasakian 5-manifolds associated to Kaehler surfaces.
Given a closed hyperbolic Riemannian surface, the aim of the present paper is to describe an explicit construction of smooth deformations of the hyperbolic metric into Finsler metrics that are not Riemannian and whose properties are such that the classical Riemannian results about entropy rigidity, marked length spectrum rigidity and boundary rigidity all fail to extend to the Finsler category.
We consider modified scalar curvature functions for Riemannian manifolds equipped with smooth measures. Given a Riemannian submersion whose fiber transport is measure-preserving up to constants, we show that the modified scalar curvature of the base is bounded below in terms of the scalar curvatures of the total space and fibers. We give an application concerning the scalar curvature of a smooth limit space arising in a bounded curvature collapse.
Let M be a smooth compact manifold without boundary. We consider two smooth Sub-Semi-Riemannian metrics on M. Under suitable conditions, we show that they are almost conformally isometric in an Lp sense. Assume also that M carries a Riemannian metric with parallel Ricci curvature. Then an equation of Ricci type, is in some sense solvable, without assuming any closeness near a special metric.
It is not known whether or not the lenth of the shortest periodic geodesic on a closed Riemannian manifold $M^n$ can be majorized by $c(n) vol^{ 1 \over n}$, or $\tilde{c}(n)d$, where $n$ is the dimension of $M^n$, $vol$ denotes the volume of $M^n$, and $d$ denotes its diameter. In this paper we will prove that for each $ε>0$ one can find such estimates for the length of a geodesic loop with with angle between $π-ε$ and $π$ with an explicit constant that depends both on $n$ and $ε$. That is, let $ε> 0$, and let $a = \lceil{ {1 \over {\sin ({ε\over 2})}}} \rceil+1 $. We will prove that there ex…
In this paper, we consider generic corank 2 sub-Riemannian structures, and we show that the Spherical Hausdorf measure is always a C^1-smooth volume, which is in fact generically C^2- smooth out of a stratified subset of codimension 7. In particular, for rank 4, it is generically C^2 . This is the continuation of a previous work by the auhors.
We prove here that given a proper isometric action $K\times M\to M$ on a complete Riemannian manifold $M$ then every continuous isometric flow on the orbit space $M/K$ is smooth, i.e., it is the projection of an $K$-equivariant smooth flow on the manifold $M$. As a direct corollary we infer the smoothness of isometric actions on orbit spaces. Another relevant application of our result concerns Molino's conjecture, which states that the partition of a Riemannian manifold into the closures of the leaves of a singular Riemannian foliation is still a singular Riemannian foliation. We prove Molino'…
We study two aspects of the loop group formulation for isometric immersions with flat normal bundle of space forms. The first aspect is to examine the loop group maps along different ranges of the loop parameter. This leads to various equivalences between global isometric immersion problems among different space forms and pseudo-Riemannian space forms. As a corollary, we obtain a non-immersibility theorem for spheres into certain pseudo-Riemannian spheres and hyperbolic spaces. The second aspect pursued is to clarify the relationship between the loop group formulation of isometric immersions o…
A well-known Lemma in Riemannian geometry by Klingenberg says that if $x_0$ is a minimum point of the distance function $d(p,\cdot)$ to $p$ in the cut locus $C_p$ of $p$, then either there is a minimal geodesic from $p$ to $x_0$ along which they are conjugate, or there is a geodesic loop at $p$ that smoothly goes through $x_0$. In this paper, we prove that: for any point $q$ and any local minimum point $x_0$ of $F_q(\cdot)=d(p,\cdot)+d(q,\cdot)$ in $C_p$, either $x_0$ is conjugate to $p$ along each minimal geodesic connecting them, or there is a geodesic from $p$ to $q$ passing through $x_0$. …
We construct a decomposition of the identity operator on a Riemannian manifold $M$ as a sum of smooth orthogonal projections subordinate to an open cover of $M$. This extends a decomposition of the real line by smooth orthogonal projection due to Coifman, Meyer and Auscher, Weiss, Wickerhauser, and a similar decomposition when $M$ is the sphere by the first two authors.
Let M be a differentiable manifold. We say that a tensor field g defined on M is non-regular if g is in some local Lp space or if g is continuous. In this work we define a mollifier smoothing g_t of g that has the following feature: If g is a Riemannian metric of class C2, then the Levi-Civita connection and the Riemannian curvature tensor of g_t converges to the Levi-Civita connection and to the Riemannian curvature tensor of g respectively as t converges to zero. Therefore this mollifier smoothing is a good starting point in order to generalize objects of the classical Riemannian geometry to…
We show that the travel time difference functions, measured on the boundary, determine a compact Riemannian manifold with smooth boundary up to Riemannian isometry, if boundary satisfies a certain visibility condition. This corresponds with the inverse microseismicity problem. The novelty of our paper is a new type of a proof and a weaker assumption for the boundary than it has been presented in the literature before. We also construct an explicit smooth atlas from the travel time difference functions.
We establish a second order smooth variational principle valid for functions defined on (possibly infinite-dimensional) Riemannian manifolds which are uniformly locally convex and have a strictly positive injectivity radius and bounded sectional curvature.
By means of a general gluing and conformal-deformation construction, we prove that any smooth, metrically complete Riemannian manifold with smooth boundary can be realized as a closed domain into a smooth, geodesically complete Riemannan manifold without boundary. Applications to Sobolev spaces, Nash embedding and local extensions with strict curvature bounds are presented.
We use a Riemannnian approximation scheme to define a notion of $\textit{sub-Riemannian Gaussian curvature}$ for a Euclidean $C^{2}$-smooth surface in the Heisenberg group $\mathbb{H}$ away from characteristic points, and a notion of $\textit{sub-Riemannian signed geodesic curvature}$ for Euclidean $C^{2}$-smooth curves on surfaces. These results are then used to prove a Heisenberg version of the Gauss-Bonnet theorem. An application to Steiner's formula for the Carnot-Carathéodory distance in $\mathbb{H}$ is provided.
We show that for every Lipschitz function $f$ defined on a separable Riemannian manifold $M$ (possibly of infinite dimension), for every continuous $ε:M\to (0,+\infty)$, and for every positive number $r>0$, there exists a $C^\infty$ smooth Lipschitz function $g:M\to\mathbb{R}$ such that $|f(p)-g(p)|\leqε(p)$ for every $p\in M$ and $\textrm{Lip}(g)\leq\textrm{Lip}(f)+r$. Consequently, every separable Riemannian manifold is uniformly bumpable. We also present some applications of this result, such as a general version for separable Riemannian manifolds of Deville-Godefroy-Zizler's smooth variati…
We consider the following generalisation of a well-known problem in Riemannian geometry: When is a smooth real-valued function s on a given compact n-dimensional manifold M (with or without boundary) the scalar curvature of some smooth pseudo-Riemannian metric of index q on M? We prove that this is the case for every s if 2<q<n-2, provided M admits a metric of index q at all. In fact, if 2<q<n-2, then each connected component of the space of pseudo-Riemannian metrics of index q on M contains a metric with scalar curvature s. We prove several theorems for pseudo-Riemannian metrics of index 1 or…
Let $(M, \bar g)$ be an $n$-dimensional complete Riemannian manifold. In this paper, we considers the following conformal scalar curvature rigidity problem: Given a compact smooth domain $Ω$ with $\partial Ω$, can one find a conformal metric $g$ whose scalar curvature $R[g]\ge R[\bar g]$ on $Ω$ and the mean curvature $H[g] \ge H[ \bar g]$ on $\partial Ω$ with $\bar g = g$ on $\partial Ω$? We prove that $\bar g = g$ on some smooth domains in a general Riemannian manifold, which is an extension of the previous results given by Qing and Yuan, and Hang and Wang.
We give a description of the completion of the manifold of all smooth Riemannian metrics on a fixed smooth, closed, finite-dimensional, orientable manifold with respect to a natural metric called the $L^2$ metric. The primary motivation for studying this problem comes from Teichmueller theory, where similar considerations lead to a completion of the well-known Weil-Petersson metric. We give an application of the main theorem to the completions of Teichmueller space with respect to a class of metrics that generalize the Weil-Petersson metric.
We show that two smooth nearby Riemannian metrics can be glued interpolating their scalar curvature. The resulting smooth metric is the same as the starting ones outside the gluing region and has scalar curvature interpolating between the original ones. One can then glue metrics while maintaining inequalities satisfied by the scalar curvature. We also glue asymptotically Euclidean metrics to Schwarzschild ones and the same for asymptotically Delaunay metrics, keeping bounds on the scalar curvature, if any. This extend the Corvino gluing near infinity to non-constant scalar curvature metrics.
In this paper we study the existence of solutions for a class of non-linear differential equation on compact Riemannian manifolds. We establish a lower and upper solutions' method to show the existence of a smooth positive solution for the equation (EQ1) \begin{equation} \label{E4} Δu \ + \ a(x)u \ = \ f(x)F(u) \ + \ h(x)H(u), (EQ1) \end{equation} where \ $a, \ f, \ h$ \ are positive smooth functions on $M^n$, a $n-$dimensional compact Riemannian manifold, and \ $ F, \ H$ \ are non-decreasing smooth functions on $\mathbb{R}$. In \cite{djadli} the equation (EQ1) was studied when $F(u)=u^{2^{\as…
We prove that two-step analytic sub-Riemannian structures on a compact analytic manifold equipped with a smooth measure and Lipschitz Carnot groups satisfy measure contraction properties.
For any closed smooth Riemannian manifold H. Weyl has defined a sequence of numbers called today intrinsic volumes. They include volume, Euler characteristic, and integral of the scalar curvature. We conjecture that absolute values of all intrinsic volumes are bounded by a constant depending only on the dimension of the manifold, upper bound on its diameter, and lower bound on the sectional curvature. Furthermore we conjecture that intrinsic volumes can be defined for some (so called smoothable) Alexandrov spaces with curvature bounded below and state few of the expected properties of them, pa…
Let $M$ be a Riemannian manifold with a polar action by the Lie group $G$, with section $Σ\subset M$ and generalized Weyl group $W$. We show that restriction to $Σ$ is a surjective map from the set of smooth $G$-invariant tensors on $M$ onto the set of smooth $W$-invariant tensors on $Σ$. Moreover, we show that every smooth $W$-invariant Riemannian metric on $Σ$ can be extended to a smooth $G$-invariant Riemannian metric on $M$ with respect to which the $G$-action remains polar with the same section $Σ$.
It is a classical theorem of Loewner that the systole of a Riemannian torus can be bounded in terms of its area. We answer a question of a similar flavor of Robert Young showing that if $T$ is a Riemannian 2-torus with boundary in $\mathbb R ^n$, such that the boundary curve is a standard unit circle, then the length of the shortest non-contractible loop in $T$ is bounded in terms of the area of $T$.
We prove the Focal Index Lemma and the Rauch and Berger comparison theorems on a weak Riemannian Hilbert manifold with a smooth Levi-Civita connection and we apply these results to the free loop spaces of a compact manifold with the L^2 metrics
After establishing the uniqueness of the continuation of local Cauchy data for harmonic maps between two Riemannian manifolds M and N, we prove (i) a reflection principle for a smooth minimal submanifold Y of a Riemannian manifold M that contains a reflective submanifold of M as a hypersurface and (ii) the reflection principle of for a class of smooth harmonic maps between Riemannian manifolds that admit reflective submanifolds. A reflection principle for harmonic functions on M with respect to a reflective hypersurface of M follows easily from the above reflection principle. To consider refle…
We show that, on a smooth riemannian manifold, the laplacian of the distance function to a point $b$ is $-\infty$ in the sense of barriers, at every point of the cut locus with respect to $b$.
If Pi: M -> B is an onto smooth maximal rank map between complete Riemannian manifolds M and B with bounded geometry, we prove sufficient conditions for M to be roughly isometric to the Riemannian product FxB, where F is a fiber of M.
We study the small-time asymptotics of the relative heat content for submanifolds in sub-Riemannian geometry. First, we prove the existence of a smooth tubular neighborhood for submanifolds of any codimension, assuming they do not have characteristic points. Next, we propose a definition of relative heat content for submanifolds of codimension $k\geq 1$ and we build an approximation of this quantity, via smooth tubular neighborhoods. Finally, we show that this approximation fails to recover the asymptotic expansion of the relative heat content of the submanifold, by studying an explicit exampl…
We show that smooth isoperimetric profiles are exceptional for real analytic Riemannian manifolds. For instance, under some extra assumption, this can happen only on topological spheres.
The key condition A3w of Ma, Trudinger and Wang for regularity of optimal transportation maps is implied by the nonnegativity of a pseudo-Riemannian curvature -- which we call cross-curvature -- induced by the transportation cost. For the Riemannian distance squared cost, it is shown that (1) cross-curvature nonnegativity is preserved for products of two manifolds; (2) both A3w and cross-curvature nonnegativity are inherited by Riemannian submersions; and (3) the $n$-dimensional round sphere satisfies cross-curvature nonnegativity. From these results, a large new class of Riemannian manifolds …
Given a metrically complete Riemannian manifold $(M,g)$ with smooth nonempty boundary and assuming that one of its curvatures is subject to a certain bound, we address the problem of whether it is possibile to realize $(M,g)$ as a domain inside a geodesically complete Riemannian manifold $(M',g')$ without boundary, by preserving the same curvature bounds. In this direction we provide three kind of results: (1) a general existence theorem showing that it is always possible to obtain a geodesically complete Riemannian extension without curvature constraints; (2) various topological obstructions …
We extend the methods of Davis-Januszkiewicz-Lafont to provide a new obstruction to smooth Riemannian metric with non-positive sectional curvature. We construct examples of locally CAT(0) 4-manifolds $M$, whose universal covers satisfy isolated flats condition and contain 2-dimensional flats with the property that $\sqcup\ \partial^\infty F_i \hookrightarrow \partial^\infty \tilde M$ are non-trivial links that are not isotopic to any great circle link. Further, all the flats in $\tilde M$ are unknotted at infinity, and yet $M$ does not have a Riemannian smoothing.
We prove the existence of smooth closed hypersurfaces of prescribed mean curvature homeomorphic to $S^n$ for small $n, n\le6$, provided there are barriers.
In this paper we study the main geometric properties of the Carnot-Carathéodory (abbreviated CC) distance $\dc$ in the setting of $k$-step sub-Riemannian Carnot groups from many different points of view. An extensive study of the so-called normal CC-geodesics is given. We state and prove some related variational formulae and we find suitable Jacobi-type equations for normal CC-geodesics. One of our main results is a sub-Riemannian version of the Gauss Lemma. We show the existence of the metric normal for smooth non-characteristic hypersurfaces. We also compute the sub-Riemannian exponential ma…
The space of all Riemannian metrics on a smooth second countable finite dimensional manifold is itself a smooth manifold modeled on the space of symmetric (0,2)-tensor fields with compact support. It carries a canonical Riemannian metric which is invariant under the action of the diffeomorphism group. We determine its geodesics, exponential mapping, curvature, and Jacobi fields in a very explicit manner.
In the previous paper [GLM2018], we showed that the theory of harmonic maps between Riemannian manifolds may be discretized by introducing triangulations with vertex and edge weights on the domain manifold. In the present paper, we study convergence of the discrete theory to the smooth theory when taking finer and finer triangulations. We present suitable conditions on the weighted triangulations that ensure convergence of discrete harmonic maps to smooth harmonic maps. Our computer software Harmony implements these methods to computes equivariant harmonic maps in the hyperbolic plane.
We study the small-time fluctuations for diffusion processes which are conditioned by their initial and final positions, under the assumptions that the diffusivity has a sub-Riemannian structure and that the drift vector field lies in the span of the sub-Riemannian structure. In the case where the endpoints agree and the generator of the diffusion process is non-elliptic at that point, the deterministic Malliavin covariance matrix is always degenerate. We identify, after a suitable rescaling, another limiting Malliavin covariance matrix which is non-degenerate, and we show that, with the same …
Using the definition of entropy of a family of increasing distances on a compact metric set given in [10] we introduce a notion of Finsler entropy for smooth distributions and Stefan-Sussmann foliations. This concept generalizes most of classical topological entropy on a compact Riemannian manifold : the entropy of a flow ([9]), of a regular foliation ([11]), of a regular distribution ([5]) and of a geometrical structure ([22]). The essential results of this paper is the nullity of the Finsler entropy for a controllable distribution and for a singular Riemannian foliation.
We investigate the convergence of the mean curvature flow of arbitrary codimension in Riemannian manifolds with bounded geometry. We prove that if the initial submanifold satisfies a pinching condition, then along the mean curvature flow the submanifold contracts smoothly to a round point in finite time. As a consequence we obtain a differentiable sphere theorem for submanifolds in a Riemannian manifold.
In this paper we construct infinitely many examples of a Riemannian submersion from a simple, compact Lie group $G$ with bi-invariant metric onto a smooth manifold that cannot be a quotient of $G$ by a group action. This partially addresses a question of K. Grove's about Riemannian submersions from Lie groups.
In this note we give a construction of a smooth Riemannian metric on R^n which is standard Euclidean outside a compact set K and such that it has N = n(n + 1)=2 invisible directions, meaning that all geodesics lines passing through the set K in these directions remain the same straight lines on exit. For example in the plane our construction gives three invisible directions. This is in contrast with billiard type obstacles where a very sophisticated example due to A.Plakhov and V.Roshchina gives 2 invisible directions in the plane and 3 in the space. We use reflection group of the root system …
The geometric approach to optimal transport and information theory has triggered the interpretation of probability densities as an infinite-dimensional Riemannian manifold. The most studied Riemannian structures are Otto's metric, yielding the $L^2$-Wasserstein distance of optimal mass transport, and the Fisher--Rao metric, predominant in the theory of information geometry. On the space of smooth probability densities, none of these Riemannian metrics are geodesically complete---a property desirable for example in imaging applications. That is, the existence interval for solutions to the geode…
We construct examples of smooth 4-dimensional manifolds M supporting a locally CAT(0)-metric, whose universal cover X satisfy Hruska's isolated flats condition, and contain 2-dimensional flats F with the property that the boundary at infinity of F defines a nontrivial knot in the boundary at infinity of X. As a consequence, we obtain that the fundamental group of M cannot be isomorphic to the fundamental group of any Riemannian manifold of nonpositive sectional curvature. In particular, M is a locally CAT(0)-manifold which does not support any Riemannian metric of nonpositive sectional curvatu…