{"entities":{"Q5961482":{"pageid":8138284,"ns":120,"title":"Item:Q5961482","lastrevid":46469187,"modified":"2025-12-24T20:47:21Z","type":"item","id":"Q5961482","labels":{"en":{"language":"en","value":"\\(\\underline{SW}\\)=Milnor torsion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 980880"}},"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":"Q5961482$273A653F-5477-4719-9666-F0003D2016AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a34f76ea08e0158122691d34c4ca080ee887f120","datavalue":{"value":{"text":"\\(\\underline{SW}\\)=Milnor torsion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5961482$6287A700-6ED0-40EA-90AE-4F7773F9D267","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b0f88666b2b94fd9ab23861a5e62c73697c121c","datavalue":{"value":"0870.57018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5961482$C5D02278-1874-4782-95C6-51FA72A2859D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30b28b92a811f52344ef49171a2e0cdabfdc5e5c","datavalue":{"value":{"entity-type":"item","numeric-id":242580,"id":"Q242580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961482$6D62F602-A7F1-4F40-8677-0502CF2974FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5e11915abceb01055918bbcef8b26e3893c44ea","datavalue":{"value":{"entity-type":"item","numeric-id":242581,"id":"Q242581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961482$445FAAFF-1A85-4A19-B206-2F1B476E3343","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"82759f7bd5d339c54aa2233fde0d7f5ffae8b2c0","datavalue":{"value":{"entity-type":"item","numeric-id":170810,"id":"Q170810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961482$562B26F2-C160-44CC-9C28-EB1276932867","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2240805bfc16720ff162847ff4c2e6866cc91e85","datavalue":{"value":{"time":"+1997-07-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5961482$BFBE82FF-0E18-41F0-8914-0F589E500973","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a5c02e6adee07f07b198af4659267c413fa0b4cc","datavalue":{"value":{"entity-type":"item","numeric-id":181810,"id":"Q181810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961482$72A7022A-CEDA-47FF-B2F6-6A560A104D5F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5fd2e677adbf3c5d393403c254a42eb2ef993b52","datavalue":{"value":"57N10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5961482$C3BCD562-D1F2-45E5-97CE-27C28D4ADDD6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"08f3085541f9b882b93b6048e0beb949a24192d6","datavalue":{"value":"980880","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5961482$6670B6AB-EC5C-4351-91FA-59564FCD2B7D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43439123bbca0edd20a7fa47c7e7c0b2b8c9e50d","datavalue":{"value":"Seiberg-Witten invariant","type":"string"},"datatype":"string"},"type":"statement","id":"Q5961482$BD915230-204F-4781-B9AE-BF9CE3F3E2EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9dc4b04c426bcead377435cee900fcb531e3be1b","datavalue":{"value":"3-manifolds","type":"string"},"datatype":"string"},"type":"statement","id":"Q5961482$63CEA132-ABEA-44B6-8FC5-1D1CFB71B1FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33907572d2ff7682933f48f23b8836e06ce131bb","datavalue":{"value":"Milnor torsion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5961482$2551A4B1-9C27-4245-BD0E-3B5634DDCA51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e327cd7f336f46d12ae2a40cefe8ccc6ca26d31","datavalue":{"value":"homology orientation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5961482$CD303B38-66B9-4367-B49B-01AB853E9E0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4b74a6a76109341c50a05f20cc5bd9a14167bc5","datavalue":{"value":"\\(\\text{spin}^{\\mathbb{C}}\\)-structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q5961482$D3E93BF3-C49A-4CFC-B4FC-3072D10FD35E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b2c475da384234cbf6ad8cf93fcb382d6ded7c6","datavalue":{"value":"link","type":"string"},"datatype":"string"},"type":"statement","id":"Q5961482$A84946CB-8F7E-4338-B27A-BA2520207555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"202bf5fbb8392ebfc1c677304fa021dbae97843d","datavalue":{"value":"Alexander polynomial","type":"string"},"datatype":"string"},"type":"statement","id":"Q5961482$8A8DF13E-92C6-49AE-A9E7-B00F942B4164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"160be8d81e4e1b41d5405a0c86f9a11b3b53bc4d","datavalue":{"value":"skein theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5961482$38AAABBB-CC95-43D5-8675-2B045C8D4621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1b199e44756a90bb95f1390184122ada28e3199","datavalue":{"value":"Euler structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q5961482$473C958B-3296-4C90-9699-717040EBD471","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":"Q5961482$932D9F1A-90C9-49FB-A708-4CEE841E4324","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ab0bd81496fe0235264954b2ea7312277b092679","datavalue":{"value":"10.4310/MRL.1996.V3.N5.A8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5961482$275B1C98-8FF4-41EB-A876-4B89A5AE7AD6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"446ecd327eb274dad704aa4ce1230e4badbff1ab","datavalue":{"value":"This paper announces the result that a version of the Seiberg-Witten invariant for certain smooth \\(3\\)-manifolds coincides with the Milnor torsion, as refined by Turaev. Let \\(X\\) be a compact oriented \\(3\\)-manifold such that \\(b_1 (=\\dim H^1 (X))>0\\) and \\(\\partial X\\) is a (possibly empty) union of tori, equipped with a homology orientation (if \\(\\partial X=\\emptyset\\) there is a canonical homology orientation given by Poincar\u00e9 duality). Let \\(\\mathcal S\\) denote the set of \\(\\operatorname{spin}^{\\mathbb C}\\)-structures on \\(X\\) such that \\(\\det s|\\partial X\\) is trivial. Consider pairs \\((s,x)\\) where \\(s\\in\\mathcal S\\) and \\(x\\in H=H^2 (X,\\partial X )/\\)torsion is a lift of the Chern class \\(c_1 (\\det s)\\in H^2 (X)\\). The Seiberg-Witten equations determined by \\(s\\) will have solutions \\((A,\\psi )\\) where \\(A\\) is a connexion on \\(\\det s\\). The curvature \\(F_A\\) determines an element of \\(H\\) which is a lift of \\(c_1 (\\det s)\\). In the generic case the solution is an oriented \\(0\\)-dimensional manifold and \\(SW(s,x)\\) is defined to be the algebraic sum of all the solutions for which \\(F_A =x\\). If \\(b_1 =1\\) and \\(\\partial X=\\emptyset\\), then it is necessary to also choose a generator of \\(H\\). Now \\(H^2 (X,\\partial X)\\) acts transitively on \\(\\mathcal S\\) and so, if one chooses a `base' element \\(y=(s_0 ,x_0 )\\), one can define NEWLINE\\[CARRIAGE_RETURNNEWLINESW_y (X)=\\sum_{g\\in H}\\left(\\sum_{h\\equiv g}SW(h\\cdot s_0,x_0 +2g)\\right)g\\in \\mathbb Z[[H]] CARRIAGE_RETURNNEWLINE\\]NEWLINE where \\(h\\) ranges over the (finite) set of lifts of \\(g\\) into \\(H^2 (X,\\partial X)\\) and \\(\\mathbb Z [[H]]\\) is the set of all \\(\\mathbb Z\\)-valued functions on \\(H\\). Then, to remove the dependency on \\(y\\), define \\(\\underline{SW}(X)\\) to be the orbit of \\(SW_y (X)\\) in \\(\\mathbb Z [[H]]/H\\). In fact if \\(b_1 >1\\), then \\(SW_y (X)\\in\\mathbb Z [H]\\), where \\(\\mathbb Z [H]\\) is the ring of finitely-supported \\(\\mathbb Z \\)-valued functions on \\(H\\), i.e. the integral group ring of \\(H\\). If \\(b_1 =1\\), then \\((1-t)^{\\epsilon (X)}SW_y (X)\\in\\mathbb Z [H]\\), where NEWLINE\\[CARRIAGE_RETURNNEWLINE\\varepsilon (X)=\\begin{cases} 2 & \\text{ if } \\partial X=\\emptyset \\\\ 1 & \\text{otherwise}\\end{cases}.CARRIAGE_RETURNNEWLINE\\]NEWLINE Thus, in any case, \\(\\underline{SW}\\in\\mathbf Q (H)/H\\), where \\(\\mathbf Q (H)\\) is the quotient field of \\(\\mathbb Z [H]\\). The classical Reidemeister torsion \\(\\tau\\) of a polyhedron \\(X\\) is defined from a multiplicative map NEWLINE\\[CARRIAGE_RETURNNEWLINE\\begin{tikzcd}[column sep=huge] \\pi =\\pi_1 (X)\\ar[r,\"h\"] & F \\end{tikzcd}CARRIAGE_RETURNNEWLINE\\]NEWLINE where \\(F\\) is a field such that the chain complex \\(C_{\\ast}(X)\\otimes_h F\\) is acyclic (\\(\\tau=0\\) if it is not acyclic). When \\(X\\) is an odd-dimensional manifold and \\(F\\) is the quotient field of \\(H=H_1 (X)/\\)torsion, this is called the Milnor torsion. Classically \\(\\tau\\in F/\\pm h(\\pi )\\), but Turaev has shown how to use a homology orientation of \\(X\\) to remove the sign ambiguity. Thus \\(\\tau\\in\\mathbf Q (H)/H\\). The main result of this announcement is that \\(\\underline{SW} =\\tau\\) when \\(X\\) is as assumed in the first paragraph. An outline of the proof is presented. In the case when \\(X\\) is the complement of a link in \\(S^3\\), then \\(\\tau\\) is closely related to the multi-variable Alexander polynomial \\(\\Delta\\) of the link. The proof in this case uses the axiomatic skein-theory of Conway and Turaev for \\(\\Delta\\). If \\(X\\) is the complement of a link in a rational homology sphere, then non-zero Dehn surgeries convert \\(X\\) into a link complement in \\(S^3\\). The fact that \\(\\underline{SW}\\) and \\(\\tau\\) satisfy identical surgery formulae completes the proof in this case. In general \\(X\\) can be converted into a link complement in a rational homology sphere by removing some solid tori. The proof now follows from the fact that \\(\\underline{SW}\\) and \\(\\tau\\) satisfy identical gluing formulae. Recently a possible sharpening of this theorem has been conjectured. Turaev has defined the notion of an Euler structure on a cell complex \\(X\\) with Euler characteristic \\(0\\). The set of Euler structures is acted on freely and transitively by \\(H_1 (X)\\). An Euler structure \\(\\theta\\) (together with a homology orientation) determines a torsion \\(\\tau_{\\theta}\\in\\mathbb Z [[H_1 (X)]]\\) with no ambiguity. Now a \\(\\operatorname{Spin}^{\\mathbb C}\\)-structure \\(\\theta\\) on a \\(3\\)-manifold \\(X\\) determines, by an obvious refinement of the definition of \\(SW_y\\) above, an element \\(SW_{\\theta}\\in\\mathbb Z [[H_1 (X)]]\\). Turaev has shown that, for a closed \\(3\\)-manifold \\(X\\), there is a 1:1 correspondence between the set of \\(\\operatorname{Spin}^{\\mathbb C}\\)-structures and the set of Euler structures on \\(X\\). The conjecture is that \\(\\tau_{\\theta}=SW_{\\theta}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q5961482$95E225B3-E2A0-4936-B3ED-EF6535157CC5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"428c8ba486adbbfefc3ef357299c62f8355a18dd","datavalue":{"value":{"entity-type":"item","numeric-id":4736211,"id":"Q4736211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59bf16a119e2001312cd8c7b3a2c0d4780fdb735","datavalue":{"value":{"amount":"+0.8998671770095825","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":"Q5961482$9C0D59DB-2126-4736-AB18-970DA4E3276C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"700a8f556bc8f2cbed521a022e42d580c9031783","datavalue":{"value":{"entity-type":"item","numeric-id":1295908,"id":"Q1295908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d51d077a9a49ac70398b94df9435b4b73ded28b5","datavalue":{"value":{"amount":"+0.8637106418609619","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":"Q5961482$E0EAC16D-DA2C-494A-8FA0-6086A82921A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36beafc5bcc74b87f9b13482e50ecea054d84ed2","datavalue":{"value":{"entity-type":"item","numeric-id":1811537,"id":"Q1811537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d0d38d200c83a6341cdffb9b7bd8f8da6c99fc3","datavalue":{"value":{"amount":"+0.8551167249679565","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":"Q5961482$3F65EFC4-DDB8-470B-9D60-99189ABDB102","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5961482","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5961482"}}}}}