<p>In this paper we prove a rigidity statement for free boundary minimal surfaces produced via min–max methods. More precisely, for any Riemannian metric <i>g</i> on the 3-ball <i>B</i> with non-negative Ricci curvature and <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2025_2984_Article_IEq1.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="83" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{II}_{\partial B}\ge g_{|\partial B}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mtext>II</mtext> <mrow> <mi>∂</mi> <mi>B</mi> </mrow> </msub> <mo>≥</mo> <msub> <mi>g</mi> <mrow> <mo stretchy="false">|</mo> <mi>∂</mi> <mi>B</mi> </mrow> </msub> </mrow> </math></EquationSource> </InlineEquation>, there exists a free boundary minimal disk <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2025_2984_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Delta \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Δ</mi> </math></EquationSource> </InlineEquation> of least area among all free boundary minimal disks in (<i>B</i>,&#xa0;<i>g</i>). We prove that the area of any such <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2025_2984_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Delta \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Δ</mi> </math></EquationSource> </InlineEquation> equals to the width of (<i>B</i>,&#xa0;<i>g</i>), <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2025_2984_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Delta \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Δ</mi> </math></EquationSource> </InlineEquation> has index one, and the length of <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2025_2984_Article_IEq5.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\(\partial \Delta \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>∂</mi> <mi mathvariant="normal">Δ</mi> </mrow> </math></EquationSource> </InlineEquation> is bounded from above by <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2025_2984_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(2\pi \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>2</mn> <mi>π</mi> </mrow> </math></EquationSource> </InlineEquation>. Furthermore, the length of <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2025_2984_Article_IEq5.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\(\partial \Delta \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>∂</mi> <mi mathvariant="normal">Δ</mi> </mrow> </math></EquationSource> </InlineEquation> equals to <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2025_2984_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(2\pi \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>2</mn> <mi>π</mi> </mrow> </math></EquationSource> </InlineEquation> if and only if (<i>B</i>,&#xa0;<i>g</i>) is isometric to the Euclidean unit ball. This is related to a rigidity result obtained by F.C. Marques and &#xa0;A. Neves in the closed case. The proof uses a rigidity statement concerning half-balls with non-negative Ricci curvature which is true in any dimension.</p>

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

Rigidity of min–max minimal disks in 3-balls with non-negative Ricci curvature

  • Laurent Mazet,
  • Abraão Mendes

摘要

In this paper we prove a rigidity statement for free boundary minimal surfaces produced via min–max methods. More precisely, for any Riemannian metric g on the 3-ball B with non-negative Ricci curvature and \(\textrm{II}_{\partial B}\ge g_{|\partial B}\) II B g | B , there exists a free boundary minimal disk \(\Delta \) Δ of least area among all free boundary minimal disks in (Bg). We prove that the area of any such \(\Delta \) Δ equals to the width of (Bg), \(\Delta \) Δ has index one, and the length of \(\partial \Delta \) Δ is bounded from above by \(2\pi \) 2 π . Furthermore, the length of \(\partial \Delta \) Δ equals to \(2\pi \) 2 π if and only if (Bg) is isometric to the Euclidean unit ball. This is related to a rigidity result obtained by F.C. Marques and  A. Neves in the closed case. The proof uses a rigidity statement concerning half-balls with non-negative Ricci curvature which is true in any dimension.