<p>We investigate the rigidity and stability of eigenvalues of the heat kernel Laplacian on manifolds with nonnegative Ricci curvature. We show that the heat kernel Laplacian has discrete spectrum and its first eigenvalue is bounded below by the corresponding first eigenvalue of the Euclidean space, with equality holds if and only if the manifold splits off <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2025_3034_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">R</mi> </math></EquationSource> </InlineEquation> factors. Quantitatively, we show that if the <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2025_3034_Article_IEq2.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(k^{\text {th}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>k</mi> <mtext>th</mtext> </msup> </math></EquationSource> </InlineEquation> eigenvalue is close to that of the Euclidean space, then the manifold is close to a product of <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2025_3034_Article_IEq3.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {R}^k\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>k</mi> </msup> </math></EquationSource> </InlineEquation> with some length space in the Gromov-Hausdorff distance. Building upon the continuity of eigenvalues, we show the converse is also true: if the manifold is close to a product of <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2025_3034_Article_IEq3.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {R}^k\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>k</mi> </msup> </math></EquationSource> </InlineEquation> with some length space, then the <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2025_3034_Article_IEq2.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(k^{\text {th}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>k</mi> <mtext>th</mtext> </msup> </math></EquationSource> </InlineEquation> eigenvalue is close to that of the Euclidean space. Moreover, we characterize the necessary and sufficient conditions for asymptotic cones of a manifold to split off <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2025_3034_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">R</mi> </math></EquationSource> </InlineEquation> factors. As an application, if the <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2025_3034_Article_IEq7.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\(n^{\text {th}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>n</mi> <mtext>th</mtext> </msup> </math></EquationSource> </InlineEquation> eigenvalue is close to that of the Euclidean space, we show that the manifold is diffeomorphic to <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2025_3034_Article_IEq8.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {R}^n\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> </math></EquationSource> </InlineEquation> and is isometric to <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2025_3034_Article_IEq8.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {R}^n\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> </math></EquationSource> </InlineEquation> when it is Ricci flat. We also prove a gap estimate for the <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2025_3034_Article_IEq10.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="63" /> </InlineMediaObject> <EquationSource Format="TEX">\((n+1)^\text {th}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo>+</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <mtext>th</mtext> </msup> </math></EquationSource> </InlineEquation> weighted eigenvalue. To prove these results, we shall establish sharp Neumann-Poincaré and Log-Poincaré inequalities that are very useful in this setting.</p>

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

The rigidity of weighted eigenvalues on manifolds with nonnegative Ricci curvature

  • Huaiyu Zhang,
  • Wancheng Zhang

摘要

We investigate the rigidity and stability of eigenvalues of the heat kernel Laplacian on manifolds with nonnegative Ricci curvature. We show that the heat kernel Laplacian has discrete spectrum and its first eigenvalue is bounded below by the corresponding first eigenvalue of the Euclidean space, with equality holds if and only if the manifold splits off \(\mathbb {R}\) R factors. Quantitatively, we show that if the \(k^{\text {th}}\) k th eigenvalue is close to that of the Euclidean space, then the manifold is close to a product of \(\mathbb {R}^k\) R k with some length space in the Gromov-Hausdorff distance. Building upon the continuity of eigenvalues, we show the converse is also true: if the manifold is close to a product of \(\mathbb {R}^k\) R k with some length space, then the \(k^{\text {th}}\) k th eigenvalue is close to that of the Euclidean space. Moreover, we characterize the necessary and sufficient conditions for asymptotic cones of a manifold to split off \(\mathbb {R}\) R factors. As an application, if the \(n^{\text {th}}\) n th eigenvalue is close to that of the Euclidean space, we show that the manifold is diffeomorphic to \(\mathbb {R}^n\) R n and is isometric to \(\mathbb {R}^n\) R n when it is Ricci flat. We also prove a gap estimate for the \((n+1)^\text {th}\) ( n + 1 ) th weighted eigenvalue. To prove these results, we shall establish sharp Neumann-Poincaré and Log-Poincaré inequalities that are very useful in this setting.