Situation 79.15.3 (Splitting). Let S be a scheme. Let (U, R, s, t, c) be a groupoid scheme over S. Let u \in U be a point. Assume that
s, t : R \to U are separated,
s, t are locally of finite type,
the set \{ g \in G : g\text{ maps to }u\} is finite where G \to U is the stabilizer, and
s is quasi-finite at each point of the set in (3).
Comments (0)