An effective proof of the Cartan formula: the even prime

DOI10.1016/J.JPAA.2020.106444MaRDI QIDQ2220194zbMATH OpenOpenAlexFDO

Authors Anibal M. Medina-Mardones

Publication date 22 January 2021

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

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

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)

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.

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

Cites work

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

Cited in

(9)

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

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)