Automated differential computation in the Adams spectral sequence

2022/10/27 by Beauvais-Feisthauer, Joey
#55-04 (Secondary) #55T15 (Primary) 55Q45 #Algebraic Topology (math.AT) #FOS: Mathematics

paper · doi:10.48550/arxiv.2210.15169

Abstract

We describe an algorithm for the automated deduction of many d₂ differentials in the Adams spectral sequence. We discuss our implementation and the results of the computation.

Related

• Stasheff structures and differentials of the Adams spectral sequence
• Computation of the E₃-term of the Adams spectral sequence
• Machine Proofs for Adams Differentials and Extension Problems among CW Spectra
• The E₃ page of the Adams spectral sequence
• Some nontrivial secondary Adams differentials on the fourth line