{"entities":{"Q380704":{"pageid":382471,"ns":120,"title":"Item:Q380704","lastrevid":61404906,"modified":"2026-04-10T23:09:31Z","type":"item","id":"Q380704","labels":{"en":{"language":"en","value":"Smooth perfectness for the group of diffeomorphisms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6227032"}},"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":"Q380704$CFE6A7DD-39A1-4434-ADD3-F4434D7C33B2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"58c41e9e23ed15d50efb8082f25dfff741518e3b","datavalue":{"value":{"text":"Smooth perfectness for the group of diffeomorphisms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q380704$E3979508-0048-40EA-9FAF-1EBBA0FC7DDC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f6cb11f1a838b3d6cd3202229d809925a31464aa","datavalue":{"value":"1282.58009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q380704$F71A044B-C490-4A8B-B4F2-4748CF469DB8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e85f723e445ecf4bda500ec9702bd275d1fa10f","datavalue":{"value":{"entity-type":"item","numeric-id":177435,"id":"Q177435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q380704$ACB2D05F-9F25-46AB-A6D5-0A074DA58D96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"643cbf3a86f5c7914ed5e0d2c96d2c3d964514c7","datavalue":{"value":{"entity-type":"item","numeric-id":177436,"id":"Q177436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q380704$174C6549-67D6-494D-A229-040E969AA7EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b39a7621d50c142a832b3893167ba70ed9e3632","datavalue":{"value":{"entity-type":"item","numeric-id":210691,"id":"Q210691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q380704$35558060-596A-42F9-A39F-0690B5722FF7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3652a60255143226527f0e51663287ad241ad8f1","datavalue":{"value":{"entity-type":"item","numeric-id":254833,"id":"Q254833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q380704$AB3BE885-DD53-4F10-B879-366249F02DF1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"108246dca772a8e1d58c3ba11f0cdc16c904d0dc","datavalue":{"value":{"time":"+2013-11-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q380704$109AC661-50CA-48E3-B1EA-F1137130F3A1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8607c773cc64c1283ff6ee69905af02e46505e2c","datavalue":{"value":"https://arxiv.org/abs/math/0409605","type":"string"},"datatype":"url"},"type":"statement","id":"Q380704$4349C860-7241-40E9-9AC2-A400256B782C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2a45ded7201cdf9a4f602a97228aee616d06984a","datavalue":{"value":"58D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q380704$E20424B8-FF14-4B30-A167-78317C21097A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ac67041ee20e8e74704639c8c41ad82b802128c","datavalue":{"value":"57S05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q380704$3992DB7D-FB04-43DB-B2F3-36CF690EF079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd7e8b38049c56e8d6b5c45f7e2cb8b0c197ddc6","datavalue":{"value":"22E65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q380704$C6C5553F-F881-4389-8E64-EE67FA807E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7e3ff1286d9e51ea5be67078a04749c052a8de06","datavalue":{"value":"57S20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q380704$EFDEBC9A-0785-4205-9794-C1296D9945C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de50a9443c56c17853fef5be150c4152a93b6af1","datavalue":{"value":"6227032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q380704$BC5CB147-9390-4176-8CF4-6EFF4C2F74D1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb3cd8ceef62efb791478e43234ac0bbf3300b45","datavalue":{"value":"diffeomorphism group","type":"string"},"datatype":"string"},"type":"statement","id":"Q380704$31DBB9CE-B5E1-4119-9DBF-C033E0298EB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d27c69649a9f6680f9a49b97344ba5320b929a12","datavalue":{"value":"perfect group","type":"string"},"datatype":"string"},"type":"statement","id":"Q380704$7A4221BA-AB88-41F2-9756-CB082D7AEBFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"480422bce15622d13633624b91e1dd03f196b7f4","datavalue":{"value":"simple group","type":"string"},"datatype":"string"},"type":"statement","id":"Q380704$5CEB91B7-8DD6-40B7-9F0D-538AE86C7755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49b66a9ca711e310c86e6b0ddf20661af27719ad","datavalue":{"value":"fragmentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q380704$B66BCE57-A45F-4DE4-BC7F-ED0412AE8F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05079db280dac97a43a8a72cdb0ed0117442f9a7","datavalue":{"value":"convenient calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q380704$5D255C16-480D-464E-9A51-6056228E69AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b1573efad70b1033481facfc2d83f1a3aa6cf85","datavalue":{"value":"foliation","type":"string"},"datatype":"string"},"type":"statement","id":"Q380704$FD83DB78-A94B-41D4-9C0F-6140885EBFCE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"faec311cf359737563b1e179e0c900e6f982150e","datavalue":{"value":{"entity-type":"item","numeric-id":588495,"id":"Q588495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q380704$1FC99C9E-1D7B-442B-816A-57C39C169774","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":"Q380704$2265D3D1-412C-49C8-B0E1-51772BCC0354","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fccdbf22409d89eee51caccbf2563f2aff94aacc","datavalue":{"value":"W2009901878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q380704$BF3BBA48-BA09-4CA5-8DEE-4EF00B9E05DC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f3e43e2bc92877098f028b1d844a50a71235cd6e","datavalue":{"value":"10.3934/JGM.2013.5.281","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q380704$CA5E68C3-94D3-4D43-A699-E2273D5DDB37","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"86f71d13d861370371b2ddc55ffbda08e379d891","datavalue":{"value":"Let \\(M\\) be a smooth manifold of dimension \\(n\\). By \\(Diff^\\infty_c(M)\\) we denote the group of compactly supported diffeomorphisms of \\(M\\). This is a regular Lie group in the sense of Kriegl--Michor, modelled on the convenient vector space \\(\\mathfrak X_c(M)\\) of compactly supported smooth vector fields on \\(M\\). If \\(M\\) is compact, this smooth structure coincides with the well known Fr\u00e9chet--Lie group structure on \\(Diff^\\infty(M)\\). The aim of this paper is to provide a new elementary proof of the fact that the connected component of the group of compactly supported diffeomorphisms is perfect and hence simple. Moreover, the authors show that every diffeomorphism \\(g\\), which is sufficiently close to the identity, can be represented as a product of four commutators, \\(g=[h_1,k_1]\\circ\\dots\\circ[h_4,k_4]\\), where the factors \\(h_i\\) and \\(k_i\\) can be chosen to depend smoothly on \\(g\\). The authors use the following of Herman's result: There exist smooth vector fields \\(X_1,X_2,X_3\\) on torus \\(T^n\\) so that the smooth map \\(Diff^\\infty(T^n)^3\\to Diff^\\infty(T^n)\\), NEWLINE\\[NEWLINE(g_1,g_2,g_3)\\mapsto[g_1,\\exp(X_1)]\\circ[g_2,\\exp(X_2)]\\circ[g_3,\\exp(X_3)], NEWLINE\\]NEWLINE admits a smooth local right inverse at the identity. Moreover, the vector fields \\(X_i\\) may be chosen arbitrarily close to zero with respect to the Whitney \\(C^\\infty\\)-topology. Here \\(\\exp(X)\\) denotes the flow of a complete vector field \\(X\\) at time \\(1\\), and \\([k,h]:=k\\circ h\\circ k^{-1}\\circ h^{-1}\\) denotes the commutator of two diffeomorphisms \\(k\\) and \\(h\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q380704$BCB73E91-45B3-48C7-9F6C-C0693FD7FF6F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d68bff61e0e2a00f7318621feb8024d2b6c753be","datavalue":{"value":{"entity-type":"item","numeric-id":1868403,"id":"Q1868403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8ee7776cea3467ba7521b566aebcc87d61e64c0","datavalue":{"value":{"amount":"+0.8412681221961975","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":"Q380704$E0EF9290-3E8F-46CC-88D4-33AD568B54E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6171ecf15e995a2b4848ffcfe426880f5ecc9de3","datavalue":{"value":{"entity-type":"item","numeric-id":1030017,"id":"Q1030017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8ee7776cea3467ba7521b566aebcc87d61e64c0","datavalue":{"value":{"amount":"+0.8412681221961975","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":"Q380704$69473A52-F14E-4B71-868B-304BC60DECDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a89c5cc288c284a98901155faabb99086cb080e","datavalue":{"value":{"entity-type":"item","numeric-id":258906,"id":"Q258906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c069381862cca3d8862c95afbe3a800fbd567fe","datavalue":{"value":{"amount":"+0.8376218676567078","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":"Q380704$B6BDC55A-EF5F-4250-8718-76753F1437C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e282665131767c35fa46977c43d1bc3fa421402","datavalue":{"value":{"entity-type":"item","numeric-id":1064592,"id":"Q1064592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aebde9de101420e93c2580822f36498dc8ab22e0","datavalue":{"value":{"amount":"+0.8346365094184875","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":"Q380704$D183E9BF-3C18-4E8F-9DD0-B39AC507074D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d8f2b63e411bcc7329e23a14475aae369952290","datavalue":{"value":{"entity-type":"item","numeric-id":5440771,"id":"Q5440771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d9b3a886de6f853920bd861b59088a44cbf9027","datavalue":{"value":{"amount":"+0.8328220248222351","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":"Q380704$2A481803-E2DE-4E26-A362-C21DE24A2C6F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Smooth perfectness for the group of diffeomorphisms","badges":[]}}}}}