Locally analytic representations of p-adic Lie groups are of interest in several branches of arithmetic algebraic geometry, notably the p-adic local Langlands program. I will discuss some work in progress towards a Beilinson-Bernstein style localisation theorem for admissible locally analytic representations of semisimple compact p-adic Lie groups using equivariant formal models of rigid analytic flag varieties.