Introduction

This introductory chapter presents the general principle that the cohomology of arithmetic groups and the L-functions L(s, π‎, r) attached to irreducible “pieces” π‎ have a strong symbiotic relationship with each other. The symbiosis goes in both directions. The first is that expressions in the special values L(k, π‎, r) enter in the transcendental description of the cohomology. Since the cohomology is defined over ℚ one can deduce rationality (algebraicity) results for these expressions in special values. Next, these special values in turn influence the structure of the cohomology as a Hecke module; prime numbers dividing these values occur in the denominators of Eisenstein classes.

Eisenstein Cohomology for GL and the Special Values of Rankin-Selberg L-Functions

This book studies the cohomology of locally symmetric spaces for GL(N) where the cohomology groups are with coefficients in a local system attached to a finite-dimensional algebraic representation of GL(N). The image of the global cohomology in the cohomology of the Borel–Serre boundary is called Eisenstein cohomology, since at a transcendental level the cohomology classes may be described in terms of Eisenstein series and induced representations. However, because the groups are sheaf-theoretically defined, one can control their rationality and even integrality properties. A celebrated theorem by Langlands describes the constant term of an Eisenstein series in terms of automorphic L-functions. A cohomological interpretation of this theorem in terms of maps in Eisenstein cohomology allows the authors to study the rationality properties of the special values of Rankin–Selberg L-functions for GL(n) × GL(m), where n + m = N. The book carries through the entire program with an eye toward generalizations. The book should be of interest to advanced graduate students and researchers interested in number theory, automorphic forms, representation theory, and the cohomology of arithmetic groups.

A construction of residues of Eisenstein series and related square-integrable classes in the cohomology of arithmetic groups of low k-rank

The cohomology of an arithmetic congruence subgroup of a connected reductive algebraic group defined over a number field is captured in the automorphic cohomology of that group. The residual Eisenstein cohomology is by definition the part of the automorphic cohomology represented by square-integrable residues of Eisenstein series. The existence of residual Eisenstein cohomology classes depends on a subtle combination of geometric conditions (coming from cohomological reasons) and arithmetic conditions in terms of analytic properties of automorphic L-functions (coming from the study of poles of Eisenstein series). Hence, there are almost no unconditional results in the literature regarding the very existence of non-trivial residual Eisenstein cohomology classes. In this paper, we show the existence of certain non-trivial residual cohomology classes in the case of the split symplectic, and odd and even special orthogonal groups of rank two, as well as the exceptional group of type {\mathrm{G}_{2}}, defined over a totally real number field. The construction of cuspidal automorphic representations of {\mathrm{GL}_{2}} with prescribed local and global properties is decisive in this context.

A brief introduction to Quillen conjecture

Introduction: In 1971, Quillen stated a conjecture that on cohomology of arithmetic groups, a certain module structure over the Chern classes of the containing general linear group is free. Over time, many efforts has been dedicated into this conjecture. Some verified its correctness, some disproved it. So, the original Quillens conjecture is not correct. However, this conjecture still has great impacts on the field cohomology of group, especially on cohomology of arithmetic groups. This paper is meant to give a brief survey on Quillen conjecture and finally present a recent result that this conjecture has been verified by the authors. Method: In this work, we investigate the key reasons that makes Quillen conjecture fails. We review two of the reasons: 1) the injectivity of the restriction map; 2) the non-free of the image of the Quillen homomorphism. Those two reasons play important roles in the study of the correctness of Quillen conjecture. Results: In section 4, we present the cohomology of ring ​ which is isomorphic to the free module ​ over ​. This confirms the Quillen conjecture. Conclusion: The scope of the conjecture is not correct in Quillens original statement. It has been disproved in many examples and also been proved in many cases. Then determining the conjectures correct range of validity still in need. The result in section 4 is one of the confirmation of the validity of the conjecture.

DERIVED HECKE ALGEBRA AND COHOMOLOGY OF ARITHMETIC GROUPS

We describe a graded extension of the usual Hecke algebra: it acts in a graded fashion on the cohomology of an arithmetic group $\unicode[STIX]{x1D6E4}$ . Under favorable conditions, the cohomology is freely generated in a single degree over this graded Hecke algebra. From this construction we extract an action of certain $p$ -adic Galois cohomology groups on $H^{\ast }(\unicode[STIX]{x1D6E4},\mathbf{Q}_{p})$ , and formulate the central conjecture: the motivic $\mathbf{Q}$ -lattice inside these Galois cohomology groups preserves $H^{\ast }(\unicode[STIX]{x1D6E4},\mathbf{Q})$ .

ON THE GROWTH OF TORSION IN THE COHOMOLOGY OF ARITHMETIC GROUPS

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.