<p>Morse functions on a closed manifold <i>M</i> need not realize the minimal number of critical points of smooth functions on <i>M</i> since several critical points often may be fused into a single degenerate one. We study conditions under which critical points of smooth functions on a manifold <i>M</i> of dimension 3 can be fused. We say that a function <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(f:M\rightarrow [a, c]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>:</mo> <mi>M</mi> <mo stretchy="false">→</mo> <mo stretchy="false">[</mo> <mi>a</mi> <mo>,</mo> <mi>c</mi> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation> on a compact manifold is regular if the boundary of <i>M</i> is the union of <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(f^{-1}(a)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>f</mi> <mrow> <mo>-</mo> <mn>1</mn> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <mi>a</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(f^{-1}(c)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>f</mi> <mrow> <mo>-</mo> <mn>1</mn> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <mi>c</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, and <i>f</i> has no critical points on <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\partial M\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>∂</mi> <mi>M</mi> </mrow> </math></EquationSource> </InlineEquation>. We prove that if <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(f^{-1}(a)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>f</mi> <mrow> <mo>-</mo> <mn>1</mn> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <mi>a</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is a sphere and <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(f^{-1}(c)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>f</mi> <mrow> <mo>-</mo> <mn>1</mn> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <mi>c</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is a non-empty surface, then the Conley index is a complete obstruction to fusing critical points of a regular function. On the other hand, we prove that the Conley index is not a complete obstruction to fusing critical points if, for example, <i>M</i> is <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(F_{0,3}\times S^1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>F</mi> <mrow> <mn>0</mn> <mo>,</mo> <mn>3</mn> </mrow> </msub> <mo>×</mo> <msup> <mi>S</mi> <mn>1</mn> </msup> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(F_{0,3}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>F</mi> <mrow> <mn>0</mn> <mo>,</mo> <mn>3</mn> </mrow> </msub> </math></EquationSource> </InlineEquation> is a 2-sphere with the interior of three disjoint disks removed.</p>

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

Fusing critical points of smooth functions on manifolds of dimension 3

  • Rustam Sadykov

摘要

Morse functions on a closed manifold M need not realize the minimal number of critical points of smooth functions on M since several critical points often may be fused into a single degenerate one. We study conditions under which critical points of smooth functions on a manifold M of dimension 3 can be fused. We say that a function \(f:M\rightarrow [a, c]\) f : M [ a , c ] on a compact manifold is regular if the boundary of M is the union of \(f^{-1}(a)\) f - 1 ( a ) and \(f^{-1}(c)\) f - 1 ( c ) , and f has no critical points on \(\partial M\) M . We prove that if \(f^{-1}(a)\) f - 1 ( a ) is a sphere and \(f^{-1}(c)\) f - 1 ( c ) is a non-empty surface, then the Conley index is a complete obstruction to fusing critical points of a regular function. On the other hand, we prove that the Conley index is not a complete obstruction to fusing critical points if, for example, M is \(F_{0,3}\times S^1\) F 0 , 3 × S 1 , where \(F_{0,3}\) F 0 , 3 is a 2-sphere with the interior of three disjoint disks removed.