The Synthetic Hilbert Additive Group Scheme

Alice Hedenlund, Tasos Moulinos

We construct a lift of the degree filtration on the integer valued polynomials to (even MU-based) synthetic spectra. Namely, we construct a bialgebra in modules over the evenly fil…