Answers are grounded in this paper and cite their sources.
We show that if a flat group scheme acts properly, with finite stabilizers, on an algebraic space, then a quotient exists as a separated algebraic space. More generally we show any flat groupid for which the family of stabilizers is finite has a uniform geometric, uniform categorical quotient in the category of algebraic spaces. Our argument is elementary and essentially self contained.
No takes yet. Share an insight, caveat, or question.
Keel et al. (1997) studied this question.
Synapse has enriched 10 related papers. Consider them for comparative context: