On a smoothness characterization for good moduli spaces

Let X be a smooth Artin stack with properly stable good moduli space X→πX. The purpose of this paper is to prove that a simple geometric criterion can often characterize when the moduli space X is smooth and the morphism π is flat.