{"entities":{"Q1868403":{"pageid":1879145,"ns":120,"title":"Item:Q1868403","lastrevid":69375927,"modified":"2026-04-13T06:35:04Z","type":"item","id":"Q1868403","labels":{"en":{"language":"en","value":"Smooth perfectness through decomposition of diffeomorphisms into fiber preserving ones"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1901463"}},"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":"Q1868403$08AF294A-78F0-4F69-A66F-48968B61660A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"07aa902aeac859e7385d76a2aaacff1e736f949d","datavalue":{"value":{"text":"Smooth perfectness through decomposition of diffeomorphisms into fiber preserving ones","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1868403$5BA065FA-A1E6-4AA2-BC0B-30B7633ECA35","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b070e62f783005e828b4a058e7010da8b27bb3f","datavalue":{"value":"1026.58007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868403$DC876194-4591-449A-B385-2371353188F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"81d0b9177a9214f1649823610514fb235222c13d","datavalue":{"value":"10.1023/A:1021280213742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868403$9B3029C3-A9A4-46BC-B46E-33A02DF2E30F","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":"Q1868403$46F7B291-0CB1-4BA4-B29D-BCD0CA245479","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":"Q1868403$4DEB42CE-F06D-4726-80BF-718FB535FEEC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"926965b3909bd3df3b8d1c5792f7d184a3caa654","datavalue":{"value":{"entity-type":"item","numeric-id":188382,"id":"Q188382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1868403$888892CE-F54A-4BA3-BA06-C1141EFD7D27","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae7235402c0b574ed2e2213feb9e21452b645cac","datavalue":{"value":{"time":"+2003-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":"Q1868403$C523D712-A025-4821-8680-791807117185","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"daa911f2dc7bf592c8eff91edf967a39ba91c3df","datavalue":{"value":"https://arxiv.org/abs/math/0110041","type":"string"},"datatype":"url"},"type":"statement","id":"Q1868403$BDFEBF11-7D8E-489D-A4E8-C5F2FB24B188","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"12735c1fb5e5218a706ba9b8c255feb5e70ad5c4","datavalue":{"value":"This paper concerns perfectness of diffeomorphisms on closed manifolds in a certain class. It is well known of the identity \\((e-)\\)component of diffeomorphism groups on compact smooth manifolds are perfect. However, the questions, how many commutators are necessary to represent a given smooth diffeomorphism \\(f\\) via  \\[ f=[h_1,g_1] \\cdots[h_N,g_N] \\]  and if these commutators can be chosen smoothly in \\(f\\), remains open.   The authors give concrete, positive answers for these questions by their decomposition theorem and applications of some canonical exponential laws.   The basic definition and main results are as follows:   Definition. For a Lie group (including infinite dimensional one) with nontrivial \\(e\\)-component, \\(N_g\\in\\mathbb{N}\\) is defined to be the smallest integer such that for every open neighbourhood \\(e\\in U\\subset G\\) there exist \\(h_i=\\exp(Y_i)\\in U\\), \\(i=1,\\dots,N\\), an open neighbourhood \\(e\\in V \\subseteq G\\) and smooth mappings \\(S_i:V\\to G\\) with \\(S_i(e)=e\\) and  \\[ \\bigl[S_1 (g), h_1\\bigr] \\cdots\\bigl[ S_N(g),h_N\\bigr]= g,\\quad\\text{for all }g\\in V. \\]  If \\(N_G< \\infty\\), then \\(G\\) is said to be locally smoothly perfect.   Theorem. Suppose \\(M\\) is a closed manifold which admits \\(k\\) fiber bundles \\(S_i \\hookrightarrow M{\\overset {p_i}\\hookrightarrow}B_i\\) such that the corresponding vertical distributions span \\(TM\\). Then  \\[ N_{\\text{Diff}(M)}\\leq \\sum^k_{i=1} C_{p_i}N_{\\text{Diff} (S_i)}, \\]  where \\(C_{p_i}\\in \\mathbb{N}\\) is a geometrical number concerning the bundle structure. In particular, \\(\\text{Diff} (M)\\) is locally smoothly perfect, if so are all \\(\\text{Diff} (S_i)\\).   Many examples along the above lines are given, in particular the following is one of the main results: Diffeomorphism groups of odd dimensional spheres are locally smoothly perfect.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868403$86549565-6B21-4F23-853A-A46AEE86DA83","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4e98573f93f25ed995f955595a0eb53b2c41c6d0","datavalue":{"value":{"entity-type":"item","numeric-id":233824,"id":"Q233824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1868403$7394FA14-315A-43EC-84DA-44FE72619528","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2a45ded7201cdf9a4f602a97228aee616d06984a","datavalue":{"value":"58D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868403$EFAFB06B-F209-43DA-9F5A-0743F8CCBE7D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"29168210cc7922ba7d790647fb0b6a07fb5ba4ef","datavalue":{"value":"1901463","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868403$0726E6F6-5811-4CE5-AE59-B400CAA70AD8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"447dff56125845e6cdd2c1303ecfc1b23869d2d0","datavalue":{"value":"perfectness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868403$2804C014-BF19-479D-AA36-27EACC8FAF74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24432215f6f4579224d64770c737d3d2607b8451","datavalue":{"value":"groups of diffeomorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868403$E795221D-2157-45F4-8433-9E69A35B00DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23df5f9f9bc1f01a64cea2dfccdc5d0a491f2591","datavalue":{"value":"hard inverse function theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868403$EE966C40-68C6-4922-A886-366F4F6A0BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b97701d533a2c8f54e1de677c63983ffc0f4021","datavalue":{"value":"smooth decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868403$663A2372-61CD-437A-973B-5218EDAE1563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1373453ba1790d4de0fe8f4a71294de2ede1d43e","datavalue":{"value":"Cartesian closedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868403$1CB394F5-BC5B-420A-BF1D-952CC35FFA4F","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":"Q1868403$08F1D21C-C083-4CB0-A7EC-AB36D4401A6C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1fb4593677ddf1f4e07782c7992e8180bb2e7bd","datavalue":{"value":{"entity-type":"item","numeric-id":380704,"id":"Q380704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"085c26ad80ce96781631777be9ac97e7391b4134","datavalue":{"value":{"amount":"+0.89973205","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1868403$E3EAF3BB-5FA7-4502-B390-6FB98B7ABC9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"522e72fe79ece55e9f362b2f5ae8cc24143f9315","datavalue":{"value":{"entity-type":"item","numeric-id":700799,"id":"Q700799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56fc49ed85174aec23f5aef3ef35b88f837e2571","datavalue":{"value":{"amount":"+0.88123757","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1868403$5A572396-2566-459A-B6CD-E0C3B7DFE347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a28f11dfb785f0b19a66b50a1ac47dd4df705c6","datavalue":{"value":{"entity-type":"item","numeric-id":1102581,"id":"Q1102581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5eef060825e41c0973418dc808a4fa36e96d8dbd","datavalue":{"value":{"amount":"+0.8733961","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1868403$91A60EA0-1FBD-447F-9CAA-1B18707EDF13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b12d2ec6953912c30e0a29dfbf254a90234f025c","datavalue":{"value":{"entity-type":"item","numeric-id":3381312,"id":"Q3381312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3d51995efa5d13159ad0f56dd8664a8ad06407f","datavalue":{"value":{"amount":"+0.8699555","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1868403$FEBE4CF9-0C29-41EE-8198-70DC0D55B52C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84bc33e97d027af28f8af14d4a0fcac23cf3b0d3","datavalue":{"value":{"entity-type":"item","numeric-id":1769842,"id":"Q1769842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7897cc7bb6cc2c0304405602974c22cccd574f6","datavalue":{"value":{"amount":"+0.8654051","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1868403$B7D02DA2-1F42-4532-A511-BD2ED6106012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f85fafc2e39c9dbc702575d904c749ecb68576f2","datavalue":{"value":{"entity-type":"item","numeric-id":4764245,"id":"Q4764245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"810db77092f25be1ba315ab9849e864e4da5ab34","datavalue":{"value":{"amount":"+0.86510533","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1868403$2F285176-4EBA-4D7D-AD80-ACA011C7962C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"676e7da41c8482f1c5cb5709c664e76e5f482702","datavalue":{"value":{"entity-type":"item","numeric-id":5428608,"id":"Q5428608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6172e9f635debd372e91d678353369a5ba058c97","datavalue":{"value":{"amount":"+0.86358094","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1868403$49C56C1B-9A17-4DB2-A7FE-95BE2CAD2435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5845c45f9103f23933b607dc34ef99214e189c15","datavalue":{"value":{"entity-type":"item","numeric-id":1114049,"id":"Q1114049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98e44cb7cafd46976680b7051afc47bb4c4f9622","datavalue":{"value":{"amount":"+0.8625307","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1868403$88FE8AF7-FC90-416B-BBF0-138E6E97B21E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bed6f24ca999cd797a9b5cfbb24600a28eac55dd","datavalue":{"value":{"entity-type":"item","numeric-id":4946856,"id":"Q4946856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df3b9d1ace3d6a73539ebf6d7dcc45955b1954fc","datavalue":{"value":{"amount":"+0.8608134","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1868403$F7FB7369-4C8F-4339-927E-CCC33E981F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b3b8c51f8981470a062589d5a8c0dfea87a05f8","datavalue":{"value":{"entity-type":"item","numeric-id":1187991,"id":"Q1187991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7243d4c0d7bc95974c7624ad5007a786e726c1e","datavalue":{"value":{"amount":"+0.8606512","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1868403$D5B55449-0EEA-457C-A965-36F30595B0D5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Smooth perfectness through decomposition of diffeomorphisms into fiber preserving ones","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Smooth_perfectness_through_decomposition_of_diffeomorphisms_into_fiber_preserving_ones"}}}}}