<p>Let <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2147_Article_IEq3.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="26" /> </InlineMediaObject> <EquationSource Format="TEX">\(M^3\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>M</mi> <mn>3</mn> </msup> </math></EquationSource> </InlineEquation> be a hypersurface immersed into the 4-dimensional Euclidean sphere <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2147_Article_IEq4.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="57" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {S}^4\subset \mathbb {R}^5\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mrow> <mi mathvariant="double-struck">S</mi> </mrow> <mn>4</mn> </msup> <mo>⊂</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>5</mn> </msup> </mrow> </math></EquationSource> </InlineEquation> and denote by <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2147_Article_IEq5.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\({\textbf {H}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="bold">H</mi> </math></EquationSource> </InlineEquation> its mean curvature vector field in <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2147_Article_IEq6.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {R}^5\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>5</mn> </msup> </math></EquationSource> </InlineEquation>. This paper locally classifies those hypersurfaces that satisfy the condition <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2147_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="75" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Box {\textbf {H}}=\lambda {\textbf {H}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>□</mo> <mi mathvariant="bold">H</mi> <mo>=</mo> <mi>λ</mi> <mi mathvariant="bold">H</mi> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2147_Article_IEq8.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="TEX">\(\lambda \in \mathbb {R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>λ</mi> <mo>∈</mo> <mi mathvariant="double-struck">R</mi> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2147_Article_IEq9.gif" Format="GIF" Height="11" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Box \)</EquationSource> <EquationSource Format="MATHML"><math> <mo>□</mo> </math></EquationSource> </InlineEquation> denotes the Cheng-Yau operator of the hypersurface. In particular, we prove that (open pieces of) totally geodesic great 3-spheres <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2147_Article_IEq10.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="57" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {S}^3\subset \mathbb {S}^4\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mrow> <mi mathvariant="double-struck">S</mi> </mrow> <mn>3</mn> </msup> <mo>⊂</mo> <msup> <mrow> <mi mathvariant="double-struck">S</mi> </mrow> <mn>4</mn> </msup> </mrow> </math></EquationSource> </InlineEquation> are the only hypersurfaces in <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2147_Article_IEq11.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {S}^4\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">S</mi> </mrow> <mn>4</mn> </msup> </math></EquationSource> </InlineEquation> which satisfy the condition <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2147_Article_IEq12.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="60" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Box {\textbf {H}}={\textbf {0}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>□</mo> <mi mathvariant="bold">H</mi> <mo>=</mo> <mn mathvariant="bold">0</mn> </mrow> </math></EquationSource> </InlineEquation>. We also obtain that (open pieces of) totally umbilical small 3-spheres <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2147_Article_IEq13.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="77" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {S}^3(r)\subset \mathbb {S}^4\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mrow> <mi mathvariant="double-struck">S</mi> </mrow> <mn>3</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mi>r</mi> <mo stretchy="false">)</mo> </mrow> <mo>⊂</mo> <msup> <mrow> <mi mathvariant="double-struck">S</mi> </mrow> <mn>4</mn> </msup> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2147_Article_IEq14.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="71" /> </InlineMediaObject> <EquationSource Format="TEX">\(0&lt;r&lt;1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>&lt;</mo> <mi>r</mi> <mo>&lt;</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, and the Clifford torus <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2147_Article_IEq15.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="201" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {S}^2(\sqrt{1/3})\times \mathbb {S}^1(\sqrt{2/3})\subset \mathbb {S}^4\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mrow> <mi mathvariant="double-struck">S</mi> </mrow> <mn>2</mn> </msup> <mrow> <mo stretchy="false">(</mo> <msqrt> <mrow> <mn>1</mn> <mo stretchy="false">/</mo> <mn>3</mn> </mrow> </msqrt> <mo stretchy="false">)</mo> </mrow> <mo>×</mo> <msup> <mrow> <mi mathvariant="double-struck">S</mi> </mrow> <mn>1</mn> </msup> <mrow> <mo stretchy="false">(</mo> <msqrt> <mrow> <mn>2</mn> <mo stretchy="false">/</mo> <mn>3</mn> </mrow> </msqrt> <mo stretchy="false">)</mo> </mrow> <mo>⊂</mo> <msup> <mrow> <mi mathvariant="double-struck">S</mi> </mrow> <mn>4</mn> </msup> </mrow> </math></EquationSource> </InlineEquation> are the only hypersurfaces in <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2147_Article_IEq11.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {S}^4\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">S</mi> </mrow> <mn>4</mn> </msup> </math></EquationSource> </InlineEquation> which satisfy the condition <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2147_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="75" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Box {\textbf {H}}=\lambda {\textbf {H}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>□</mo> <mi mathvariant="bold">H</mi> <mo>=</mo> <mi>λ</mi> <mi mathvariant="bold">H</mi> </mrow> </math></EquationSource> </InlineEquation> for a real number <InlineEquation ID="IEq18"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2147_Article_IEq18.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\(\lambda \ne 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>λ</mi> <mo>≠</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>. This characterizes the Clifford torus <InlineEquation ID="IEq19"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2147_Article_IEq15.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="201" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {S}^2(\sqrt{1/3})\times \mathbb {S}^1(\sqrt{2/3})\subset \mathbb {S}^4\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mrow> <mi mathvariant="double-struck">S</mi> </mrow> <mn>2</mn> </msup> <mrow> <mo stretchy="false">(</mo> <msqrt> <mrow> <mn>1</mn> <mo stretchy="false">/</mo> <mn>3</mn> </mrow> </msqrt> <mo stretchy="false">)</mo> </mrow> <mo>×</mo> <msup> <mrow> <mi mathvariant="double-struck">S</mi> </mrow> <mn>1</mn> </msup> <mrow> <mo stretchy="false">(</mo> <msqrt> <mrow> <mn>2</mn> <mo stretchy="false">/</mo> <mn>3</mn> </mrow> </msqrt> <mo stretchy="false">)</mo> </mrow> <mo>⊂</mo> <msup> <mrow> <mi mathvariant="double-struck">S</mi> </mrow> <mn>4</mn> </msup> </mrow> </math></EquationSource> </InlineEquation> as the only non-trivial hypersurface in <InlineEquation ID="IEq20"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2147_Article_IEq11.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {S}^4\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">S</mi> </mrow> <mn>4</mn> </msup> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq21"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2147_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="75" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Box {\textbf {H}}=\lambda {\textbf {H}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>□</mo> <mi mathvariant="bold">H</mi> <mo>=</mo> <mi>λ</mi> <mi mathvariant="bold">H</mi> </mrow> </math></EquationSource> </InlineEquation> for a real number <InlineEquation ID="IEq22"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2147_Article_IEq22.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\lambda \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>λ</mi> </math></EquationSource> </InlineEquation>.</p>

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

Classification of Hypersurfaces in the Euclidean 4-sphere Satisfying \(\Box {\textbf {H}}=\lambda {\textbf {H}}\)

  • Luis J. Alías,
  • S. Carolina García-Martínez,
  • H. Fabián Ramírez-Ospina

摘要

Let \(M^3\) M 3 be a hypersurface immersed into the 4-dimensional Euclidean sphere \(\mathbb {S}^4\subset \mathbb {R}^5\) S 4 R 5 and denote by \({\textbf {H}}\) H its mean curvature vector field in \(\mathbb {R}^5\) R 5 . This paper locally classifies those hypersurfaces that satisfy the condition \(\Box {\textbf {H}}=\lambda {\textbf {H}}\) H = λ H with \(\lambda \in \mathbb {R}\) λ R , where \(\Box \) denotes the Cheng-Yau operator of the hypersurface. In particular, we prove that (open pieces of) totally geodesic great 3-spheres \(\mathbb {S}^3\subset \mathbb {S}^4\) S 3 S 4 are the only hypersurfaces in \(\mathbb {S}^4\) S 4 which satisfy the condition \(\Box {\textbf {H}}={\textbf {0}}\) H = 0 . We also obtain that (open pieces of) totally umbilical small 3-spheres \(\mathbb {S}^3(r)\subset \mathbb {S}^4\) S 3 ( r ) S 4 , \(0<r<1\) 0 < r < 1 , and the Clifford torus \(\mathbb {S}^2(\sqrt{1/3})\times \mathbb {S}^1(\sqrt{2/3})\subset \mathbb {S}^4\) S 2 ( 1 / 3 ) × S 1 ( 2 / 3 ) S 4 are the only hypersurfaces in \(\mathbb {S}^4\) S 4 which satisfy the condition \(\Box {\textbf {H}}=\lambda {\textbf {H}}\) H = λ H for a real number \(\lambda \ne 0\) λ 0 . This characterizes the Clifford torus \(\mathbb {S}^2(\sqrt{1/3})\times \mathbb {S}^1(\sqrt{2/3})\subset \mathbb {S}^4\) S 2 ( 1 / 3 ) × S 1 ( 2 / 3 ) S 4 as the only non-trivial hypersurface in \(\mathbb {S}^4\) S 4 with \(\Box {\textbf {H}}=\lambda {\textbf {H}}\) H = λ H for a real number \(\lambda \) λ .