$p$-adic hypergeometric $\mathscr{D}^{\dagger}(\infty)$-module and exponential sums on reductive groups

We study the $p$-adic analogue of the $\ell$-adic hypergeometric sheaves for reductive groups, called the hypergeometric $\mathscr{D}^{\dagger}(\infty)$-modules. They are overholonomic objects in the derived category of arithmetic $\mathscr{D}$-modules with Frobenius structures. Over the non-degenerate locus, the hypergeometric $\mathscr{D}^{\dagger}(\infty)$-modules define $F$-isocrystals overconvergent along the complement of the non-degenerate locus. As an application, we use the theory of $L$-functions of overholonomic arithmetic $\mathscr{D}$-modules to study hypergeometric exponential sums on reductive groups.