The ranks of the homotopy groups of odd degree of a finite complex (Q472993): Difference between revisions

This paper concerns the growth of the homotopy groups of a finite CW complex \(X\). Given a graded space \(L\), define \[ \log \mathrm{index }L=\limsup_{n\to +\infty} \frac{\mathrm{rank }L_n}{n}. \] Taking \(L_X = \pi_*(\Omega X) \otimes \mathbb{Q}\), the rational homotopy Lie algebra of \(X,\) gives an invariant \[ \alpha_X = \log\mathrm{index }L_X. \] For \(X\) simply connected of finite type and finite rational category, the authors have proved a basic dichotomy: Either \(\alpha_X = -\infty\) or \(\alpha_X > 0\) [Ann. Math. (2) 170, No. 1, 443--464 (2009; Zbl 1197.55006)]. In this paper, the authors extend their dichotomy to the \(p\)-graded components of \(L_X\) for \(p\) prime. Write \(L_X(p)_k = \pi_{kp}(\Omega X) \otimes \mathbb{Q}\). The main result gives \(\log\mathrm{index } L_X(p) = \alpha_X. \) The proofs use results of the above cited paper amongst others by these authors.