{"title":"On the cohomology of SLn(Z)","authors":"Avner Ash","doi":"10.1016/j.aim.2024.109868","DOIUrl":null,"url":null,"abstract":"<div><p>Denote the virtual cohomological dimension of <span><math><msub><mrow><mi>SL</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>(</mo><mi>Z</mi><mo>)</mo></math></span> by <span><math><msub><mrow><mi>ν</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>=</mo><mi>n</mi><mo>(</mo><mi>n</mi><mo>−</mo><mn>1</mn><mo>)</mo><mo>/</mo><mn>2</mn></math></span>. Let <em>St</em> denote the Steinberg module of <span><math><msub><mrow><mi>SL</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>(</mo><mi>Q</mi><mo>)</mo></math></span> tensored with <span><math><mi>Q</mi></math></span>. Let <span><math><mi>S</mi><msub><mrow><mi>h</mi></mrow><mrow><mo>•</mo></mrow></msub><mo>→</mo><mi>S</mi><mi>t</mi></math></span> denote the sharbly resolution of the Steinberg module. By Borel-Serre duality, <span><math><msup><mrow><mi>H</mi></mrow><mrow><msub><mrow><mi>ν</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>−</mo><mi>i</mi></mrow></msup><mo>(</mo><msub><mrow><mi>SL</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>(</mo><mi>Z</mi><mo>)</mo><mo>,</mo><mi>Q</mi><mo>)</mo></math></span> is isomorphic to <span><math><msub><mrow><mi>H</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>(</mo><msub><mrow><mi>SL</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>(</mo><mi>Z</mi><mo>)</mo><mo>,</mo><mi>S</mi><mi>t</mi><mo>)</mo></math></span>. The latter is isomorphic to the sharbly homology <span><math><msub><mrow><mi>H</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>(</mo><msub><mrow><mo>(</mo><mi>S</mi><msub><mrow><mi>h</mi></mrow><mrow><mo>•</mo></mrow></msub><mo>)</mo></mrow><mrow><msub><mrow><mi>SL</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>(</mo><mi>Z</mi><mo>)</mo></mrow></msub><mo>)</mo></math></span>. We produce nonzero classes in <span><math><msub><mrow><mi>H</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>(</mo><msub><mrow><mi>SL</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>(</mo><mi>Z</mi><mo>)</mo><mo>,</mo><mi>S</mi><mi>t</mi><mo>)</mo></math></span>, for certain small <em>i</em>, in terms of sharbly cycles and cosharbly cocycles.</p></div>","PeriodicalId":50860,"journal":{"name":"Advances in Mathematics","volume":"454 ","pages":"Article 109868"},"PeriodicalIF":1.5000,"publicationDate":"2024-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Advances in Mathematics","FirstCategoryId":"100","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0001870824003839","RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"2024/8/2 0:00:00","PubModel":"Epub","JCR":"Q1","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
Abstract
Denote the virtual cohomological dimension of by . Let St denote the Steinberg module of tensored with . Let denote the sharbly resolution of the Steinberg module. By Borel-Serre duality, is isomorphic to . The latter is isomorphic to the sharbly homology . We produce nonzero classes in , for certain small i, in terms of sharbly cycles and cosharbly cocycles.
期刊介绍:
Emphasizing contributions that represent significant advances in all areas of pure mathematics, Advances in Mathematics provides research mathematicians with an effective medium for communicating important recent developments in their areas of specialization to colleagues and to scientists in related disciplines.