petersson conjecture