<p>Let <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(F:(\mathbb {R}^M,0)\rightarrow (\mathbb {R}^N,0)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>F</mi> <mo>:</mo> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>M</mi> </msup> <mo>,</mo> <mn>0</mn> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">→</mo> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>N</mi> </msup> <mo>,</mo> <mn>0</mn> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(G:(\mathbb {R}^N,0) \rightarrow (\mathbb {R}^K,0)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>G</mi> <mo>:</mo> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>N</mi> </msup> <mo>,</mo> <mn>0</mn> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">→</mo> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>K</mi> </msup> <mo>,</mo> <mn>0</mn> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(M \ge N \ge K \ge 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>M</mi> <mo>≥</mo> <mi>N</mi> <mo>≥</mo> <mi>K</mi> <mo>≥</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, be non-constant real analytic map germs with isolated critical values. In this paper we study the topology of the Milnor tube fibrations of the map germs <i>F</i>, <i>G</i> and their composition <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(H = G\circ F\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>H</mi> <mo>=</mo> <mi>G</mi> <mo>∘</mo> <mi>F</mi> </mrow> </math></EquationSource> </InlineEquation>, under the tame condition. More precisely, we show that the Milnor fiber <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\mathcal {F}_H\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">F</mi> <mi>H</mi> </msub> </math></EquationSource> </InlineEquation> of <i>H</i> is homotopy equivalent to the product <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\mathcal {F}_F \times \mathcal {F}_G\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="script">F</mi> <mi>F</mi> </msub> <mo>×</mo> <msub> <mi mathvariant="script">F</mi> <mi>G</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> of the Milnor fibers of <i>F</i> and <i>G</i>, and that the boundary <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\partial \mathcal {F}_H\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>∂</mi> <msub> <mi mathvariant="script">F</mi> <mi>H</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> of <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\mathcal {F}_H\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">F</mi> <mi>H</mi> </msub> </math></EquationSource> </InlineEquation> is homotopy equivalent to <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\partial (\mathcal {F}_F \times \mathcal {F}_G) = (\partial \mathcal {F}_F \times \mathcal {F}_G) \cup (\mathcal {F}_F \times \partial \mathcal {F}_G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>∂</mi> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="script">F</mi> <mi>F</mi> </msub> <mo>×</mo> <msub> <mi mathvariant="script">F</mi> <mi>G</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mrow> <mo stretchy="false">(</mo> <mi>∂</mi> <msub> <mi mathvariant="script">F</mi> <mi>F</mi> </msub> <mo>×</mo> <msub> <mi mathvariant="script">F</mi> <mi>G</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mo>∪</mo> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="script">F</mi> <mi>F</mi> </msub> <mo>×</mo> <mi>∂</mi> <msub> <mi mathvariant="script">F</mi> <mi>G</mi> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. Furthermore, if each component of <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\partial (\mathcal {F}_F \times \mathcal {F}_G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>∂</mi> <mo stretchy="false">(</mo> <msub> <mi mathvariant="script">F</mi> <mi>F</mi> </msub> <mo>×</mo> <msub> <mi mathvariant="script">F</mi> <mi>G</mi> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is simply connected and <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(M - K \ge 6\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>M</mi> <mo>-</mo> <mi>K</mi> <mo>≥</mo> <mn>6</mn> </mrow> </math></EquationSource> </InlineEquation>, then the homotopy equivalences can be replaced by diffeomorphisms in the above statements.</p>

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

Milnor tube fibrations of composite map germs

  • Raimundo Araújo dos Santos,
  • Osamu Saeki

摘要

Let \(F:(\mathbb {R}^M,0)\rightarrow (\mathbb {R}^N,0)\) F : ( R M , 0 ) ( R N , 0 ) and \(G:(\mathbb {R}^N,0) \rightarrow (\mathbb {R}^K,0)\) G : ( R N , 0 ) ( R K , 0 ) , \(M \ge N \ge K \ge 2\) M N K 2 , be non-constant real analytic map germs with isolated critical values. In this paper we study the topology of the Milnor tube fibrations of the map germs F, G and their composition \(H = G\circ F\) H = G F , under the tame condition. More precisely, we show that the Milnor fiber \(\mathcal {F}_H\) F H of H is homotopy equivalent to the product \(\mathcal {F}_F \times \mathcal {F}_G\) F F × F G of the Milnor fibers of F and G, and that the boundary \(\partial \mathcal {F}_H\) F H of \(\mathcal {F}_H\) F H is homotopy equivalent to \(\partial (\mathcal {F}_F \times \mathcal {F}_G) = (\partial \mathcal {F}_F \times \mathcal {F}_G) \cup (\mathcal {F}_F \times \partial \mathcal {F}_G)\) ( F F × F G ) = ( F F × F G ) ( F F × F G ) . Furthermore, if each component of \(\partial (\mathcal {F}_F \times \mathcal {F}_G)\) ( F F × F G ) is simply connected and \(M - K \ge 6\) M - K 6 , then the homotopy equivalences can be replaced by diffeomorphisms in the above statements.