Flux Quantization of Type IIA in Unstable K-Theory

The traditional conjecture that RR-flux is quantized in stable K-cohomology fails to account for the presence of NS-brane sources: These impose nonlinear relations -- reductions of the famous quadratic relation on M-brane flux -- that can only be captured by unstable nonabelian cohomology theories. Here we consider a deformation of unstable K-theory which properly quantizes the fluxes coupling to D0/D2/NS5-branes, find a twisted version that quantizes also the fluxes coupling to NS1/D4-branes, and show that this oxidizes to a proper electromagnetic quantization of M-brane fluxes.