Prime spectrum of \(O_q(M_n(k))\): canonical image and normal separation
type: Item
instance of: scholarly article
title: Prime spectrum of \(O_q(M_n(k))\): canonical image and normal separation
zbMATH Open document ID: 1024.16001
DOI: 10.1016/S0021-8693(02)00543-4
author: Gérard Cauchon
published in: Journal of Algebra
publication date: 2003-04-28T00:00:00Z
review text: Let \(k\) be a field with a nonzero element \(q\) which is not a root of one and \(R={\mathcal O}_q(M_n(k))\) the coordinate algebra of quantum \(n\times n\)-matrices over \(k\). The algebra \(R\) is generated by the standard set of variables \(X_{ij}\), \(1\leq i,j\leq n\). Denote by \(\overline R\) the algebra of regular functions on quantum affine space of dimension \(n^2\). It is generated by the same set of generators \(X_{ij}\), \(1\leq i,j\leq n\), but the defining set of relations has the form \(X_{ij}X_{rs}=q^{-1}X_{it}X_{ij}\) if either \(i=r\), \(s<j\) or \(i>r\), \(j=s\) and also the form \(X_{ij}X_{rs}=X_{rs}X_{ij}\) if \(i\neq r\), \(j\neq s\). It is shown that there exists a canonical injection \(\phi\colon\text{Spec}\;R\to\text{Spec}\;\overline R\) and \(\phi(\text{Spec }R)=\coprod_{w\in W}\text{Spec}_w\overline R\) in the sense of \textit{K. A. Brown} and \textit{K. R. Goodearl} [Trans. Am. Math. Soc. 348, No. 6, 2465--2502 (1996; Zbl 0857.16026)]. Moreover, the partition of \(\text{Spec }R\) into subsets \(\phi^{-1}(\text{Spec}_w\overline R)\) is an \(H\)-stratification, where \(H\) is the group of automorphisms of \(R\) under which every element \(X_{ij}\) is an eigenvector. If \(I,P\) are \(H\)-prime ideals and \(I>P\) then there exists \(T\in I\setminus P\) such that \(T\) is \(H\)-normal modulo \(P\). The algebra \(R\) is catenary and if \(R\in\text{Spec }R\) then \(\text{ht}(P)+\text{GKdim}(R/P)=n^2\). There are some other applications of the preceding results.
Mathematics Subject Classification ID: 16D25
Mathematics Subject Classification ID: 16T20
Mathematics Subject Classification ID: 16S36
Mathematics Subject Classification ID: 20G42
zbMATH DE Number: 1901835
zbMATH Keywords: coordinate algebras of quantum matrices
zbMATH Keywords: prime spectra
zbMATH Keywords: algebras of regular functions
zbMATH Keywords: quantum affine spaces
zbMATH Keywords: prime ideals
reviewed by: Vyacheslav A. Artamonov
MaRDI profile type: Publication
cites work: Quantum deformations of GLn
cites work: Prime spectra of quantum semisimple groups
cites work: Vanishing of derivations and prime spectra of quantum algebras
cites work: Prime quotients of \(O_ q({\mathfrak m}_ n(k))\)
cites work: Q4762681
cites work: Catenarity in quantum algebras
cites work: The Dixmier-Moeglin equivalence in quantum coordinate rings and quantized Weyl algebras
cites work: Q4370152
cites work: Determinants of matrices over noncommutative rings
cites work: Q3994888
cites work: The quantum coordinate ring of the special linear group
cites work: Q3998175
cites work: Quantum linear groups
full work available at URL: s0021-8693(02)00543-4
OpenAlex ID: W2461108372
Recommended article: Prime ideals in the quantum Grassmannian.
Recommended article: Division rings of quotients and central elements of multiparameter quantizations
Recommended article: Q4762682
Recommended article: The skew field of rational functions on \(\text{GL}_ q(n,K)\)
Recommended article: On the defining relations for generalized \(q\)-Schur algebras
Recommended article: Q4253611
Recommended article: Q5012271
Recommended article: A Proof of the Goodearl–Lenagan Polynormality Conjecture
Recommended article: A quantum analogue of Kostant's theorem for the general linear group.
Recommended article: The Launois-Lenagan conjecture.
description: scientific article; zbMATH DE number 1901835