Skip to Main Content


AMS eBook CollectionsOne of the world's most respected mathematical collections, available in digital format for your library or institution


On the spectra of quantum groups

About this Title

Milen Yakimov, Department of Mathematics, Louisiana State University, Baton Rouge, Louisiana 70803

Publication: Memoirs of the American Mathematical Society
Publication Year: 2014; Volume 229, Number 1078
ISBNs: 978-0-8218-9174-2 (print); 978-1-4704-1532-7 (online)
DOI: https://doi.org/10.1090/memo/1078
Published electronically: November 12, 2013
Keywords: Quantum groups, prime spectra, quantum nilpotent algebras, separation of variables, prime elements, maximal ideals, chain conditions
MSC: Primary 16T20; Secondary 20G42, 17B37, 53D17

View full volume PDF

View other years and numbers:

Table of Contents

Chapters

  • 1. Introduction
  • 2. Previous results on spectra of quantum function algebras
  • 3. A description of the centers of Joseph’s localizations
  • 4. Primitive ideals of $R_q[G]$ and a Dixmier map for $R_q[G]$
  • 5. Separation of variables for the algebras $S^\pm _w$
  • 6. A classification of the normal and prime elements of the De Concini–Kac–Procesi algebras
  • 7. Module structure of $R_{\mathbf {w}}$ over their subalgebras generated by Joseph’s normal elements
  • 8. A classification of maximal ideals of $R_q[G]$ and a question of Goodearl and Zhang
  • 9. Chain properties and homological applications

Abstract

Joseph and Hodges–Levasseur (in the A case) described the spectra of all quantum function algebras $R_q[G]$ on simple algebraic groups in terms of the centers of certain localizations of quotients of $R_q[G]$ by torus invariant prime ideals, or equivalently in terms of orbits of finite groups. These centers were only known up to finite extensions. We determine the centers explicitly under the general conditions that the deformation parameter is not a root of unity and without any restriction on the characteristic of the ground field. From it we deduce a more explicit description of all prime ideals of $R_q[G]$ than the previously known ones and an explicit parametrization of $\mathrm {Spec} R_q[G]$. We combine the latter with a result of Kogan and Zelevinsky to obtain in the complex case a torus equivariant Dixmier type map from the symplectic foliation of the group $G$ to the primitive spectrum of $R_q[G]$. Furthermore, under the general assumptions on the ground field and deformation parameter, we prove a theorem for separation of variables for the De Concini–Kac–Procesi algebras $\mathcal {U}^w_\pm$, and classify the sets of their homogeneous normal elements and primitive elements. We apply those results to obtain explicit formulas for the prime and especially the primitive ideals of $\mathcal {U}^w_\pm$ lying in the Goodearl–Letzter stratum over the $\{0\}$-ideal. This is in turn used to prove that all Joseph’s localizations of quotients of $R_q[G]$ by torus invariant prime ideals are free modules over their subalgebras generated by Joseph’s normal elements. From it we derive a classification of the maximal spectrum of $R_q[G]$ and use it to resolve a question of Goodearl and Zhang, showing that all maximal ideals of $R_q[G]$ have finite codimension. We prove that $R_q[G]$ possesses a stronger property than that of the classical catenarity: all maximal chains in $\mathrm {Spec} R_q[G]$ have the same length equal to $\mathrm {GK \, dim} R_q[G]= \dim G$, i.e., $R_q[G]$ satisfies the first chain condition for prime ideals in the terminology of Nagata.

References [Enhancements On Off] (What's this?)

References