{"entities":{"Q308012":{"pageid":309779,"ns":120,"title":"Item:Q308012","lastrevid":52614791,"modified":"2026-01-23T02:51:56Z","type":"item","id":"Q308012","labels":{"en":{"language":"en","value":"Relative quasimorphisms and stably unbounded norms on the group of symplectomorphisms of the Euclidean spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6623436"}},"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":"Q308012$2DDE9AFA-3A50-4884-A9A6-51F1F5C326D8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"58263d2573f78c2060bc1c9d75cc4ab56e316f61","datavalue":{"value":{"text":"Relative quasimorphisms and stably unbounded norms on the group of symplectomorphisms of the Euclidean spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q308012$EDCB7B1F-A2C3-43DA-AFD9-140296A7080E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6c9c813addeb28f987098b198ea87b45f03b1c29","datavalue":{"value":"1348.53075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q308012$E5DD94CA-AD5C-40BC-8767-7CC09C100B18","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"720d43443044d04d980afaa483859ff0de4be306","datavalue":{"value":{"entity-type":"item","numeric-id":308011,"id":"Q308011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q308012$CF4D4FA6-9DB3-46FC-8277-94B7C4C27C8D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e3616eb4fa66cd8a907cb98b9b6a1ca82f66944","datavalue":{"value":{"entity-type":"item","numeric-id":283503,"id":"Q283503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q308012$29D44CA5-9193-4B3D-8BA0-3130123D650E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c42ad213f9b7f39d3e9ee142840c36c28e5864b9","datavalue":{"value":{"time":"+2016-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q308012$A90A0599-AE8C-42E1-95F9-4C0FED3E57E3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ff218d8a6072e9b189d21d69809bca07a41e5929","datavalue":{"value":{"entity-type":"item","numeric-id":587361,"id":"Q587361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q308012$C3227EE6-92B5-45E4-B154-51F0222A9C25","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0a80b4f7c8e67a6519e4472608227d2c3c6f4a4b","datavalue":{"value":"53D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q308012$AD23A030-2355-49F7-820A-CDBB2DEB14D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2a45ded7201cdf9a4f602a97228aee616d06984a","datavalue":{"value":"58D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q308012$D6C26A84-0C8E-4889-8057-2DA2A92B101B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ac67041ee20e8e74704639c8c41ad82b802128c","datavalue":{"value":"57S05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q308012$F81A685C-6F1D-494A-AC1B-263F6188805E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"00c103224d34af523e7fce2ff3e40dd19709f84f","datavalue":{"value":"20F36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q308012$7ECE2C14-59D3-4EA1-B42C-34BEF8BF569E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee28812f985ebdc2ea29977791248649cdee6f14","datavalue":{"value":"6623436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q308012$1827A4AF-B6CC-4E01-A6C5-43D2DFC525C6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c9798ee9fbe1b8cacfa897ff735ee0d3b298122","datavalue":{"value":"conjugation-invariant norm","type":"string"},"datatype":"string"},"type":"statement","id":"Q308012$54728A24-1608-4BCC-93EE-1C460CE5BBC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a539d0a973ba6cae195b58815c05780a8f69847","datavalue":{"value":"stably unbounded norm","type":"string"},"datatype":"string"},"type":"statement","id":"Q308012$DA79529B-F551-4650-A9A2-2CE1C946AA67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0aa7d65b1dba699d07c8d0bf0f4821bde9f95b01","datavalue":{"value":"commutator length","type":"string"},"datatype":"string"},"type":"statement","id":"Q308012$3107F574-2402-4527-B076-2D333683333E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5e8a1f811e9b3d2ba1d62248a3f725b81875f63","datavalue":{"value":"quasi morphism relative to conjugate-invariant norm","type":"string"},"datatype":"string"},"type":"statement","id":"Q308012$FB91F404-9B8C-4EC0-8076-BBCEDB06403D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33d227901621c237bc7a8b34f01c50f6181bf80c","datavalue":{"value":"fragmentation norm","type":"string"},"datatype":"string"},"type":"statement","id":"Q308012$B015AD1B-D739-4A4F-B416-FD2E873B640E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1793e1ce05cda1cbf4ef4b15dfb30465b988c4b8","datavalue":{"value":"Calabi homomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q308012$E51D9000-6A5E-483D-B3BA-A925C61574A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12c9314f2e890b2e1fc9d1848cf9afe8f921e18a","datavalue":{"value":"group of symplectomorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q308012$0E878C72-2F6F-4342-84F0-74BC387CB59E","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":"Q308012$DC7C68E4-93D0-497B-9DFB-FFE171CAAC1C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6cd79ac694713905528959ee218d8368c5d26fbe","datavalue":{"value":"https://doi.org/10.4310/jsg.2016.v14.n1.a11","type":"string"},"datatype":"url"},"type":"statement","id":"Q308012$FC7E1151-9FE2-479D-A683-D3E57FC44F56","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"142b8d70b5136bf562f86f7e410ece104b07a5c3","datavalue":{"value":"W2465111364","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q308012$4F6E4CBE-777B-4BEE-86A7-C0E944A62AF9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d452fb78480ae3922c7755ee5787aaa1fa26452e","datavalue":{"value":"10.4310/JSG.2016.V14.N1.A11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q308012$6A131B03-A275-486C-B58C-720C3A1C4BAE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"00b239e1400f023e0da015ee8207114ae58249e3","datavalue":{"value":"A conjugation-invariant norm on a group \\(G\\) is a function \\(\\nu:G\\to \\mathbb{R}\\) such that \\(\\nu(1)=0\\), \\(\\nu(f)>0\\), if \\(f\\neq 0\\), \\(\\nu(f)=\\nu(f^{-1})\\), \\(\\nu(fg)\\leq \\nu(f)+\\nu(g)\\) and \\(\\nu(f)=\\nu(gfg^{-1})\\). The function \\(\\nu\\) is called stably unbounded if there exists \\(f\\in G\\) such that \\(\\lim_{n\\to\\infty}\\dfrac{\\nu(f^n)}{n}>0\\). The most important conjugation-invariant norm is the commutator length cl, defined by NEWLINENEWLINE\\[NEWLINE\\mathrm{cl}(h)=\\mathrm{min}\\{k|\\exists f_1,\\ldots,f_k, g_1,\\ldots,g_k\\in G;h=[f_1,g_1]\\cdots[f_k.g_k]\\},NEWLINE\\]NEWLINE NEWLINEon a perfect group \\(G\\). In [\\textit{D. Burago} et al., Adv. Stud. Pure Math. 52, 221--250 (2008; Zbl 1222.20031)], it is asked whether there exists a perfect group \\(G\\) whose commutator length is stably bounded, but admits a stably unbounded conjugate-invariant norm (Problem 1.2).NEWLINENEWLINEIn Theorem 1.3 of this paper, the kernel of the Calabi homomorphism [\\textit{A. Banyaga}, Comment. Math. Helv. 53, 174--227 (1978; Zbl 0393.58007)] \\(\\mathrm{Cal}:\\mathrm{Symp}^c_0(\\mathbb{R}^{2n},\\omega_0)\\to\\mathbb{R}\\) is shown to give an affirmative answer to Problem 1.2. Ker(Cal) is known to be simple [Banyaga, loc. cit.] and the commutator length is stably bounded [Burago et al., loc. cit.]. So to give an affirmative answer to Problem 1.2, it is sufficient to construct a stably unbounded conjugation-invariant norm on Ker(Cal). For this purpose, first the \\((\\nu,p,q)\\)-commutator length \\(\\mathrm{cl}_{\\nu,p,q}:[G,G]_{\\nu,p,q}\\to \\mathbb{R}\\) is defined similarly to the conjugate-invariant norm, but restricting to \\(\\nu(f_i)\\leq p,\\nu(g_j)\\leq q\\) in the expression \\(h=[f_1,g_1]\\cdots[f_k,g_k]\\). Here \\(\\nu\\) is a conjugate-invariant norm of \\(G\\) and \\([G,G]_{\\nu,p,q}\\) is the \\((\\nu,p,q)\\)-commutator subgroup, i.e., the subgroup generated by \\([f,g]\\), where \\(\\nu(f)\\leq p, \\nu(g)\\leq q\\) (\\(p\\) and \\(q\\) allowed to be \\(\\infty\\). See Definition 2.1. Then it is shown (Proposition 2.4) that \\(\\mathrm{cl}_{\\nu,p,q}\\) is stably unbounded if there is a quasimorphism \\(\\mu\\) relative to \\(\\nu\\) and \\(h_0\\in[G,G]_{\\nu,p,q}\\) such that \\(\\lim_{k\\to \\infty}\\dfrac{\\mu(h_0^k)}{k}>0\\). Here, a quasimorphism \\(\\mu\\) relative to the norm \\(\\nu\\) is a function on \\(G\\) such that \\(|\\mu(fg)-\\mu(f)-\\mu(g)|<C\\mathrm{min}\\{\\nu(f),\\nu(g)\\}\\). See Definition 2.3.NEWLINENEWLINELet \\(\\mathrm{Symp}^c_{0,U}(\\mathbb{R}^n,\\omega_0)\\) be the set of elements of \\(\\mathrm{Symp}^c_0(\\mathbb{R}^{2n},\\omega_0)\\) with support in \\(U\\). By the fragmentation lemma [2], any element of \\(\\mathrm{Symp}^c_0(\\mathbb{R}^{2n},\\omega_0)\\) can be written in the form \\(\\psi\\theta\\psi^{-1}\\), with \\(\\theta\\in\\mathrm{Symp}^c_{0,U}(\\mathbb{R}^{2n},\\omega_0)\\). The fragmentation norm \\(\\nu_U\\) relative to \\(U\\) is the minimal number of factors of such a product. It is a conjugation-invariant norm [Burago et al., loc. cit.]. Then using results from [\\textit{J. Barge} and \\textit{E. Ghys}, Math. Ann. 294, No. 2, 235--265 (1992; Zbl 0894.55006)], a quasimoprphism \\(B\\) relative to \\(U\\) such that \\(\\lim_{n\\to\\infty}\\dfrac{B(g_0^k)}{k}>0\\) for some \\(g_0\\in\\mathrm{Ker(Cal)}\\) is constructed (Proposition 3.3). Since Ker(Cal) is simple, it coincides with \\(\\mathrm{Ker(Cal)}_{\\nu,p,q}\\). Hence by Proposition 2.4, \\(\\mathrm{cl}_{\\nu,p,q}\\) is a stable unbounded conjugate-invariant norm on Ker(Cal). The author remarks that some examples of affirmative answer to Problem 1.2 are also given in [\\textit{M. Brandenbursky} and \\textit{J. K\u0119dra}, Algebr. Geom. Topol. 15, No. 5, 2861--2886 (2015; Zbl 1364.20021)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q308012$96E4ED2B-48A5-4894-99A7-48DCD56733F6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2819bf89ffe15722afed178950cafa2230311777","datavalue":{"value":{"entity-type":"item","numeric-id":5096659,"id":"Q5096659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebe453a481936e4d669ea2050346ee3ea03a008a","datavalue":{"value":{"amount":"+0.8151881098747253","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":"Q308012$CED8467D-6C81-4467-B083-C30D360B3B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44e3cd7009e2c292bbde62a3ec7d44212eed7c94","datavalue":{"value":{"entity-type":"item","numeric-id":523423,"id":"Q523423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc2c4ece484d0fdf125e9e437b987f056ebeeceb","datavalue":{"value":{"amount":"+0.7575796842575073","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":"Q308012$D39F4A39-FFC5-4DD3-840D-165DC923B9F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce79288b9f13d3e02dd25e46e3bee4cf64afba5e","datavalue":{"value":{"entity-type":"item","numeric-id":4707387,"id":"Q4707387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dd970bb7b8ed4b2615189b1d53ab272f0144535","datavalue":{"value":{"amount":"+0.7539995312690735","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":"Q308012$3B9B8BEE-5E33-45F5-8556-3E0D86417E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b517b8370029d00b73f8e31b8efe843b4add6290","datavalue":{"value":{"entity-type":"item","numeric-id":4675806,"id":"Q4675806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4eda49068c6e0552fe9e4f06c3ebe16d7b1487cf","datavalue":{"value":{"amount":"+0.7501494288444519","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":"Q308012$1A087F25-F551-48C0-BB72-A7C05A2CEA6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baf1c03dce24b3d3daa8ca5325c84260f5441ccd","datavalue":{"value":{"entity-type":"item","numeric-id":4565342,"id":"Q4565342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0223783596387482885704335e93420e67e2711","datavalue":{"value":{"amount":"+0.7462985515594482","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":"Q308012$E00A5F26-642A-453F-A8EA-D31A17D43F92","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:308012","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:308012"}}}}}