<p>For a locally compact group <i>G</i>, the Chabauty space <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\({\mathcal {S\hspace{-0.5pt}U\hspace{-0.9pt}B}}\hspace{-0.6pt}\left( G\right) \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mi mathvariant="script">S</mi> <mspace width="-0.5pt" /> <mi mathvariant="script">U</mi> <mspace width="-0.9pt" /> <mi mathvariant="script">B</mi> </mrow> <mspace width="-0.6pt" /> <mfenced close=")" open="("> <mi>G</mi> </mfenced> </mrow> </math></EquationSource> </InlineEquation> of closed subgroups is a compact Hausdorff space. Although <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\({\mathcal {S\hspace{-0.5pt}U\hspace{-0.9pt}B}}\hspace{-0.6pt}\left( H\right) \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mi mathvariant="script">S</mi> <mspace width="-0.5pt" /> <mi mathvariant="script">U</mi> <mspace width="-0.9pt" /> <mi mathvariant="script">B</mi> </mrow> <mspace width="-0.6pt" /> <mfenced close=")" open="("> <mi>H</mi> </mfenced> </mrow> </math></EquationSource> </InlineEquation> is always a closed subspace of <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\({\mathcal {S\hspace{-0.5pt}U\hspace{-0.9pt}B}}\hspace{-0.6pt}\left( G\right) \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mi mathvariant="script">S</mi> <mspace width="-0.5pt" /> <mi mathvariant="script">U</mi> <mspace width="-0.9pt" /> <mi mathvariant="script">B</mi> </mrow> <mspace width="-0.6pt" /> <mfenced close=")" open="("> <mi>G</mi> </mfenced> </mrow> </math></EquationSource> </InlineEquation> for every closed subgroup <i>H</i> of <i>G</i>, it is not necessarily open. Understanding when <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\({\mathcal {S\hspace{-0.5pt}U\hspace{-0.9pt}B}}\hspace{-0.6pt}\left( H\right) \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mi mathvariant="script">S</mi> <mspace width="-0.5pt" /> <mi mathvariant="script">U</mi> <mspace width="-0.9pt" /> <mi mathvariant="script">B</mi> </mrow> <mspace width="-0.6pt" /> <mfenced close=")" open="("> <mi>H</mi> </mfenced> </mrow> </math></EquationSource> </InlineEquation> is open provides insight into the topological and algebraic structure of <i>H</i> and its interaction with <i>G</i>. In this paper, we investigate closed subgroups with open Chabauty subspaces and introduce the class <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\mathcal {T}\!\left( G\right) \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">T</mi> <mspace width="-0.166667em" /> <mfenced close=")" open="("> <mi>G</mi> </mfenced> </mrow> </math></EquationSource> </InlineEquation> of such subgroups. Our first main theorem establishes a criterion relating open morphisms and Chabauty openness: for a continuous morphism <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\varphi :G\rightarrow H\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>φ</mi> <mo>:</mo> <mi>G</mi> <mo stretchy="false">→</mo> <mi>H</mi> </mrow> </math></EquationSource> </InlineEquation> with <i>G</i>,&#xa0;<i>H</i> compact groups, the induced map <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\varphi _*:{\mathcal {S\hspace{-0.5pt}U\hspace{-0.9pt}B}}\hspace{-0.6pt}\left( G\right) \rightarrow {\mathcal {S\hspace{-0.5pt}U\hspace{-0.9pt}B}}\hspace{-0.6pt}\left( H\right) \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mmultiscripts> <mi>φ</mi> <mrow> <mrow /> <mo>∗</mo> </mrow> <mrow /> </mmultiscripts> <mo>:</mo> <mrow> <mi mathvariant="script">S</mi> <mspace width="-0.5pt" /> <mi mathvariant="script">U</mi> <mspace width="-0.9pt" /> <mi mathvariant="script">B</mi> </mrow> <mspace width="-0.6pt" /> <mfenced close=")" open="("> <mi>G</mi> </mfenced> <mo stretchy="false">→</mo> <mrow> <mi mathvariant="script">S</mi> <mspace width="-0.5pt" /> <mi mathvariant="script">U</mi> <mspace width="-0.9pt" /> <mi mathvariant="script">B</mi> </mrow> <mspace width="-0.6pt" /> <mfenced close=")" open="("> <mi>H</mi> </mfenced> </mrow> </math></EquationSource> </InlineEquation>, defined by <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(L\mapsto \varphi (L)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>L</mi> <mo>↦</mo> <mi>φ</mi> <mo stretchy="false">(</mo> <mi>L</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, is open if and only if <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\varphi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>φ</mi> </math></EquationSource> </InlineEquation> is open, provided that <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(H_0\subseteq \varphi (G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>H</mi> <mn>0</mn> </msub> <mo>⊆</mo> <mi>φ</mi> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. We also study isolated points of <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\({\mathcal {S\hspace{-0.5pt}U\hspace{-0.9pt}B}}\hspace{-0.6pt}\left( G\right) \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mi mathvariant="script">S</mi> <mspace width="-0.5pt" /> <mi mathvariant="script">U</mi> <mspace width="-0.9pt" /> <mi mathvariant="script">B</mi> </mrow> <mspace width="-0.6pt" /> <mfenced close=")" open="("> <mi>G</mi> </mfenced> </mrow> </math></EquationSource> </InlineEquation> when <i>G</i> is compact. We prove that a closed subgroup <i>H</i> is isolated in <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\({\mathcal {S\hspace{-0.5pt}U\hspace{-0.9pt}B}}\hspace{-0.6pt}\left( G\right) \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mi mathvariant="script">S</mi> <mspace width="-0.5pt" /> <mi mathvariant="script">U</mi> <mspace width="-0.9pt" /> <mi mathvariant="script">B</mi> </mrow> <mspace width="-0.6pt" /> <mfenced close=")" open="("> <mi>G</mi> </mfenced> </mrow> </math></EquationSource> </InlineEquation> precisely when it is strongly finitely generated and belongs to <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\mathcal {T}\!\left( G\right) \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">T</mi> <mspace width="-0.166667em" /> <mfenced close=")" open="("> <mi>G</mi> </mfenced> </mrow> </math></EquationSource> </InlineEquation>. This result generalizes previous work on discrete and profinite groups and yields a complete characterization in compact groups.</p>

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

On the Space of Closed Subgroups of a Locally Compact Group

  • Zouhour Jlali

摘要

For a locally compact group G, the Chabauty space \({\mathcal {S\hspace{-0.5pt}U\hspace{-0.9pt}B}}\hspace{-0.6pt}\left( G\right) \) S U B G of closed subgroups is a compact Hausdorff space. Although \({\mathcal {S\hspace{-0.5pt}U\hspace{-0.9pt}B}}\hspace{-0.6pt}\left( H\right) \) S U B H is always a closed subspace of \({\mathcal {S\hspace{-0.5pt}U\hspace{-0.9pt}B}}\hspace{-0.6pt}\left( G\right) \) S U B G for every closed subgroup H of G, it is not necessarily open. Understanding when \({\mathcal {S\hspace{-0.5pt}U\hspace{-0.9pt}B}}\hspace{-0.6pt}\left( H\right) \) S U B H is open provides insight into the topological and algebraic structure of H and its interaction with G. In this paper, we investigate closed subgroups with open Chabauty subspaces and introduce the class \(\mathcal {T}\!\left( G\right) \) T G of such subgroups. Our first main theorem establishes a criterion relating open morphisms and Chabauty openness: for a continuous morphism \(\varphi :G\rightarrow H\) φ : G H with GH compact groups, the induced map \(\varphi _*:{\mathcal {S\hspace{-0.5pt}U\hspace{-0.9pt}B}}\hspace{-0.6pt}\left( G\right) \rightarrow {\mathcal {S\hspace{-0.5pt}U\hspace{-0.9pt}B}}\hspace{-0.6pt}\left( H\right) \) φ : S U B G S U B H , defined by \(L\mapsto \varphi (L)\) L φ ( L ) , is open if and only if \(\varphi \) φ is open, provided that \(H_0\subseteq \varphi (G)\) H 0 φ ( G ) . We also study isolated points of \({\mathcal {S\hspace{-0.5pt}U\hspace{-0.9pt}B}}\hspace{-0.6pt}\left( G\right) \) S U B G when G is compact. We prove that a closed subgroup H is isolated in \({\mathcal {S\hspace{-0.5pt}U\hspace{-0.9pt}B}}\hspace{-0.6pt}\left( G\right) \) S U B G precisely when it is strongly finitely generated and belongs to \(\mathcal {T}\!\left( G\right) \) T G . This result generalizes previous work on discrete and profinite groups and yields a complete characterization in compact groups.