Let X be a smooth separated geometrically connected variety deﬁned over a characteristic p ﬁnite ﬁeld, f : Y → X a smooth projective morphism, and w a non-negative integer. A celebrated result of Deligne states that the higher direct image Qℓ-sheaf Rwf∗Qℓ is semisimple on X geometrically for all prime ℓ not equal to p. By comparing the invariant dimensions of suﬃciently many ℓ-adic and mod ℓ representations arising from the sheaves Rwf∗Qℓ and Rwf∗Fℓ respectively, we prove that the Fℓ-sheaf Rwf∗Fℓ is likewise semisimple on X geometrically if ℓ is suﬃciently large. As an application, a largeness result on the monodromy is obtained. This is a joint work with Anna Cadoret and Akio Tamagawa.
704 Thackeray Hall