Related papers: Any sub-Riemannian Metric has Points of Smoothness
We prove that a Riemannian submersion between smooth, compact, non-negatively curved Riemannian manifolds has to be smooth, resolving a conjecture by Berestovskii--Guijarro. We show that without any curvature assumption, the smoothness of…
We begin by showing that every real analytic orbifold has a real analytic Riemannian metric. It follows that every reduced real analytic orbifold can be expressed as a quotient of a real analytic manifold by a real analytic almost free…
We propose a new strong Riemannian metric on the manifold of (parametrized) embedded curves of regularity $H^s$, $s\in(3/2,2)$. We highlight its close relationship to the (generalized) tangent-point energies and employ it to show that this…
We prove that the image of a real analytic Riemannian manifold under a smooth Riemannian submersion is necessarily real analytic.
We prove that for any compact manifold of dimension greater than $1$, the set of pseudo-Riemannian metrics having a trivial isometry group contains an open and dense subset of the space of metrics.
We show that the group of isometries (i.e., distance-preserving homeomorphisms) of an equiregular subRiemannian manifold is a finite-dimensional Lie group of smooth transformations. The proof is based on a new PDE argument, in the spirit 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…
We prove an integral formula for the spherical measure of hypersurfaces in equiregular sub-Riemannian manifolds. Among various technical tools, we establish a general criterion for the uniform convergence of parametrized sub-Riemannian…
In the real-analytic setting, we show that all sub-Riemannian minimizers (parametrized by the arc-length) are real-analytic everywhere except an at most countable non-dense set. In particular, non-analyticity may occur only on a set of…
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.
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…
We prove that Riemannian metrics with a uniform weak norm can be smoothed to having arbitrarily high regularity. This generalizes all previous smoothing results. As a consequence we obtain a generalization of Gromov's almost flat manifold…
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…
This article proves that if M is a smooth manifold of dimension at least four, then for generic choice of metric on M, all prime parametrized minimal surfaces in M are free of branch points and lie on nondegenerate critical submanifolds for…
We prove that the L^2 Riemannian metric on the manifold of all smooth Riemannian metrics on a fixed closed, finite-dimensional manifold induces a metric space structure. As the L^2 metric is a weak Riemannian metric, this fact does not…
In this paper, we study the smoothness of the density function of absolutely continuous measures supported on random self-similar sets on the line. We show that the natural projection of a measure with symbolic local dimension greater than…
We study metric spaces homeomorphic to a closed oriented manifold from both geometric and analytic perspectives. We show that such spaces (which are sometimes called metric manifolds) admit a non-trivial integral current without boundary,…
On a smooth connected manifold, we consider all possible locally elliptic and locally bounded measurable coefficient Riemannian metrics called rough Riemannian metrics. We equip this set with an extended metric which is connected if and…
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.…
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…