Arithmetic harmonic analysis on character and quiver varieties

We propose a general conjecture for the mixed Hodge polynomial of the generic character varieties of representations of the fundamental group of a Riemann surface of genus g to GLn(C) with fixed generic semisimple conjugacy classes at k punctures. This conjecture generalizes the Cauchy identity for Macdonald polynomials and is a common generalization of two formulas that we prove in this paper. The first is a formula for the E-polynomial of these character varieties which we obtain using the character table of GLn(Fq). We use this formula to compute the Euler characteristic of character varieties. The second formula gives the Poincaré polynomial of certain associated quiver varieties which we obtain using the character table of gln(Fq). In the last main result we prove that the Poincaré polynomials of the quiver varieties equal certain multiplicities in the tensor product of irreducible characters of GLn(Fq). As a consequence we find a curious connection between Kac-Moody algebras associated with comet-shaped, and typically wild, quivers and the representation theory of GLn(Fq).