Catenarity in quantum nilpotent algebras

Goodearl, K.; Launois, S.

doi:10.1090/bproc/65

Catenarity in quantum nilpotent algebras
HTML articles powered by AMS MathViewer

by K. R. Goodearl and S. Launois HTML | PDF

Proc. Amer. Math. Soc. Ser. B 7 (2020), 202-214

Abstract:

In this paper, it is established that quantum nilpotent algebras (also known as CGL extensions) are catenary, i.e., all saturated chains of inclusions of prime ideals between any two given prime ideals $P \subsetneq Q$ have the same length. This is achieved by proving that the prime spectra of these algebras have normal separation, and then establishing the mild homological conditions necessary to apply a result of Lenagan and the first author. The work also recovers the Tauvel height formula for quantum nilpotent algebras, a result that was first obtained by Lenagan and the authors through a different approach.

References

Allen D. Bell and Gunnar Sigurđsson, Catenarity and Gel′fand-Kirillov dimension in Ore extensions, J. Algebra 127 (1989), no. 2, 409–425. MR 1028462, DOI 10.1016/0021-8693(89)90261-5
K. A. Brown and K. R. Goodearl, Prime spectra of quantum semisimple groups, Trans. Amer. Math. Soc. 348 (1996), no. 6, 2465–2502. MR 1348148, DOI 10.1090/S0002-9947-96-01597-8
Walter Borho and Jens Carsten Jantzen, Über primitive Ideale in der Einhüllenden einer halbeinfachen Lie-Algebra, Invent. Math. 39 (1977), no. 1, 1–53 (German, with English summary). MR 453826, DOI 10.1007/BF01695950
José Bueso, José Gómez-Torrecillas, and Alain Verschoren, Algorithmic methods in non-commutative algebra, Mathematical Modelling: Theory and Applications, vol. 17, Kluwer Academic Publishers, Dordrecht, 2003. Applications to quantum groups. MR 2006329, DOI 10.1007/978-94-017-0285-0
Gérard Cauchon, Effacement des dérivations et spectres premiers des algèbres quantiques, J. Algebra 260 (2003), no. 2, 476–518 (French, with English summary). MR 1967309, DOI 10.1016/S0021-8693(02)00542-2
Gérard Cauchon, Spectre premier de $O_q(M_n(k))$: image canonique et séparation normale, J. Algebra 260 (2003), no. 2, 519–569 (French, with English summary). MR 1967310, DOI 10.1016/S0021-8693(02)00543-4
Eva Kristina Ekström, The Auslander condition on graded and filtered Noetherian rings, Séminaire d’Algèbre Paul Dubreil et Marie-Paul Malliavin, 39ème Année (Paris, 1987/1988) Lecture Notes in Math., vol. 1404, Springer, Berlin, 1989, pp. 220–245. MR 1035227, DOI 10.1007/BFb0084078
O. Gabber, Equidimensionalité de la variété caractéristique, Exposé de O. Gabber rédigé par T. Levasseur, Université de Paris VI, (1982).
J. Gómez-Torrecillas and F. J. Lobillo, Auslander-regular and Cohen-Macaulay quantum groups, Algebr. Represent. Theory 7 (2004), no. 1, 35–42. MR 2046952, DOI 10.1023/B:ALGE.0000019384.36800.fa
K. R. Goodearl, Prime ideals in skew polynomial rings and quantized Weyl algebras, J. Algebra 150 (1992), no. 2, 324–377. MR 1176901, DOI 10.1016/S0021-8693(05)80036-5
K. R. Goodearl, Prime spectra of quantized coordinate rings, Interactions between ring theory and representations of algebras (Murcia), Lecture Notes in Pure and Appl. Math., vol. 210, Dekker, New York, 2000, pp. 205–237. MR 1759846
K. R. Goodearl, S. Launois, and T. H. Lenagan, Totally nonnegative cells and matrix Poisson varieties, Adv. Math. 226 (2011), no. 1, 779–826. MR 2735775, DOI 10.1016/j.aim.2010.07.010
K. R. Goodearl, S. Launois, and T. H. Lenagan, Torus-invariant prime ideals in quantum matrices, totally nonnegative cells and symplectic leaves, Math. Z. 269 (2011), no. 1-2, 29–45. MR 2836058, DOI 10.1007/s00209-010-0714-5
K. R. Goodearl, S. Launois, and T. H. Lenagan, Tauvel’s height formula for quantum nilpotent algebras, Comm. Algebra 47 (2019), no. 10, 4194–4209. MR 3975998, DOI 10.1080/00927872.2019.1581210
K. R. Goodearl and T. H. Lenagan, Catenarity in quantum algebras, J. Pure Appl. Algebra 111 (1996), no. 1-3, 123–142. MR 1394347, DOI 10.1016/0022-4049(95)00120-4
K. R. Goodearl and E. S. Letzter, The Dixmier-Moeglin equivalence in quantum coordinate rings and quantized Weyl algebras, Trans. Amer. Math. Soc. 352 (2000), no. 3, 1381–1403. MR 1615971, DOI 10.1090/S0002-9947-99-02345-4
K. R. Goodearl and M. T. Yakimov, From quantum Ore extensions to quantum tori via noncommutative UFDs, Adv. Math. 300 (2016), 672–716. MR 3534843, DOI 10.1016/j.aim.2016.03.029
K. R. Goodearl and J. J. Zhang, Homological properties of quantized coordinate rings of semisimple groups, Proc. Lond. Math. Soc. (3) 94 (2007), no. 3, 647–671. MR 2325315, DOI 10.1112/plms/pdl022
Karen L. Horton, The prime and primitive spectra of multiparameter quantum symplectic and Euclidean spaces, Comm. Algebra 31 (2003), no. 10, 4713–4743. MR 1998025, DOI 10.1081/AGB-120023129
Chan Huh and Chol On Kim, Gelfand-Kirillov dimension of skew polynomial rings of automorphism type, Comm. Algebra 24 (1996), no. 7, 2317–2323. MR 1390376, DOI 10.1080/00927879608825702
G. R. Krause and T. H. Lenagan, Growth of algebras and Gel′fand-Kirillov dimension, Research Notes in Mathematics, vol. 116, Pitman (Advanced Publishing Program), Boston, MA, 1985. MR 781129
S. Launois, T. H. Lenagan, and B. Nolan, Total positivity is a quantum phenomenon: the grassmannian case, arXiv:1906.06199.
S. Launois, T. H. Lenagan, and L. Rigal, Quantum unique factorisation domains, J. London Math. Soc. (2) 74 (2006), no. 2, 321–340. MR 2269632, DOI 10.1112/S0024610706022927
S. Launois, T. H. Lenagan, and L. Rigal, Prime ideals in the quantum Grassmannian, Selecta Math. (N.S.) 13 (2008), no. 4, 697–725. MR 2403308, DOI 10.1007/s00029-008-0054-z
T. H. Lenagan, Enveloping algebras of solvable Lie superalgebras are catenary, Abelian groups and noncommutative rings, Contemp. Math., vol. 130, Amer. Math. Soc., Providence, RI, 1992, pp. 231–236. MR 1176122, DOI 10.1090/conm/130/1176122
Edward S. Letzter and Martin Lorenz, Polycyclic-by-finite group algebras are catenary, Math. Res. Lett. 6 (1999), no. 2, 183–194. MR 1689208, DOI 10.4310/MRL.1999.v6.n2.a6
T. Levasseur and J. T. Stafford, Rings of differential operators on classical rings of invariants, Mem. Amer. Math. Soc. 81 (1989), no. 412, vi+117. MR 988083, DOI 10.1090/memo/0412
Sei-Qwon Oh, Catenarity in a class of iterated skew polynomial rings, Comm. Algebra 25 (1997), no. 1, 37–49. MR 1429747, DOI 10.1080/00927879708825838
L. Richard, Equivalence rationnelle et homologie de Hochschild pour certaines algèbres polynomiales classiques et quantiques, Thèse de doctorat, Université Blaise Pascal (Clermont 2), (2002).
W. Schelter, Affine PI rings are catenary, Bull. Amer. Math. Soc. 83 (1977), no. 6, 1309–1310. MR 450314, DOI 10.1090/S0002-9904-1977-14427-3
Patrice Tauvel, Sur les quotients premiers de l’algèbre enveloppante d’une algèbre de Lie résoluble, Bull. Soc. Math. France 106 (1978), no. 2, 177–205 (French). MR 507749, DOI 10.24033/bsmf.1869
Milen Yakimov, A proof of the Goodearl-Lenagan polynormality conjecture, Int. Math. Res. Not. IMRN 9 (2013), 2097–2132. MR 3053415, DOI 10.1093/imrn/rns111
Milen Yakimov, Spectra and catenarity of multi-parameter quantum Schubert cells, Glasg. Math. J. 55 (2013), no. A, 169–194. MR 3110811, DOI 10.1017/S0017089513000578
Milen Yakimov, On the spectra of quantum groups, Mem. Amer. Math. Soc. 229 (2014), no. 1078, vi+91. MR 3185525
Amnon Yekutieli and James J. Zhang, Rings with Auslander dualizing complexes, J. Algebra 213 (1999), no. 1, 1–51. MR 1674648, DOI 10.1006/jabr.1998.7657