<p>Let <i>G</i> be a topological group and let <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="31_2025_9903_Article_IEq1.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="75" /> </InlineMediaObject> <EquationSource Format="TEX">\(K,L\subseteq G\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>K</mi> <mo>,</mo> <mi>L</mi> <mo>⊆</mo> <mi>G</mi> </mrow> </math></EquationSource> </InlineEquation> be closed subgroups, with <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="31_2025_9903_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="55" /> </InlineMediaObject> <EquationSource Format="TEX">\(K\subseteq L\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>K</mi> <mo>⊆</mo> <mi>L</mi> </mrow> </math></EquationSource> </InlineEquation>. We prove that if <i>L</i> is a locally compact pro-Lie group, then the map <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="31_2025_9903_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="125" /> </InlineMediaObject> <EquationSource Format="TEX">\(q:G/K\rightarrow G/L\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>q</mi> <mo>:</mo> <mi>G</mi> <mo stretchy="false">/</mo> <mi>K</mi> <mo stretchy="false">→</mo> <mi>G</mi> <mo stretchy="false">/</mo> <mi>L</mi> </mrow> </math></EquationSource> </InlineEquation> is a Serre fibration, and a Hurewicz fibration if <i>G</i> is paracompact. As an application of this, we obtain two older results by Skljarenko, Madison and Mostert.</p>

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

Fibrations and Coset Spaces for Locally Compact Groups

  • Linus Kramer,
  • Raquel Murat García

摘要

Let G be a topological group and let \(K,L\subseteq G\) K , L G be closed subgroups, with \(K\subseteq L\) K L . We prove that if L is a locally compact pro-Lie group, then the map \(q:G/K\rightarrow G/L\) q : G / K G / L is a Serre fibration, and a Hurewicz fibration if G is paracompact. As an application of this, we obtain two older results by Skljarenko, Madison and Mostert.