<p>It is shown that a Stallings–Swan theorem holds in a totally disconnected locally compact (=&#xa0;t.d.l.c.) context (cf.&#xa0;Theorem&#xa0;B). More precisely, a compactly generated <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3116_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="28" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal{C}\mathcal{O}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">C</mi> <mi mathvariant="script">O</mi> </mrow> </math></EquationSource> </InlineEquation>-bounded t.d.l.c.&#xa0;group <i>G</i> of rational discrete cohomological dimension less than or equal to 1 must be isomorphic to the fundamental group of a finite graph of profinite groups. This result generalises Dunwoody’s rational version of the classical Stallings–Swan theorem to t.d.l.c.&#xa0;groups. The proof of Theorem&#xa0;B is based on the fact that a compactly generated unimodular t.d.l.c.&#xa0;group with rational discrete cohomological dimension 1 has necessarily non-positive Euler–Poincaré characteristic (cf.&#xa0;Theorem&#xa0;H).</p>

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

Unimodular totally disconnected locally compact groups of rational discrete cohomological dimension one

  • Ilaria Castellano,
  • Bianca Marchionna,
  • Thomas Weigel

摘要

It is shown that a Stallings–Swan theorem holds in a totally disconnected locally compact (= t.d.l.c.) context (cf. Theorem B). More precisely, a compactly generated \({\mathcal{C}\mathcal{O}}\) C O -bounded t.d.l.c. group G of rational discrete cohomological dimension less than or equal to 1 must be isomorphic to the fundamental group of a finite graph of profinite groups. This result generalises Dunwoody’s rational version of the classical Stallings–Swan theorem to t.d.l.c. groups. The proof of Theorem B is based on the fact that a compactly generated unimodular t.d.l.c. group with rational discrete cohomological dimension 1 has necessarily non-positive Euler–Poincaré characteristic (cf. Theorem H).