<p>We introduce a 4-dimensional analogue of the rational Seifert genus of a knot <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(K\subset Y\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>K</mi> <mo>⊂</mo> <mi>Y</mi> </mrow> </math></EquationSource> </InlineEquation>, which we call the <i>rational slice genus</i>, that measures the complexity of a homology class in <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(H_2(Y\times [0,1],K;\mathbb {Q})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>H</mi> <mn>2</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>Y</mi> <mo>×</mo> <mrow> <mo stretchy="false">[</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">]</mo> </mrow> <mo>,</mo> <mi>K</mi> <mo>;</mo> <mi mathvariant="double-struck">Q</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. Our main theorem is a lower bound for the rational slice genus of a knot in terms of its Heegaard Floer <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\tau \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>τ</mi> </math></EquationSource> </InlineEquation> invariants. To prove this, we bound the <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\tau \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>τ</mi> </math></EquationSource> </InlineEquation> invariants of any satellite link whose pattern is a closed braid in terms of the <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\tau \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>τ</mi> </math></EquationSource> </InlineEquation> invariants of the companion knot, a result which should be of independent value. Our techniques also produce rational PL slice genus bounds. As applications, we use our bounds to prove that Floer simple knots have rational slice genus equal to their rational Seifert genus. We also show that there exist sequences of knots in a fixed 3-manifold whose PL slice genus is unbounded. In addition, we produce stronger bounds for the slice genus of knots relative to the rational longitude, and use these to produce a rational slice-Bennequin bound for knots in contact manifolds with non-trivial contact invariant.</p>

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

A 4-dimensional rational genus bound

  • Matthew Hedden,
  • Katherine Raoux

摘要

We introduce a 4-dimensional analogue of the rational Seifert genus of a knot \(K\subset Y\) K Y , which we call the rational slice genus, that measures the complexity of a homology class in \(H_2(Y\times [0,1],K;\mathbb {Q})\) H 2 ( Y × [ 0 , 1 ] , K ; Q ) . Our main theorem is a lower bound for the rational slice genus of a knot in terms of its Heegaard Floer \(\tau \) τ invariants. To prove this, we bound the \(\tau \) τ invariants of any satellite link whose pattern is a closed braid in terms of the \(\tau \) τ invariants of the companion knot, a result which should be of independent value. Our techniques also produce rational PL slice genus bounds. As applications, we use our bounds to prove that Floer simple knots have rational slice genus equal to their rational Seifert genus. We also show that there exist sequences of knots in a fixed 3-manifold whose PL slice genus is unbounded. In addition, we produce stronger bounds for the slice genus of knots relative to the rational longitude, and use these to produce a rational slice-Bennequin bound for knots in contact manifolds with non-trivial contact invariant.