
This is the second in a sequence of articles, in which we explore moduli stacks of global Gshtukas, the function field analogs for Shimura varieties. Here G is a flat affine group scheme of finite type over a smooth projective curve C over a finite field. Global Gshtukas are generalizations of Drinfeld shtukas and analogs of abelian varieties with additional structure. We prove that the moduli stacks of global Gshtukas are algebraic DeligneMumford stacks separated and locally of finite type. They generalize various moduli spaces used by different authors to prove instances of the Langlands program over function fields. In the first article we explained the relation between global Gshtukas and local Pshtukas, which are the function field analogs of pdivisible groups. Here P is the base change of G to the complete local ring at a point of C. When P is smooth with connected reductive generic fiber we proved the existence of RapoportZink spaces for local Pshtukas. In the present article we use these spaces to (partly) uniformize the moduli stacks of global Gshtukas for smooth G with connected fibers and reductive generic fiber. This is our main result. It has applications to the analog of the LanglandsRapoport conjecture for our moduli stacks.

This is the first in a sequence of two articles investigating moduli stacks of global Gshtukas, which are function field analogs for Shimura varieties. Here G is a flat affine group scheme of finite type over a smooth projective curve, and global Gshtukas are generalizations of Drinfeld shtukas and analogs of abelian varieties with additional structure. Our moduli stacks generalize various moduli spaces used by different authors to prove instances of the Langlands program over function fields. In the present article we explain the relation between global Gshtukas and local Pshtukas, which are the function field analogs of pdivisible groups with additional structure. We prove the analog of a theorem of Serre and Tate stating the equivalence between the deformations of a global Gshtuka and its associated local Pshtukas. We also investigate local Pshtukas alone and explain their relation with Galois representations through their Tate modules. And if P is a smooth affine group scheme with connected reductive generic fiber we prove the existence of RapoportZink spaces for bounded local Pshtukas as formal schemes locally formally of finite type. In the sequel to this article we use these RapoportZink spaces to uniformize the moduli stacks of global Gshtukas.