<p>Let <i>M</i> be a simply connected Riemannian manifold in <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2003_Article_IEq1.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="59" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathscr {M}}_{k,v}^D(n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi mathvariant="script">M</mi> <mrow> <mi>k</mi> <mo>,</mo> <mi>v</mi> </mrow> <mi>D</mi> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, the space of closed Riemannian manifolds of dimension <i>n</i> with sectional curvature bounded below by <i>k</i>, volume bounded below by <i>v</i>, and diameter bounded above by <i>D</i>. Let <i>c</i> be the smallest positive real number such that any closed curve of length at most 2<i>d</i> can be contracted to a point over curves of length at most <i>cd</i>, where <i>d</i> is the diameter of <i>M</i>. In this paper, we show that under these hypotheses there exists a computable rational function, <i>G</i>(<i>n</i>,&#xa0;<i>k</i>,&#xa0;<i>v</i>,&#xa0;<i>D</i>), such that any continuous map of <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2003_Article_IEq2.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(S^l\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>S</mi> <mi>l</mi> </msup> </math></EquationSource> </InlineEquation> to <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2003_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="48" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Omega _{p,q}M\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="normal">Ω</mi> <mrow> <mi>p</mi> <mo>,</mo> <mi>q</mi> </mrow> </msub> <mi>M</mi> </mrow> </math></EquationSource> </InlineEquation>, the space of piecewise differentiable curves on <i>M</i> connecting <i>p</i> and <i>q</i>, is homotopic to a map whose image consists of curves of length at most <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2003_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="175" /> </InlineMediaObject> <EquationSource Format="TEX">\(\exp (c\exp (G(n,k,v,D)))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>exp</mo> <mo stretchy="false">(</mo> <mi>c</mi> <mo>exp</mo> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">(</mo> <mi>n</mi> <mo>,</mo> <mi>k</mi> <mo>,</mo> <mi>v</mi> <mo>,</mo> <mi>D</mi> <mo stretchy="false">)</mo> <mo stretchy="false">)</mo> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. In particular, for any points <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2003_Article_IEq5.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="67" /> </InlineMediaObject> <EquationSource Format="TEX">\(p,q \in M\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>,</mo> <mi>q</mi> <mo>∈</mo> <mi>M</mi> </mrow> </math></EquationSource> </InlineEquation> and any integer <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2003_Article_IEq6.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="TEX">\(m&gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>m</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, there exist at least <i>m</i> geodesics connecting <i>p</i> and <i>q</i> of length at most <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2003_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="193" /> </InlineMediaObject> <EquationSource Format="TEX">\(m\exp (c\exp (G(n,k,v,D)))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>m</mi> <mo>exp</mo> <mo stretchy="false">(</mo> <mi>c</mi> <mo>exp</mo> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">(</mo> <mi>n</mi> <mo>,</mo> <mi>k</mi> <mo>,</mo> <mi>v</mi> <mo>,</mo> <mi>D</mi> <mo stretchy="false">)</mo> <mo stretchy="false">)</mo> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Linear Bounds for the Lengths of Geodesics on Manifolds with Curvature Bounded Below

  • Isabel Beach,
  • Haydée Contreras-Peruyero,
  • Regina Rotman,
  • Catherine Searle

摘要

Let M be a simply connected Riemannian manifold in \({\mathscr {M}}_{k,v}^D(n)\) 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(nkvD), such that any continuous map of \(S^l\) S l to \(\Omega _{p,q}M\) Ω 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)))\) exp ( c exp ( G ( n , k , v , D ) ) ) . In particular, for any points \(p,q \in M\) p , q M and any integer \(m>0\) 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)))\) m exp ( c exp ( G ( n , k , v , D ) ) ) .