Wigner function and decoherence in quantum cosmology

We investigate the retrieval of classical behavior from the wave function of the Universe. It has been previously argued that to do this two conditions are necessary: decoherence (or lack of quantum interference) and the existence of classical correlations. Using the Wigner function we study the mutual compatibility of these requirements. Assuming the correlation interpretation of Geroch and Hartle, we show that some form of coarse graining is essential for the theory to predict classical behavior from WKB wave functions. We also show that there must be a compromise between the degree of decoherence and the sharpness of classical correlations. A minisuperspace model is used as an example to illustrate these points.