{"entities":{"Q720752":{"pageid":722601,"ns":120,"title":"Item:Q720752","lastrevid":51344981,"modified":"2026-01-17T20:43:10Z","type":"item","id":"Q720752","labels":{"en":{"language":"en","value":"Negative inflation and stability in symplectomorphism groups of ruled surfaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5956534"}},"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":"Q720752$19760DAF-90FA-4703-8E72-7ED82F8F12BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"57898359473291c7be746107542ced28b7ebecc0","datavalue":{"value":{"text":"Negative inflation and stability in symplectomorphism groups of ruled surfaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q720752$625FC8F5-25F6-44F1-870E-EDEA15407243","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f8afb7e47d0ad383446fa80ef3ba23981404d134","datavalue":{"value":"1233.53010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q720752$53ABC228-975B-40EC-8932-13499D5C5767","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":"Q720752$7F5B2AA3-6FDB-40B3-849F-C1DD6ECDF3C1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38bd0b0b5d86722d0e22771ee04c5b1ab8a51fc8","datavalue":{"value":{"time":"+2011-10-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q720752$EAB087B8-8C10-467F-ADE4-1E1CD271FF7F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d48f69b21618e64c40174142d89c2fb0edd581c1","datavalue":{"value":"https://projecteuclid.org/euclid.jsg/1309546042","type":"string"},"datatype":"url"},"type":"statement","id":"Q720752$76813628-2727-4C90-945E-5E1B5F5C1049","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ed4eb2f4912049a8847728f08ff3dc87d7b25e94","datavalue":{"value":"The rational homotopy of the symplectomorphism groups \\(G^g_\\lambda\\) of symplectic ruled surfaces \\(M^g_\\lambda-(\\Sigma_g\\times S^2, \\lambda\\sigma_{\\Sigma_g}\\oplus\\sigma_{S^2})\\) such that the areas of \\(\\Sigma_g\\) and \\(S^2\\) are \\(\\lambda\\) and 1, respectively, is computed as follows: let \\(g> 0\\), \\(k\\geq[g/2]\\) and \\(k<\\lambda\\leq k+ 1\\), then  \\[ \\begin{aligned} \\dim\\pi_i G^g_\\lambda\\otimes\\mathbb{Q} &= 0,\\quad i= 0\\text{ and }3< i< 4k+ 2g,\\\\ \\dim\\pi_1 G^g_\\lambda\\otimes\\mathbb{Q} & = 1,\\quad g> 1,\\quad \\dim\\pi_1 G^g_\\lambda\\otimes\\mathbb{Q}= 3,\\;g= 1,\\\\ \\dim\\pi_2 G^g_\\lambda\\otimes\\mathbb{Q} &= 2g,\\quad \\dim\\pi_3 G^g_\\lambda\\otimes\\mathbb{Q}= 1,\\quad\\text{and }\\dim\\pi_{4k+2g} G^g_\\lambda\\otimes\\mathbb{Q}\\geq 1\\end{aligned} \\]  (Proposition 1.9). To derive Proposition 1.9, first a refinement of the negative inflation method in a symplectic four-manifold [\\textit{F. Lalonde} and \\textit{D. McDuff}, Math. Res. Lett. 3, No.~6, 769--778 (1996; Zbl 0874.57019); \\textit{T.-J. Li} and \\textit{M. Usher}, J. Symplectic Geom. 4, No.~1, 71--91 (2006; Zbl 1120.53052)] is given (Theorem 1.1). Using the negative inflation method and results on the homotopy type of \\(G^g_\\lambda\\) [\\textit{D. McDuff}, in: \u00c9. Ghys (ed.) et al., Essay on geometry and related topics. M\u00e9moires d\u00e9di\u00e9s \u00e0 Andr\u00e9 Haefliger. Vol. 2. Gen\u00e8ve: L'Enseignement Math\u00e9matique. Monogr. Enseign. Math. 38, 527--556 (2001; Zbl 1010.53064)], the following stability theorem on the homotopy type of \\(G^g_\\lambda\\) is proved: Let \\(k\\geq[g/2]\\), then the homotopy type of \\(G^g_\\lambda\\) is constant. Moreover, as \\(\\lambda\\) passes the integer \\(k+1\\), the groups \\(\\pi_i\\), \\(i= 0,\\dots, 4k+ 2g- 1\\) do not change (Theorem 1.2).   In [McDuff, loc. cit.] it was shown that the homotopy limit \\(G^g_\\infty= \\lim_{\\lambda\\to\\infty} G^g_\\lambda\\) exists and is homotopic to \\({\\mathcal D}^g_0\\), the identity component of the subgroup of diffeomorphisms that preserve the \\(S^2\\) fibers (Proposition 1.5). In [McDuff, loc. cit.] it is also shown that  \\[ \\begin{aligned} \\dim\\pi_i({\\mathcal D}^g_0\\otimes\\mathbb{Q}) &= 0,\\quad i= 0\\text{ and }i> 3,\\\\ \\dim\\pi_1({\\mathcal D}^g_0)\\otimes\\mathbb{Q} &= 1,\\quad g> 1,\\quad\\dim\\pi_1({\\mathcal D}^g_0)\\times \\mathbb{Q}= 3,\\quad g= 0,\\\\ \\dim\\pi_2({\\mathcal D}^g_0)\\otimes\\mathbb{Q} &= 2g,\\quad \\dim\\pi_3({\\mathcal D}^g_0)\\otimes\\mathbb{Q}= 1\\end{aligned} \\]  (Proposition 1.6). Moreover, it was shown in [McDuff, loc. cit.] that \\(\\widetilde i: G^g_\\lambda\\to{\\mathcal D}^g_0\\) yields a surjective map on all rational homotopy groups. Theorem 1.2 improves this assertion showing that \\(\\widetilde i_*: \\pi_j(G^g_\\lambda\\to \\pi_j({\\mathcal D}^g_\\lambda))\\), \\(j= 0,\\dots, 4k+ 2g-1\\), are isomorphisms if \\(k> [g/2]\\) and \\(k< \\lambda\\leq k+ 1\\) (Proposition 1.7). Proposition 1.9 follows from Propositions 1.6 and 1.7 except for the statement on \\(\\pi_{4k+2g}(G^g_\\lambda)\\), which is shown via the study of Whitehead products (Proposition 1.8; cf. [\\textit{O. Bu\u015fe}, Int. Math. Res. Not. 2010, No.~17, 3303--3340 (2010; Zbl 1241.57031)], details are given in \\S3).   Theorem 1.1 asserts that, for all \\(\\varepsilon> 0\\), there exists a family of symplectic forms \\(\\tau_\\mu\\) on \\((M^4,J,\\tau_0)\\) all taming \\(J\\) such that  \\[ [\\tau_\\mu]= [\\tau_0]+\\mu a_Z,\\quad 0\\leq \\mu\\leq {\\tau_0(Z)\\over m}- \\varepsilon, \\]  where \\(a_Z\\) is the Poincar\u00e9 dual of \\(Z\\), assuming \\(J\\) is \\(\\tau_0\\)-tame and \\(M\\) admits an embedded \\(J\\)-holomorphic curve \\(u: (\\Sigma, j)\\to (M^4, J)\\) in a homology class \\(Z\\) with \\(Z^2= -m\\). This is proved in \\S2 following McDuff's proof of Lemma 3.1 in [McDuff, loc. cit.]. In [McDuff, loc. cit.] a homotopy fibration  \\[ 0\\to G^g_\\lambda\\to \\text{Diff}_0(M^g_\\lambda)\\to{\\mathcal A}^g_\\lambda \\]  is exploited, where \\({\\mathcal A}^g_\\lambda\\) is the space of almost complex structures that are tamed by some form isotopic to \\(\\lambda\\sigma_{\\Sigma_g}\\otimes \\sigma_{S^2}\\). \\({\\mathcal A}^g_\\lambda\\) has a stratification \\(\\bigcup_{0\\leq k<[\\lambda]}{\\mathcal A}^g_{\\lambda,k}\\), where \\({\\mathcal A}^g_{\\lambda,k}\\) consists of almost complex structures that admit irreducible \\(J\\)-holomorphic curves in the class of \\(A- kF\\in H_2(M^g_\\lambda,\\mathbb{Z})\\), where \\(A\\) and \\(F\\) are the homology classes of the base and fiber, respectively, if \\(k\\geq 1\\) and the main strata \\({\\mathcal A}^g_{\\lambda,0}\\) consists of almost complex structures \\(J\\) that admit only non-negative self-intersection curves. Theorem 1.2 is proved analyzing this stratification and applying Theorem 1.1.","type":"string"},"datatype":"string"},"type":"statement","id":"Q720752$F9025F4A-B806-4AA9-B0F3-CA1225B06FAB","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":"Q720752$68150FA8-DF8A-4073-9352-7E53BAF031E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"78fe00c615e469a834a004429eb3e7b709f9792e","datavalue":{"value":"53D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q720752$3D654C04-F6AD-41F4-8B88-1C538F31AFFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2a45ded7201cdf9a4f602a97228aee616d06984a","datavalue":{"value":"58D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q720752$71A55353-6BFB-4F4F-B92F-A4A945435163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4486b51257da258d49d7e2f4955ad3d9eeb30081","datavalue":{"value":"14J26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q720752$6C81599C-8D66-4825-91B4-8CA9FC35E336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"50dcfe89858cb0542f5ec2c057808128c0888c42","datavalue":{"value":"55Q52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q720752$5366B435-0FC5-42A6-9CEC-10DAECDD9CC3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a7930e2cf7617e0149b590d993de713419c304d0","datavalue":{"value":"5956534","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q720752$BAB66610-15C0-49CA-A683-FCB449DBF9B9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fb09fbfa0f3e37dd7dc67b7c4ab9884396de1f2","datavalue":{"value":"ruled surface","type":"string"},"datatype":"string"},"type":"statement","id":"Q720752$8CBC4A29-5682-4650-A149-C2F3F53BB931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93a9cf99fdb35cac5b94eaffd39386db5e7ecbc3","datavalue":{"value":"symplectomorphism group","type":"string"},"datatype":"string"},"type":"statement","id":"Q720752$7D90C5C0-CC86-45BF-8DB0-68E989DDBECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b7d8902b90d8450c655e01566c21de99bc3a5cf","datavalue":{"value":"rational homotopy","type":"string"},"datatype":"string"},"type":"statement","id":"Q720752$9790D8C5-8770-43A3-8F3D-FA79EC7EBEE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04c80c6bf4fce064ebf7c666277bbe3ce6a28363","datavalue":{"value":"negative inflation method","type":"string"},"datatype":"string"},"type":"statement","id":"Q720752$34687118-F131-4A00-8018-AA5BC3CCDBD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dcf2c0c53ad9117eef4da230784e85e26b5b16c","datavalue":{"value":"Whitehead products","type":"string"},"datatype":"string"},"type":"statement","id":"Q720752$3D9F2980-31D2-48FF-B191-8C111E58C2CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f23b08d2781e3f127d59df2af253bb6089bfce7a","datavalue":{"value":"stratification","type":"string"},"datatype":"string"},"type":"statement","id":"Q720752$58CE9FF0-B822-40BD-B0FD-1EF22018E9B8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5ae9a5d015df21156368fcddf076e84a0ecf1376","datavalue":{"value":{"entity-type":"item","numeric-id":362553,"id":"Q362553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q720752$8539F263-B1BD-4EFC-8B0B-BE15C743222A","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":"Q720752$540DB105-99D7-4E15-94A6-D801A4B15B1C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d6b4ce05a7b1a4e2083b93637518c2997ca2e9e4","datavalue":{"value":"10.4310/JSG.2011.V9.N2.A3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q720752$5A2495B9-27AD-4B70-BB36-ADA07FC96954","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e850ed4df1f4bc29e0ba8ba66c9f4250e58eeb92","datavalue":{"value":{"entity-type":"item","numeric-id":4548110,"id":"Q4548110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f409adbba0e178e811236d790cc5b4b0d90a23a8","datavalue":{"value":{"amount":"+0.8245044350624084","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":"Q720752$69B5D977-0D2C-4DF6-ABCD-9CA57FAD6F77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd02520207c81c83c4d944e07773b7e4ea0e994e","datavalue":{"value":{"entity-type":"item","numeric-id":4501061,"id":"Q4501061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b4dfafb3e0b22ecb9848e7e9c714e138024ae7b","datavalue":{"value":{"amount":"+0.8142024874687195","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":"Q720752$E6B32AE8-19F8-4D19-B0F8-B9F8DC920A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2711e0e49323ea56a5479e55764a36146c025fc7","datavalue":{"value":{"entity-type":"item","numeric-id":1397595,"id":"Q1397595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b4dfafb3e0b22ecb9848e7e9c714e138024ae7b","datavalue":{"value":{"amount":"+0.8142024874687195","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":"Q720752$F47398CF-B242-41AB-B9DC-E65E2554ACDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b03ef53edeff3dbb13f1a98d3cbd69420061eda7","datavalue":{"value":{"entity-type":"item","numeric-id":379208,"id":"Q379208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7caf634e5badcb3e06ab7566c31d410234a60d4","datavalue":{"value":{"amount":"+0.8043984770774841","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":"Q720752$02324505-BF43-4C86-9BD0-D50E2C84ED07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c46c07750d7adb12d54e91f3c3a6fa01b554ff54","datavalue":{"value":{"entity-type":"item","numeric-id":719905,"id":"Q719905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71b9be8e6235dfad0816c2010305a2e5bd1dc66e","datavalue":{"value":{"amount":"+0.7754153609275818","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":"Q720752$99BA71D1-FF2A-4429-8AA3-5E5BB0B71B79","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:720752","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:720752"}}}}}