Character-sheaf basis conjecture for class functions
Let G0G_0G0 be any connected unipotent group over Fq{\mathbb F}_qFq, let G=G0⊗FqFG=G_0\otimes_{{\mathbb F}_q}{\mathbb F}G=G0⊗FqF with Frobenius Fr\operatorname{Fr}Fr, and let…