<p>We extend the classical theory of homotopical <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\Sigma\)</EquationSource> </InlineEquation>-sets&#xa0;<InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\Sigma ^n\)</EquationSource> </InlineEquation> developed by Bieri, Neumann, Renz and Strebel for abstract groups, to <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\Sigma\)</EquationSource> </InlineEquation>-sets&#xa0;<InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\Sigma _\textrm{top}^n\)</EquationSource> </InlineEquation> for locally compact Hausdorff groups. Given such a group&#xa0;<i>G</i>, our <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\Sigma _\textrm{top}^n(G)\)</EquationSource> </InlineEquation> are sets of continuous homomorphisms <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(G \rightarrow \mathbb {R}\)</EquationSource> </InlineEquation> (“characters”). They match the classical <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\Sigma\)</EquationSource> </InlineEquation>-sets <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\Sigma ^n(G)\)</EquationSource> </InlineEquation> if <i>G</i>&#xa0;is discrete, and refine the homotopical compactness properties&#xa0;<InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\mathrm C_n\)</EquationSource> </InlineEquation> of Abels and Tiemeyer. Moreover, our theory recovers the definition of <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\Sigma _\textrm{top}^1\)</EquationSource> </InlineEquation>&#xa0;and&#xa0;<InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\Sigma _\textrm{top}^2\)</EquationSource> </InlineEquation> proposed by Kochloukova. Besides presenting various characterizations of <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\Sigma _\textrm{top}^n\)</EquationSource> </InlineEquation> (particularly for <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(n\in \{1,2\}\)</EquationSource> </InlineEquation>), we show that characters in <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(\Sigma _\textrm{top}^n(G)\)</EquationSource> </InlineEquation> are also in <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(\Sigma _\textrm{top}^n(H)\)</EquationSource> </InlineEquation> if <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(H\le G\)</EquationSource> </InlineEquation> is a closed cocompact subgroup, and we generalize several classical results. Namely, we prove that the set of nonzero elements of <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(\Sigma _\textrm{top}^n(G)\)</EquationSource> </InlineEquation> is open, we prove that characters in a group of type&#xa0;<InlineEquation ID="IEq18"> <EquationSource Format="TEX">\(\mathrm C_n\)</EquationSource> </InlineEquation> that do not vanish on the center always lie in&#xa0;<InlineEquation ID="IEq19"> <EquationSource Format="TEX">\(\Sigma _\textrm{top}^n(G)\)</EquationSource> </InlineEquation>, and we relate the <InlineEquation ID="IEq20"> <EquationSource Format="TEX">\(\Sigma\)</EquationSource> </InlineEquation>-sets of a group with those of its quotients by closed subgroups of type&#xa0;<InlineEquation ID="IEq21"> <EquationSource Format="TEX">\(\mathrm C_n\)</EquationSource> </InlineEquation>. Lastly, we describe how <InlineEquation ID="IEq22"> <EquationSource Format="TEX">\(\Sigma _\textrm{top}^n(G)\)</EquationSource> </InlineEquation> governs whether a closed normal subgroup with abelian quotient is of type&#xa0;<InlineEquation ID="IEq23"> <EquationSource Format="TEX">\(\mathrm C_n\)</EquationSource> </InlineEquation>, generalizing one of the highlights of the classical theory.</p>

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

Geometric Invariants of Locally Compact Groups: The Homotopical Perspective

  • Kai-Uwe Bux,
  • Elisa Hartmann,
  • José Pedro Quintanilha

摘要

We extend the classical theory of homotopical \(\Sigma\) -sets  \(\Sigma ^n\) developed by Bieri, Neumann, Renz and Strebel for abstract groups, to \(\Sigma\) -sets  \(\Sigma _\textrm{top}^n\) for locally compact Hausdorff groups. Given such a group G, our \(\Sigma _\textrm{top}^n(G)\) are sets of continuous homomorphisms \(G \rightarrow \mathbb {R}\) (“characters”). They match the classical \(\Sigma\) -sets \(\Sigma ^n(G)\) if G is discrete, and refine the homotopical compactness properties  \(\mathrm C_n\) of Abels and Tiemeyer. Moreover, our theory recovers the definition of \(\Sigma _\textrm{top}^1\)  and  \(\Sigma _\textrm{top}^2\) proposed by Kochloukova. Besides presenting various characterizations of \(\Sigma _\textrm{top}^n\) (particularly for \(n\in \{1,2\}\) ), we show that characters in \(\Sigma _\textrm{top}^n(G)\) are also in \(\Sigma _\textrm{top}^n(H)\) if \(H\le G\) is a closed cocompact subgroup, and we generalize several classical results. Namely, we prove that the set of nonzero elements of \(\Sigma _\textrm{top}^n(G)\) is open, we prove that characters in a group of type  \(\mathrm C_n\) that do not vanish on the center always lie in  \(\Sigma _\textrm{top}^n(G)\) , and we relate the \(\Sigma\) -sets of a group with those of its quotients by closed subgroups of type  \(\mathrm C_n\) . Lastly, we describe how \(\Sigma _\textrm{top}^n(G)\) governs whether a closed normal subgroup with abelian quotient is of type  \(\mathrm C_n\) , generalizing one of the highlights of the classical theory.