The Milnor-Moore theorem in tame homotopy theory (Q2639378)

The paper of Scheerer and Tanré concerns tame generalizations of the Milnor-Moore isomorphism \(U(\Pi_*(\Omega X)\otimes {\mathbb{Q}})\to H_*(\Omega X;{\mathbb{Q}})\) for X a 1-connected space. Denote by \(R_ 0\subset R_ 1\subset..\). a tame ring system, i.e. \(R_ k\subset {\mathbb{Q}}\) and each prime p with 2p-3\(\leq k\) is invertible in \(R_ k\). Let X be an r-connected c.w. complex, \(r\geq 2\). Then the authors prove the two following results: Theorem 1. Let p be a prime number such that \({\mathbb{Z}}/p{\mathbb{Z}}\) is an \(R_ k\)-module, then the Hurewicz homomorphism induces on homomorphisms of Hopf algebras \(U(\Pi_*(\Omega X;{\mathbb{Z}}/p{\mathbb{Z}}))\to H_*(\Omega X;{\mathbb{Z}}/p{\mathbb{Z}})\) which is an isomorphism in degrees \(\leq r+k.\) Theorem 2. Assume that \(H_{r+k}(\Omega X;R_ k)\) is a flat \(R_ k\)- module for \(k\geq 0\), then the Hurewicz homomorphism induces an isomorphism of Hopf algebras \(U(\Pi_*(\Omega X)\otimes R_ k)\to H_*(\Omega X;R_ k)\) in degrees \(\leq r+k.\) These two results are consequences of the deeper and fundamental following theorem. Theorem 3. Let \(L_ X\) be a differential graded free Lie algebra over \({\mathbb{Z}}\) describing the tame homotopy type of X, then there exists a sequence of morphisms of differential graded algebras between \(U(L_ X)\) and the algebra \(CU_*(\Omega X)\) of normalized cubical chains on \(\Omega\) X, inducing isomorphisms \[ H_{r- 1+\ell}(U(L_ X),R_ k)\cong H_{r-1+\ell}(CU_*(\Omega X);R_ k)\text{ for } \ell \leq k. \] As an example given by the authors shows, it is not always true that \(H_{\leq r+k}(\Omega X;R_ k)\) is isomorphic to \(H_{\leq r+k}\) \((U(M\otimes R_ k))\) where M is a \({\mathbb{Z}}\)-free model of \((\Pi_*(\Omega X),O)\). However there exists always a filtration on \(H_{\leq r+k}(\Omega X;R_ k)\) such that the associated graded algebra is isomorphic to \(H_{\leq r+k}(U(M\otimes R_ k))\).