<p>We say that a <i>cubical 2-knot</i> <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_765_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\(K^{2}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>K</mi> <mn>2</mn> </msup> </math></EquationSource> </InlineEquation> is an embedding of the 2-sphere in the 2-skeleton of the canonical cubulation of <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_765_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {R}^4\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>4</mn> </msup> </math></EquationSource> </InlineEquation>; in particular, <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_765_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\(K^{2}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>K</mi> <mn>2</mn> </msup> </math></EquationSource> </InlineEquation> is the union of <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_765_Article_IEq4.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="51" /> </InlineMediaObject> <EquationSource Format="TEX">\(m(K^{2})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>m</mi> <mo stretchy="false">(</mo> <msup> <mi>K</mi> <mn>2</mn> </msup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> unit squares, hence <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_765_Article_IEq4.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="51" /> </InlineMediaObject> <EquationSource Format="TEX">\(m(K^{2})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>m</mi> <mo stretchy="false">(</mo> <msup> <mi>K</mi> <mn>2</mn> </msup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is its area. The following natural question arises: Which is the smallest area of a cubical 2-knot to be knotted? In this paper, we prove that if the area of a cubical 2-knot <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_765_Article_IEq6.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\(K^2\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>K</mi> <mn>2</mn> </msup> </math></EquationSource> </InlineEquation> is smaller than 48, then <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_765_Article_IEq6.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\(K^2\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>K</mi> <mn>2</mn> </msup> </math></EquationSource> </InlineEquation> is unknotted. To do that, we define a new curvature called positive total curvature, which in this sense, is a generalization of the total curvature for polygonal curves given by Milnor (Ann Math 53(2):248–257, 1950).</p>

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

The total curvature and area of cubical 2-knots

  • Juan José Catalán,
  • Gabriela Hinojosa

摘要

We say that a cubical 2-knot \(K^{2}\) K 2 is an embedding of the 2-sphere in the 2-skeleton of the canonical cubulation of \(\mathbb {R}^4\) R 4 ; in particular, \(K^{2}\) K 2 is the union of \(m(K^{2})\) m ( K 2 ) unit squares, hence \(m(K^{2})\) m ( K 2 ) is its area. The following natural question arises: Which is the smallest area of a cubical 2-knot to be knotted? In this paper, we prove that if the area of a cubical 2-knot \(K^2\) K 2 is smaller than 48, then \(K^2\) K 2 is unknotted. To do that, we define a new curvature called positive total curvature, which in this sense, is a generalization of the total curvature for polygonal curves given by Milnor (Ann Math 53(2):248–257, 1950).