Higher homotopy commutativity and the resultohedra (Q548521): Difference between revisions

The authors define higher homotopy commutativity for the multiplication of a topological monoid. Using the resultohedra constructed by Gelfand, Kapranov and Zelevinsky they define \(C_k(n)\)-spaces for \(n\geq 1\) and \(1\leq k\leq n\). A \(C_k(n)\)-space is a \(C_n\)-space and the converse is true if the space is the rationalisation of a connected topological monoid. Denote now by \(P_k(\Omega Z)\) the \(k\)-th projective space associated to \(\Omega Z\), \(P_\infty(\Omega Z) \cong Z\), and let \(\varepsilon_n : P_n(\Omega Z)\to P_\infty (\Omega Z)\) be the usual inclusion. Then \(Z\) is called an \(H_k(n)\)-space if there is a map \(\varphi_k(n) : \bigcup_{0\leq s\leq k} P_{n-s}(\Omega Z)\times P_s(\Omega Z)\to P_\infty(\Omega Z)\) whose restrictions to \(P_n(\Omega Z)\times P_0(\Omega Z)\) and \(P_0(\Omega Z)\times P_s(\Omega Z)\) are the inclusions \(\varepsilon_n\) and \(\varepsilon_k\). This notion is a generalisation of the \(H(n)\)-spaces introduced by Félix and Tanré and the \(T_k\)-spaces introduced by Aguadé. An \(H(n)\)-space is an \(H_n(n)\)-space and a \(T_k\)-space is an \(H_k(\infty)\)-space. The main result states that a connected topological monoid \(X\) is a \(C_k(n)\)-space if and only if the classifying space \(BX\) is a \(H_k(n)\)-space.