Type A Images of Galois Representations and Maximality

Abstract

Given a compatible system of n-dimension l-adic Galois representations arising from \'etale cohomology of any complete, non-singular variety, we prove that for sufficiently large prime l, type A Galois image (in the Cartan-Killing classification) is in some sense maximal in its Zariski closure in GL(n).