Non-vanishing unitary cohomology of low-rank integral special linear groups
Abstract: We construct explicit finite-dimensional orthogonal representations $\pi_N$ of $\operatorname{SL}{N}(\mathbb{Z})$ for $N \in {3,4}$ all of whose invariant vectors are trivial, and such that $H{N - 1}(\operatorname{SL}{N}(\mathbb{Z}),\pi_N)$ is non-trivial. This implies that for $N$ as above, the group $\operatorname{SL}{N}(\mathbb{Z})$ does not have property $(T{N-1})$ of Bader-Sauer and therefore is not $(N-1)$-Kazhdan in the sense of De Chiffre-Glebsky-Lubotzky-Thom, both being higher versions of Kazhdan's property $T$.
- Higher Kazhdan property and unitary cohomology of arithmetic groups. 2023, arXiv:2308.06517 [math.RT].
- Julia: A fresh approach to numerical computing. SIAM review, 59(1):65–98, 2017. 10.1137/141000671.
- A. Borel and J.-P. Serre. Corners and arithmetic groups. Comment. Math. Helv., 48:436–491, 1973. 10.1007/BF02566134.
- Jens Brandt. plesken-souvignier, 2020. https://git.rwth-aachen.de/jens.brandt/plesken-souvignier/-/tree/master.
- Kenneth S. Brown. Cohomology of groups, volume 87 of Graduate Texts in Mathematics. Springer-Verlag, New York, 1994. 10.1007/978-1-4684-9327-6, Corrected reprint of the 1982 original.
- Replication details for "Non-vanishing unitary cohomology of low-rank integral special linear groups” by B. Brück, S. Hughes, D. Kielak, and P. Mizerka, 2024. https://zenodo.org/records/14008647.
- Stability, cohomology vanishing, and nonapproximable groups. Forum of Mathematics, Sigma, 8, 2020. 10.1017/fms.2020.5.
- Patrick Delorme. 1111-cohomologie des représentations unitaires des groupes de Lie semi-simples et résolubles. Produits tensoriels continus de représentations. Bull. Soc. Math. France, 105(3):281–336, 1977. 10.24033/bsmf.1853.
- Classification of eight-dimensional perfect forms. Electronic Research Announcements of the American Mathematical Society, 13:21–32, 2007. 10.1090/S1079-6762-07-00171-0.
- Perfect forms, K-theory and the cohomology of modular groups. Advances in Mathematics, 245:587–624, 2013. 10.1016/j.aim.2013.06.014.
- Komei Fukuda et. al. CDDLib, 2020. https://github.com/cddlib.
- The GAP Group. GAP – Groups, Algorithms, and Programming, Version 4.12.2, 2022.
- Alain Guichardet. Sur la cohomologie des groupes topologiques. II. Bull. Sci. Math. (2), 96:305–332, 1972.
- Allen Hatcher. Algebraic topology. Cambridge University Press, Cambridge, 2002.
- On property (T) for Aut(Fn)AutsubscriptFn\rm Aut(F_{n})roman_Aut ( roman_F start_POSTSUBSCRIPT roman_n end_POSTSUBSCRIPT ) and SLn(ℤ)subscriptSLnℤ\rm SL_{n}(\mathbb{Z})roman_SL start_POSTSUBSCRIPT roman_n end_POSTSUBSCRIPT ( blackboard_Z ). Ann. of Math. (2), 193(2):539–562, 2021. 10.4007/annals.2021.193.2.3.
- StarAlgebras.jl, 2022. https://github.com/JuliaAlgebra/StarAlgebras.jl/tree/v0.1.7.
- LowCohomologySOS, 2024. https://github.com/piotrmizerka/LowCohomologySOS.
- Aut(𝔽5)Autsubscript𝔽5{\rm Aut}(\mathbb{F}_{5})roman_Aut ( blackboard_F start_POSTSUBSCRIPT 5 end_POSTSUBSCRIPT ) has property (T)𝑇(T)( italic_T ). Math. Ann., 375(3-4):1169–1191, 2019. 10.1007/s00208-019-01874-9.
- D. A. Každan. On the connection of the dual space of a group with the structure of its closed subgroups. Funkcional. Anal. i Priložen., 1:71–74, 1967.
- Benoît Legat. Polyhedral computation. In JuliaCon, July 2023.
- Juliapolyhedra/cddlib.jl, 2019. https://doi.org/10.5281/zenodo.1214581.
- Benoît Legat et. al. Polyhedra.jl, 2024. https://juliapolyhedra.github.io/Polyhedra.jl/stable/.
- Jacques Martinet. Perfect lattices in Euclidean spaces, volume 327 of Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]. Springer-Verlag, Berlin, 2003. 10.1007/978-3-662-05167-2.
- Mark McConnell. Classical projective geometry and arithmetic groups. Mathematische Annalen, 290(3):441–462, 1991. 10.1007/BF01459253.
- LATTICES, 2024. https://www.math.rwth-aachen.de/~Gabriele.Nebe/LATTICES.
- W. Plesken and B. Souvignier. Computing isometries of lattices. Journal of Symbolic Computation, 24(3-4):327–334, 1997. Computational algebra and number theory (London, 1993), 10.1006/jsco.1996.0130.
- Edward Scheinerman et. al. LinearAlgebraX.jl, 2024. https://github.com/scheinerman/LinearAlgebraX.jl.
- Kevin Schreve. The L2superscript𝐿2L^{2}italic_L start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT-cohomology of Discrete Groups. PhD thesis, 2015. Copyright - Database copyright ProQuest LLC; ProQuest does not claim copyright in the individual underlying works; Last updated - 2023-03-04.
- C. Soulé. On the 3-torsion in K4(ℤ)subscript𝐾4ℤK_{4}(\mathbb{Z})italic_K start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT ( blackboard_Z ). Topology, 39(2):259–265, 2000. 10.1016/S0040-9383(99)00006-3.
- William Stein. Modular forms, a computational approach, volume 79 of Graduate Studies in Mathematics. American Mathematical Society, Providence, RI, 2007. 10.1090/gsm/079, With an appendix by Paul E. Gunnells.
- G. Voronoï. Nouvelles applications des paramètres continus à la théorie des formes quadratiques. I: Sur quelques propriétés des formes quadratiques positives parfaites. Journal für die Reine und Angewandte Mathematik, 133:97–178, 1908. 10.1515/crll.1908.133.97.
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.