{"title":"好群的有限补全的有限子群","authors":"Marco Boggi, Pavel Zalesskii","doi":"10.1112/blms.13193","DOIUrl":null,"url":null,"abstract":"<p>Let <span></span><math>\n <semantics>\n <mi>G</mi>\n <annotation>$G$</annotation>\n </semantics></math> be a residually finite, good group of finite virtual cohomological dimension. We prove that the natural monomorphism <span></span><math>\n <semantics>\n <mrow>\n <mi>G</mi>\n <mo>↪</mo>\n <mover>\n <mi>G</mi>\n <mo>̂</mo>\n </mover>\n </mrow>\n <annotation>$G\\hookrightarrow {\\widehat{G}}$</annotation>\n </semantics></math> induces a bijective correspondence between conjugacy classes of finite <span></span><math>\n <semantics>\n <mi>p</mi>\n <annotation>$p$</annotation>\n </semantics></math>-subgroups of <span></span><math>\n <semantics>\n <mi>G</mi>\n <annotation>$G$</annotation>\n </semantics></math> and those of its profinite completion <span></span><math>\n <semantics>\n <mover>\n <mi>G</mi>\n <mo>̂</mo>\n </mover>\n <annotation>${\\widehat{G}}$</annotation>\n </semantics></math>. Moreover, we prove that the centralizers and normalizers in <span></span><math>\n <semantics>\n <mover>\n <mi>G</mi>\n <mo>̂</mo>\n </mover>\n <annotation>${\\widehat{G}}$</annotation>\n </semantics></math> of finite <span></span><math>\n <semantics>\n <mi>p</mi>\n <annotation>$p$</annotation>\n </semantics></math>-subgroups of <span></span><math>\n <semantics>\n <mi>G</mi>\n <annotation>$G$</annotation>\n </semantics></math> are the closures of the respective centralizers and normalizers in <span></span><math>\n <semantics>\n <mi>G</mi>\n <annotation>$G$</annotation>\n </semantics></math>. With somewhat more restrictive hypotheses, we prove the same results for finite solvable subgroups of <span></span><math>\n <semantics>\n <mi>G</mi>\n <annotation>$G$</annotation>\n </semantics></math>. In the last section, we give a few applications of this theorem to hyperelliptic mapping class groups and virtually compact special toral relatively hyperbolic groups (these include fundamental groups of 3-orbifolds and of uniform standard arithmetic hyperbolic orbifolds).</p>","PeriodicalId":55298,"journal":{"name":"Bulletin of the London Mathematical Society","volume":"57 1","pages":"236-255"},"PeriodicalIF":0.9000,"publicationDate":"2024-11-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Finite subgroups of the profinite completion of good groups\",\"authors\":\"Marco Boggi, Pavel Zalesskii\",\"doi\":\"10.1112/blms.13193\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>Let <span></span><math>\\n <semantics>\\n <mi>G</mi>\\n <annotation>$G$</annotation>\\n </semantics></math> be a residually finite, good group of finite virtual cohomological dimension. We prove that the natural monomorphism <span></span><math>\\n <semantics>\\n <mrow>\\n <mi>G</mi>\\n <mo>↪</mo>\\n <mover>\\n <mi>G</mi>\\n <mo>̂</mo>\\n </mover>\\n </mrow>\\n <annotation>$G\\\\hookrightarrow {\\\\widehat{G}}$</annotation>\\n </semantics></math> induces a bijective correspondence between conjugacy classes of finite <span></span><math>\\n <semantics>\\n <mi>p</mi>\\n <annotation>$p$</annotation>\\n </semantics></math>-subgroups of <span></span><math>\\n <semantics>\\n <mi>G</mi>\\n <annotation>$G$</annotation>\\n </semantics></math> and those of its profinite completion <span></span><math>\\n <semantics>\\n <mover>\\n <mi>G</mi>\\n <mo>̂</mo>\\n </mover>\\n <annotation>${\\\\widehat{G}}$</annotation>\\n </semantics></math>. Moreover, we prove that the centralizers and normalizers in <span></span><math>\\n <semantics>\\n <mover>\\n <mi>G</mi>\\n <mo>̂</mo>\\n </mover>\\n <annotation>${\\\\widehat{G}}$</annotation>\\n </semantics></math> of finite <span></span><math>\\n <semantics>\\n <mi>p</mi>\\n <annotation>$p$</annotation>\\n </semantics></math>-subgroups of <span></span><math>\\n <semantics>\\n <mi>G</mi>\\n <annotation>$G$</annotation>\\n </semantics></math> are the closures of the respective centralizers and normalizers in <span></span><math>\\n <semantics>\\n <mi>G</mi>\\n <annotation>$G$</annotation>\\n </semantics></math>. With somewhat more restrictive hypotheses, we prove the same results for finite solvable subgroups of <span></span><math>\\n <semantics>\\n <mi>G</mi>\\n <annotation>$G$</annotation>\\n </semantics></math>. In the last section, we give a few applications of this theorem to hyperelliptic mapping class groups and virtually compact special toral relatively hyperbolic groups (these include fundamental groups of 3-orbifolds and of uniform standard arithmetic hyperbolic orbifolds).</p>\",\"PeriodicalId\":55298,\"journal\":{\"name\":\"Bulletin of the London Mathematical Society\",\"volume\":\"57 1\",\"pages\":\"236-255\"},\"PeriodicalIF\":0.9000,\"publicationDate\":\"2024-11-24\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Bulletin of the London Mathematical Society\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://londmathsoc.onlinelibrary.wiley.com/doi/10.1112/blms.13193\",\"RegionNum\":3,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q2\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Bulletin of the London Mathematical Society","FirstCategoryId":"100","ListUrlMain":"https://londmathsoc.onlinelibrary.wiley.com/doi/10.1112/blms.13193","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"MATHEMATICS","Score":null,"Total":0}
Finite subgroups of the profinite completion of good groups
Let be a residually finite, good group of finite virtual cohomological dimension. We prove that the natural monomorphism induces a bijective correspondence between conjugacy classes of finite -subgroups of and those of its profinite completion . Moreover, we prove that the centralizers and normalizers in of finite -subgroups of are the closures of the respective centralizers and normalizers in . With somewhat more restrictive hypotheses, we prove the same results for finite solvable subgroups of . In the last section, we give a few applications of this theorem to hyperelliptic mapping class groups and virtually compact special toral relatively hyperbolic groups (these include fundamental groups of 3-orbifolds and of uniform standard arithmetic hyperbolic orbifolds).