The basic ingredients for Eisenstein cohomology are a reductive group , an arithmetic subgroup (cf. also Arithmetic group) and a rational representation (cf. also Representation of a group). The simplest example is given by the group , a congruence subgroup with as representation the space of homogeneous polynomials of degree ,
where acts by .
Starting from these data one can construct a symmetric space , the locally symmetric space and a sheaf on . In the example one can take , where is the connected component of the identity of the real points of the centre.
One can consider the cohomology groups . It is a consequence of reduction theory that they form a finite-dimensional (graded) vector space. It carries some further structure: It can be endowed with an action of the so-called Hecke algebra on it. It is a fundamental problem to understand these cohomology groups as a module under this action of the Hecke algebra.
If is torsion free, then is a Riemannian manifold with finite volume and sometimes it even carries the structure of a quasi-projective variety. If, for instance, , then is a compact Riemann surface with a finite non-empty set of points removed.
Form the tensor product . A method for investigating these cohomology groups is provided by the de Rham isomorphism
where is the de Rham complex of , and this de Rham complex is isomorphic to
where (respectively, ) is the Lie algebra of (respectively, ).
This opens the door for the application of representation-theoretical methods, because is a module under the group .
However, since the quotient is not compact in general, one has to be careful: the space and the Hilbert space technique of decomposing a module into irreducibles cannot be applied so easily. It is possible to define various subspaces, namely the space of cusp forms , or the space of compactly supported functions . These define subspaces in the cohomology, namely the cuspidal cohomology and the so-called "inner cohomology" . Classes in one of theses subspaces vanish "at infinity" . The cuspidal cohomology can be investigated using classical Hilbert space techniques; the space is a countable sum of irreducible subspaces under the action of .
One wants to understand the rest of the cohomology. To that end one can embed the locally symmetric space into the Borel–Serre compactification ; the sheaf extends to a local system on this compactification. The Borel–Serre compactification is a manifold with corners; let be its boundary. Then there is an exact sequence
This raises the question to understand such sequences: What is the cohomology of the boundary and what is the image of the "global" cohomology in the cohomology of the boundary?
Understanding the cohomology of the boundary requires understanding the cohomology of groups of lower rank, which is sometimes not so difficult. For instance, in the special example above the boundary consists of a finite number of circles and
Eisenstein cohomology is designed to provide some understanding of the restriction mapping . One starts from a class (or a certain space of classes) in the cohomology of the boundary. Viewing it as a class in the de Rham cohomology, one can represent it by a form which is not invariant under , but which is invariant under the smaller group given by the intersection of with a parabolic subgroup which enters in the datum . Then one forms the sum
giving a global class. The only difficulty is that this sum need not converge. Hence the form has to be "twisted" by a parameter varying in a space and whose real part should be large. Then the sum
will be convergent and represent a holomorphic function in . Langlands' general theory of Eisenstein series implies that this function has a meromorphic continuation and hence one can "evaluate" at . However, various things may happen. One may encounter a pole or the class need not be closed. If it is closed, one has to compute its restriction to the boundary.
What happens exactly depends, of course, on the original data. The original form should be specified more precisely; for instance, one may assume that it is an eigenform for a certain subalgebra of the Hecke algebra. Then as such it produces certain -functions (cf. also -function) and the answer to the above questions depends on the behaviour of certain of these -functions at .
This program has been carried out successfully in some low-dimensional cases, see, for instance, [a2], [a3], [a7]. In the example, the restriction mapping is surjective in degree one and zero in degree zero if . If , then the image of in degree one has codimension and dimension in degree zero. Actually, in this case the theory of Eisenstein series is not needed, since purely topological arguments are sufficient.
It has been demonstrated in [a2], [a3], [a7] that a detailed understanding of the Eisenstein cohomology may have certain arithmetic implications; for instance, one obtains rationality results for special values of -functions. One may also hope that via the influence of the values of the -functions on the structure of the cohomology as a module under the Hecke algebra, some interesting arithmetic objects (mixed motives, unramified field extensions) can be constructed that owe their existence to the (arithmetic) properties of certain -values; see [a4], [a5], [a6].
Finally, there is the following fundamental and very general theorem of J. Franke [a1]. Using the Eisenstein series and their residues and derivatives one can define the subspace . This space can also be characterized as a space of functions that satisfy certain growth conditions and differential equations.
This subspace is "very small" and Franke's theorem says that the mapping
induces an isomorphism in cohomology.
|[a1]||J. Franke, "Harmonic analysis in weighted -spaces" Ann. Sci. École Norm. Sup. (4) , 31 (1998) pp. 181–279|
|[a2]||G. Harder, "Eisenstein cohomology of arithmetic groups: The case " Invent. Math. , 89 (1987) pp. 37–118|
|[a3]||G. Harder, "Some results on the Eisenstein cohomology of arithmetic subgroups of " J.P. Labesse (ed.) J. Schwermer (ed.) , Cohomology of Arithmetic Groups. Proc. Conf. CIRM , Lecture Notes in Mathematics , 1447 , Springer (1990)|
|[a4]||G. Harder, "Eisenstein cohomology of arithmetic groups and its applications to number theory" , Proc. ICM (Kyoto, 1990) , Math. Soc. Japan (1991) pp. 779–790|
|[a5]||G. Harder, "Eisensteinkohomologie und die Konstruktion gemischter Motive" , Lecture Notes in Mathematics , 1562 , Springer (1993)|
|[a6]||G. Harder, R. Pink, "Modular konstruierte unverzweigte abelsche -Erweiterungen von und die Struktur ihrer Galoisgruppen" Math. Nachr. , 159 (1992) pp. 83–99|
|[a7]||J. Schwermer, "On Euler products and residual Eisenstein cohomology classes for Siegel modular varieties" Forum Math. , 7 (1995) pp. 1–28|
Eisenstein cohomology. G. Harder (originator), Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Eisenstein_cohomology&oldid=15311