Lauter's conjecture on primes in denominators of Igusa class polynomials
Lauter's conjecture. Every such prime is bounded by ∣dK∣|d_K|∣dK∣, and divides dK−x2d_K-x^2dK−x2 for some integer xxx.