No abstract uploaded!

No abstract uploaded!

Thesis (Ph. D.)--Columbia University, 1991. Includes bibliographical references (leaf 48).

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.

We introduce the notion of completed F-crystals on the absolute prismatic site of a smooth p-adic formal scheme. We define a functor from the category of completed prismatic F-crystals to that of crystalline étale Zp-local systems on the generic fiber of the formal scheme and show that it gives an equivalence of categories. This generalizes the work of Bhatt and Scholze, which treats the case of a complete discrete valuation ring with perfect residue field.