<p>We consider Riemannian manifolds <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(M_i\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>M</mi> <mi>i</mi> </msub> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\({i=0,1}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>i</mi> <mo>=</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, with boundary and <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\Phi _i\in C^{\infty }(M_i)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="normal">Φ</mi> <mi>i</mi> </msub> <mo>∈</mo> <msup> <mi>C</mi> <mi>∞</mi> </msup> <mrow> <mo stretchy="false">(</mo> <msub> <mi>M</mi> <mi>i</mi> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> non-negative such that <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\((M_i, \Phi _i)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <msub> <mi>M</mi> <mi>i</mi> </msub> <mo>,</mo> <msub> <mi mathvariant="normal">Φ</mi> <mi>i</mi> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> has Bakry-Emery <i>N</i>-Ricci curvature bounded from below by <i>K</i>. Let <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(Y_0\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>Y</mi> <mn>0</mn> </msub> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(Y_1\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>Y</mi> <mn>1</mn> </msub> </math></EquationSource> </InlineEquation> be isometric, compact components of the boundary of <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(M_0\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>M</mi> <mn>0</mn> </msub> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(M_1\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>M</mi> <mn>1</mn> </msub> </math></EquationSource> </InlineEquation> respectively and assume <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\Phi _0=\Phi _1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="normal">Φ</mi> <mn>0</mn> </msub> <mo>=</mo> <msub> <mi mathvariant="normal">Φ</mi> <mn>1</mn> </msub> </mrow> </math></EquationSource> </InlineEquation> on <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(Y_0\simeq Y_1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>Y</mi> <mn>0</mn> </msub> <mo>≃</mo> <msub> <mi>Y</mi> <mn>1</mn> </msub> </mrow> </math></EquationSource> </InlineEquation>. We assume that <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\Pi _0+\Pi _1=:\Pi \ge 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="normal">Π</mi> <mn>0</mn> </msub> <mo>+</mo> <msub> <mi mathvariant="normal">Π</mi> <mn>1</mn> </msub> <mo>=</mo> <mo>:</mo> <mi mathvariant="normal">Π</mi> <mo>≥</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> (*), and <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(d\Phi _0(\nu _0)+ d\Phi _1(\nu _1)\le {{\,\textrm{tr}\,}}\Pi \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>d</mi> <msub> <mi mathvariant="normal">Φ</mi> <mn>0</mn> </msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi>ν</mi> <mn>0</mn> </msub> <mo stretchy="false">)</mo> </mrow> <mo>+</mo> <mi>d</mi> <msub> <mi mathvariant="normal">Φ</mi> <mn>1</mn> </msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi>ν</mi> <mn>1</mn> </msub> <mo stretchy="false">)</mo> </mrow> <mo>≤</mo> <mrow> <mspace width="0.166667em" /> <mtext>tr</mtext> <mspace width="0.166667em" /> </mrow> <mi mathvariant="normal">Π</mi> </mrow> </math></EquationSource> </InlineEquation> on <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(Y_0\simeq Y_1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>Y</mi> <mn>0</mn> </msub> <mo>≃</mo> <msub> <mi>Y</mi> <mn>1</mn> </msub> </mrow> </math></EquationSource> </InlineEquation> (**) where <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(\Pi _i\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="normal">Π</mi> <mi>i</mi> </msub> </math></EquationSource> </InlineEquation> is the second fundamental form and <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(\nu _i\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>ν</mi> <mi>i</mi> </msub> </math></EquationSource> </InlineEquation> is inner unit normal field along <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(\partial M_i\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>∂</mi> <msub> <mi>M</mi> <mi>i</mi> </msub> </mrow> </math></EquationSource> </InlineEquation>. We show that the metric glued space <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(M=M_0\cup _{\mathcal {I}}M_1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>M</mi> <mo>=</mo> <msub> <mi>M</mi> <mn>0</mn> </msub> <msub> <mo>∪</mo> <mi mathvariant="script">I</mi> </msub> <msub> <mi>M</mi> <mn>1</mn> </msub> </mrow> </math></EquationSource> </InlineEquation> together with the measure <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\(\Phi d\mathcal {H}^n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Φ</mi> <mi>d</mi> <msup> <mrow> <mi mathvariant="script">H</mi> </mrow> <mi>n</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> satisfies the curvature-dimension condition <i>CD</i>(<i>K</i>,&#xa0;<i>N</i>) where <InlineEquation ID="IEq19"> <EquationSource Format="TEX">\(\Phi : M\rightarrow [0,\infty )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Φ</mi> <mo>:</mo> <mi>M</mi> <mo stretchy="false">→</mo> <mo stretchy="false">[</mo> <mn>0</mn> <mo>,</mo> <mi>∞</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> arises tautologically from <InlineEquation ID="IEq20"> <EquationSource Format="TEX">\(\Phi _1\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="normal">Φ</mi> <mn>1</mn> </msub> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq21"> <EquationSource Format="TEX">\(\Phi _2\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="normal">Φ</mi> <mn>2</mn> </msub> </math></EquationSource> </InlineEquation>. Moreover, <InlineEquation ID="IEq22"> <EquationSource Format="TEX">\((M, \Phi d\mathcal {H}^n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>M</mi> <mo>,</mo> <mi mathvariant="normal">Φ</mi> <mi>d</mi> <msup> <mrow> <mi mathvariant="script">H</mi> </mrow> <mi>n</mi> </msup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is the collapsed Gromov-Hausdorff limit of smooth, <InlineEquation ID="IEq23"> <EquationSource Format="TEX">\(\lceil N \rceil \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>⌈</mo> <mi>N</mi> <mo>⌉</mo> </mrow> </math></EquationSource> </InlineEquation>-dimensional Riemannian manifolds with Ricci curvature bounded from below by <InlineEquation ID="IEq24"> <EquationSource Format="TEX">\(K- \epsilon \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>K</mi> <mo>-</mo> <mi>ϵ</mi> </mrow> </math></EquationSource> </InlineEquation> and is also the measured Gromov-Hausdorff limit of smooth, weighted Riemannian manifolds such that the Bakry-Emery <InlineEquation ID="IEq25"> <EquationSource Format="TEX">\(\lceil N \rceil \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>⌈</mo> <mi>N</mi> <mo>⌉</mo> </mrow> </math></EquationSource> </InlineEquation>-Ricci curvature is bounded from below by <InlineEquation ID="IEq26"> <EquationSource Format="TEX">\(K-\epsilon \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>K</mi> <mo>-</mo> <mi>ϵ</mi> </mrow> </math></EquationSource> </InlineEquation>. On the other hand we show that given a glued manifold as described it satisfies the curvature-dimension condition <i>CD</i>(<i>K</i>,&#xa0;<i>N</i>) only if the condition (*) and (**) hold. The latter statement generalizes a theorem of Kosovskiĭ for sectional lower curvature bounds and especially applies for the case <InlineEquation ID="IEq27"> <EquationSource Format="TEX">\(\Phi \equiv 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Φ</mi> <mo>≡</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> where a lower Ricci curvature bound and <InlineEquation ID="IEq28"> <EquationSource Format="TEX">\(\dim _{M_i}\le N\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mo>dim</mo> <msub> <mi>M</mi> <mi>i</mi> </msub> </msub> <mo>≤</mo> <mi>N</mi> </mrow> </math></EquationSource> </InlineEquation> replaces a lower Bakry-Emery <i>N</i>-Ricci curvature bound.</p>

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

Glued spaces and lower Ricci curvature bounds

  • Christian Ketterer

摘要

We consider Riemannian manifolds \(M_i\) M i , \({i=0,1}\) i = 0 , 1 , with boundary and \(\Phi _i\in C^{\infty }(M_i)\) Φ i C ( M i ) non-negative such that \((M_i, \Phi _i)\) ( M i , Φ i ) has Bakry-Emery N-Ricci curvature bounded from below by K. Let \(Y_0\) Y 0 and \(Y_1\) Y 1 be isometric, compact components of the boundary of \(M_0\) M 0 and \(M_1\) M 1 respectively and assume \(\Phi _0=\Phi _1\) Φ 0 = Φ 1 on \(Y_0\simeq Y_1\) Y 0 Y 1 . We assume that \(\Pi _0+\Pi _1=:\Pi \ge 0\) Π 0 + Π 1 = : Π 0 (*), and \(d\Phi _0(\nu _0)+ d\Phi _1(\nu _1)\le {{\,\textrm{tr}\,}}\Pi \) d Φ 0 ( ν 0 ) + d Φ 1 ( ν 1 ) tr Π on \(Y_0\simeq Y_1\) Y 0 Y 1 (**) where \(\Pi _i\) Π i is the second fundamental form and \(\nu _i\) ν i is inner unit normal field along \(\partial M_i\) M i . We show that the metric glued space \(M=M_0\cup _{\mathcal {I}}M_1\) M = M 0 I M 1 together with the measure \(\Phi d\mathcal {H}^n\) Φ d H n satisfies the curvature-dimension condition CD(KN) where \(\Phi : M\rightarrow [0,\infty )\) Φ : M [ 0 , ) arises tautologically from \(\Phi _1\) Φ 1 and \(\Phi _2\) Φ 2 . Moreover, \((M, \Phi d\mathcal {H}^n)\) ( M , Φ d H n ) is the collapsed Gromov-Hausdorff limit of smooth, \(\lceil N \rceil \) N -dimensional Riemannian manifolds with Ricci curvature bounded from below by \(K- \epsilon \) K - ϵ and is also the measured Gromov-Hausdorff limit of smooth, weighted Riemannian manifolds such that the Bakry-Emery \(\lceil N \rceil \) N -Ricci curvature is bounded from below by \(K-\epsilon \) K - ϵ . On the other hand we show that given a glued manifold as described it satisfies the curvature-dimension condition CD(KN) only if the condition (*) and (**) hold. The latter statement generalizes a theorem of Kosovskiĭ for sectional lower curvature bounds and especially applies for the case \(\Phi \equiv 1\) Φ 1 where a lower Ricci curvature bound and \(\dim _{M_i}\le N\) dim M i N replaces a lower Bakry-Emery N-Ricci curvature bound.