A Leray theorem for the generalization to operads of Hopf algebras with divided powers (Q1306901)

The classical Leray theorem states that over a field of characteristic zero a connected graded commutative Hopf algebra is a free algebra. In finite characteristic the analogous statement is true only if the Hopf algebra comes equipped with divided powers, cf. \textit{M. André} [J. Algebra 18, 19-50 (1971; Zbl 0217.07102)] and \textit{G. Sjödin} [J. Algebra 64, 218-229 (1980; Zbl 0429.16008)]. The author generalizes this finite characteristic Leray theorem to \(\mathcal P\)-algebras with divided powers, where \(\mathcal P\) is any unital algebraic operad. The precise definition of such a divided power \(\mathcal P\)-algebra crucially involves the following observation of B. Fresse: each unital algebraic operad \(\mathcal P\) induces two monads (say \(\mathcal P\) and \(\widehat{\mathcal P}\)) on the category of (graded) modules depending on whether one uses the coinvariants or the invariants with respect to the symmetric group actions. In characteristic zero the two monads \(\mathcal P\) and \(\widehat{\mathcal P}\) are isomorphic, but in finite characteristic they are not. For instance, \(\widehat{{\mathcal C}om}\)-algebras are precisely commutative algebras with divided powers, \(\widehat{{\mathcal L}ie}\)-algebras are precisely restricted Lie algebras. F. Patras shows that a general Leray theorem holds in finite characteristic for connected graded \(\widehat{\mathcal P}\)-algebras with cogroup structure. The proof uses the method of weight decomposition developed by the author [in J. Algebra 170, No. 2, 547-566 (1994; Zbl 0819.16033)].