I'm in the middle of the proposition on connected abelian algebraic groups.

Shown: all character sheaves on connected algebraic groups decend to
`bounded' character sheaves. Next I'll prove that all bounded character
sheaves are finite character sheaves on connected algebraic groups.