Self-products of rationally elliptic spaces and inequalities between the ranks of homotopy and homology groups (Q2139832)

The Hilali conjecture in rational homotopy theory asserts an inequality \[ \mathrm{dim}(\pi_*(X) \otimes \mathbb{Q}) \leq \dim H^*(X; \mathbb{Q}) \] for \(X\) an elliptic space (\(X\) simply connected with both \(\pi_*(X) \otimes \mathbb{Q}\) and \(H^*(X; \mathbb{Q})\) finite-dimensional). The conjecture corresponds to the assertion \(P^\pi_X(1) \leq P_X(1)\) where \[ P^\pi_X(t) = \sum_{k \geq 2} \mathrm{dim}(\pi_k(X) \otimes \mathbb{Q})t^k \text{ and } P_X(t) = \sum_{k \geq 0} \dim H^k(X; \mathbb{Q})t^k. \] Noting the inequality \(qP_X(1) < P_X(1)^q\) holds for sufficiently large \(q\) (and thus holds for sufficiently many self-products of \(X\)), the authors introduce the real stabilization threshold for an elliptic space \(X\): \[ \mathfrak{pp}_\mathbb{R}(X; \varepsilon) = \{ r(\varepsilon) \in \mathbb{R} \mid qP^\pi_X(t) < P_X(t)^q, \forall q > r(\varepsilon), \forall t \geq \varepsilon \}. \] Expanding on work in [\textit{A. Libgober} and \textit{S. Yokura}, Homology Homotopy Appl. 24, No. 2, 93--113 (2022; Zbl 1505.32046)], they make use of implicit functions to express the stabilization threshold in terms of values of transcendental functions. This result motivates a conjecture on the transcendence of stabilization thresholds for elliptic spaces other than an odd-dimensional sphere. The authors prove the homotopical and cohomological mixed Hodge polynomials of a rationally elliptic toric manifold coincide with those of a certain product of complex projective spaces. Finally, the authors obtain the estimates: \[ 2 < \mathfrak{pp}_\mathbb{R}(S^{2n}; 1) < 2 + \frac{1}{2}\text{ and }1+\frac{1}{3n} < \mathfrak{pp}_\mathbb{R}(\mathbb{C}P^n; 1) < 1 + \frac{3}{2n}. \]