D^dagger-affinity of formal models of flag varieties

Let G be the group of L-rational points of a connected split reductive group over a finite extension L of Q_p. We show that formal models of the algebraic flag variety X of G are D-affine for certain sheaves of arithmetic differential operators. We then introduce the category of coadmissible G-equivariant arithmetic D-modules on the system of formal models of X and prove that it is anti-equivalent to the category of admissible locally L-analytic G-representations with trivial infinitesimal character. We compute the equivariant arithmetic D-modules of certain classes of representations.