On De Jong’s conjecture

摘要

Let X be a smooth projective curve over a finite field F q . Let ρ be a continuous representation π(X) → GL n (F), where F = F l ((t)) with F l being another finite field of order prime to q. Assume that ρ|π(X) is irreducible. De Jong’s conjecture says that in this case ρ(π(X)) is finite. As was shown in the original paper of de Jong, this conjecture follows from an existence of an F-valued automorphic form corresponding to ρ is the sense of Langlands. The latter follows, in turn, from a version of the Geometric Langlands conjecture. In this paper we sketch a proof of the required version of the geometric conjecture, assuming that char(F) ≠ 2, thereby proving de Jong’s conjecture in this case.