An effective proof of the Cartan formula: the even prime

DOI10.1016/J.JPAA.2020.106444zbMATH Open1472.55012arXiv1907.12113OpenAlexW3028873054MaRDI QIDQ2220194FDOQ2220194

Authors: Anibal M. Medina-Mardones 

Publication date: 22 January 2021

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Abstract: The Cartan formula encodes the relationship between the cup product and the action of the Steenrod algebra in $mathbb{F}_p$-cohomology. In this work, we present an effective proof of the Cartan formula at the cochain level when the field is $mathbb{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 works for general algebras over the Barratt-Eccles operad, in particular, for the singular cochains of spaces.

Full work available at URL: https://arxiv.org/abs/1907.12113

Recommendations

• A simple proof of Carmichael's theorem on primitive divisors
• A new elementary proof of the Prime Number Theorem
• A formally verified proof of the prime number theorem
• scientific article; zbMATH DE number 1290199
• A formalized proof of Dirichlet's theorem on primes in arithmetic progression
• Formalizing an analytic proof of the prime number theorem
• An Elementary Proof of a Theorem About the Representation of Primes by Quadratic Forms
• A Quixotic Proof of Fermat’s Two Squares Theorem for Prime Numbers
• An effective version of the primitive element theorem

zbMATH Keywords

operadsSteenrod squarescup productcohomology algebraBarrat-Eccles operadCartan relation

Mathematics Subject Classification ID

Primary cohomology operations in algebraic topology (55S05) Steenrod algebra (55S10) Dyer-Lashof operations (55S12)

Cites Work

• Title not available (Why is that?)
• Algebraic operads
• On the groups \(H(\Pi,n)\). II
• Combinatorial operad actions on cochains
• Cohomology Operations (AM-50)
• Title not available (Why is that?)
• Fermionic SPT phases in higher dimensions and bosonization
• Products of cocycles and extensions of mappings
• Homological perturbation theory and associativity
• Multivariable cochain operations and little 𝑛-cubes
• An algebraic representation of globular sets

Cited In (9)

• Persistence Steenrod modules
• Higher-group symmetry in finite gauge theory and stabilizer codes
• Title not available (Why is that?)
• The diagonal of cellular spaces and effective algebro-homotopical constructions
• A cochain level proof of Adem relations in the mod 2 Steenrod algebra
• A finitely presented \(E_\infty\)-prop. II: Cellular context
• New formulas for cup-\(i\) products and fast computation of Steenrod squares
• Cochain level May-Steenrod operations
• A computer algebra system for the study of commutativity up to coherent homotopies

This page was built for publication: An effective proof of the Cartan formula: the even prime

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2220194)