Related papers: A proof of Lens Rigidity in the category of Analyt…

We prove the result stated in the title; it is equivalent to the existence of a regular point of the sub-Riemannian exponential mapping. We also prove that the metric is analytic on an open everywhere dense subset in the case of a complete…

Let $(M, \partial M)$ be a compact 3-manifold with boundary, which admits a convex co-compact hyperbolic metric. We consider the hyperbolic metrics on $M$ such that the boundary is smooth and strictly convex. We show that the induced…

For a compact connected Riemannian manifold with smooth boundary, by computing the full symbol of the elastic Dirichlet-to-Neumann map, we prove that the elastic Dirichlet-to-Neumann map can uniquely determine the partial derivatives of all…

In this paper, we develop the infinitesimal geometry of the limit spaces of compact Riemannian manifolds with boundary, where we assume lower bounds on the sectional curvatures of manifolds and boundaries and the second fundamental forms of…

In this paper we prove the strong Sard conjecture for sub-Riemannian structures on 3-dimensional analytic manifolds. More precisely, given a totally nonholonomic analytic distribution of rank 2 on a 3-dimensional analytic manifold, we…

In many singular metric spaces, the regularity of a shortest-length curve is unknown. Algebraic varieties, or more generally sets defined by finitely many polynomial or real analytic equalities or inequalities, all locally partition into…

Consider a broken geodesics $\alpha([0,l])$ on a compact Riemannian manifold $(M,g)$ with boundary of dimension $n\geq 3$. The broken geodesics are unions of two geodesics with the property that they have a common end point. Assume that for…

The purpose of this article is to produce effective versions of some rigidity results in algebra and geometry. On the geometric side, we focus on the spectrum of primitive geodesic lengths (resp., complex lengths) for arithmetic hyperbolic…

Let (M, g) be a compact Einstein manifold with non-empty boundary. We prove that Killing fields at the boundary extend to Killing fields of any (M, g) provided the boundary is weakly convex and a simple condition on the fundamental group…

Consider a real-analytic orientable connected complete Riemannian manifold $M$ with boundary of dimension $n\ge 2$ and let $k$ be an integer $1\le k\le n$. In the case when $M$ is compact of dimension $n\ge 3$, we show that the manifold and…

We show that, on a complete and possibly non-compact Riemannian manifold of dimension at least 2 without close conjugate points at infinity, the existence of a closed geodesic with local homology in maximal degree and maximal index growth…

In this paper a compact Riemannian manifold with strictly convex boundary is reconstructed from its partial travel time data. This data assumes that an open measurement region on the boundary is given, and that for every point in the…

This paper is the third and final component of a three-part effort on observers contracting a Riemannian distance between the state of the system and its estimate. In Part I, we showed that such a contraction property holds if the system…

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…

We survey some results on travel time tomography. The question is whether we can determine the anisotropic index of refraction of a medium by measuring the travel times of waves going through the medium. This can be recast as geometry…

In this work it is shown that a necessary condition for the completeness of the geodesics of left invariant pseudo-Riemannian metrics on Lie groups is also sufficient in the case of 3-dimensional unimodular Lie groups, and not sufficient…

We prove that every complete Einstein (Riemannian or pseudo-Riemannian) metric $g$ is geodesically rigid: if any other complete metric $\bar g$ has the same (unparametrized) geodesics with $g$, then the Levi-Civita connections of $g$ and…

We prove that Riemannian metrics with an absolute Ricci curvature bound and a conjugate radius bound can be smoothed to having a sectional curvature bound. Using this we derive a number of results about structures of manifolds with Ricci…

Let (M,g) be a compact Riemannian manifold with boundary. This paper is concerned with the set of scalar-flat metrics which are in the conformal class of g and have the boundary as a constant mean curvature hypersurface. We prove that this…

Given a fixed closed manifold M, we exhibit an explicit formula for the distance function of the canonical L^2 Riemannian metric on the manifold of all smooth Riemannian metrics on M. Additionally, we examine the (metric) completion of the…