Abstract:The cohomology H * (Gamma, E) of an arithmetic subgroup F of a connected reductive algebraic group G defined over some algebraic number field F can be interpreted in terms of the automorphic spectrum of Gamma. With this framework in place, there is a sum decomposition of the cohomology into the cuspidal cohomology (i.e., classes represented by cuspidal automorphic forms for G) and the so-called Eisenstein cohomology constructed as the span of appropriate residues or derivatives of Eisenstein series attached to cuspidal automorphic forms on the Levi components of proper parabolic F-subgroups of G. The main objective of this paper is to isolate a specific structural part in the Eisenstein cohomology. This pertains to regular Eisenstein cohomology classes attached to cuspidal automorphic representations whose archimedean component is tempered. It is shown that the cohomological degree of these classes is bounded from below by the constant q(0)(G(R)) = ((1 /2)[dim X-G(R) - (rk(G(R)) - rk(K-R))], where KR denotes a maximal compact subgroup of the real Lie group G(R), where XG(R) is the associated symmetric space. This investigation has various applications. One of these is a vanishing result,for the cohomology in the generic case (i.e., where coefficient system E has regular highest weight) the representation determining the in degrees below q(0) (G (R)). This is a sharp bound depending only on the underlying real Lie group G (R) (Corollary 5.6, Proposition 5.8). This result is supplemented by a qualitative structural result in the description of the cohomology in higher degrees by means of regular Eisenstein cohomology classes.

Degree-Theoretic Aspects of Computably Enumerable Reals

Degrees of relations on canonically ordered natural numbers and integers

A Join Theorem for the Computably Enumerable Degrees

On the Eisenstein Cohomology of Arithmetic Groups

Computably enumerable equivalence relations via primitive recursive reductions

Degree spectra of unary relations on 〈ω,≤〉

Non-empty open intervals of computably enumerable sQ 1-degrees

Nearly Computable Real Numbers

Computably Enumerable Algebras, Their Expansions, and Isomorphisms

On computable numberings of families of Turing degrees

Finite final segments of the d.c.e. Turing degrees

LINEAR ORDERS REALIZED BY C.E. EQUIVALENCE RELATIONS

Turing degrees of isomorphism types of geometric objects

A Journey to Computably Enumerable Structures (Tutorial Lectures).

Computing over the Reals (or an Arbitrary Ring)

A Hierarchy for Cuppable Degrees

Bounding Computably Enumerable Degrees in the Ershov Hierarchy

Universal Cupping Degrees

Maximal Pairs of C.E. Reals in the Computably Lipschitz Degrees

Computable categoricity relative to a c.e. degree

The transcendence degree of the reals over certain set-theoretical subfields