Abstract:Let $M$ be a simply connected Riemannian manifold in $\mathscr{M}_{k,v}^D(n)$, the space of closed Riemannian manifolds of dimension $n$ with sectional curvature bounded below by $k$, volume bounded below by $v$, and diameter bounded above by $D$. Let $c$ be the smallest positive real number such that any closed curve of length at most $2d$ can be contracted to a point over curves of length at most $cd$, where $d$ is the diameter of $M$. In this paper, we show that under these hypotheses there exists a computable rational function, $G(n,k,v,D)$, such that any continuous map of $S^l$ to $\Omega_{p,q}M$, the space of piecewise differentiable curves on $M$ connecting $p$ and $q$, is homotopic to a map whose image consists of curves of length at most $\exp(c\exp(G(n,k,v,D))$. In particular, for any points $p,q \in M$ and any integer $m>0$ there exist at least $m$ geodesics connecting $p$ and $q$ of length at most $m\exp(c\exp(G(n,k,v,D))$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the linear bound of the geodesic length connecting any two points \(p\) and \(q\) on a manifold with lower curvature bound. Specifically, the authors study how to estimate the number of the shortest geodesics connecting any two points on the manifold \(M\) and the upper bound of their lengths under given conditions. These conditions include that the manifold \(M\) is an \(n\)-dimensional closed Riemannian manifold, its sectional curvature has a lower bound \(k\), its volume has a lower bound \(v\), and its diameter has an upper bound \(D\).
### Specific Problem Description
1. **Background and Motivation**:
- In 1951, J. P. Serre proved that on any \(n\)-dimensional closed Riemannian manifold \(M\), there exist infinitely many geodesics between any two points \(p\) and \(q\).
- In 1958, A. Schwarz proved that for any positive integer \(m\), there exist at least \(m\) geodesics between any two points \(p\) and \(q\), and the lengths of these geodesics do not exceed \(C(M)\cdot m\).
- Researchers attempt to estimate the relationship between \(C(M)\) and various geometric parameters of the manifold \(M\).
2. **Main Problem**:
- The main objective of this paper is to estimate the value of \(C(M)\) given the lower curvature bound \(k\), the lower volume bound \(v\), the upper diameter bound \(D\), the dimension \(n\), and a constant \(c\).
- The authors attempt to find a computable rational function \(G(n, k, v, D)\) such that for any continuous mapping \(f: S^l\rightarrow\Omega_{p,q}M\), there exists a mapping \(g: S^l\rightarrow\Omega_L^{p,q}M\) homotopic to \(f\), where \(L\leq e^{c\cdot e^{G(n, k, v, D)}}+\delta\).
### Main Results
- **Theorem 1.1**:
- For \(M\in M_D^{- 1,v}(n)\) and \(M\) is a simply - connected analytic manifold, assume that the diameter of \(M\) is \(d\), and there exists a constant \(c > 0\) such that any closed curve with length not exceeding \(2d\) can be homotopically contracted to a point through a curve with length not exceeding \(cd\).
- Then for any \(\delta > 0\) and any continuous mapping \(f: S^l\rightarrow\Omega_{p,q}M\), there exists a rational function \(G(n, v, D)\) and a mapping \(g: S^l\rightarrow\Omega_L^{p,q}M\) homotopic to \(f\), where \(L\leq e^{c\cdot e^{G(n, v, D)}}+\delta\).
- **Corollary 1.2**:
- For \(M\in M_D^{k,v}(n)\) and \(M\) is simply - connected, assume that \(k < 0\), the diameter of \(M\) is \(d\), and there exists a constant \(c > 0\) such that any closed curve with length not exceeding \(2d\) can be homotopically contracted to a point through a curve with length not exceeding \(cd\).
- Then for any \(\delta > 0\) and any continuous mapping \(f: S^l\rightarrow\Omega_{p,q}M\), there exists a rational function \(\tilde{G}(n, v, k, D)\) and a mapping \(g: S^l\rightarrow\Omega_L^{p,q}M\) homotopic to \(f\), where \(L\leq e^{c\cdot e^{\tilde{G}(n, k, v, D)}}+\delta\).
- **Corollary 1.3**:
- For \(M\in M_D^{k,v}(n)\) and \(k <