Intermediate extensions and crystalline distribution algebras (Q2068122)

In a series of works, the authors introduced and studied the crystalline distribution algebra \(D^{\dagger}(G)\) for a connected split reductive group \(G\) over a complete discrete valuation ring of mixed characteristic \(\mathfrak{o}\). Moreover, they defined a functor from the category of certain admissible representation of the \(p\)-adic group \(G(K)\) to the category of coherent modules over \(D^{\dagger}(G)\), where \(K=\mathfrak{o}[\frac{1}{p}]\). In this article, the authors use the intermediate extension and an arithmetic Beilinson-Bernstein localization functor to classify irreducible modules over \(D^{\dagger}(G)\) in terms of overconvergent \(F\)-isocrystals on locally closed subschemes in the (formal) flag variety of \(G\). Moreover, they studies two examples in the \(SL_2\)-case.