Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
The Cartan formula encodes the relationship between the cup product and the action of the Steenrod algebra in F-p-cohomology. In this work, we present an effective proof of the Cartan formula at the cochain level when the field is F-2. More explicitly, for an arbitrary pair of cocycles and any non-negative integer, we construct a natural coboundary that descends to the associated instance of the Cartan formula. Our construction of Cartan coboundaries works for general algebras over the Barratt-Eccles operad, in particular, for the singular cochains of spaces, a case for which we have developed open source software. (C) 2020 Elsevier B.V. All rights reserved.