Point-wise surjective presentations of stacks, or why I am not afraid of (infinity) stacks anymore
ENS Salle WAny algebraic stack X can be represented by a groupoid object in the category of schemes: that is, a pair of schemes Ob, Mor and morphisms source, target: Mor → Ob, inversion: Mor → Mor, composition: Mor ×_{Ob} Mor → Mor and identity: Ob → Mor that satisfy certain axioms. Yet this description of the stack X might be misleading. Namely, given a field F which is not algebraically closed, we have a natural functor between the groupoid (Ob(F),Mor(F)) and the groupoid X(F). While this functor is fully faithful, it […]