Let G0 be a connected unipotent group over a finite field Fq, and let G = G0 ⊗Fq Fq, equipped with the Frobenius endomorphism Frq : G −→ G. For every character sheaf M on G such that Frq M ∼= M , we prove that M comes from an irreducible perverse sheaf M0 on G0 such that M0 is pure of weight 0 (as an `-adic complex) and for each integer n ≥ 1 the “trace of Frobenius” function tM0⊗FqFqn on G0(Fq...