Motivic Adams E₂: cohomology of δ, products and Massey products - #290

Draft

JoeyBF wants to merge 5 commits into

SpectralSequences:masterfrom

JoeyBF:claude/motivic-ext-products

Commits on Sep 1, 2026

algebra: extract the Milnor product and derive `generic` from the prime

JoeyBF
and
claude
committed
fc807dc
motivic: resolution over A_C/tau and the tau-lift
claude
committed
a5d8339
motivic: address review on the A_C/tau algebra and the lift
claude
committed
c994592
motivic: the deformation (algebraic Novikov / tau-Bockstein) spectral sequence
claude
committed
9b8d6d6
motivic: Ext-side cohomology, products and Massey products
claude
committed
0d9ef82