Riemannian Rigidity of the Parallel Postulate in Total Curvature
We prove that the Euclidean plane is the only Riemannian plane with total curvature and free of conjugate points that satisfies Playfair's version of the parallel postulate.
Source author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
We prove that the Euclidean plane is the only Riemannian plane with total curvature and free of conjugate points that satisfies Playfair's version of the parallel postulate.
Let P→M be a principal bundle. Consider a sequence of metrics on P obtained by re-scaling the fibers to points. The Gromov-Hausdorff limit of the tangent bundles over these principal bundles with their Sasaki metric is seen herein to be a locally trivial fiber bundle containing the tangent space to the base as a subbundle in a natural way. Berger 3-spheres provide an example where the limit fibers are still of dimension 3. The fibers are shown to be entirely determined by the riemannian holonomy of the chosen bi-invariant metric.
If a sequence of Riemannian manifolds, Xi, converges in the pointed Gromov-Hausdorff sense to a limit space, X∞, and if Ei are vector bundles over Xi endowed with metrics of Sasaki-type with a uniform upper bound on rank, then a subsequence of the Ei converges in the pointed Gromov-Hausdorff sense to a metric space, E∞. The projection maps πi converge to a limit submetry π∞ and the fibers converge to its fibers; the latter may no longer be vector spaces but are homeomorphic to Rk/G, where G is a closed subgroup of O(k) ---called the {\em wane group}--- that depends on the basepoint and that is defined using the holonomy groups on the vector bundles. The norms μi=∥⋅∥i converges to a map μ∞ compatible with the re-scaling in Rk/G and the R-action on Ei converges to an R−action on E∞ compatible with the limiting norm. In the special case when the sequence of vector bundles has a uniform lower bound on holonomy radius (as in a sequence of collapsing flat tori to a circle), the limit fibers are vector spaces. Under the opposite extreme, e.g. when a single compact n-dimensional manifold is re-scaled to a point, the limit fiber is Rn/H where H is the closure of the holonomy group of the compact manifold considered. An appropriate notion of parallelism is given to the limiting spaces by considering curves whose length is unchanged under the projection. The class of such curves is invariant under the R-action and each such curve preserves norms. The existence of parallel translation along rectifiable curves with arbitrary initial conditions is also exhibited. Uniqueness is not true in general, but a necessary condition is given in terms of the aforementioned wane groups G.
A holonomic space (V,H,L) is a normed vector space, V, a subgroup, H, of Aut(V,∥⋅∥) and a group-norm, L, with a convexity property. We prove that with the metric dL(u,v)=infa∈H{L2(a)+∥u−av∥2}, V is a metric space which is locally isometric to a Euclidean ball. Given a Sasaki-type metric on a vector bundle E over a Riemannian manifold, we prove that the triplet (Ep,Holp,Lp) is a holonomic space, where Holp is the holonomy group and Lp is the length norm defined within. The topology on Holp given by the Lp is finer than the subspace topology while still preserving many desirable properties. Using these notions, we introduce the notion of holonomy radius for a Riemannian manifold and prove it is positive. These results are applicable to the Gromov-Hausdorff convergence of Riemannian manifolds.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.