Verifying the Hilali conjecture up to formal dimension twenty

Spencer Cattalani, Aleksandar Milivojević

We prove that in formal dimension $\le 20$ the Hilali conjecture holds, i.e. that the total dimension of the rational homology bounds from above the total dimension of the rationa…