Big symplectic or orthogonal monodromy modulo l

Let k be a field not of characteristic two, and let Lambda be a set consisting of almost all rational primes invertible in k. Suppose that we have a variety X/k and strictly compatible system {M-l -> X : l is an element of Lambda} of constructible F-l-sheaves. If the system is orthogonally or symplectically self-dual, then the geometric monodromy group of M-l is a subgroup of a corresponding isometry group Gamma(l) over F-l, and we say that it has big monodromy if it contains the derived subgroup D Gamma(l). We prove a theorem that gives sufficient conditions for M-l to have big monodromy. We apply the theorem to explicit systems arising from the middle cohomology of families of hyperelliptic curves and elliptic surfaces to show that the monodromy is uniformly big as we vary l and the system. We also show how it leads to new results for the inverse Galois problem.