On the wheeled PROP of stable cohomology of \(\mathrm{Aut}(F_n)\) with bivariant coefficients (Q6188362)

The paper under review concerns the cohomology of automorphism groups of free groups \(\mathrm{Aut}(\mathbb{Z}^{\ast n})\) for \(n \in \mathbb{N}\), with coefficients given by the \(\Bbbk\)-modules \[B_{l,m}(\mathbb{Z}^{\ast n}, \mathbb{Z}^{\ast n})=\mathrm{Hom}_{\mathcal{V}}((\Bbbk^{n})^{\otimes l},(\Bbbk^{n})^{\otimes q})\] where \(l,q \in \mathbb{N}\), \(\Bbbk\) is a commutative ring, \(\mathcal{V}\) is the category of \(\Bbbk\)-modules and where the structure of \(\mathrm{Aut}(\mathbb{Z}^{\ast n})\)-module on \(B_{l,m}(\mathbb{Z}^{\ast n}, \mathbb{Z}^{\ast n})\) is given by the diagonal action. In the paper under review, the authors show that the stable cohomology of automorphism groups of free groups with coefficients obtained by applying \(\mathrm{Hom}(-,-)\) to tensor powers of the abelianization, is equipped with the structure of a wheeled \(\mathrm{PROP}\; \mathcal{H}\) (see the paper for a precise definition). They define another wheeled \(\mathrm{PROP} \; \mathcal{E}\) by \(\mathrm{Ext}\)-groups in the category of functors from the category of finitely generated free groups to \(\Bbbk\)-modules. The main result of this paper is the construction of a morphism of wheeled \(\mathrm{PROP}s\;\) \(\varphi: \mathcal{E} \rightarrow \mathcal{H}\) such that \(\varphi(\mathcal{E})\) is the wheeled \(\mathrm{PROP}\) generated by the cohomology class \(h_{1}\) constructed by the first author [Geom. Topol. Monogr. 13, 293--306 (2008; Zbl 1177.20062)].