On the convergence of the spectral empirical process of Wigner matrices

It is well known that the spectral distribution Fn of a Wigner matrix converges to Wigner's semicircle law. We consider the empirical process indexed by a set of functions analytic on an open domain of the complex plane including the support of the semicircle law. Under fourth-moment conditions, we prove that this empirical process converges to a Gaussian process. Explicit formulae for the mean function and the covariance function of the limit process are provided.