Wheel graph homology classes via Lie graph homology (Q6111636)

\textit{T. Willwacher} [Invent. Math. 200, No. 3, 671--760 (2015; Zbl 1394.17044)] construct a family of non-trivial graph cohomology classes \(\sigma_{2j+1}\) by analyzing an isomorphism between the \(0\)-th cohomology of a certain graph complex \(GC_2\) being the commutative variant of a construction called the Feynman transform [\textit{E. Getzler} and \textit{M. M. Kapranov}, Compos. Math. 110, No. 1, 65--126 (1998; Zbl 0894.18005)]. Next, \textit{J. Conant} et al. [Comment. Math. Helv. 91, No. 4, 751--806 (2016; Zbl 1396.20057)] study a family of group extensions of the outer automorphism groups of free groups and use the Leray-Serre spectral sequence to compute the homology of a low genus portion of the Lie variant of this construction. They prove in particular that in genus \(1\), the virtual cohomological dimension consists of a family of classes \(\alpha_{2j+1}\). The author of the paper presents a new proof of the non-triviality of wheel graph homology classes using higher operations on Lie graph homology and a derived version of Koszul duality for modular operads. Then, it is shown that the families of classes \(\sigma_{2j+1}\) and \(\alpha_{2j+1}\) correspond to each other under Koszul duality.