{"entities":{"Q762598":{"pageid":764447,"ns":120,"title":"Item:Q762598","lastrevid":42682612,"modified":"2025-07-08T10:55:37Z","type":"item","id":"Q762598","labels":{"en":{"language":"en","value":"Non-holonomic modules over Weyl algebras and enveloping algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3889760"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762598$335D9F05-74A9-4825-9B3F-426D7FD768EE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"20d1e9ac4cdf301a62ce537bf94b1f126138a112","datavalue":{"value":{"text":"Non-holonomic modules over Weyl algebras and enveloping algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q762598$3BFB127A-7EF2-4D95-A6DF-15A5E3277979","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b33f1251b9290c20d7dfce05d7051a55d4305a52","datavalue":{"value":"0558.17011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762598$98D37C65-99F7-4F8B-A862-1DCFE3C9E702","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b27b879c5079442023d380bdd2ea1d7bb71366a9","datavalue":{"value":"10.1007/BF01388528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762598$3C00A5A1-02C4-4F5F-8956-63AE46CDE160","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"78c924ab2a87a282c80efa85079613d2f7e99dd9","datavalue":{"value":{"entity-type":"item","numeric-id":163162,"id":"Q163162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762598$8A8E7932-120F-44C3-865E-24B78C4E7EE9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q762598$3E97A83C-9DBA-4028-B196-2ECF430A03DE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"de6a1a88eb6a6903ad99aa7d005806a35defbea5","datavalue":{"value":"https://eudml.org/doc/143217","type":"string"},"datatype":"url"},"type":"statement","id":"Q762598$302786C7-830D-471E-98F7-D1374C4B1647","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4cc679715012d639fa5a96f6ad024ad93319de5c","datavalue":{"value":"Let \\(R=A_ n({\\mathbb{C}})\\) denote the nth Weyl algebra over the field \\({\\mathbb{C}}\\) of complex numbers, i.e. R has generators \\(x_ i\\), \\(y_ i\\) (1\\(\\leq i\\leq n)\\) satisfying the relations \\(x_ iy_ i-y_ ix_ i=1\\) (1\\(\\leq i\\leq n)\\) with all other commutators being zero. For any R-module M, \\textit{I. N. Bernstein} [Funkts. Anal. Prilozh. 6, No.4, 26-40 (1972; Zbl 0282.46038), or see \\textit{J.-E. Bj\u00f6rk}, Rings of differential operators (1979; Zbl 0499.13009), chapter 1] has proved GK-dim \\(M\\geq n= GK\\)-dim R, where GK-dim M denotes the Gelfand-Kirillov dimension of M, and equality holds for certain important classes of R-modules. A simple R-module U is called holonomic provided GK-dim U\\(= GK\\)-dim R. (In general, if T is a Noetherian ring of finite GK-dimension, a simple T- module U is called holonomic provided GK-dim U\\(= GK\\)-dim(T/Ann U).) Not all simple R-modules are holomonic. The author shows that for \\(2\\leq i\\leq n\\), complex numbers \\(\\lambda_ 2,...,\\lambda_ n\\) linearly independent over the rational field \\({\\mathbb{Q}}\\) and \\(\\alpha =x_ 1+y_ 1(\\sum^{n}_{i=2}\\lambda_ ix_ iy_ i)+\\sum^{n}_{i=2}(x_ i+y_ i)\\), the right ideal \\(E=\\alpha R\\) is a maximal right ideal of R and in particular \\(GK\\)-dim(R/E)\\(=2n-1\\). The Ext groups of holonomic R-modules are infinite dimensional over \\({\\mathbb{C}}\\) [see J.-E. Bj\u00f6rk, op. cit. p. 20, Theorem 6.6 and p. 77, Theorem 7.15]. However, if \\(n=2\\) and \\(\\beta =x_ 1+y_ 1x_ 2y_ 2+x_ 2+y_ 2\\) then it is proved that \\(Ext^ 1_ R(R/\\beta R,R/\\beta R)\\) is an infinite dimensional complex vector space. In addition for general n, with \\(\\alpha\\) as above, both \\(Ext^ 1_ R(R/\\alpha R,R/x_ 1R)\\) and \\(Ext^ 1_ R(R/x_ 1R,R/\\alpha R)\\) are finite dimensional complex vector spaces. Moreover \\({\\mathbb{C}}[\\alpha]\\) is a maximal commutative subalgebra of R, and C(\\(\\alpha)\\) a maximal commutative subfield of Q(R), the quotient division ring of R. The second half of the paper concerns the enveloping algebra U of the semi-simple Lie algebra \\(S\\ell_ 2\\times S\\ell_ 2\\). By Conze's theorem there exists an embedding of a primitive factor ring of U into \\(A_ 2({\\mathbb{C}})\\) which allows calculations to be transferred from U to \\(A_ 2({\\mathbb{C}})\\). The author exhibits a subring S of \\(A_ 2({\\mathbb{C}})\\) which is a homomorphic image of U and an element \\(\\gamma\\) of \\(A_ 2({\\mathbb{C}})\\) such that \\(\\gamma\\) \\(A_ 2({\\mathbb{C}})\\) is a maximal right ideal of \\(A_ 2({\\mathbb{C}})\\), \\(\\gamma\\) \\(A_ 2({\\mathbb{C}})\\cap S\\) is a maximal right ideal of S and S/(\\(\\gamma\\) \\(A_ 2({\\mathbb{C}})\\cap S)\\) is a non-holonomic simple U- module. Moreover the ring S, and hence U, is not weakly ideal invariant (i.e. there exist a finitely generated right S-module M and an ideal I of S such that K-dim M\\(