Cohen--Macaulay Complexes, Duality Groups, and the dualizing module of ${\rm{Out}}(F_N)$
Abstract: We explain how Cohen--Macaulay classifying spaces are ubiquitous among discrete groups that satisfy Bieri--Eckmann duality, and compare Bieri--Eckmann duality to duality results for Cohen--Macaulay complexes. We use this comparison to give a description of the dualizing module of ${\rm{Out}}(F_N)$ in terms of the local cohomology cosheaf of the spine of Outer space.
- R. Atanasov. Geometric two-dimensional duality groups. Groups Geom. Dyn., 8(1):69–95, 2014. doi:10.4171/GGD/217.
- R. Bieri and B. Eckmann. Groups with homological duality generalizing Poincaré duality. Invent. Math., 20:103–124, 1973. doi:10.1007/BF01404060.
- M. Bestvina and M. Feighn. The topology at infinity of Out(Fn)Outsubscript𝐹𝑛{\rm Out}(F_{n})roman_Out ( italic_F start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ). Invent. Math., 140(3):651–692, 2000. doi:10.1007/s002220000068.
- B. Brück and R. Gupta. Homotopy type of the complex of free factors of a free group. Proc. Lond. Math. Soc. (3), 121(6):1737–1765, 2020. doi:10.1112/plms.12381.
- A. Björner. “Let ΔΔ\Deltaroman_Δ be a Cohen-Macaulay complex ……\dots…”. In The mathematical legacy of Richard P. Stanley, pages 105–118. Amer. Math. Soc., Providence, RI, 2016. doi:10.1090//mbk/100/06.
- A. Björner. Topological methods. In Handbook of combinatorics, Vol. 1, 2, pages 1819–1872. Elsevier Sci. B. V., Amsterdam, 1995.
- N. Brady and J. Meier. Connectivity at infinity for right angled Artin groups. Trans. Amer. Math. Soc., 353(1):117–132, 2001. doi:10.1090/S0002-9947-00-02506-X.
- On the codimension-two cohomology of SLn(ℤ)subscriptSL𝑛ℤ\mathrm{SL}_{n}(\mathbb{Z})roman_SL start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( blackboard_Z ). arXiv:2204.11967, 2022.
- A presentation of symplectic Steinberg modules and cohomology of Sp2n(ℤ)subscriptSp2𝑛ℤ\operatorname{Sp}_{2n}(\mathbb{Z})roman_Sp start_POSTSUBSCRIPT 2 italic_n end_POSTSUBSCRIPT ( blackboard_Z ). arXiv:2306.03180, 2023.
- K. S. Brown. Cohomology of groups, volume 87 of Graduate Texts in Mathematics. Springer-Verlag, New York-Berlin, 1982.
- N. Broaddus. Homology of the curve complex and the Steinberg module of the mapping class group. Duke Math. J., 161(10):1943–1969, 2012. doi:10.1215/00127094-1645634.
- A. Borel and J.-P. Serre. Corners and arithmetic groups. Comment. Math. Helv., 48:436–491, 1973. doi:10.1007/BF02566134.
- On the bordification of outer space. J. Lond. Math. Soc. (2), 98(1):12–34, 2018. doi:10.1112/jlms.12124.
- The rational cohomology of the mapping class group vanishes in its virtual cohomological dimension. Int. Math. Res. Not. IMRN, (21):5025–5030, 2012. doi:10.1093/imrn/rnr208.
- Integrality in the Steinberg module and the top-dimensional cohomology of SLn𝒪KsubscriptSL𝑛subscript𝒪𝐾{\rm SL}_{n}\mathcal{O}_{K}roman_SL start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT caligraphic_O start_POSTSUBSCRIPT italic_K end_POSTSUBSCRIPT. Amer. J. Math., 141(5):1375–1419, 2019. doi:10.1353/ajm.2019.0036.
- T. Church and A. Putman. The codimension-one cohomology of SLnℤsubscriptSL𝑛ℤ{\rm SL}_{n}\mathbb{Z}roman_SL start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT blackboard_Z. Geom. Topol., 21(2):999–1032, 2017. doi:10.2140/gt.2017.21.999.
- M. Culler and K. Vogtmann. Moduli of graphs and automorphisms of free groups. Invent. Math., 84(1):91–119, 1986. doi:10.1007/BF01388734.
- J. Conant and K. Vogtmann. On a theorem of Kontsevich. Algebr. Geom. Topol., 3:1167–1224, 2003. doi:10.2140/agt.2003.3.1167.
- M. W. Davis. The cohomology of a Coxeter group with group ring coefficients. Duke Math. J., 91(2):297–314, 1998. doi:10.1215/S0012-7094-98-09113-X.
- M. W. Davis. Poincaré duality groups. In Surveys on surgery theory, Vol. 1, volume 145 of Ann. of Math. Stud., pages 167–193. Princeton Univ. Press, Princeton, NJ, 2000.
- J. Fowler. Finiteness properties for some rational Poincaré duality groups. Illinois J. Math., 56(2):281–299, 2012. URL http://projecteuclid.org/euclid.ijm/1385129948.
- R. Geoghegan. Topological methods in group theory, volume 243 of Graduate Texts in Mathematics. Springer, New York, 2008. doi:10.1007/978-0-387-74614-2.
- J. L. Harer. The virtual cohomological dimension of the mapping class group of an orientable surface. Invent. Math., 84(1):157–176, 1986. doi:10.1007/BF01388737.
- The free factor complex and the dualizing module for the automorphism group of a free group. Int. Math. Res. Not. IMRN, (22):19020–19068, 2023. doi:10.1093/imrn/rnac330.
- N. V. Ivanov. Complexes of curves and the teichmüller modular group. Russian Mathematical Surveys, 42(3):55, jun 1987. doi:10.1070/RM1987v042n03ABEH001440.
- A. Lazarev and A. A. Voronov. Graph homology: Koszul and Verdier duality. Adv. Math., 218(6):1878–1894, 2008. doi:10.1016/j.aim.2008.03.022.
- L. Louder and H. Wilton. Uniform negative immersions and the coherence of one-relator groups. Invent. Math., 236(2):673–712, 2024. doi:10.1007/s00222-024-01246-4.
- On the top-dimensional cohomology groups of congruence subgroups of SL(n,ℤ)SL𝑛ℤ{\rm SL}(n,\mathbb{Z})roman_SL ( italic_n , blackboard_Z ). Geom. Topol., 25(2):999–1058, 2021. doi:10.2140/gt.2021.25.999.
- A. Putman and D. Studenmund. The dualizing module and top-dimensional cohomology group of GLn(𝒪)subscriptGL𝑛𝒪{\rm GL}_{n}(\mathcal{O})roman_GL start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( caligraphic_O ). Math. Z., 300(1):1–31, 2022. doi:10.1007/s00209-021-02769-9.
- D. Quillen. Homotopy properties of the poset of nontrivial p𝑝pitalic_p-subgroups of a group. Adv. in Math., 28(2):101–128, 1978. doi:10.1016/0001-8708(78)90058-0.
- K. Vogtmann. Local structure of some Out(Fn)Outsubscript𝐹𝑛{\rm Out}(F_{n})roman_Out ( italic_F start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT )-complexes. Proc. Edinburgh Math. Soc. (2), 33(3):367–379, 1990. doi:10.1017/S0013091500004818.
- K. Vogtmann. The boundary of bordified outer space. arXiv:2404.11371, 2024.
- J. W. Walker. Homotopy type and Euler characteristic of partially ordered sets. European J. Combin., 2(4):373–384, 1981. doi:10.1016/S0195-6698(81)80045-5.
- C. Wall (ed). List of problems. In Homological Group Theory, London Math. Soc. Lecture Notes 36. Cambridge Univ. Press, 1979.
- H. Wilton. Rational curvature invariants for 2-complexes. arXiv:2210.09853, 2022.
- Duality for Cohen-Macaulay complexes through combinatorial sheaves. 2023.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.