3 papers
math.AT2026
Automated proofs of unstable Adams differentials
Jake Francis Baer
We present a computer-based approach to computing differentials in the unstable Adams spectral sequence by systematically applying the unstable Leibniz rule and naturality with res…
math.AT2024
The algebraic Novikov spectral sequence for topological modular forms
J. Francis Baer
We compute the -motivic Adams spectral sequence for . Up to reindexing, this spectral sequence is isomorphic to the algebraic Novikov spectral sequence…
math.AT2024
Stable comodule deformations and the synthetic Adams-Novikov spectral sequence
J. Francis Baer, Maxwell Johnson, Peter Marek
We study the Adams-Novikov spectral sequence in -synthetic spectra, computing the synthetic analogs of and its cooperations to identify the synthetic Ad…