The 2-torsion in the Farrell--Tate cohomology of PSL(4,Z), and torsion subcomplex reduction via discrete Morse theory

Alexander D. Rahm (GAATI; Anh Tuan Bui (VNU-HCM); Matthias Wendt; UPF)

arxiv: 2507.15368 · v2 · submitted 2025-07-21 · 🧮 math.KT

The 2-torsion in the Farrell--Tate cohomology of PSL(4,Z), and torsion subcomplex reduction via discrete Morse theory

Alexander D. Rahm (GAATI , UPF) , Anh Tuan Bui (VNU-HCM) , Matthias Wendt This is my paper

Pith reviewed 2026-05-19 04:29 UTC · model grok-4.3

classification 🧮 math.KT

keywords Farrell-Tate cohomologyPSL(4,Z)discrete Morse theorytorsion subcomplex reductionarithmetic groupsmod 2 cohomology2-torsion

0 comments

The pith

Discrete Morse theory simplifies torsion subcomplex reduction and computes the mod 2 Farrell-Tate cohomology of PSL(4,Z).

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper develops a new implementation of torsion subcomplex reduction for arithmetic groups by applying discrete Morse theory. This yields a simpler algorithm together with runtime improvements over earlier approaches. The method is shown in action by calculating the mod 2 Farrell-Tate cohomology of PSL(4,Z). Readers interested in computational algebraic topology or the structure of linear groups would care about the resulting explicit description of the 2-torsion.

Core claim

Discrete Morse theory supplies a new implementation of torsion subcomplex reduction for arithmetic groups. The reduction produces simpler algorithms and runtime gains, which the authors use to determine the mod 2 Farrell-Tate cohomology of PSL(4,Z).

What carries the argument

Torsion subcomplex reduction carried out by discrete Morse theory on the cell complexes coming from the group action, which identifies collapsible pairs to simplify the cohomology calculation.

If this is right

Cohomology computations for PSL(4,Z) and similar arithmetic groups become feasible with reduced algorithmic complexity.
The same discrete-Morse reduction applies directly to other arithmetic groups.
Explicit 2-torsion data for Farrell-Tate cohomology of PSL(4,Z) is now available for further study.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The approach may extend to cohomology at odd primes or to PSL(n,Z) for larger n.
The reduced complexes could be combined with other topological invariants to study ring structures.
Runtime gains may allow systematic computations across families of arithmetic groups.

Load-bearing premise

Discrete Morse theory correctly identifies collapsible pairs inside the torsion subcomplexes arising from the PSL(4,Z) action without introducing errors into the cohomology.

What would settle it

An independent calculation of the same mod 2 Farrell-Tate cohomology of PSL(4,Z) performed with a previous reduction method would either agree with the new results or expose a mismatch.

Figures

Figures reproduced from arXiv: 2507.15368 by Alexander D. Rahm (GAATI, Anh Tuan Bui (VNU-HCM), Matthias Wendt, UPF).

**Figure 1.** Figure 1: Example: The 2-torsion subcomplex for SL3(Z) On the 2-torsion subcomplex of the cell complex described by Soul´e [24], obtained from the action of SL3(Z) on its symmetric space (diagram from previous work of one of the authors [20]), we draw here a discrete gradient vector field (in bold arrows). stab(M) ∼= S4 stab(Q) ∼= D6 stab(O) ∼= S4 stab(N) ∼= D4 stab(P) ∼= S4 N’ M’ D2 D3 D3 D2 Z/2 Z/2 Z/2 D4 Z/2 D4 D… view at source ↗

**Figure 2.** Figure 2: We can also put an essentially different discrete gradient vector field on the 2-torsion subcomplex from [PITH_FULL_IMAGE:figures/full_fig_p005_2.png] view at source ↗

**Figure 3.** Figure 3: A reduced 2-torsion subcomplex for PSL4(Z). It is subject to the edge identifications e9 = e ′ 9 = e ′′ 9 = e ′′′ 9 and e8 = e ′ 8 . The cell stabilizers are provided in [PITH_FULL_IMAGE:figures/full_fig_p007_3.png] view at source ↗

**Figure 4.** Figure 4: Commutative diagram of mappings of the cohomology ring generators of the 1st vertex stabilizer.   0 ae1 2 0 0 0 0     w2 w2 + a ′2 1 + w 2 1 a ′4 1 · w2 w1 a ′ 1 · w2 a ′ 1 · w2     uf1 2 + ve1 · uf1 + ve1 2 ve1 · fu1 + ve1 2 0 uf1 0 0     s 2 1 + s2 a 2 1 a 4 1 · s2 s1 a1 · s2 0     c2,0 c2,1 b6,5 b1,0 b3,1 b3,3     b … view at source ↗

**Figure 5.** Figure 5: Commutative diagram of mappings of the cohomology ring generators of the 3rd vertex stabilizer.   fu1 ve1 0     b1 v1 0     be1 0 0     y ′ 1 z1 z1 + x ′ 1     λ1 µ1 ν1     y ′ 1 z1 z1 + x ′ 1     fx1 fx1 ye1     x1 x1 y1     0 0 be1   t5 t6 t3 t5 e9 e3 e9 e2 t6 t4 t3 t4 [PITH_FULL_IMAGE:figures/full_fig_p010_5.png] view at source ↗

**Figure 6.** Figure 6: Commutative diagram of mappings of the cohomology ring generators of the 5th vertex stabilizer.   uf1 2 ve1 2 + uf1 · ve1 0 0 uf1 3 + uf1 2 · ve1 + uf1 · ve1 2 uf1 3 0 uf1 2 · ve1 + uf1 · ve1 2     x ′2 1 + x ′ 1 · y ′ 1 + x ′ 1 · z1 + y ′2 1 + y ′ 1 · z1 x ′ 1 · z1 + y ′ 1 · z1 x ′ 1 · z1 + z 2 1 0 x ′3 1 + x ′2 1 · z1 + y ′3 1 + y ′ 1 · z 2 1 + x ′ 1 · y ′2 1 x ′ 1 ·… view at source ↗

read the original abstract

In the present paper, we use discrete Morse theory to provide a new implementation of torsion subcomplex reduction for arithmetic groups. This leads both to a simpler algorithm as well as runtime improvements. To demonstrate the technique, we compute the mod 2 Farrell-Tate cohomology of PSL(4,Z).

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper delivers a concrete mod-2 Farrell-Tate computation for PSL(4,Z) via a discrete Morse theory version of torsion subcomplex reduction that looks simpler than earlier approaches.

read the letter

The main takeaway is that the authors give an explicit calculation of the 2-torsion in the Farrell-Tate cohomology of PSL(4,Z) and they do it by replacing the usual reduction steps with a discrete Morse matching on the torsion subcomplex. That matching produces a smaller complex whose cohomology they then read off directly. The claim is that this yields both a cleaner algorithm and better run times than the methods in the papers they cite. For anyone who has actually run these reductions by hand or with older code, that sounds like a practical step forward. The computation itself is the kind of data point that people in this corner of arithmetic group cohomology collect and compare, even if it does not settle a larger conjecture. They appear to have carried out the matching on the relevant cell structure coming from the action on the symmetric space or building, and they report the resulting groups. On the potential weak point raised in the stress-test note, the paper needs to confirm that the chosen matching has no cycles in its gradient paths and that the critical cells capture exactly the same 2-torsion classes. If they only assert the matching without an explicit acyclicity check or a small example that can be verified by hand, a referee will ask for that detail. The rest of the argument looks standard once the reduction is accepted. This is a paper for specialists who compute cohomology of arithmetic groups or who want to try the Morse-theoretic reduction on other examples. It is narrow but the technique is new enough in this setting that a serious referee should look at it, mainly to check the matching and the final groups. I would send it to review rather than desk-reject.

Referee Report

2 major / 2 minor

Summary. The manuscript develops a new implementation of torsion subcomplex reduction for arithmetic groups that relies on discrete Morse theory. The authors apply the method to compute the mod-2 Farrell-Tate cohomology of PSL(4,Z), claiming both algorithmic simplification and runtime gains over prior approaches.

Significance. If the discrete Morse matching is shown to preserve the relevant cohomology, the work supplies a concrete computational advance for determining 2-torsion in Farrell-Tate cohomology of higher-rank arithmetic groups. The explicit result for PSL(4,Z) adds new data that can be compared with existing computations for lower-rank groups such as PSL(2,Z) and PSL(3,Z).

major comments (2)

[§3] §3 (Discrete Morse matching on the torsion subcomplex): The manuscript asserts that the chosen matching yields a reduced complex whose mod-2 cohomology equals that of the original torsion subcomplex, yet it does not exhibit an explicit check that every gradient path is acyclic. An undetected cycle would alter the computed 2-torsion groups without producing an internal inconsistency in the output tables.
[§4] §4 (Cohomology computation for PSL(4,Z)): The final list of 2-torsion classes is presented without a cross-check against the critical cells that survive the matching. A table or explicit basis comparison between the original and reduced complexes would be required to confirm that no torsion element was lost or created by the reduction.

minor comments (2)

[§2] Notation for the symmetric space and the associated building is introduced without a brief reminder of the dimension and cell stabilizers; a short paragraph or reference to standard notation would improve readability.
[Table 1] The runtime comparison in Table 1 lacks a description of the hardware and software environment used for the previous implementation; this makes the claimed improvement difficult to reproduce.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and the constructive suggestions. We address the two major comments below and have incorporated revisions to strengthen the verification of the discrete Morse matching and the cohomology computation.

read point-by-point responses

Referee: [§3] §3 (Discrete Morse matching on the torsion subcomplex): The manuscript asserts that the chosen matching yields a reduced complex whose mod-2 cohomology equals that of the original torsion subcomplex, yet it does not exhibit an explicit check that every gradient path is acyclic. An undetected cycle would alter the computed 2-torsion groups without producing an internal inconsistency in the output tables.

Authors: We agree that an explicit verification of acyclicity strengthens the argument. The matching in §3 is constructed by pairing cells according to the torsion subcomplex reduction rules and a height function that respects the cell dimensions and the action of PSL(4,Z). In the revised manuscript we have added a short lemma (now Lemma 3.4) that enumerates all possible gradient paths of length greater than one and shows that any closed path would require a descent in the height function, which is impossible by construction. This confirms that the matching is acyclic and that the mod-2 cohomology is preserved. revision: yes
Referee: [§4] §4 (Cohomology computation for PSL(4,Z)): The final list of 2-torsion classes is presented without a cross-check against the critical cells that survive the matching. A table or explicit basis comparison between the original and reduced complexes would be required to confirm that no torsion element was lost or created by the reduction.

Authors: We accept the suggestion. The revised §4 now contains Table 4.2, which lists the critical cells remaining after the matching together with the generators of the cohomology groups computed directly from the unreduced torsion subcomplex and from the reduced complex. The two bases agree in each degree, confirming that no 2-torsion class is lost or introduced by the reduction. revision: yes

Circularity Check

0 steps flagged

Direct algorithmic computation of Farrell-Tate cohomology with no self-referential reduction

full rationale

The paper applies discrete Morse theory as a new implementation of torsion subcomplex reduction to compute the mod 2 Farrell-Tate cohomology of the specific group PSL(4,Z). This constitutes an explicit, finite computation on a concrete arithmetic group and its action on the symmetric space, rather than any derivation that reduces by construction to fitted parameters, self-definitions, or load-bearing self-citations. The central result is the output of the algorithm on this group; no equation or step equates a claimed prediction back to its own input data or prior result by definition.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The computation rests on the assumption that discrete Morse theory applies directly to the relevant torsion subcomplexes of arithmetic groups without additional verification steps beyond standard theory.

axioms (1)

domain assumption Discrete Morse theory produces a homotopy equivalent complex whose cohomology agrees with the original torsion subcomplex.
Invoked to justify that the reduced complex computes the same Farrell-Tate cohomology.

pith-pipeline@v0.9.0 · 5591 in / 1094 out tokens · 26043 ms · 2026-05-19T04:29:46.737348+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

25 extracted references · 25 canonical work pages

[1]

Avner Ash, Small-dimensional classifying spaces for arithmetic subg roups of general linear groups , Duke Math. J. 51 (1984), no. 2, 459–468, DOI 10.1215/S0012-7094-84-05123- 8. MR0747876

work page doi:10.1215/s0012-7094-84-05123- 1984
[2]

Borel and J.-P

A. Borel and J.-P. Serre, Corners and arithmetic groups , Comment. Math. Helv. 48 (1973), 436–491, DOI 10.1007/BF02566134. MR0387495

work page doi:10.1007/bf02566134 1973
[3]

Bridson and Andr´ e Haeﬂiger, Metric spaces of non-positive curvature , Grundlehren der mathema- tischen Wissenschaften [Fundamental Principles of Mathem atical Sciences], vol

Martin R. Bridson and Andr´ e Haeﬂiger, Metric spaces of non-positive curvature , Grundlehren der mathema- tischen Wissenschaften [Fundamental Principles of Mathem atical Sciences], vol. 319, Springer-Verlag, Berlin,

work page
[4]

Brown, Cohomology of groups , Graduate Texts in Mathematics, vol

Kenneth S. Brown, Cohomology of groups , Graduate Texts in Mathematics, vol. 87, Springer-Verlag, New York, 1994. Corrected reprint of the 1982 original. MR13243 39

work page 1994
[5]

Anh Tuan Bui and Alexander D. Rahm, Torsion Subcomplexes Subpackage, version 2.1 , accepted sub-package in HAP (Homological Algebra Programming) in the computer al gebra system GAP, 2018, Source code available at https://gaati.org/rahm/subpackage-documentation/

work page 2018
[6]

Rahm, and Matthias W endt, The Farrell–Tate and Bredon homology for PSL4(Z) via cell subdivisions , J

Anh Tuan Bui, Alexander D. Rahm, and Matthias W endt, The Farrell–Tate and Bredon homology for PSL4(Z) via cell subdivisions , J. Pure Appl. Algebra 223 (2019), no. 7, 2872–2888, DOI 10.1016/j.jpaa.2018.10.002 . MR3912952

work page doi:10.1016/j.jpaa.2018.10.002 2019
[7]

, Supplementary material for the present paper , https://github.com/arahm/PSL4Z

work page
[8]

Ellis, and Achill Sch uermann, On the integral homology of PSL 4(Z) and other arithmetic groups , J

Mathieu Dutour Sikiri´ c, Graham J. Ellis, and Achill Sch uermann, On the integral homology of PSL 4(Z) and other arithmetic groups , J. Number Theory 131 (2011), no. 12, 2368–2375. Zbl 1255.11028

work page arXiv 2011
[9]

Philippe Elbaz-Vincent, Herbert Gangl, and Christophe Soul´ e,Quelques calculs de la cohomologie de GLN (Z) et de la K-th´ eorie de Z, C. R. Math. Acad. Sci. Paris 335 (2002), no. 4, 321–324, DOI 10.1016/S1631- 073X(02)02481-0 (French, with English and French summarie s). MR1931508

work page doi:10.1016/s1631- 2002
[10]

, Perfect forms, K-theory and the cohomology of modular group s, Adv. Math. 245 (2013), 587–624, DOI 10.1016/j.aim.2013.06.014. MR3084439

work page doi:10.1016/j.aim.2013.06.014 2013
[11]

GAP package, https://gap-packages.github.io/hap

Graham Ellis, HAP, Homological Algebra Programming, Version 1.66 , 2024. GAP package, https://gap-packages.github.io/hap

work page 2024
[12]

Graham Ellis and Fintan Hegarty, Computational homotopy of ﬁnite regular CW-spaces. , J. Homotopy Relat. Struct. 9 (2014), no. 1, 25–54. Zbl 1311.55008

work page arXiv 2014
[13]

Robin Forman, Morse theory for cell complexes , Adv. Math. 134 (1998), no. 1, 90–145, DOI 10.1006/aima.1997.1650. MR1612391

work page doi:10.1006/aima.1997.1650 1998
[14]

309 (2009), no

Ragnar Freij, Equivariant discrete Morse theory , Discrete Math. 309 (2009), no. 12, 3821–3829, DOI 10.1016/j.disc.2008.10.029. MR2537376

work page doi:10.1016/j.disc.2008.10.029 2009
[15]

The GAP Group, GAP – Groups, Algorithms, and Programming, Version 4.9.3 , https://www.gap-system.org, 2018

work page 2018
[16]

Green and Simon A

David J. Green and Simon A. King, The computation of the cohomology rings of all groups of orde r 128 , J. Algebra 325 (2011), 352–363, DOI 10.1016/j.jalgebra.2010.08.016. MR 2745544

work page doi:10.1016/j.jalgebra.2010.08.016 2011
[17]

Simon King, Mod-p Group Cohomology Package , package for the SAGE computer algebra system, v3.3.2 (October 2020): https://users.fmi.uni-jena.de/cohomology/documentation/ , described in [16]

work page 2020
[18]

Ronnie Lee and R. H. Szczarba, On the homology and cohomology of congruence subgroups , Invent. Math. 33 (1976), no. 1, 15–53, DOI 10.1007/BF01425503. MR0422498

work page doi:10.1007/bf01425503 1976
[19]

Bordeaux, available from http://pari.math.u-bordeaux.fr/, 2018

The PARI Group, PARI/GP version 2.9.5, Univ. Bordeaux, available from http://pari.math.u-bordeaux.fr/, 2018. 14 ANH TUAN BUI 1,2, ALEXANDER D. RAHM 3AND MATTHIAS WENDT 4

work page 2018
[20]

Alexander D. Rahm, An introduction to torsion subcomplex reduction , Advanced Studies: Euro-Tbilisi Math- ematical Journal 9 (2021), pages 105-126, Special issue on Cohomology, Geomet ry, Explicit Number Theory

work page 2021
[21]

Algebra 404 (2014), 152–175

, Accessing the cohomology of discrete groups above their vir tual cohomological dimension , J. Algebra 404 (2014), 152–175. MR3177890

work page 2014
[22]

, The homological torsion of PSL2 of the imaginary quadratic integers , Trans. Amer. Math. Soc. 365 (2013), no. 3, 1603–1635, DOI 10.1090/S0002-9947-2012-05 690-X. MR3003276

work page doi:10.1090/s0002-9947-2012-05 2013
[23]

6beta4), 2022

The Sage Developers, Sagemath, the Sage Mathematics Software System (Version 9. 6beta4), 2022. doi.org/10.5281/zenodo.820864 https://www.sagemath.org

work page doi:10.5281/zenodo.820864 2022
[24]

Christophe Soul´ e, The cohomology of SL3(Z), Topology 17 (1978), no. 1, 1–22

work page 1978
[25]

Pure Appl

Naya Yerolemou and Vidit Nanda, Morse theory for complexes of groups , J. Pure Appl. Algebra 228 (2024), no. 6, Paper No. 107606, 31, DOI 10.1016/j.jpaa.2024.10760 6. 1F aculty of Mathematics and Computer Science, University of S cience, Ho Chi Minh City, Vietnam 2Vietnam National University, Ho Chi Minh City, Vietnam 3Laboratoire de math ´ematiques GAATI...

work page doi:10.1016/j.jpaa.2024.10760 2024

[1] [1]

Avner Ash, Small-dimensional classifying spaces for arithmetic subg roups of general linear groups , Duke Math. J. 51 (1984), no. 2, 459–468, DOI 10.1215/S0012-7094-84-05123- 8. MR0747876

work page doi:10.1215/s0012-7094-84-05123- 1984

[2] [2]

Borel and J.-P

A. Borel and J.-P. Serre, Corners and arithmetic groups , Comment. Math. Helv. 48 (1973), 436–491, DOI 10.1007/BF02566134. MR0387495

work page doi:10.1007/bf02566134 1973

[3] [3]

Bridson and Andr´ e Haeﬂiger, Metric spaces of non-positive curvature , Grundlehren der mathema- tischen Wissenschaften [Fundamental Principles of Mathem atical Sciences], vol

Martin R. Bridson and Andr´ e Haeﬂiger, Metric spaces of non-positive curvature , Grundlehren der mathema- tischen Wissenschaften [Fundamental Principles of Mathem atical Sciences], vol. 319, Springer-Verlag, Berlin,

work page

[4] [4]

Brown, Cohomology of groups , Graduate Texts in Mathematics, vol

Kenneth S. Brown, Cohomology of groups , Graduate Texts in Mathematics, vol. 87, Springer-Verlag, New York, 1994. Corrected reprint of the 1982 original. MR13243 39

work page 1994

[5] [5]

Anh Tuan Bui and Alexander D. Rahm, Torsion Subcomplexes Subpackage, version 2.1 , accepted sub-package in HAP (Homological Algebra Programming) in the computer al gebra system GAP, 2018, Source code available at https://gaati.org/rahm/subpackage-documentation/

work page 2018

[6] [6]

Rahm, and Matthias W endt, The Farrell–Tate and Bredon homology for PSL4(Z) via cell subdivisions , J

Anh Tuan Bui, Alexander D. Rahm, and Matthias W endt, The Farrell–Tate and Bredon homology for PSL4(Z) via cell subdivisions , J. Pure Appl. Algebra 223 (2019), no. 7, 2872–2888, DOI 10.1016/j.jpaa.2018.10.002 . MR3912952

work page doi:10.1016/j.jpaa.2018.10.002 2019

[7] [7]

, Supplementary material for the present paper , https://github.com/arahm/PSL4Z

work page

[8] [8]

Ellis, and Achill Sch uermann, On the integral homology of PSL 4(Z) and other arithmetic groups , J

Mathieu Dutour Sikiri´ c, Graham J. Ellis, and Achill Sch uermann, On the integral homology of PSL 4(Z) and other arithmetic groups , J. Number Theory 131 (2011), no. 12, 2368–2375. Zbl 1255.11028

work page arXiv 2011

[9] [9]

Philippe Elbaz-Vincent, Herbert Gangl, and Christophe Soul´ e,Quelques calculs de la cohomologie de GLN (Z) et de la K-th´ eorie de Z, C. R. Math. Acad. Sci. Paris 335 (2002), no. 4, 321–324, DOI 10.1016/S1631- 073X(02)02481-0 (French, with English and French summarie s). MR1931508

work page doi:10.1016/s1631- 2002

[10] [10]

, Perfect forms, K-theory and the cohomology of modular group s, Adv. Math. 245 (2013), 587–624, DOI 10.1016/j.aim.2013.06.014. MR3084439

work page doi:10.1016/j.aim.2013.06.014 2013

[11] [11]

GAP package, https://gap-packages.github.io/hap

Graham Ellis, HAP, Homological Algebra Programming, Version 1.66 , 2024. GAP package, https://gap-packages.github.io/hap

work page 2024

[12] [12]

Graham Ellis and Fintan Hegarty, Computational homotopy of ﬁnite regular CW-spaces. , J. Homotopy Relat. Struct. 9 (2014), no. 1, 25–54. Zbl 1311.55008

work page arXiv 2014

[13] [13]

Robin Forman, Morse theory for cell complexes , Adv. Math. 134 (1998), no. 1, 90–145, DOI 10.1006/aima.1997.1650. MR1612391

work page doi:10.1006/aima.1997.1650 1998

[14] [14]

309 (2009), no

Ragnar Freij, Equivariant discrete Morse theory , Discrete Math. 309 (2009), no. 12, 3821–3829, DOI 10.1016/j.disc.2008.10.029. MR2537376

work page doi:10.1016/j.disc.2008.10.029 2009

[15] [15]

The GAP Group, GAP – Groups, Algorithms, and Programming, Version 4.9.3 , https://www.gap-system.org, 2018

work page 2018

[16] [16]

Green and Simon A

David J. Green and Simon A. King, The computation of the cohomology rings of all groups of orde r 128 , J. Algebra 325 (2011), 352–363, DOI 10.1016/j.jalgebra.2010.08.016. MR 2745544

work page doi:10.1016/j.jalgebra.2010.08.016 2011

[17] [17]

Simon King, Mod-p Group Cohomology Package , package for the SAGE computer algebra system, v3.3.2 (October 2020): https://users.fmi.uni-jena.de/cohomology/documentation/ , described in [16]

work page 2020

[18] [18]

Ronnie Lee and R. H. Szczarba, On the homology and cohomology of congruence subgroups , Invent. Math. 33 (1976), no. 1, 15–53, DOI 10.1007/BF01425503. MR0422498

work page doi:10.1007/bf01425503 1976

[19] [19]

Bordeaux, available from http://pari.math.u-bordeaux.fr/, 2018

The PARI Group, PARI/GP version 2.9.5, Univ. Bordeaux, available from http://pari.math.u-bordeaux.fr/, 2018. 14 ANH TUAN BUI 1,2, ALEXANDER D. RAHM 3AND MATTHIAS WENDT 4

work page 2018

[20] [20]

Alexander D. Rahm, An introduction to torsion subcomplex reduction , Advanced Studies: Euro-Tbilisi Math- ematical Journal 9 (2021), pages 105-126, Special issue on Cohomology, Geomet ry, Explicit Number Theory

work page 2021

[21] [21]

Algebra 404 (2014), 152–175

, Accessing the cohomology of discrete groups above their vir tual cohomological dimension , J. Algebra 404 (2014), 152–175. MR3177890

work page 2014

[22] [22]

, The homological torsion of PSL2 of the imaginary quadratic integers , Trans. Amer. Math. Soc. 365 (2013), no. 3, 1603–1635, DOI 10.1090/S0002-9947-2012-05 690-X. MR3003276

work page doi:10.1090/s0002-9947-2012-05 2013

[23] [23]

6beta4), 2022

The Sage Developers, Sagemath, the Sage Mathematics Software System (Version 9. 6beta4), 2022. doi.org/10.5281/zenodo.820864 https://www.sagemath.org

work page doi:10.5281/zenodo.820864 2022

[24] [24]

Christophe Soul´ e, The cohomology of SL3(Z), Topology 17 (1978), no. 1, 1–22

work page 1978

[25] [25]

Pure Appl

Naya Yerolemou and Vidit Nanda, Morse theory for complexes of groups , J. Pure Appl. Algebra 228 (2024), no. 6, Paper No. 107606, 31, DOI 10.1016/j.jpaa.2024.10760 6. 1F aculty of Mathematics and Computer Science, University of S cience, Ho Chi Minh City, Vietnam 2Vietnam National University, Ho Chi Minh City, Vietnam 3Laboratoire de math ´ematiques GAATI...

work page doi:10.1016/j.jpaa.2024.10760 2024