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.
Discover
Research tools
Network
Opportunities
Account
Source author record
Pedro Solórzano appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
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.
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\to 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, $X_i$, converges in the pointed Gromov-Hausdorff sense to a limit space, $X_\infty$, and if $E_i$ are vector bundles over $X_i$ endowed with metrics of Sasaki-type with a uniform upper bound on rank, then a subsequence of the $E_i$ converges in the pointed Gromov-Hausdorff sense to a metric space, $E_\infty$. The projection maps $π_i$ converge to a limit submetry $π_\infty$ and the fibers converge to its fibers; the latter may no longer be vector spaces but are homeomorphic to $\R^k/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=\|\cdot\|_i$ converges to a map $μ_{\infty}$ compatible with the re-scaling in $\R^k/G$ and the $\R$-action on $E_i$ converges to an $\R-$action on $E_{\infty}$ 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 $\R^n/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, \|\cdot\|)$ and a group-norm, $L$, with a convexity property. We prove that with the metric $d_L(u,v)=\inf_{a\in H}\{\sqrt{L^2(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 $(E_p,Hol_p,L_p)$ is a holonomic space, where $Hol_p$ is the holonomy group and $L_p$ is the length norm defined within. The topology on $Hol_p$ given by the $L_p$ 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.