{"entities":{"Q878668":{"pageid":880516,"ns":120,"title":"Item:Q878668","lastrevid":65038035,"modified":"2026-04-11T23:54:06Z","type":"item","id":"Q878668","labels":{"en":{"language":"en","value":"The inversion formula for automorphisms of the Weyl algebras and polynomial algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5146866"}},"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":"Q878668$D27EF3C0-1219-48C2-ABEC-933AC0BA5761","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eacdd5c71cc4c612c69f27e8526199d22d4517d0","datavalue":{"value":{"text":"The inversion formula for automorphisms of the Weyl algebras and polynomial algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q878668$FBB3B1CE-164D-4F47-A528-0FED7856FC67","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5919b7d37b7626e512e0f2217a3352dc531bbedb","datavalue":{"value":"1128.13017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q878668$86F19939-6EFC-4685-AA79-A8E555BEC798","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878668$14EE74B6-80C0-45B7-9F52-F386CA4A5C6D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"018eb3d5a1529ba4d911dfe810dafc033402deeb","datavalue":{"value":{"time":"+2007-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q878668$2AB8E35A-C2FA-49F8-9336-4A6DD3D43628","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d473b1d771487cab876465202910600fa79c35e5","datavalue":{"value":"https://arxiv.org/abs/math/0512215","type":"string"},"datatype":"url"},"type":"statement","id":"Q878668$0353D2A7-2803-4B47-88CC-CD5D0FA2B5A1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4fc0a0294ec632e10b5c71ad93d94ea209d23332","datavalue":{"value":"Let \\(K\\) be a field of characteristic zero, \\(A_n\\) be the \\(n\\)th Weyl algebra over \\(K\\), and \\(P_m\\) be a polynomial algebra in \\(m\\) variables over \\(K\\). Let \\(\\Aut_K(A_n\\otimes P_m)\\) denote the group of \\(K\\)-algebra automorphisms of the algebra \\(A_n\\otimes P_m\\).   The author characterizes \\(A_n\\otimes P_m\\) by showing that an algebra \\(A\\) admits a finite set \\(\\delta_1, \\dots, \\delta_s\\) of commuting locally nilpotent derivations for which the intersections \\(\\bigcap_{i\\in I}\\ker \\delta_i\\) are distinct for different non-empty subsets \\(I\\) of \\(\\{1, \\ldots, s\\}\\) and \\(\\bigcap_{i=1}^s\\ker(\\delta_i) = K\\) if and only if \\(A\\simeq A_n\\otimes P_m\\) for some \\(n\\) and \\(m\\) with \\(2n+m = s\\). He provides an inversion formula for elements of \\(\\Aut_K(A_n\\otimes P_m)\\) in the following sense: (briefly) given \\(x'\\in Ax\\) where \\(A \\in {\\text{GL}}_m(K)\\) (so that \\(x'_i = \\sum_{j=1}^ma_{ij}x_j\\) where \\(a_{ij} = \\delta x_i/\\delta x_j \\in K\\)), then \\(x = A^{-1}x' =(\\delta x_i/\\delta x_j)^{-1}x' = (\\det A)^{-1}(\\Delta_{ij})x'\\) where \\(\\Delta_{ij}\\) are complementary minors for the matrix \\((\\delta x_i/\\delta x_j)\\). Then, using non-holonomic \\(\\mathcal D\\)-modules, he shows that if \\(\\sigma \\in \\Aut_K(A_n\\otimes P_m)\\) then \\(\\deg \\sigma^{-1}\\leq (\\deg \\sigma)^{2n+m-1}.\\) This generalizes a result of \\textit{H. Bass, E. H. Connell} and \\textit{D. Wright}, Bull. Am. Math. Soc. 7, 287--330 (1982; Zbl 0539.13012)].   Combining the Jacobian conjecture with the Dixmier problem (the latter appearing as problem 1 in [\\textit{J. Dixmier}, Bull. Soc. Math. Fr. 96, 209--242 (1968; Zbl 0165.04901)]), gives the following question:   (\\textbf{JD}) Is a \\(K\\)-algebra endomorphism \\(\\sigma\\) on \\(A_n\\otimes P_m\\) in \\({\\text{Aut}}_K(A_n\\otimes P_m)\\) if \\(\\sigma(P_m)\\subseteq P_m\\) and \\(\\det(\\delta x_i/\\delta x_j)\\in K\\setminus \\{0\\}\\)?   Then it follows from the inversion formula that (\\textbf{JD}) has an affirmative answer if and only if either of the Jacobian conjecture and the Dixmier problem has likewise.   The author also gives an inversion formula for automorphisms of an algebra of formal power series \\(K[[x_1, \\dots, x_m]]\\) and provides a distinguishing criterion for elements in \\(\\Aut_K(A_n\\otimes P_m)\\) which generalizes one given for \\(\\Aut_K(P_m)\\), using so-called face polynomials, by \\textit{J. H. McKay} and \\textit{S. S.-S. Wang} [J. Pure Appl. Algebra 52, 103--119 (1988; Zbl 0664.13001)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q878668$99B55DD7-78C2-40D0-9C4B-997D8646D2C2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"dbb907a07a6b61ed8e90c64d26f3318955d49de0","datavalue":{"value":{"entity-type":"item","numeric-id":587440,"id":"Q587440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878668$016BF423-4532-40FA-950A-C7CF6306D5C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fb218609bb348fdd327631b73dea60728afa1930","datavalue":{"value":"13N10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q878668$0252BDA2-95EB-4C84-934B-903FA356B038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c635c2c6434a00b8195e1d45192cc46e8e4949b3","datavalue":{"value":"13N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q878668$DAB469B7-F820-444B-920B-525D380BEDA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0f9ee1516de60db8ce1988e038e17acc1df686c8","datavalue":{"value":"14R15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q878668$F1E94C80-14D0-444D-8607-CAE272BEA1CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"706147fd010f3d0c81db29bd994887fc66e84a9e","datavalue":{"value":"16S32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q878668$6D02D0A9-49C2-41C9-9A66-7593FCAF1D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f8e39c71fe85be39cce8349ae19124c685b3164","datavalue":{"value":"13B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q878668$605E4ABD-540F-4CA8-B5B6-B5C6CE48AAE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6c4b44681f7a1707f0cf17256dc3be888b8d7656","datavalue":{"value":"13B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q878668$7F2E910D-CD5B-4AE9-837D-8640F4789F1D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b6c58e0ba6a51388ed17c556f317042bf6121d86","datavalue":{"value":"5146866","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q878668$86D81D83-70DB-4852-AF06-4AD55F51E729","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab630a996b383a9d3ce20e9b38d8dd3e9ce3c566","datavalue":{"value":"Weyl algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q878668$E334D8BB-E1C8-440D-B3FC-43E5466BE027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5131b2129187d7bca5a97fd861aaf17ca6ea2378","datavalue":{"value":"polynomial algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q878668$D34966FF-341E-4D1E-9B40-64510FCAB32B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2052d77a35f238c6075b97c46e41a1853dde7f39","datavalue":{"value":"power series","type":"string"},"datatype":"string"},"type":"statement","id":"Q878668$F5275F7B-DE37-4FC7-AEF7-8D33D1364067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d37421479daba09a13fe18b9792b419c4acb317","datavalue":{"value":"Jacobian Conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q878668$F78F1D4E-8401-4424-BA4D-8138E7CBED56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa720eda6633aef7b96cd5eb3dece18610a175ac","datavalue":{"value":"Dixmier Problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q878668$8CF8B7CD-7980-448D-81FE-000F2D5888FD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7696eb72916bde6f8a9980bd0381af1acfbf245d","datavalue":{"value":{"entity-type":"item","numeric-id":592218,"id":"Q592218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878668$6969D12C-A594-491A-BF96-F6E4C251F0C6","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":"Q878668$505958B4-82E9-48FD-A250-9628FEC0E201","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e8ff7b889297aab9444595e8cec2f2921f2fccfb","datavalue":{"value":"W2018820793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q878668$9825AD52-EC67-4092-9D9E-8B716A57E1F8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"39168ab4dd6ee3aec992d5bf6f16977b49d7ac4d","datavalue":{"value":{"entity-type":"item","numeric-id":804647,"id":"Q804647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878668$EDD7EE49-0193-469A-9F08-A0A63CC7E660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45b2b13278592684d85ca8f0e7a064335a2afaef","datavalue":{"value":{"entity-type":"item","numeric-id":5466698,"id":"Q5466698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878668$C3DFC46F-0FB0-4E33-8452-68617C2D24CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7590acfb35c9f5198acd245aa781f128ad19997","datavalue":{"value":{"entity-type":"item","numeric-id":3325839,"id":"Q3325839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878668$DB581673-88C1-49A2-A527-1A804B305BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f79f01b790ce601502d179a41d60c3d069e6bdd","datavalue":{"value":{"entity-type":"item","numeric-id":3973355,"id":"Q3973355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878668$EBDF362D-5644-42B2-9E52-E09FE45E1C58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d94ebb9544eb5cad3d19e40ba87e27a2b153cb3","datavalue":{"value":{"entity-type":"item","numeric-id":5421074,"id":"Q5421074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878668$8ACA4907-AAA8-4A88-B3F8-632E782BFDF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3baac4bfbf0cd443aa51e950444ab63f7ccad092","datavalue":{"value":{"entity-type":"item","numeric-id":5549858,"id":"Q5549858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878668$23B7EB17-B383-4BA8-8D90-CB5526D68A75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"505abb6785ff52feeb96bcad04a050601735b82e","datavalue":{"value":{"entity-type":"item","numeric-id":4705362,"id":"Q4705362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878668$6F362EA6-79EC-4F3B-8187-F3F9B0224C9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34e07bbfbd474415c68245b81b457e1fed4d156b","datavalue":{"value":{"entity-type":"item","numeric-id":1115485,"id":"Q1115485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878668$9F3FB88C-80F4-45BB-88AB-1361C8FD80E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"952e02a10e2687ab45753879d13630efc5eb30e1","datavalue":{"value":{"entity-type":"item","numeric-id":3344468,"id":"Q3344468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878668$224812D0-F255-4DCA-A27A-7B14D9781DFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e216016f57dc5ea17bbc74381b81a7b2dea50d83","datavalue":{"value":{"entity-type":"item","numeric-id":2388300,"id":"Q2388300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878668$4FCEA661-028B-4193-AAD2-FC3589F32FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bc740d44f5046380a222caffedb134da05cfd93","datavalue":{"value":{"entity-type":"item","numeric-id":1581472,"id":"Q1581472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878668$EA53E346-E52A-47EA-ADC0-BAD605F3C928","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f700ff37398b87413566d888e5e75f0cc06bd59","datavalue":{"value":"10.1016/J.JPAA.2006.09.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q878668$5170F32F-3A67-4446-BEAC-6F1B7CB29F62","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78b6a33b6234d754e7d03e634213d2b833d22a90","datavalue":{"value":{"entity-type":"item","numeric-id":932304,"id":"Q932304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eed348f00023f5d34e9dffee7f50d3d95e09e18d","datavalue":{"value":{"amount":"+0.8221622109413147","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":"Q878668$9DCE8EBE-2C19-4C19-8059-B8BB5FE1C26B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e6d4418c6ab3a19e370821db78b9158630d9d78","datavalue":{"value":{"entity-type":"item","numeric-id":797636,"id":"Q797636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8faf895825ccfbf66b4c39d48d8ebb8d7b817786","datavalue":{"value":{"amount":"+0.8113725781440735","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":"Q878668$4672048A-E967-4667-8661-CFB559F693EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab752880001b3ac2f37e77614ed9051a7921b741","datavalue":{"value":{"entity-type":"item","numeric-id":5501047,"id":"Q5501047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"908f830dd42dc2004c26acf81671f60c649ae009","datavalue":{"value":{"amount":"+0.795333206653595","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":"Q878668$27980213-D984-4A01-BCBB-D5762D4FF0E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea0808197fa9a62b1f1773f9a02418a46b5947bc","datavalue":{"value":{"entity-type":"item","numeric-id":804647,"id":"Q804647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f07f541a776f9f8409e906a9da48ae62fc6b027","datavalue":{"value":{"amount":"+0.7848679423332214","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":"Q878668$E316FFFE-9EC2-475F-8866-FA98D60D9EDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50bcdba1efc02431a54a89aac4269cc7f2574f92","datavalue":{"value":{"entity-type":"item","numeric-id":5185045,"id":"Q5185045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f80ab64b68f621a4f9b7b52f8a55c11528db1e70","datavalue":{"value":{"amount":"+0.7810473442077637","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":"Q878668$4D35341C-D406-45F9-B2E7-5AA267F235CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The inversion formula for automorphisms of the Weyl algebras and polynomial algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_inversion_formula_for_automorphisms_of_the_Weyl_algebras_and_polynomial_algebras"}}}}}