{"title":"Classifying spaces for families of abelian subgroups of braid groups, RAAGs and graphs of abelian groups","authors":"Porfirio L. León Álvarez","doi":"10.1017/s0017089523000496","DOIUrl":null,"url":null,"abstract":"<p>Given a group <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240110064323589-0660:S0017089523000496:S0017089523000496_inline1.png\"><span data-mathjax-type=\"texmath\"><span>$G$</span></span></img></span></span> and an integer <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240110064323589-0660:S0017089523000496:S0017089523000496_inline2.png\"><span data-mathjax-type=\"texmath\"><span>$n\\geq 0$</span></span></img></span></span>, we consider the family <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240110064323589-0660:S0017089523000496:S0017089523000496_inline3.png\"><span data-mathjax-type=\"texmath\"><span>${\\mathcal F}_n$</span></span></img></span></span> of all virtually abelian subgroups of <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240110064323589-0660:S0017089523000496:S0017089523000496_inline4.png\"><span data-mathjax-type=\"texmath\"><span>$G$</span></span></img></span></span> of <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240110064323589-0660:S0017089523000496:S0017089523000496_inline5.png\"><span data-mathjax-type=\"texmath\"><span>$\\textrm{rank}$</span></span></img></span></span> at most <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240110064323589-0660:S0017089523000496:S0017089523000496_inline6.png\"><span data-mathjax-type=\"texmath\"><span>$n$</span></span></img></span></span>. In this article, we prove that for each <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240110064323589-0660:S0017089523000496:S0017089523000496_inline7.png\"><span data-mathjax-type=\"texmath\"><span>$n\\ge 2$</span></span></img></span></span> the Bredon cohomology, with respect to the family <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240110064323589-0660:S0017089523000496:S0017089523000496_inline8.png\"><span data-mathjax-type=\"texmath\"><span>${\\mathcal F}_n$</span></span></img></span></span>, of a free abelian group with <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240110064323589-0660:S0017089523000496:S0017089523000496_inline9.png\"><span data-mathjax-type=\"texmath\"><span>$\\textrm{rank}$</span></span></img></span></span> <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240110064323589-0660:S0017089523000496:S0017089523000496_inline10.png\"/><span data-mathjax-type=\"texmath\"><span>$k \\gt n$</span></span></span></span> is nontrivial in dimension <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240110064323589-0660:S0017089523000496:S0017089523000496_inline11.png\"/><span data-mathjax-type=\"texmath\"><span>$k+n$</span></span></span></span>; this answers a question of Corob Cook et al. (Homology Homotopy Appl. <span>19</span>(2) (2017), 83–87, Question 2.7). As an application, we compute the minimal dimension of a classifying space for the family <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240110064323589-0660:S0017089523000496:S0017089523000496_inline12.png\"/><span data-mathjax-type=\"texmath\"><span>${\\mathcal F}_n$</span></span></span></span> for braid groups, right-angled Artin groups, and graphs of groups whose vertex groups are infinite finitely generated virtually abelian groups, for all <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240110064323589-0660:S0017089523000496:S0017089523000496_inline13.png\"/><span data-mathjax-type=\"texmath\"><span>$n\\ge 2$</span></span></span></span>. The main tools that we use are the Mayer–Vietoris sequence for Bredon cohomology, Bass–Serre theory, and the Lück–Weiermann construction.</p>","PeriodicalId":0,"journal":{"name":"","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-01-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1017/s0017089523000496","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
Given a group $G$ and an integer $n\geq 0$, we consider the family ${\mathcal F}_n$ of all virtually abelian subgroups of $G$ of $\textrm{rank}$ at most $n$. In this article, we prove that for each $n\ge 2$ the Bredon cohomology, with respect to the family ${\mathcal F}_n$, of a free abelian group with $\textrm{rank}$$k \gt n$ is nontrivial in dimension $k+n$; this answers a question of Corob Cook et al. (Homology Homotopy Appl. 19(2) (2017), 83–87, Question 2.7). As an application, we compute the minimal dimension of a classifying space for the family ${\mathcal F}_n$ for braid groups, right-angled Artin groups, and graphs of groups whose vertex groups are infinite finitely generated virtually abelian groups, for all $n\ge 2$. The main tools that we use are the Mayer–Vietoris sequence for Bredon cohomology, Bass–Serre theory, and the Lück–Weiermann construction.