{"entities":{"Q1708580":{"pageid":1719321,"ns":120,"title":"Item:Q1708580","lastrevid":57493092,"modified":"2026-03-31T04:00:39Z","type":"item","id":"Q1708580","labels":{"en":{"language":"en","value":"Heegaard Floer correction terms, with a twist"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6852570"}},"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":"Q1708580$BDB2187F-3B05-4DB0-81FC-F8E4BC6E1BB4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"09ea8d770218410fd595b2e9db93bd82a8168474","datavalue":{"value":{"text":"Heegaard Floer correction terms, with a twist","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1708580$565767A6-902D-4093-837A-5EE623DD7D8E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"653696136501cb3b0be01f62498629c490748e79","datavalue":{"value":"1388.57026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708580$04B41AC6-C921-469C-B2F2-3B679C5FBC44","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8797ac0a58ee33b346a61c26091660f3f57b28c9","datavalue":{"value":"10.4171/QT/102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708580$CEDA2A07-1A56-4163-9F1D-DAE0A5B6179D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"498f772acd728a07316ba2038da07d556dd2f26f","datavalue":{"value":{"entity-type":"item","numeric-id":372507,"id":"Q372507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708580$67F99B85-CAD5-49FC-B2A1-1A57EF13A7DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"84f46d77a0af52ce910b78bcd84984cb2e9e4f7a","datavalue":{"value":{"entity-type":"item","numeric-id":507060,"id":"Q507060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708580$E7A3D426-2031-44BD-9C96-D618077269A9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0d6c3e669dd836bf8afb5e1fffb8980aad9f0607","datavalue":{"value":{"entity-type":"item","numeric-id":259623,"id":"Q259623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708580$DB642034-2637-479E-983C-52143D0D1729","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5c52e8821da0e2bfacfdb2ff41b10d5c84490346","datavalue":{"value":{"time":"+2018-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1708580$C725605E-3D38-4913-9E79-FE3DD34EE2AE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f4826f94e96a232c7e3e0d4e3303ddc3c6992a0d","datavalue":{"value":"https://arxiv.org/abs/1505.07401","type":"string"},"datatype":"url"},"type":"statement","id":"Q1708580$47C2F724-9EDC-4459-A7B8-781937F47ABD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"60715c36f8d1b6d3ff3181c8de6c404e59d4aeb6","datavalue":{"value":"\\textit{S. K. Donaldson}'s diagonalization theorem [J. Differ. Geom. 18, 279--315 (1983; Zbl 0507.57010)] strongly constrains the intersection forms of closed smooth \\(4\\)-manifolds. This was subsequently much generalized by \\textit{K. A. Fr\u00f8yshov} [Topology 41, No. 3, 525--552 (2002; Zbl 0999.57032)] and \\textit{P. Ozsv\u00e1th} and \\textit{Z. Szab\u00f3} [Adv. Math. 173, No. 2, 179--261 (2003; Zbl 1025.57016)] to the case of manifolds with rational homology sphere boundary (or manifolds with standard \\(HF^\\infty\\)). The paper under review generalizes these results to any \\(4\\)-manifold with connected boundary. That is, the authors define twisted correction terms \\(\\underline{d}(Y,\\mathfrak{t})\\in \\mathbb{Q}\\) for \\((Y,\\mathfrak{t})\\) any closed \\(\\mathrm{spin}^c\\) \\(3\\)-manifold with \\(c_1(\\mathfrak{t})\\) torsion, by working with Heegaard Floer homology with twisted coefficients.  They then show a bound, for \\((Z,\\mathfrak{s})\\) a \\(\\mathrm{spin}^c\\)-filling of (connected) \\((Y,\\mathfrak{t})\\) with \\(b_2^+(Z)=0\\), and \\(\\mathfrak{t}\\) torsion, that  \\[  c^2_1(\\mathfrak{s})+b_2^-(Z)\\leq 4\\underline{d}(Y\\mathfrak{t})+2b_1(Y).  \\]   They then put this result to use to prove strong constraints on semidefinite intersection forms of \\(4\\)-manifolds. For example, they observe that for any closed oriented \\(3\\)-manifold \\(Y\\), there exist only finitely many even semidefinite forms that can appear as intersection forms of smooth manifolds bounding \\(Y\\).  Other important special cases previously inaccessible are smooth 4-manifolds with boundary \\(T^3\\) or \\(\\Sigma_2\\times S^1\\), for which the authors show that an even negative semidefinite bounding intersection form must have nondegenerate part either trivial or a copy of \\(E_8\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1708580$B3CC13F1-DF66-47E2-92E5-95D1915FA540","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c1e9f059c56c95c38b3389e6c51955fe775dcb99","datavalue":{"value":{"entity-type":"item","numeric-id":403822,"id":"Q403822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708580$2573A1C1-FEA7-42A5-860E-27EE62C1CA6D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c081b8795cb36a051b2277d998ac5048b8c6bbc1","datavalue":{"value":"57R58","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708580$4B3691E4-D8A6-43C5-890B-B80612AEC00E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4f912cc4f5542455896ae293f2d98d28b2477a66","datavalue":{"value":"57M25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708580$9DF71426-F5D3-4CDA-AD76-CF08CE036264","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"072d5584ce55c5e866c7e50231d24f9c16236578","datavalue":{"value":"6852570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708580$40C22ED9-7C1F-4C9D-8936-3E152A7378DD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b80997bd4ac3f590a8be78768f1d37977a157bd3","datavalue":{"value":"Heegaard Floer homology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1708580$089277DB-AECE-4F52-9582-F47C09B2A49F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92933fae48194466adc5d4329478bbf1ed5735ea","datavalue":{"value":"correction terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1708580$FB97BDBF-A400-455B-8954-9186AA73376B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"802f45c2643860db90e0bbfd8c77d3d232d9f371","datavalue":{"value":"smooth 4-manifolds","type":"string"},"datatype":"string"},"type":"statement","id":"Q1708580$9D35247E-4ED0-4B82-98BA-958AFAA61351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"608875cf04dcff3d4ef34934fdf8417d774e9850","datavalue":{"value":"intersection forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1708580$BBCED879-7E61-4B5A-B394-92D8F5A0B3BD","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":"Q1708580$F69F7907-2BF1-4659-B7CE-540ACDE7AA93","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c231ea0576730b7cd0707c96fe703000e385c65","datavalue":{"value":{"entity-type":"item","numeric-id":1815215,"id":"Q1815215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88685f246b21202238c59424c711f59725e60833","datavalue":{"value":{"amount":"+0.74794453","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1708580$69BA2AC3-C891-491F-8A32-97BBC991BDC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"483df11888d9c2aa88761bd12357d5c277b9abf5","datavalue":{"value":{"entity-type":"item","numeric-id":1113489,"id":"Q1113489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9f36a84790dbd188ca18fe054952d7e4ef55715","datavalue":{"value":{"amount":"+0.70109105","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1708580$6789F9CA-FA8A-4587-A8B4-678E0E053D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e283fe3247b98c9d42e121332fabbfe9d108ed42","datavalue":{"value":{"entity-type":"item","numeric-id":3799340,"id":"Q3799340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14a1eb5792a34b57b55301d9e9b1d6cd88154ddf","datavalue":{"value":{"amount":"+0.69485044","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1708580$2E6142E1-D784-4058-975E-10E47D01938A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b8a1f193c55a417516c983df5ab79a30c69f93e","datavalue":{"value":{"entity-type":"item","numeric-id":5153372,"id":"Q5153372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b58c5b38c7f041daa546a690b74752748cd9214e","datavalue":{"value":{"amount":"+0.6877676","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1708580$1A5393A0-69E8-408A-8DB2-CFBB3FF7A871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"755d57d82000a9411165099649351012cfbf49ae","datavalue":{"value":{"entity-type":"item","numeric-id":867361,"id":"Q867361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7171f0f25f2e292093c3463e232433988d3f93e","datavalue":{"value":{"amount":"+0.6672565","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1708580$50846BA8-A4B9-4C56-86F7-4BE79E4C8906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36c2216b1a5159b443be341495edb0b7b6ca3c7d","datavalue":{"value":{"entity-type":"item","numeric-id":5477307,"id":"Q5477307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1bb2bd7ff7217e318e2ca43f5db0f7f0928ce74","datavalue":{"value":{"amount":"+0.6666489","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1708580$39B4CAA1-9D89-4939-A553-C4B61018378C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4204ffe4182be8094f2391122b21cc51dfd0ac5d","datavalue":{"value":{"entity-type":"item","numeric-id":5243089,"id":"Q5243089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bf187c068adafdeb232d041c29681890da3c7f9","datavalue":{"value":{"amount":"+0.6644062","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1708580$AC2CD71C-F932-406A-917E-01602DD621B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37626a4830b65748ecee81ce22958d6450480c8f","datavalue":{"value":{"entity-type":"item","numeric-id":2903086,"id":"Q2903086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ca5354444e0b5a79287b26b08767634b5565203","datavalue":{"value":{"amount":"+0.65548307","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1708580$E34C25E4-4C20-4B30-9A28-4FF53EC3A5D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4adfd2882495dd1f1382cca0e55d68d41273193","datavalue":{"value":{"entity-type":"item","numeric-id":3316223,"id":"Q3316223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4639944c077c2c207079126175fef9e95f7b1e8c","datavalue":{"value":{"amount":"+0.6537102","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1708580$334D14DB-F030-4482-AB48-42E5ADF3170C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"188d4e57a0441dddbb43544e861224e2143f98d4","datavalue":{"value":{"entity-type":"item","numeric-id":2346725,"id":"Q2346725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c49ac206db9594acc884cf0fe061763d7118606","datavalue":{"value":{"amount":"+0.65141916","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1708580$C1CADCA8-5720-4BDE-B029-98C7D8308399","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1708580","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1708580"}}}}}