From F/M-theory to K-theory and back

We consider discrete K-theory tadpole cancellation conditions in type IIB orientifolds with magnetised 7-branes. Cancellation of K-theory charge constrains the choices of world-volume magnetic fluxes on the latter. We describe the F-/M-theory lift of these configurations, where 7-branes are encoded in the geometry of an elliptic fibration, and their magnetic quanta correspond to supergravity 4-form field strength fluxes. In a K3 compactification example, we show that standard quantization of 4-form fluxes as integer cohomology classes in K3 automatically implies the K-theory charge cancellation constraints on the 7-brane worldvolume magnetic fluxes in string theory (as well as new previously unnoticed discrete constraints, which we also interpret). Finally, we show that flux quantization in F-/M-theory implies that 7-brane world-volume flux quantization conditions are modified in the presence of 3-form fluxes.