zbMATH — the first resource for mathematics

Inverse and direct images for quantum Weyl algebras. (English) Zbl 0999.16035
This paper is concerned with quantum analogues of ideas (inverse and direct images, Kashiwara’s theorem, and preservation of holonomicity) that are well established for modules over Weyl algebras and are explained in Chapters 14 to 18 of ‘A primer of algebraic \(\mathcal D\)-modules’ by S. C. Coutinho [Lond. Math. Soc. Student Texts 33, Cambridge University Press (1995; Zbl 0848.16019)].
The quantum Weyl algebra \(A_n(q,P)\) is generated by \(n\) variables and \(n\) partial differential operators, or skew partial differential operators, on a quantum affine space. It arises from work of J. Wess and B. Zumino [Nucl. Phys. B, Proc. Suppl. 18B, 302-312 (1990; Zbl 0957.46514)], and is associated with a differential graded algebra generated by the variables and corresponding skew differentials and called a Wess-Zumino differential calculus. By a result of the reviewer, [J. Algebra 174, No. 1, 267-281 (1995; Zbl 0833.16025)], under suitable conditions on the parameters, \(A_n(q,P)\) has a simple localization \(B_n(q,P)\) which is Noetherian of Krull and global dimension \(n\) and may be regarded as a better analogue of the Weyl algebra \(A_n\) than \(A_n(q,P)\) itself. L. Rigal, [Bull. Sci. Math. 121, No. 6, 477-505 (1997; Zbl 0895.17007)], introduced a notion of holonomicity for \(B_n(q,P)\)-modules and proved an analogue of Bernstein’s inequality. In the present paper, given a differential graded algebra morphism between two Wess-Zumino differential calculi, the author constructs, under appropriate conditions on the parameters, inverse and direct image functors between categories of left modules over the corresponding quantum Weyl algebras. The restrictions on the parameters are stronger for direct images than for inverse images because of the need for an involution to switch from right modules to left modules. Holonomicity is defined for modules over \(A_n(q,P)\) and results giving sufficient conditions for its preservation by inverse and direct images are given. An analogue of Kashiwara’s theorem on the equivalence of categories arising from the direct image for an embedding is given for modules over the simple localized quantum Weyl algebras.

16W35 Ring-theoretic aspects of quantum groups (MSC2000)
16S36 Ordinary and skew polynomial rings and semigroup rings
16D30 Infinite-dimensional simple rings (except as in 16Kxx)
16D90 Module categories in associative algebras
16E45 Differential graded algebras and applications (associative algebraic aspects)
16S32 Rings of differential operators (associative algebraic aspects)
46L89 Other “noncommutative” mathematics based on \(C^*\)-algebra theory
Full Text: DOI
[1] Akhavizadegan, M.; Jordan, D.A., Prime ideals of quantized Weyl algebras, Glasgow math. J., 38, 283-297, (1996) · Zbl 0881.16012
[2] Alev, J.; Dumas, F., Sur le corps des fractions de certaines algèbres quantique, J. algebra, 170, 229-265, (1994) · Zbl 0820.17015
[3] Artin, M.; Schelter, W.; Tate, J., Quantum deformation of GL_{n}, Comm. pure appl. math., 64, 879-895, (1991) · Zbl 0753.17015
[4] Borel, A., Algebraic D-modules, (1987), Academic Press New York
[5] Coutinho, S.C., A primer of algebraic D-modules, London math. soc. student texts, 33, (1995), Cambridge University Press Cambridge · Zbl 0848.16019
[6] Demidov, E.E., Modules over a Weyl quantum algebra, Moscow univ. math. bull., 48, 49-51, (1993) · Zbl 0831.17005
[7] Demidov, E.E., Some aspects of the theory of quantum groups, Russian math. surveys, 48, 41-79, (1993) · Zbl 0839.17011
[8] Fukuda, N., Gelfand – kirillov dimension for quantized Weyl algebras, Proceedings of the 30th symposium on ring theory and representation theory, (1998), Shinshu Univ Nagano
[9] Giaquinto, A.; Zhang, J.J., Quantum Weyl algebras, J. algebra, 176, 861-881, (1995) · Zbl 0846.17007
[10] Goodearl, K.R.; Lenagan, T.H., Catenarity in quantum algebras, J. pure appl. algebra, 111, 123-142, (1996) · Zbl 0864.16018
[11] Jordan, D.A., A simple localization of quantized Weyl algebra, J. algebra, 174, 267-281, (1995) · Zbl 0833.16025
[12] Kassel, C., Quantum groups, (1995), Springer-Verlag New York · Zbl 0808.17003
[13] Manin, Yu.I., Quantum groups and non-commutative geometry, (1998), Université de Montréalpubl. du CRM · Zbl 0724.17006
[14] McConnell, J.C.; Robson, J.C., Noncommutative Noetherian rings, (1987), Wiley-Interscience New York · Zbl 0644.16008
[15] Rigal, L., Intégalité de Bernstein et équations fonctionnelles pour certaines algèbres de Weyl quantiques, Bull. sci. math., 121, 477-505, (1997) · Zbl 0895.17007
[16] Verbovetsky, A., On quantized algebra of wess – zumino differential operators at roots of unity, Acta appl. math., 49, 363-370, (1997) · Zbl 0916.16012
[17] Verbovetsky, A., Differential operators over quantum spaces, Acta appl. math., 49, 339-361, (1997) · Zbl 0916.16011
[18] Wess, J.; Zumino, B., Covariant differential calculus on the quantum hyperplane, Nucl. phys. B proc. suppl., 18B, 309-312, (1991) · Zbl 0957.46514
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.