Modernizes higher-dimensional supergravity, linking it to flux quantization.
problem Constructing infrared completions of higher-dimensional supergravity.
method Using differential nonabelian cohomology and super-torsion constraints.
result Equivalence of solutions in different dimensions and flux quantization.