{"title":"Heegaard genus, degree-one maps, and amalgamation of 3-manifolds","authors":"Tao Li","doi":"10.1112/topo.12253","DOIUrl":null,"url":null,"abstract":"<p>Let <math>\n <semantics>\n <mrow>\n <mi>M</mi>\n <mo>=</mo>\n <mi>W</mi>\n <msub>\n <mo>∪</mo>\n <mi>T</mi>\n </msub>\n <mi>V</mi>\n </mrow>\n <annotation>$M=\\mathcal {W}\\cup _\\mathcal {T} \\mathcal {V}$</annotation>\n </semantics></math> be an amalgamation of two compact 3-manifolds along a torus, where <math>\n <semantics>\n <mi>W</mi>\n <annotation>$\\mathcal {W}$</annotation>\n </semantics></math> is the exterior of a knot in a homology sphere. Let <math>\n <semantics>\n <mi>N</mi>\n <annotation>$N$</annotation>\n </semantics></math> be the manifold obtained by replacing <math>\n <semantics>\n <mi>W</mi>\n <annotation>$\\mathcal {W}$</annotation>\n </semantics></math> with a solid torus such that the boundary of a Seifert surface in <math>\n <semantics>\n <mi>W</mi>\n <annotation>$\\mathcal {W}$</annotation>\n </semantics></math> is a meridian of the solid torus. This means that there is a degree-one map <math>\n <semantics>\n <mrow>\n <mi>f</mi>\n <mo>:</mo>\n <mi>M</mi>\n <mo>→</mo>\n <mi>N</mi>\n </mrow>\n <annotation>$f\\colon M\\rightarrow N$</annotation>\n </semantics></math>, pinching <math>\n <semantics>\n <mi>W</mi>\n <annotation>$\\mathcal {W}$</annotation>\n </semantics></math> into a solid torus while fixing <math>\n <semantics>\n <mi>V</mi>\n <annotation>$\\mathcal {V}$</annotation>\n </semantics></math>. We prove that <math>\n <semantics>\n <mrow>\n <mi>g</mi>\n <mo>(</mo>\n <mi>M</mi>\n <mo>)</mo>\n <mo>⩾</mo>\n <mi>g</mi>\n <mo>(</mo>\n <mi>N</mi>\n <mo>)</mo>\n </mrow>\n <annotation>$g(M)\\geqslant g(N)$</annotation>\n </semantics></math>, where <math>\n <semantics>\n <mrow>\n <mi>g</mi>\n <mo>(</mo>\n <mi>M</mi>\n <mo>)</mo>\n </mrow>\n <annotation>$g(M)$</annotation>\n </semantics></math> denotes the Heegaard genus. An immediate corollary is that the tunnel number of a satellite knot is at least as large as the tunnel number of its pattern knot.</p>","PeriodicalId":0,"journal":{"name":"","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2022-07-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"","FirstCategoryId":"100","ListUrlMain":"https://onlinelibrary.wiley.com/doi/10.1112/topo.12253","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
Let be an amalgamation of two compact 3-manifolds along a torus, where is the exterior of a knot in a homology sphere. Let be the manifold obtained by replacing with a solid torus such that the boundary of a Seifert surface in is a meridian of the solid torus. This means that there is a degree-one map , pinching into a solid torus while fixing . We prove that , where denotes the Heegaard genus. An immediate corollary is that the tunnel number of a satellite knot is at least as large as the tunnel number of its pattern knot.