Let X be a smooth, projective, geometrically connected curve over a finite field Fq, and let G be a split semisimple algebraic group over Fq. Its dual group Gˆ is a split reductive group over Z. Conjecturally, any l-adic Gˆ-local system on X (equivalently, any conjugacy class of continuous homomorphisms π1(X)→Gˆ(Q¯¯¯¯l)) should be associated with an everywhere unramified automorphic representation of the group G. We show that for any homomorphism π1(X)→Gˆ(Q¯¯¯¯l) of Zariski dense image, there exists a finite Galois cover Y→X over which the associated local system becomes automorphic.

The endoscopic classification via the stable trace formula comparison provides certain character relations between irreducible cuspidal automorphic representations of classical groups and their global Arthur parameters, which are certain automorphic representations of general linear groups. It is a question of J. Arthur and W. Schmid that asks how to construct concrete modules for irreducible cuspidal automorphic representations of classical groups in term of their global Arthur parameters? In this paper, we formulate a general construction of concrete modules, using Bessel periods, for cuspidal automorphic representations of classical groups with generic global Arthur parameters. Then we establish the theory for orthogonal and unitary groups, based on certain well expected conjectures. Among the consequences of the theory in this paper is that the global Gan-Gross-Prasad conjecture for those classical groups is proved in full generality in one direction and with a global assumption in the other direction.

In [2], J. Arthur classifies the automorphic discrete spectrum of symplectic groups up to global Arthur packets. We continue with our investigation of Fourier coefficients and their implication to the structure of the cuspidal spectrum for symplectic groups ([16] and [20]). As result, we obtain certain characterization and construction of small cuspidal automorphic representations and gain a better understanding of global Arthur packets and of the structure of local unramified components of the cuspidal spectrum, which has impacts to the generalized Ramanujan problem as posted by P. Sarnak in [43].

Under mild assumptions, we prove the Iwasawa main conjecture for a cuspidal eigenform at a good prime p.

No abstract uploaded!