{"entities":{"Q1379591":{"pageid":1390331,"ns":120,"title":"Item:Q1379591","lastrevid":68762502,"modified":"2026-04-13T01:53:35Z","type":"item","id":"Q1379591","labels":{"en":{"language":"en","value":"Differential operators commuting with invariant functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1121239"}},"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":"Q1379591$7283DADC-79BC-48E6-9EB2-A18D76B20FB0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8fc877508a9538ba105191de1702f32d0d8e55c5","datavalue":{"value":{"text":"Differential operators commuting with invariant functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1379591$60C60A6F-65E5-4CB2-B286-DCB34E1A3303","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3ceefe5d31c87d41d1542712928b2d2735ebce7e","datavalue":{"value":"0888.22010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1379591$E77F60C2-7F41-4214-95DA-0B6E1BB48A12","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5fcb6cd43a0998d068add0035faca6247a2e2036","datavalue":{"value":{"entity-type":"item","numeric-id":185403,"id":"Q185403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1379591$08FEBB65-5F0B-47E8-B079-00A73C625AE4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5d20d2e2a8c8a05c434fe960de6555cfc2d30e29","datavalue":{"value":{"time":"+1998-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1379591$81DE00BB-42DF-4366-94A3-06DC3D1CA148","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bb0b0f137d1d675c67d2bd4646124b3c4faae4df","datavalue":{"value":"\\({\\mathfrak g}\\) be a complex reductive Lie algebra, \\(G\\) its adjoint group, \\({\\mathcal D}({\\mathfrak g})\\) its ring of differential operators, \\(\\tau : {\\mathfrak g} \\rightarrow {\\mathcal D}({\\mathfrak g})\\) the differential of the adjoint action, \\({\\mathcal O}({\\mathfrak g})\\) the ring of regular functions on \\({\\mathfrak g}\\), and \\({\\mathcal O}({\\mathfrak g})^G\\) the subalgebra of \\(G\\)--invariant functions. The main result of this paper proves that the commutant, \\({\\mathcal C}\\), in \\({\\mathcal D}({\\mathfrak g})\\) of \\({\\mathcal O}({\\mathfrak g})^G\\) is the algebra generated by \\({\\mathcal O}({\\mathfrak g})\\) and \\(\\tau ({\\mathfrak g})\\). In addition the authors prove that \\({\\mathcal C}\\) is an Auslander-Gorenstein, CM domain and a maximal order its quotient division ring.    These results follow from the following theorem. Let \\(A\\) be the subalgebra of \\({\\mathcal D}({\\mathfrak g})\\) generated by \\({\\mathcal O}({\\mathfrak g})\\) and \\(\\tau ({\\mathfrak g})\\), \\(E= {\\mathcal O}({\\mathfrak g}) \\tau ({\\mathfrak g}) \\subset Der {\\mathcal O}({\\mathfrak g})\\), \\(\\text{Sym}_{{\\mathcal O}({\\mathfrak g})}(E)\\) for the symmetric algebra, and filter \\({\\mathcal D}({\\mathfrak g})\\) by degree. Then \\(\\text{Sym}_{{\\mathcal O}({\\mathfrak g})}(E)\\) is a factorial, complete intersection of Krull dimension \\(2\\dim({\\mathfrak g})- \\text{rk}({\\mathfrak g})\\) and \\(\\text{gr}(A)= \\text{gr}({\\mathcal C})= \\text{Sym}_{{\\mathcal O}({\\mathfrak g})}(E)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1379591$A966C4FC-9DAD-443E-8505-275A06D06A39","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d38a78616830ccc280fe1e3258cc55b38ac3a153","datavalue":{"value":"22E46","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1379591$D5871DBE-CD70-4405-9F42-1DB3A6C655BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ce5fbe038b2bf0df51467517c05a7627fbcc521b","datavalue":{"value":"22E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1379591$481AE640-F59B-426D-AD6B-B8D8FBA7BF74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"630a82a371ad84fa1117bcd32461226e0183986d","datavalue":{"value":"14L30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1379591$8C8801FD-E399-4879-BD23-92E61A49C49D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"706147fd010f3d0c81db29bd994887fc66e84a9e","datavalue":{"value":"16S32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1379591$634D77BA-6242-49DD-BE51-18B970653C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4f163593e5c6aad535c85bcdcfda88a86cd8cf9e","datavalue":{"value":"17B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1379591$FAF6021A-2F6F-473B-931C-AF47B5A43FF0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca2f6f962f4918e04ba8acf48451236cbf8eb0b1","datavalue":{"value":"1121239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1379591$755FB204-A780-4206-9456-891C11A96605","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"820003111e0477b763dc2e4865205f8bf50eb528","datavalue":{"value":"complex reductive Lie algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1379591$A1015FD9-B26A-4065-B9DA-8F6FDF5A777D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6655a196f326f8929c3bac10287ef403c53a8440","datavalue":{"value":"differential operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1379591$C448DDC9-2C16-4A78-9191-ACAE27308AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05751a218370fe084f84deb3d1a98aef26efee95","datavalue":{"value":"Auslander-Gorenstein CM domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q1379591$E3B362CE-6677-42CC-8A82-E58D1B668B2F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf84b0852653a51f2f43f619e78500d617c30ada","datavalue":{"value":{"entity-type":"item","numeric-id":1059136,"id":"Q1059136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1379591$C3587DBC-F93C-43E6-A625-567E39A19522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"88db3cf07e0c333b1e39786e2fee7d2ba45eb35d","datavalue":{"value":{"entity-type":"item","numeric-id":680725,"id":"Q680725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1379591$D0F95468-757F-487E-9118-53C451881D39","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"fcc4c03551768ea853ad611e6613b2da8a189ca9","datavalue":{"value":{"entity-type":"item","numeric-id":202915,"id":"Q202915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1379591$D4B694EE-426E-421E-AAFA-E79D333D516F","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1379591$BA633FA2-D595-45C4-909C-CF2D5B44D731","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"133eede308141750511b5e0998a01f7a08474229","datavalue":{"value":"https://doi.org/10.1007/s000140050026","type":"string"},"datatype":"url"},"type":"statement","id":"Q1379591$85E572DF-6FDA-4B98-90B0-4600EADF64E7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"06f13adbed659cb10f425fd2107a1f8bad96ce0e","datavalue":{"value":"W2120512640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1379591$3FB0C454-8FFA-45D9-9C46-778E87EF37BD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"434b73f6c607dd29741ede22f1bad83cb32f9661","datavalue":{"value":"10.1007/S000140050026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1379591$669ED0C9-2B2A-47FE-A059-D8F6D7730DBA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a436cc4417f2da1091ded6d31421f365c7f08142","datavalue":{"value":{"entity-type":"item","numeric-id":3764251,"id":"Q3764251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1368367ac3aa3039b40a8e2f1738226d85022954","datavalue":{"value":{"amount":"+0.7915538549423218","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1379591$B0B2B14E-3AC4-4081-878D-377473EC368A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86aff657c6273e10af943281ffe3615c6b0035c5","datavalue":{"value":{"entity-type":"item","numeric-id":3032425,"id":"Q3032425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"243a88b4f623b8f90e2390abe56f555235b50137","datavalue":{"value":{"amount":"+0.7890400886535645","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1379591$34C59E2D-72CA-44C2-B780-2671D4794C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f44e170babb041b524a681b960d7a77cfe908ed","datavalue":{"value":{"entity-type":"item","numeric-id":3784257,"id":"Q3784257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16d14c53a88aaa2edb057eb6706a75889a44699f","datavalue":{"value":{"amount":"+0.7867002487182617","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1379591$1BEC41E9-F834-4612-9EE1-581971E192F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf62634f32dfefa291c0a5f703c7d4ab41893b19","datavalue":{"value":{"entity-type":"item","numeric-id":1340976,"id":"Q1340976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8150bc93e4aa0563b257e08989212788765a44dc","datavalue":{"value":{"amount":"+0.779039204120636","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1379591$8803D4B7-32C8-4FDD-BD9C-738D5C3F187B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Differential operators commuting with invariant functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Differential_operators_commuting_with_invariant_functions"}}}}}