An effective proof of the Cartan formula: Odd primes

2023/05/15 by Federico Cantero-Morán, Cantero-Morán, Federico, Anibal M. Medina-Mardones +1
Mathematics · Physics and Astronomy · #55S05 #55S10 #55S12 #Advanced Differential Geometry Research #Algebraic Topology (math.AT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Mathematics and Applications

paper · pdf · doi:10.48550/arxiv.2305.08973

openalex publication_date 2023/05/15 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

The Cartan formula relates the cup product and the action of the Steenrod algebra on mod~p cohomology. For any pair of mod p cocycles in a simplicial set, where p is an odd prime, we effectively construct a natural coboundary descending to this formula in cohomology.

Related

• An effective proof of the Cartan formula: the even prime
• Reduced power operations in motivic cohomology
• A Cochain Level Proof of Adem Relations in the Mod 2 Steenrod Algebra
• A Cartan formula for the cohomology of polyhedral products and its application to the ring structure
• Geometric Constructions of Mod p Cohomology Operations