A conjecture on arithmetic fundamental groups

The conjecture is the following: Over an algebraic variety over a finite fi eld, the geometric monodromy group of every smooth <(F-l((t)))over bar>-she af is finite. We indicate how to prove this for rank 2, using results of Dr infeld. We also show that the conjecture implies that certain deformation r ings of Galois representations are complete intersection rings.