{"entities":{"Q1104606":{"pageid":1115355,"ns":120,"title":"Item:Q1104606","lastrevid":49179832,"modified":"2026-01-06T17:31:19Z","type":"item","id":"Q1104606","labels":{"en":{"language":"en","value":"Sur un groupe remarquable de diff\u00e9omorphismes du cercle. (On a remarkable group of the diffeomorphisms of the circle)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4056610"}},"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":"Q1104606$1F6EE8D0-3D5A-479E-93FE-47AA320F4C03","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2e44df6825f0a32865edcab386ee19dc25a19ea9","datavalue":{"value":{"text":"Sur un groupe remarquable de diff\u00e9omorphismes du cercle. (On a remarkable group of the diffeomorphisms of the circle)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1104606$7EB0BCFA-BC82-4BF1-905C-CA5127EC5319","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c113915081548f95cb6ba4574605fe475d75669","datavalue":{"value":"0647.58009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104606$E0DB0606-66F9-45B5-9C17-64CDDD262B63","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"72923aea56f492023cb244e29d82a5e22e414bc8","datavalue":{"value":"10.1007/BF02564445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104606$92B79F19-BC85-4AC1-A686-7DE8E49FCC1D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a8ec00a5fa5f6a53b10adb5ebefeb2f5a55b470","datavalue":{"value":{"entity-type":"item","numeric-id":791932,"id":"Q791932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104606$0C3136BF-DF67-419D-9E0E-62A7E6731C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f50aa7e61d32af9cd5ab962d742151e80a6fcc6","datavalue":{"value":{"entity-type":"item","numeric-id":242497,"id":"Q242497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104606$DD8FB1B2-71D5-4161-AFBF-51DE91B45EA4","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":"Q1104606$8258F969-A43E-4D10-83AF-B122BD19BBC8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1104606$F9D9EDC9-C66E-48C4-B92A-7C2816AD16B8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b0d0b18a49b40bd125e9676ba08ae01d86c7a613","datavalue":{"value":"https://eudml.org/doc/140083","type":"string"},"datatype":"url"},"type":"statement","id":"Q1104606$5F5A441F-4623-4D78-906C-74C65F62FE70","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4e2db42806006367df0936013e22dda3c4174bea","datavalue":{"value":"Let \\(\\tilde G\\) be the group of homeomorphisms g of \\({\\mathbb{R}}\\) such that: 1. \\(g(x+1)=g(x)+1\\); 2. g is piecewise affine; 3. if x is a point of discontinuity of the derivative of g, then x and g(x) are of the form \\(p\\cdot 2^ q\\) with \\(p,q\\in {\\mathbb{Z}}\\); 4. the one-sided derivatives of g at every point are of the form \\(2^ q\\) with \\(q\\in {\\mathbb{Z}}\\); 5. g(0) is of the form \\(p\\cdot 2^ q\\) with \\(p,q\\in {\\mathbb{Z}}\\). Due to the property 1 every element of \\(\\tilde G\\) defines a homeomorphism of \\(S^ 1={\\mathbb{R}}/{\\mathbb{Z}}\\). Let G be the group of these homeomorphisms of \\(S^ 1\\). This group G is the subject of the paper.    The first result asserts that there exist a homeomorphism h of \\(S^ 1\\) such that \\(hGh^{-1}\\) is a group of \\(C^{\\infty}\\) diffeomorphisms. This justifies the title. The paper is divided into two parts, devoted, respectively, to cohomological properties of G and to qualitative properties of representations \\(G\\to \\text{Homeo}(S^ 1)\\). In both parts many interesting results are proved. I describe only some of them.    Theorem. There exist homology equivalencies \\(B\\tilde G\\to (S^ 3)^{S^ 1}\\), \\(BG\\to (S^ 3)^{S^ 1}\\times_{S^ 1}ES^ 1\\). (Here BH denotes the classifying space of H, \\(X^{S^ 1}\\) denotes the space of free loops in X, and \\(ES^ 1\\) is the total space of the universal \\(S^ 1\\)-bundle.) This theorem allows tocompute the cohomology of \\(\\tilde G,G\\). The generators of the cohomology ring are interpreted as an Euler class and an analogue of the Godbillon-Ven class.    It is proved also that G is isomorphic to a discrete subgroup of the group of \\(C^ 1\\) diffeomorphisms of \\(S^ 1\\) (with \\(C^ 1\\) topology). Another interesting result asserts that every nontrivial representation \\(G\\to Diff^ 2(S^ 1)\\) (diffeomorphisms of the class \\(C^ 2\\)) is semiconjugate to the inclusion \\(G\\text{Homeo}(S^ 1)\\).    Finally, it is necessary to note that the group G was already considered in several parts of mathematics: logic, algebra, homotopy theory. The authors argue that their results support an analogy between G and arithmetic groups. This is a truly remarkable group.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104606$F20CDDF9-10B4-4E50-8BEE-3465EF794FB5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2a45ded7201cdf9a4f602a97228aee616d06984a","datavalue":{"value":"58D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104606$4D63A1E6-A9E6-409F-A18B-A1FEBE9B109C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f78d41e47725ec1bd07b77db78bbc1730df4db63","datavalue":{"value":"20F38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104606$719A449B-FDE3-4611-8862-31289210B81D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c95ea794155057162f177bceb9cb3643a19e017","datavalue":{"value":"4056610","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104606$A1C1FBC6-0C88-417E-A6B7-F791ACE87E0F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a9ebf2695476d242855ef003af0ea1991af4876","datavalue":{"value":"diffeomorphisms of the circle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104606$799BAAD8-8989-4E60-A030-E33908674DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce432fd4b43866dcaf8d59af2247f1db44fc3542","datavalue":{"value":"cohomology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104606$58D6F910-3A02-422C-AE86-8E1D795F449A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d118cda181bda63340d61e105c97c7ec5e2e7153","datavalue":{"value":"foliations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104606$90AC541B-2534-4632-A857-5995991F5108","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":"Q1104606$6232E730-3834-4138-ACF5-14ED2001A4DE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"caa829a606645888a00057a0d84c280d23210fcc","datavalue":{"value":"W2005454917","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104606$8308EFA0-463D-4A9D-B9A0-97D8AC3A8864","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1112d45d2a35c3f61203af882dc3b6f850c0cad2","datavalue":{"value":{"entity-type":"item","numeric-id":4727062,"id":"Q4727062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d28deaf969720a6cdb2402f50d7628e8b6219af","datavalue":{"value":{"amount":"+0.8086286187171936","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":"Q1104606$4D56F1E1-3CC1-4880-9373-FF9F18BDA387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ebc2449297804bda924aae81b731622d862d879","datavalue":{"value":{"entity-type":"item","numeric-id":1604964,"id":"Q1604964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2fd4d8a3defe2d8ad77275ff32f75e836edbd0c","datavalue":{"value":{"amount":"+0.7914271950721741","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":"Q1104606$AD342092-CDF3-4E62-98F3-5511C268536C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8f8ff015c8f7f50e652e892c832c2fde69ed0ba","datavalue":{"value":{"entity-type":"item","numeric-id":2565937,"id":"Q2565937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35f007ea2f39060d8e4fc23c9e72d242f768fbae","datavalue":{"value":{"amount":"+0.7906534075737","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":"Q1104606$0478C6A7-5424-42D8-B058-2C1AE923A41F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3652311d9e5f69d2aadd3707a7987d51fe7e9cc","datavalue":{"value":{"entity-type":"item","numeric-id":1124174,"id":"Q1124174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8606903459b01dad59553f58f48e229d890d852","datavalue":{"value":{"amount":"+0.7896381616592407","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":"Q1104606$A4C9FCB7-AD06-42C7-8343-FA7D1DE58A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd8c8759839821d3c58284b73d7a835e7a3b9abe","datavalue":{"value":{"entity-type":"item","numeric-id":809415,"id":"Q809415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f367e225ce056cf4f147018fb929002aab3daff1","datavalue":{"value":{"amount":"+0.7878538370132446","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":"Q1104606$170CBB41-5AC2-4ACC-B240-ED0710936CE0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1104606","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1104606"}}}}}