The aim of this corrigendum is to correct an error in Corollary 10.7 to Theorem 10.6, one of the main results in the paper ‘On the cuspidal cohomology of $S$-arithmetic subgroups of reductive groups over number fields’. This makes necessary a thorough investigation of the conditions under which a Cartan-type automorphism exists on $G_1=\mathrm {Res}_{\mathbb {C}/\mathbb {R}}G_0$, where $G_0$ is a connected semisimple algebraic group defined over $\mathbb {R}$.

Let $G$ be a semisimple Lie group with associated symmetric space $D$, and let $\unicode[STIX]{x1D6E4}\subset G$ be a cocompact arithmetic group. Let $\mathscr{L}$ be a lattice inside a $\mathbb{Z}\unicode[STIX]{x1D6E4}$-module arising from a rational finite-dimensional complex representation of $G$. Bergeron and Venkatesh recently gave a precise conjecture about the growth of the order of the torsion subgroup $H_{i}(\unicode[STIX]{x1D6E4}_{k};\mathscr{L})_{\operatorname{tors}}$ as $\unicode[STIX]{x1D6E4}_{k}$ ranges over a tower of congruence subgroups of $\unicode[STIX]{x1D6E4}$. In particular, they conjectured that the ratio $\log |H_{i}(\unicode[STIX]{x1D6E4}_{k};\mathscr{L})_{\operatorname{tors}}|/[\unicode[STIX]{x1D6E4}:\unicode[STIX]{x1D6E4}_{k}]$ should tend to a nonzero limit if and only if $i=(\dim (D)-1)/2$ and $G$ is a group of deficiency $1$. Furthermore, they gave a precise expression for the limit. In this paper, we investigate computationally the cohomology of several (non-cocompact) arithmetic groups, including $\operatorname{GL}_{n}(\mathbb{Z})$ for $n=3,4,5$ and $\operatorname{GL}_{2}(\mathscr{O})$ for various rings of integers, and observe its growth as a function of level. In all cases where our dataset is sufficiently large, we observe excellent agreement with the same limit as in the predictions of Bergeron–Venkatesh. Our data also prompts us to make two new conjectures on the growth of torsion not covered by the Bergeron–Venkatesh conjecture.

For the locally symmetric space X attached to an arithmetic subgroup of an algebraic group G of ℚ-rank r, we construct a compact manifold by gluing together 2r copies of the Borel–Serre compactification of X. We apply the classical Lefschetz fixed point formula to and get formulas for the traces of Hecke operators ℋ acting on the cohomology of X. We allow twistings of ℋ by outer automorphisms η of G. We stabilize this topological trace formula and compare it with the corresponding formula for an endoscopic group of the pair (G,η) . As an application, we deduce a weak lifting theorem for the lifting of automorphic representations from Siegel modular groups to general linear groups.

Let G be the simple algebraic group Sp(2,2), to be defined over ℚ. It is a non-quasi-split, ℚ-rank-two inner form of the split symplectic group Sp8 of rank four. The cohomology of the space of automorphic forms on G has a natural subspace, which is spanned by classes represented by residues and derivatives of cuspidal Eisenstein series. It is called Eisenstein cohomology. In this paper we give a detailed description of the Eisenstein cohomology HqEis(G,E) of G in the case of regular coefficients E. It is spanned only by holomorphic Eisenstein series. For non-regular coefficients E we really have to detect the poles of our Eisenstein series. Since G is not quasi-split, we are out of the scope of the so-called ‘Langlands–Shahidi method’ (cf. F. Shahidi, On certain L-functions, Amer. J. Math. 103 (1981), 297–355; F. Shahidi, On the Ramanujan conjecture and finiteness of poles for certain L-functions, Ann. of Math. (2) 127 (1988), 547–584). We apply recent results of Grbac in order to find the double poles of Eisenstein series attached to the minimal parabolic P0 of G. Having collected this information, we determine the square-integrable Eisenstein cohomology supported by P0 with respect to arbitrary coefficients and prove a vanishing result. This will exemplify a general theorem we prove in this paper on the distribution of maximally residual Eisenstein cohomology classes.

let $\pi$ be a cuspidal automorphic representation of $\mathrm{gl}_n(\mathbb{a}_{\mathbb{q}})$ with non-vanishing cohomology. under a certain local non-vanishing assumption we prove the rationality of the values of the automorphic $l$-function attached to $\pi$ at critical points. conjecturally, any motivic $l$-function coincides with an $l$-function attached to an automorphic representation on $\mathrm{gl}_n$, hence, our result corresponds to a conjecture of deligne on critical values of motivic $l$-functions.

We obtain a necessary condition for a cohomology class on a compact locally symmetric space S(Γ)=Γ\X (a quotient of a symmetric space X of the non-compact type by a cocompact arithmetic subgroup Γ of isometries of X) to restrict non-trivially to a compact locally symmetric subspace SH(Γ)=Δ\Y of Γ\X. The restriction is in a ‘virtual’ sense, i.e. it is the restriction of possibly a translate of the cohomology class under a Hecke correspondence. As a consequence we deduce that when X and Y are the unit balls in $\Bbb C$n and $\Bbb C$m, then low degree cohomology classes on the variety S(Γ) restrict non-trivially to the subvariety SH(Γ); this proves a conjecture of M. Harris and J-S. Li. We also deduce the non-vanishing of cup-products of cohomology classes for the variety S(Γ).

Let π be a cuspidal automorphic representation of GL3($\Bbb A$$\Bbb Q$), unramified at p and of cohomological type at infinity. We construct p-adic L-functions, which interpolate the critical values of L(π,s) and which satisfy a logarithmic growth condition. We obtain these functions as p-adic Mellin transforms of certain distributions μπ on $\Bbb Z$p* having values in some fixed number field and which are of moderate growth. In the p-ordinary case we obtain the bound |μπ(U)|p[les ]|μHaar(U)|p for open subsets U[les ] $\Bbb Z$p*, where μHaar denotes the invariant distribution on $\Bbb Z$p*.