## Almost proper GIT-stacks and discriminant avoidance

### Summary

Summary: We prove that the classifying stack of an reductive group scheme over a field is very close to being proper. Using this we prove a result about isotrivial families of varieties. Fix a polarized variety with reductive automorphism group. To prove that every isotrivial family with this fibre has a rational section it suffices to prove this when the base is projective, i.e., the discriminant of the family is empty.