Primitive ideals in affinoid enveloping algebras of semisimple Lie algebras (Q2159052)

The paper under review is a continuation of the author's papers [``A geometric proof of Duflo's theorem'', Preprint, \url{arXiv:2103.16890}] and [Math. Proc. Camb. Philos. Soc. 172, No. 3, 531--561 (2022; Zbl 1495.32026)]. Let \(K\) be a field of characteristic \(0\) and \(G\) be a connected, smooth, split-semisimple, affine algebraic group over \(K\) with Lie algebra \(g\). The classical Duflo's Theorem states the following. Let \(I\) be a primitive/prime ideal with \(K\)-rational central character. Then \(I =\mathrm{Ann}(L(\lambda))\) for some \(\lambda\in h^*\). Let \(R\) be a mixed characteristic \((0, p)\) complete discrete valuation ring with uniformiser \(\pi\), field of fractions \(K\) and residue field \(k\). One defines \(\widehat{U(g)} = \lim U(g)/\pi U(g)\) to be the \(\pi\)-adic completion of \(U(g)\). Then \(\widehat{U(g)}_K :=\widehat{U(g)}\otimes K\) the affinoid enveloping algebra of \(g\) In [\textit{K. Ardakov} and \textit{S. Wadsley}, Münster J. Math. 7, No. 1, 5--26 (2014; Zbl 1316.11096)] the following question was asked. Is it the case that every primitive ideal of\(\widehat{U(g)}_K \) with \(K\)-rational infinitesimal central character is the annihilator of a simple affinoid highest weight module? In the present paper it is proved that that any primitive ideal with rational central character in the affinoid enveloping algebra \(\widehat{U(g)}_K \), is the annihilator of an affinoid highest weight module.