{"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":50417,"journal":{"name":"Glasgow Mathematical Journal","volume":"8 1","pages":""},"PeriodicalIF":0.5000,"publicationDate":"2024-01-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Glasgow Mathematical Journal","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1017/s0017089523000496","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"MATHEMATICS","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.
期刊介绍:
Glasgow Mathematical Journal publishes original research papers in any branch of pure and applied mathematics. An international journal, its policy is to feature a wide variety of research areas, which in recent issues have included ring theory, group theory, functional analysis, combinatorics, differential equations, differential geometry, number theory, algebraic topology, and the application of such methods in applied mathematics.
The journal has a web-based submission system for articles. For details of how to to upload your paper see GMJ - Online Submission Guidelines or go directly to the submission site.