The smallest \(\Omega\)-irrational CW-complex (Q1068382)

The author has recently shown [Ann. Math., II. Ser. 115, 1-33 (1982; Zbl 0454.55004)] that there exists a finite simply-connected CW-complex X that is \(\Omega\)-irrational; i.e. the Poincaré series \(\sum Rank_{{\mathbb{Q}}} H_ n(\Omega X; {\mathbb{Q}}) z^ n\) of its loop space is not a rational function of z. In this interesting paper it is shown that any \(\Omega\)-irrational CW- complex must have at least four cells, excluding the base point. This is a consequence of results of \textit{J.-M. Lemaire} [Algèbres connexes et homologie des espaces de lacets (Lect. Notes Math. 422) (1974; Zbl 0293.55004)] and of \textit{D. Sullivan}'s theory of minimal models [Inst. Haut. Étud. Sci., Publ. Math. 47 (1977), 269-331 (1978; Zbl 0374.57002)]. An \(\Omega\)-irrational four-cell complex W of dimension six is explicitly constructed as the mapping cone of a map \(f=f_ 1\bigvee f_ 2:\) \(S^ 5\bigvee S^ 5\to S^ 2\bigvee S^ 2\), where the attaching maps \(f_ i\) are given by Whitehead products, and it is proved that this dimension six cannot be reduced without increasing the number of cells.