{"entities":{"Q1426431":{"pageid":1437171,"ns":120,"title":"Item:Q1426431","lastrevid":57392640,"modified":"2026-03-30T18:59:10Z","type":"item","id":"Q1426431","labels":{"en":{"language":"en","value":"An inequality for the \\(h\\)-invariant in instanton Floer theory."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2056782"}},"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":"Q1426431$123AD86D-6A4C-4386-BE3C-5732C2A79ADE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"045d39e52cb15bfed6888bbe6fefd467661765be","datavalue":{"value":{"text":"An inequality for the \\(h\\)-invariant in instanton Floer theory.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1426431$0BE207FD-387F-44C0-BACC-D618AD425EFB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c79e9e38f7fdf083dad1c94a01d9f374e0e7449d","datavalue":{"value":"1045.57019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1426431$F8613BD4-6651-4589-AA03-E4B39E5DB6F6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"84bdffc4f5ee1e9729bb53b6cef0fd80fe8f7634","datavalue":{"value":"10.1016/S0040-9383(03)00049-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1426431$9895B304-BA21-45F3-8E13-0B77133CBCC5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf07d8b5ee1bb8ae75debe05e27ac7d583713b36","datavalue":{"value":{"entity-type":"item","numeric-id":392826,"id":"Q392826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426431$D8E5F239-EA1D-4950-A02D-E3D1F59058CC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68f468c44aee9489650eda81adf5e09eaa720a8c","datavalue":{"value":{"entity-type":"item","numeric-id":172615,"id":"Q172615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426431$72A97AA0-6991-4FFC-9ADE-7F8F94F01724","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"947fc07e6e3c9508b7adeaf87fe542c1ae2d0058","datavalue":{"value":{"time":"+2004-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1426431$CA68501B-561E-40B8-8B1E-327822E7E498","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"20a544b0c92c28bb7b2fa9ba5498b172c8e99c68","datavalue":{"value":"https://arxiv.org/abs/math/0111038","type":"string"},"datatype":"url"},"type":"statement","id":"Q1426431$8E4D3F28-BC8B-43E1-A148-F1B0E457EEAF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"25c0a45457151b52eb4fb28b771c313d2994889d","datavalue":{"value":"In [Topology 41, 525--552 (2002; Zbl 0999.57032)], the author defines a non-trivial homomorphism \\(h\\) from the homology cobordism group of oriented integral homology \\(3\\)-spheres to the integers, using instanton Floer theory. In this paper some new properties of this invariant are obtained.  Let \\(X\\) be a smooth, compact, oriented \\(4\\)-manifold with a homology sphere \\(Y\\) as boundary and \\(b_2^+(X)=1\\). Let \\(\\Sigma\\subset X\\) be a closed oriented embedded surface of genus \\(g\\) and self-intersection \\(\\Sigma\\cdot\\Sigma =1\\). Let \\(L\\subset H^2(X;\\mathbb{Z})/\\text{torsion}\\) be the sublattice annihilating \\([\\Sigma]\\). Then the main result of the paper is the following formula:  \\[ h(Y)+\\lceil g/2\\rceil \\geq e(L),  \\]  where \\(\\lceil x \\rceil\\) denotes the smallest integer \\(\\geq x\\) and \\(e(L)\\) is an invariant of the definite lattice \\(L\\) defined as follows:   First \\(w\\in L\\) is extremal if \\(| w^2|\\leq| z^2| \\) for any \\(z\\in w + 2L\\). Then \\(e(L)\\) is defined as the supremum of the quantities \\(\\lceil | w^2| -m \\rceil/4\\), where \\(w\\) is extremal, \\(m\\geq 0\\), \\(w^2\\equiv m\\pmod 2\\) and  \\[  \\eta(L,w,a,m)=\\sum_{z\\in w+2L} (-1)^{((z+w)/2)^2} (a\\cdot z)^m \\neq 0, \\]  for some \\(a\\in\\Hom(L,\\mathbb{Z})\\). Note that \\(e(L)\\) has nice properties: \\(e(L) \\geq 0\\), \\(e(L)=0\\) if \\(L\\) is diagonal, \\(e(-k E_8\\oplus L)=k\\) if \\(L\\) is diagonal.  The argument of proof consists on considering the blow-up \\(X\\# \\overline{\\mathbb C P}^2\\) and the surfaces \\(\\Sigma^{\\pm} = \\Sigma \\# (\\pm E)\\), of self-intersection zero, where \\(E\\) is the exceptional divisor. Then consider the moduli space of ASD connections for the family of metrics which stretch the metric along \\(\\Sigma^{\\pm}\\) for \\(t\\to \\pm \\infty\\). Cut it down with a cycle of the form \\(x^{n-2q} (x_1^2-4)^q\\) until it is \\(1\\)-dimensional. Here \\(x\\) and \\(x_1\\) are cycles of the moduli space associated under the \\(\\mu\\)-map to a fixed point in \\(X\\) well away from \\(\\Sigma^{\\pm}\\) and a point close to \\(\\Sigma^{\\pm}\\). The result follows by counting the number of ends of the resulting \\(1\\)-dimensional space, together with the following two facts: the reducible connections give rise to the number \\(\\eta(L,w,a,m)\\), whilst \\((x_1^2-4)^q\\) is zero on Floer homology \\(HF(\\Sigma^{\\pm} \\times S^1)/\\mu(H_1(\\Sigma))\\) for \\(q=\\lceil g/2 \\rceil\\), by a result in [\\textit{V. Mu\u00f1oz}, Topology 38, 517--528 (1999; Zbl 0927.57032)].  Some nice features are worth pointing out. First, the case \\(Y=S^3\\) recovers the result in [\\textit{S. K. Donaldson}, J. Differ. Geom. 18, 279--315 (1983; Zbl 0507.57010)]. Second, the main result in this paper allows to compute \\(h(Y)\\) for some examples, e.g., \\(h(\\Sigma(2,2k-1,4k-3)) = \\lceil (k+1)/2\\rceil\\), \\(k\\geq 2\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1426431$C77B00DE-B994-45D5-A687-C4AE4B4EE6FA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2befcbf703ee32fdd6498b1ad2a4a6832430e04f","datavalue":{"value":{"entity-type":"item","numeric-id":171113,"id":"Q171113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426431$314B5C94-AF55-433F-9B55-3FD1692C00D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c081b8795cb36a051b2277d998ac5048b8c6bbc1","datavalue":{"value":"57R58","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1426431$5E8BA255-D115-4A5C-8652-152DC7383740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7eedb157a54ee0f32a8db9e5273cf565d7980548","datavalue":{"value":"57R57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1426431$A3BEA496-684F-4B5D-BF95-118D721E816F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2fc4d65bb8903043fe27fabbdfcc5bc551744197","datavalue":{"value":"2056782","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1426431$F62E6B43-E016-4314-B759-AA7ECFE1C391","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29f6c8b512f29f6bb75b5e73225dc6f824371037","datavalue":{"value":"Floer homology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1426431$079B4AC1-A266-460F-826B-7BF931973598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55f8d984f30b0f7c0898e07f4ea34c9799428fd9","datavalue":{"value":"instantons","type":"string"},"datatype":"string"},"type":"statement","id":"Q1426431$1EF18525-0F38-48CE-B07D-D38195B22FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a3378b28883461e787e498589c7e8b3f3d04d1a","datavalue":{"value":"4-manifolds","type":"string"},"datatype":"string"},"type":"statement","id":"Q1426431$BE650A46-FAD3-4DFA-A84A-0FD2BCC39CA3","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":"Q1426431$97F29414-C0FD-462E-9FF7-5E9F594E21B9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ae6b8ccddc16da124dd1e723aab8fbd2f56d6bc1","datavalue":{"value":"Q124819823","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1426431$C02274BE-2C0F-4A9A-9AC6-D9FAADA73425","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f59f5ab16b54e4a4837bd76d8e545f1778b490c","datavalue":{"value":{"entity-type":"item","numeric-id":1867212,"id":"Q1867212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47eef1645d33474ef6659a6a4b3cff113ea37993","datavalue":{"value":{"amount":"+0.7925431132316589","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":"Q1426431$CE076F5C-9B46-494D-910F-65E76BF3F287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7069aa979a62e26e7187ae757b456e7eae3e8653","datavalue":{"value":{"entity-type":"item","numeric-id":3135260,"id":"Q3135260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"416efeab0d8669f1eab9858f4db0cc91e8c18931","datavalue":{"value":{"amount":"+0.7914100289344788","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":"Q1426431$20BCBDEE-31CB-40A7-ABA9-10C7CCC74CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db540d6d8781473c5150a065eda0d0e0ff2cacf8","datavalue":{"value":{"entity-type":"item","numeric-id":383708,"id":"Q383708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93faa63f1f5f2f6c8b8f4fbf0fb5abf191b363d4","datavalue":{"value":{"amount":"+0.7853382229804993","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":"Q1426431$002AE78C-6C04-482B-8D75-780C84BCAB96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7e16d523a8171c5283ea69283830e4b213047a4","datavalue":{"value":{"entity-type":"item","numeric-id":4221588,"id":"Q4221588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cf1a693c75fabcb34adbd55c43b7eba5ee6795b","datavalue":{"value":{"amount":"+0.7676309943199158","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":"Q1426431$B4DDF9CF-D2A0-43FF-9523-F8C97875E17B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f62a887ea787dd937100f9cd09fd77ef0e37b33a","datavalue":{"value":{"entity-type":"item","numeric-id":3819716,"id":"Q3819716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c5d2762d201b8a0c4ef61b64322d4fcd2589292","datavalue":{"value":{"amount":"+0.7553470134735107","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":"Q1426431$C496B9EE-8157-42D6-9133-FCD3918A2801","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1426431","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1426431"}}}}}