I have heard that moduli spaces of shtukas are supposed to be the analogue of Shimura varieties in the setting of function fields. Could someone more knowledgeable about these objects explain how this is the case?
4

2$\begingroup$ There is a theorem (Berthelot, Gabber, ..) that says that the category of $p$divisible groups over a perfect base scheme $R$ is equivalent to the category of "Dieudonne modules" over $W(R)$. These can be interpreted as Shtukas for the group GLn where the cocharacter $\mu$ is given by $(1,1,\cdots, 1, 0, \cdots, 0)$ where the number of 1's gives the dimension of the $p$divisible group. $\endgroup$ – user45878 Mar 18 at 16:08

2$\begingroup$ Shimura varieties are moduli spaces of abelian varieties and map to these mixedcharacteristic Shtukas roughly by the map $A \mapsto A[p^{\infty}]$ mapping an abelian variety to the associated $p$divisible group. See Remark 5.2.2 of arxiv.org/abs/1707.05700. $\endgroup$ – user45878 Mar 18 at 16:20

$\begingroup$ You have similar uniformization statements for Shimura varieties and shtukas (as double coset spaces such as $G(K)\backslash G(\mathbb{A})/G(\mathbb{O})$) which gives you a direct link to automorphic forms and tells you that in either case, the cohomology comes with a bunch of Hecke actions. $\endgroup$ – dhy Mar 20 at 2:25

$\begingroup$ What is the uniformization statement for shtukas? $\endgroup$ – Kim Mar 20 at 7:52