Symplectic four-manifolds and hyperbolic $π$-orbifolds

We construct closed symplectic 4-manifolds admitting the structure of hyperbolic $π$-orbifold, addressing LeBrun's conjecture. Our simplest example has Euler characteristic $304$, is tessellated by $64$ copies of the right-angled hyperbolic $120$-cell and admits a four-fold branched covering over a