{"title":"辫状群无性子群族、RAAG 和无性群图的分类空间","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":"{\"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}","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}
Classifying spaces for families of abelian subgroups of braid groups, RAAGs and graphs of abelian groups
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.