Cohomology of \(S\)-arithmetic subgroups in the number field case
type: Item
instance of: scholarly article
title: Cohomology of \(S\)-arithmetic subgroups in the number field case
zbMATH Open document ID: 0798.11020
DOI: 10.1007/BF01231557
author: Don Blasius
author: Jens Franke
author: Fritz Grunewald
published in: Inventiones Mathematicae
publication date: 1994-11-01T00:00:00Z
full work available at URL: https://eudml.org/doc/144184
review text: Let \(G\) be a semisimple, absolutely almost simple group over a number field \(k\), and let \(S\) be a finite set of places of \(k\) containing all the archimedean ones. Assume that the \(k\)-rank of \(G\) \(rk_ k(G)>0\); so that \(G(k_ v)\) is noncompact for \(v \in S\). Given an \(S\)-arithmetic subgroup \(\Gamma\) of \(G(k)\) the cohomology of \(H^*(\Gamma,E)\) (with respect to a finite dimensional complex rational representation of \(G(\mathbb{R}))\) is defined. Generalizing to the \(S\)-arithmetic situation the regularization theorem of Borel and a decomposition theorem of Langlands for functions of uniform moderate growth on \(\Gamma \backslash G_ s\) one can derive [cf. \textit{A. Borel}, \textit{J. P. Labesse} and \textit{J. Schwermer}, On the cuspidal cohomology of \(S\)-arithmetic groups of reductive groups over numbers fields (to appear)] that the cohomology space \(H^*(\Gamma,E)\) is canonically a direct sum \[ H^* (\Gamma, E) = \oplus H^* (\Gamma,E)_ P \] where \(P\) runs through the set of classes of associate parabolic \(k\)-subgroups of \(G\). In terms of automorphic forms, the summand indexed by \(G\) can be identified to the differential cohomology \(H_ d\) of \(G_ S\) with coefficients in the cuspidal spectrum \(L^ 2_{cusp} (\Gamma \backslash G_ S)^ \infty_{cusp}\) twisted by \(E\). This space is called the cuspidal cohomology \(H^* (\Gamma,E)_{cusp}\) of \(\Gamma\). The cuspidal spectrum is contained in the discrete \(L^ 2\)-spectrum \(L^ 2 (\Gamma \backslash G_ S)_{dis}\), and one has for the differential cohomology of \(G_ S\) with respect to this space \[ H^*_ d \bigl( G_ S; L^ 2 (\Gamma \backslash G)^ \infty_{dis} \otimes E \bigr) = H^* (\Gamma;E)_{cusp} \oplus H^*_ d \bigl( G(\mathbb{R}), E \bigr). \] In the paper under review it is shown for congruence subgroups of simply connected groups that this cohomology space is equal to the full cohomology \(H^* (\Gamma,E)\), i.e. in terms of automorphic forms, Eisenstein series which depend on a pa…
Mathematics Subject Classification ID: 11F75
zbMATH DE Number: 554013
zbMATH Keywords: cohomology of arithmetic subgroups
zbMATH Keywords: cuspidal cohomology
zbMATH Keywords: cuspidal spectrum
zbMATH Keywords: differential cohomology
Wikidata QID: Q101493491
reviewed by: Joachim Schwermer
MaRDI profile type: Publication
cites work: Higher regulators and values of \(L\)-functions
cites work: Q4884989
cites work: Sur la cohomologie des espaces fibrés principaux et des espaces homogènes de groupes de Lie compacts
cites work: Q4160112
cites work: Cohomologie d'immeubles et de groupes S-arithmétiques
cites work: Complements à l'article: ''Groupes reductifs''
cites work: Q3885948
cites work: Continuous cohomology and a conjecture of Serre's
cites work: Théorie de Hodge. III
cites work: Q4102494
cites work: Q4150360
cites work: Die Kohomologie S-arithmetischer Gruppen über Funktionenkörpern
cites work: Eisenstein cohomology of arithmetic groups. The case \(GL_ 2\)
cites work: On the functional equations satisfied by Eisenstein series
cites work: Classifying spaces and spectral sequences
cites work: Representations of real reductive Lie groups
description: scientific article; zbMATH DE number 554013