Verifying the Hilali conjecture up to formal dimension twenty

Abstract

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 rational homotopy for a simply connected rationally elliptic space.

9 pages. Initiated as part of the Stony Brook Directed Reading Program, 2019. Published in Journal of Homotopy and Related Structures, 2020