<p>Let <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(F\hookrightarrow M{\mathop {\rightarrow }\limits ^{q\,}}M/F\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>F</mi> <mo stretchy="false">↪</mo> <mi>M</mi> <mover> <mo stretchy="false">→</mo> <mrow> <mi>q</mi> <mspace width="0.166667em" /> </mrow> </mover> <mi>M</mi> <mo stretchy="false">/</mo> <mi>F</mi> </mrow> </math></EquationSource> </InlineEquation> be a fibration, where <i>M</i> is a compact Lie group, <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(F\subset M\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>F</mi> <mo>⊂</mo> <mi>M</mi> </mrow> </math></EquationSource> </InlineEquation> is a closed subgroup and <i>M</i>/<i>F</i> is the homogeneous space of left cosets. Let <i>W</i> be an orientable, connected, closed manifold of the same dimension as <i>M</i>. Given maps <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(f,g:W\rightarrow M/F\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>,</mo> <mi>g</mi> <mo>:</mo> <mi>W</mi> <mo stretchy="false">→</mo> <mi>M</mi> <mo stretchy="false">/</mo> <mi>F</mi> </mrow> </math></EquationSource> </InlineEquation> that lift through <i>q</i>, we establish a comparison between the ranks of the <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\check{\textrm{C}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mover accent="true"> <mtext>C</mtext> <mo stretchy="false">ˇ</mo> </mover> </math></EquationSource> </InlineEquation>ech cohomology groups of the fiber <i>F</i> and those of the coincidence set <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\textrm{Coin}(f,g)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>Coin</mtext> <mo stretchy="false">(</mo> <mi>f</mi> <mo>,</mo> <mi>g</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. As a consequence, we show that for any maps <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(f_1\simeq f\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>f</mi> <mn>1</mn> </msub> <mo>≃</mo> <mi>f</mi> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(g_1\simeq g\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>g</mi> <mn>1</mn> </msub> <mo>≃</mo> <mi>g</mi> </mrow> </math></EquationSource> </InlineEquation>, the coincidence set <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\textrm{Coin}(f_1,g_1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>Coin</mtext> <mo stretchy="false">(</mo> <msub> <mi>f</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>g</mi> <mn>1</mn> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> cannot be a proper subset of any embedded copy of <i>F</i> within <i>W</i>, unless it is empty. We then apply this result to describe minimal coincidence sets for any pairs of maps from either <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(S^3\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>S</mi> <mn>3</mn> </msup> </math></EquationSource> </InlineEquation> or <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\mathbb {R}\textrm{P}^3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="double-struck">R</mi> <msup> <mtext>P</mtext> <mn>3</mn> </msup> </mrow> </math></EquationSource> </InlineEquation> into either <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(S^2\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>S</mi> <mn>2</mn> </msup> </math></EquationSource> </InlineEquation> or <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\mathbb {R}\textrm{P}^2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="double-struck">R</mi> <msup> <mtext>P</mtext> <mn>2</mn> </msup> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

On the coincidence set of certain maps into homogeneous spaces of compact Lie groups

  • Marcio Colombo Fenille,
  • Daciberg Lima Gonçalves

摘要

Let \(F\hookrightarrow M{\mathop {\rightarrow }\limits ^{q\,}}M/F\) F M q M / F be a fibration, where M is a compact Lie group, \(F\subset M\) F M is a closed subgroup and M/F is the homogeneous space of left cosets. Let W be an orientable, connected, closed manifold of the same dimension as M. Given maps \(f,g:W\rightarrow M/F\) f , g : W M / F that lift through q, we establish a comparison between the ranks of the \(\check{\textrm{C}}\) C ˇ ech cohomology groups of the fiber F and those of the coincidence set \(\textrm{Coin}(f,g)\) Coin ( f , g ) . As a consequence, we show that for any maps \(f_1\simeq f\) f 1 f and \(g_1\simeq g\) g 1 g , the coincidence set \(\textrm{Coin}(f_1,g_1)\) Coin ( f 1 , g 1 ) cannot be a proper subset of any embedded copy of F within W, unless it is empty. We then apply this result to describe minimal coincidence sets for any pairs of maps from either \(S^3\) S 3 or \(\mathbb {R}\textrm{P}^3\) R P 3 into either \(S^2\) S 2 or \(\mathbb {R}\textrm{P}^2\) R P 2 .