On the Betti numbers of a loop space

Samson Saneblidze

Published 2009-05-15, updated 2009-12-24Version 3

Let $A$ be a special homotopy G-algebra over a commutative unital ring $\Bbbk$ such that both $H(A)$ and $\operatorname{Tor}_{i}^{A}(\Bbbk,\Bbbk)$ are finitely generated $\Bbbk$-modules for all $i$, and let $\tau_{i}(A)$ be the cardinality of a minimal generating set for the $\Bbbk$-module $\operatorname{Tor}_{i}^{A}(\Bbbk,\Bbbk).$ Then the set ${\tau_{i}(A)} $ is unbounded if and only if $\tilde{H}(A)$ has two or more algebra generators. When $A=C^{\ast}(X;\Bbbk)$ is the simplicial cochain complex of a simply connected finite $CW$-complex $X,$ there is a similar statement for the "Betti numbers" of the loop space $\Omega X.$ This unifies existing proofs over a field $\Bbbk$ of zero or positive characteristic.