{"entities":{"Q1578889":{"pageid":1589629,"ns":120,"title":"Item:Q1578889","lastrevid":47021340,"modified":"2025-12-26T01:44:18Z","type":"item","id":"Q1578889","labels":{"en":{"language":"en","value":"A surgery formula for the \\(\\overline{\\mu}\\)-invariant"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1501773"}},"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":"Q1578889$5FF21049-E3AD-488B-89E3-79B21242E311","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"793d9a185cccdf2d82d2956f8624ccf276308c09","datavalue":{"value":{"text":"A surgery formula for the \\(\\overline{\\mu}\\)-invariant","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1578889$51246A1D-9835-4B91-85A7-9AC1FF319FF4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ea480cba49c65278ee7f515f1d96a8f24fc2519","datavalue":{"value":"0960.57010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1578889$B539C427-B985-4C29-B7B4-6765B2A0CB3C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"06fec3c1f9a33d7a98b8aa4d3a62263c21fb0131","datavalue":{"value":"10.1016/S0166-8641(99)00075-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1578889$6BAB62E8-68C9-4A17-BF93-FA077891B4EC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03157a802d192d5fe4d1d48e34fec3ad48fda33b","datavalue":{"value":{"entity-type":"item","numeric-id":488585,"id":"Q488585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1578889$35A19BE8-FA20-4AB1-8C6B-7FB825BA6D15","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"caed9871dffabe010c529575fe8b7c33d0847d94","datavalue":{"value":{"entity-type":"item","numeric-id":161372,"id":"Q161372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1578889$E1A99440-63DB-488A-B4C2-AA0F718F3A63","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fae3664154dc61222a1003dc28228b6754c9eec5","datavalue":{"value":{"time":"+2001-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1578889$8741E2D8-5792-4CB4-9D4C-FD2438BA000F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7d9f468fd99a00edbfad091343cf7778471a21dd","datavalue":{"value":"The \\(\\overline{\\mu}\\)-invariant is an integral valued invariant for graph homology \\(3\\)-spheres, and is defined by \\textit{W. D. Neumann} [Lect. Notes Math. 788, 125-144 (1980; Zbl 0436.57002)] and \\textit{L. Siebenmann} [ibid., 172-222 (1980; Zbl 0444.57003)]. Let \\(\\Sigma\\) be an integral homology \\(3\\)-sphere, \\(k\\) a graph knot in \\(\\Sigma\\), \\(\\Sigma'\\) the graph homology sphere obtained by a \\((\\pm 1)\\)-surgery of \\(\\Sigma\\) along \\(k\\), and \\(\\overline{K}\\) the graph homology \\(S^1 \\times S^2\\) obtained by \\(0\\)-surgery along \\(k\\). Theorem 1 gives the formula \\(\\overline{\\mu}(\\Sigma') = \\overline{\\mu}(\\Sigma) \\pm \\overline{\\mu}' (\\overline{K})\\), where the \\(\\overline{\\mu}'\\)-invariant is introduced in this paper as below. The modulo 2 reduction of \\(\\overline{\\mu}'(\\overline{K})\\) equals the Arf-invariant of the knot \\(k \\subset \\Sigma\\).   We recall some definitions: A graph knot is obtained by glueing Seifert fibered 3-manifolds and solid tori, one of them contains the knot as a core. We sketch the definition of \\(\\overline{\\mu}'(M)\\). A graph \\(3\\)-manifold \\(M\\) bounds a \\(4\\)-manifold \\(P\\) obtained by plumbing disc bundles over \\(2\\)-spheres. Consider the equation \\(v \\cdot x = x \\cdot x\\) mod \\(2\\), for all \\(x \\in H_2 (P; {\\mathbb{Z}})\\). It has exactly two solutions \\(v_1, v_2\\) in \\(H_2 (P; {\\mathbb{Z}}/2)\\) when \\(M\\) is an integral homology \\(S^1 \\times S^2\\). Their certain lifts \\(w_0, w_1 \\in H_2 (P ; {\\mathbb{Z}})\\) are called integral homology Wu classes. Then \\(\\overline{\\mu}'(M)\\) is defined to be \\(\\frac 18(w_0 \\cdot w_0 w_1 \\cdot w_1)\\) up to a sign. In the course of the proof, we see that the \\(\\overline\\mu\\)-invariant can be extended to an invariant of a spin structure of a graph manifold, that an integral homology \\(S^1 \\times S^2\\) has exactly two spin structures \\(\\gamma_0\\), \\(\\gamma_1\\), and that \\(\\overline{\\mu}'(\\overline{K}) = \\overline\\mu(\\overline K,\\gamma_1)-\\overline{\\mu}(\\overline{K}, \\gamma_0)\\). (An integral homology \\(3\\)-sphere admits a unique spin-structure.) A graph 3-manifold \\(M\\) is a double branched cover of the \\(3\\)-sphere with the branch set a (generalized) Montesinos link \\(L\\). Spin structures on \\(M\\) are in one-to-one correspondence with quasi-orientations of \\(L\\), where an orientation and the reversed one give the same quasi-orientation. Theorem 5 shows that \\(\\overline{\\mu}(M, \\gamma)=\\frac 18 \\text{sign}(L)\\), where sign\\((L)\\) is the signature of the quasi-oriented link \\(L\\), with the quasi-orientation corresponding to \\(\\gamma\\). For a fiber \\(k\\) in a Seifert fibered homology sphere, Theorem 2 shows that \\(2 \\overline{\\mu}'(\\overline{K}) = \\pm (-b_0-b_1+b_2+b_3)\\) where \\(b_n\\) is the \\(n\\)th Betti number of the Floer homology \\(I_n(\\overline{K})\\). We can regard \\(\\overline{K}\\) as a double branched cover of \\(S^3\\) with the branch set a \\(2\\)-components Montesinos link \\(\\ell_1 \\cup \\ell_2\\). Corollary 3 shows lk\\((\\ell_1, \\ell_2)=\\pm 4(-b_0-b_1+b_2+b_3)\\), where \\(\\text{lk}(\\ell_1,\\ell_2)\\) is the linking number.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1578889$3204EC0D-06E7-4769-BA86-F70298BC8195","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1538c94384cebf3914bb3157e828e3ca42153e98","datavalue":{"value":{"entity-type":"item","numeric-id":190380,"id":"Q190380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1578889$06584FBB-49CA-422F-B751-1D5A9C4CF015","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba55da4db269ddf3a2ff179d128dbd1abddc34e7","datavalue":{"value":"57M27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1578889$0D84F243-4D94-440B-A705-644CF1A7C51F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4f912cc4f5542455896ae293f2d98d28b2477a66","datavalue":{"value":"57M25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1578889$85BABBA3-8619-4E34-88C3-E75A4296AFD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89af99f6f29ed1ce05a8e8a41b4d52903b1e8015","datavalue":{"value":"57M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1578889$3CD0E557-E7DF-42F0-8F3D-10C539340111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7eedb157a54ee0f32a8db9e5273cf565d7980548","datavalue":{"value":"57R57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1578889$C2D37AC0-BEAC-417D-BE48-D7CF1A373CEB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"032a02b4e63f3e7c88eafc1bcb967b96b98b8f9c","datavalue":{"value":"1501773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1578889$9539CD93-781C-4C63-BF26-A55C78219EBD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67570976d0009e796b9ae22c7f0ab62346e67c89","datavalue":{"value":"graph \\(3\\)-manifolds","type":"string"},"datatype":"string"},"type":"statement","id":"Q1578889$2E4CD457-94D2-4549-B0C2-8DF34448B246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc4c16461712f63fcf3ac16e0c63ff7cf2a714cd","datavalue":{"value":"integral homology \\(S^1 \\times S^2\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1578889$965EFB9B-521F-4314-BE8B-D8C2EAB7C636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29f6c8b512f29f6bb75b5e73225dc6f824371037","datavalue":{"value":"Floer homology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1578889$E1DD891A-2821-4291-9A00-89AE73AB621A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa4917f05e46a9443ab1c34b038ff8828bbfe887","datavalue":{"value":"Seifert manifolds","type":"string"},"datatype":"string"},"type":"statement","id":"Q1578889$C61911C9-42EF-46FA-AB16-538A3B686BA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83b9aa66513c22553c44fdb40eac295a9afd0a0b","datavalue":{"value":"Montesinos link","type":"string"},"datatype":"string"},"type":"statement","id":"Q1578889$08D04709-E48B-4C80-B939-9F510668C363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b56cf375f17987c7f645dcc364b4bd4b36a0b23c","datavalue":{"value":"spin structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1578889$4381E73C-F9AE-41CF-B3CA-C14E32D7B4A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb41ce7dc166116fc26261cf49bbbe50208376a9","datavalue":{"value":"branched covering","type":"string"},"datatype":"string"},"type":"statement","id":"Q1578889$987655CE-B26B-4CB0-86A3-2FF0863493FA","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":"Q1578889$2E4C997D-D9A2-4C21-9666-5DE0ECDCAD65","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"673a9baf5f0d0c74d373ae973c59330469ceee75","datavalue":{"value":"https://doi.org/10.1016/s0166-8641(99)00075-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1578889$D2A1AD48-89DE-4928-AEBD-CD521968C85F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dd7bee4e12b3964775520101c52f068ddf326d56","datavalue":{"value":"W1989890591","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1578889$B0B4F846-0EF2-4ACF-9EF0-D98622A79239","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45f70626de58faaacde14939bb89369ed20c530a","datavalue":{"value":{"entity-type":"item","numeric-id":3740655,"id":"Q3740655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22d1a50487874c0f016bd6bed3444f62242736b5","datavalue":{"value":{"amount":"+0.7816430330276489","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":"Q1578889$D1EEC455-94AC-4067-944A-F1A2386D2E4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"841aeba04ae79f5e35d43367c7677659777b2eef","datavalue":{"value":{"entity-type":"item","numeric-id":1087187,"id":"Q1087187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f83bbcf7e1c0c3c31585703ed73739e8dc7fb67","datavalue":{"value":{"amount":"+0.7728796005249023","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":"Q1578889$7FAFC75E-59FF-4AFC-B910-1974994C48B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9146988d871805aedbc203704fc4ae83fc53f8bd","datavalue":{"value":{"entity-type":"item","numeric-id":4649107,"id":"Q4649107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"999e303722cf6bb9eeb2a7bcb1817ba6389060e0","datavalue":{"value":{"amount":"+0.7712435126304626","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":"Q1578889$61672E57-1058-4E15-A4FC-25D170C1C757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9650ae991c903cea41c001ab8f0fa8933524bdd3","datavalue":{"value":{"entity-type":"item","numeric-id":1022509,"id":"Q1022509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1067c9a9855d529987c3c68fcf23accbf1649196","datavalue":{"value":{"amount":"+0.7647756338119507","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":"Q1578889$09EE1AC3-D9ED-4347-8290-A54115987108","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1578889","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1578889"}}}}}