Affinoid Dixmier modules and the deformed Dixmier-Moeglin equivalence

A strong Dixmier-Moeglin equivalence for quantum Schubert cells

Dixmier and Moeglin gave an algebraic condition and a topological condition for recognising the primitive ideals among the prime ideals of the universal enveloping algebra of a finite-dimensional complex Lie algebra; they showed that the primitive, rational, and locally closed ideals coincide. In modern terminology, they showed that the universal enveloping algebra of a finite-dimensional complex Lie algebra satisfies the Dixmier-Moeglin equivalence. We define quantities which measure how "close" an arbitrary prime ideal of a noetherian algebra is to being primitive, rational, and locally clos…

The Dixmier-Moeglin equivalence and a Gel'fand-Kirillov problem for Poisson polynomial algebras

The structure of Poisson polynomial algebras of the type obtained as semiclassical limits of quantized coordinate rings is investigated. Sufficient conditions for a rational Poisson action of a torus on such an algebra to leave only finitely many Poisson prime ideals invariant are obtained. Combined with previous work of the first-named author, this establishes the Poisson Dixmier-Moeglin equivalence for large classes of Poisson polynomial rings, such as semiclassical limits of quantum matrices, quantum symplectic and euclidean spaces, quantum symmetric and antisymmetric matrices. For a simila…

A Dixmier-Moeglin equivalence for Poisson algebras with torus actions

A Poisson analog of the Dixmier-Moeglin equivalence is established for any affine Poisson algebra $R$ on which an algebraic torus $H$ acts rationally, by Poisson automorphisms, such that $R$ has only finitely many prime Poisson $H$-stable ideals. In this setting, an additional characterization of the Poisson primitive ideals of $R$ is obtained -- they are precisely the prime Poisson ideals maximal in their $H$-strata (where two prime Poisson ideals are in the same $H$-stratum if the intersections of their $H$-orbits coincide). Further, the Zariski topology on the space of Poisson primitive ide…

尖点Hopf代数、Dixmier-Moeglin等价性与诺特群代数

Pointed Hopf algebras, the Dixmier-Moeglin Equivalence and Noetherian group algebras

本文研究群代数及尖点Hopf代数的诺特性、有限Gelfand-Kirillov维数与Dixmier-Moeglin等价性之间的等价关系，并探讨群代数的有限性条件及一个相关猜想的最小反例。

Poisson algebras via model theory and differential-algebraic geometry

Brown and Gordon asked whether the Poisson Dixmier-Moeglin equivalence holds for any complex affine Poisson algebra; that is, whether the sets of Poisson rational ideals, Poisson primitive ideals, and Poisson locally closed ideals coincide. In this article a complete answer is given to this question using techniques from differential-algebraic geometry and model theory. In particular, it is shown that while the sets of Poisson rational and Poisson primitive ideals do coincide, in every Krull dimension at least four there are complex affine Poisson algebras with Poisson rational ideals that are…

Primitive ideals in rational, nilpotent Iwasawa algebras

Given a $p$-adic field $K$ and a nilpotent uniform pro-$p$ group $G$, we prove that all primitive ideals in the $K$-rational Iwasawa algebra $KG$ are maximal, and can be reduced to a particular standard form. Setting $\mathcal{L}$ as the associated $\mathbb{Z}_p$-Lie algebra of $G$, our approach is to study the action of $KG$ on a Dixmier module $\widehat{D(λ)}$ over the affinoid envelope $\widehat{U(\mathcal{L})}_K$, and to prove that all primitive ideals can be reduced to annihilators of modules of this form.