{"entities":{"Q743665":{"pageid":745514,"ns":120,"title":"Item:Q743665","lastrevid":64011009,"modified":"2026-04-11T17:03:03Z","type":"item","id":"Q743665","labels":{"en":{"language":"en","value":"Mod \\(p\\) equality theorem for Seiberg-Witten invariants under \\(\\mathbb Z_p\\)-actions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6350019"}},"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":"Q743665$56338198-884A-40D6-B153-55B096849216","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3d7994a50beda80390e3041e49c9a01696ed922b","datavalue":{"value":{"text":"Mod \\(p\\) equality theorem for Seiberg-Witten invariants under \\(\\mathbb Z_p\\)-actions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q743665$1F8ACD95-AC9A-47C2-9907-7CA9C50AE401","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d89d1647799d826f3470624ed5f8cb7c0f173107","datavalue":{"value":"1302.14037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q743665$9BBE1456-D79E-475C-B052-5D95E634065B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e9ce7c71124365daf0567ca08d48dfcbc92c5f0","datavalue":{"value":{"entity-type":"item","numeric-id":378836,"id":"Q378836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q743665$DAE59A03-5419-4720-BFF2-03ABA80CA549","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e81735ffae0dc240f9c7908f9071cba228792fc1","datavalue":{"value":{"entity-type":"item","numeric-id":172432,"id":"Q172432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q743665$513671C1-A535-4E25-9337-6FC8C2730F3F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d405066baff2000c56d61b8ee78a90700809ef9","datavalue":{"value":{"time":"+2014-09-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q743665$0E6AA21C-DCD7-4728-8D78-C87ACC010C0A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"95838cd0a9b7b038da4ce463634f92c44c5279fd","datavalue":{"value":"https://arxiv.org/abs/0905.3022","type":"string"},"datatype":"url"},"type":"statement","id":"Q743665$333DA1EB-FB38-4F0E-9C07-5E5D543CA429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"6801e6fb73b10d91b5638cb32cc329800c1fdf9f","datavalue":{"value":"https://projecteuclid.org/euclid.tjm/1406552428","type":"string"},"datatype":"url"},"type":"statement","id":"Q743665$DB39E17D-FE66-46DA-9BF3-111AD803BD44","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1b9509d7682d63d9748053e6bc2c47d5b7274bac","datavalue":{"value":"Let \\(X\\) be a closed oriented 4-manifold with \\(b_1=0\\) and \\(b_+\\geq 2\\) equipped with a \\(\\text{Spin}^c\\)-structure \\(c\\). The corresponding Seiberg-Witten invariant is denoted by \\(\\mathrm{SW}(X,c)\\). Now suppose that \\(G=\\mathbb{Z}_p\\) with \\(p\\) prime acts on \\(X\\) such that the orientation is preserved and the action can be lifted to \\(c\\). Let \\(G_\\alpha\\) denote the choice of the lift of the action where \\(0\\leq \\alpha \\leq p-1\\). For any such triple \\((X,c,G_\\alpha)\\), Ruan defined the corresponding \\(G\\)-monopole invariant denoted by \\(\\mathrm{SW}(X,c,G_\\alpha)\\). This is naturally identified with SW invariant of the \\(V\\)-manifold \\(X/G\\) with the \\(V\\)-\\(\\text{Spin}^c\\)-structure \\(c/G_\\alpha\\).  The main result of the paper under review is as follows: suppose that \\(\\dim H_+(X,\\mathbb{R})^G \\geq 2\\), the virtual dimension of the moduli of SW invariants of \\((X,c)\\) is zero, and for any \\(\\alpha\\) the virtual dimension of the moduli of \\(G_\\alpha\\) solutions is not positive then  \\[ \\mathrm{SW}(X,c)=\\sum_{\\alpha=0}^{p-1}m_\\alpha \\mathrm{SW}(X,c,G_\\alpha) \\mod p \\]  for some \\(m_\\alpha\\in \\mathbb{Z}\\) determined by the \\(G\\)-index of the Dirac operator and the \\(G\\)-action on \\(H_+(X,\\mathbb{R})\\).  The proof is based on \\(G\\)-equivariant perturbation of the monopole map and splitting of the moduli space into \\(G\\)-fixed and \\(G\\)-free parts and analyzing each part. This result generalizes the \\(\\mod p\\) equality theorem in the case of the free \\(G\\)-actions and the \\(\\mod p\\) vanishing theorem for SW invariants.","type":"string"},"datatype":"string"},"type":"statement","id":"Q743665$BF6B7E01-A41A-422A-AEF4-C7F1CC1AF31C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e734d0ac840f20fe946e850063c8e6b40dd85762","datavalue":{"value":{"entity-type":"item","numeric-id":245777,"id":"Q245777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q743665$FD480194-E7D0-4CE3-B44A-1B674814F69D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"460e75818bdfd8c4e1ccd23d928bddf47ceaffa3","datavalue":{"value":"14J80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q743665$3509C4F5-B365-42D2-A94D-22B1324BADA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"532bdb28d686a8c29b43bb16eab512a6e594a67b","datavalue":{"value":"14J28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q743665$F403A524-562D-433A-9619-F987CEDACC82","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9982544681eb781ef3d0478c1fcb729d255b8f2a","datavalue":{"value":"6350019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q743665$5DDCB4D1-F316-4B3B-86D0-3AECFE5FAF77","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43439123bbca0edd20a7fa47c7e7c0b2b8c9e50d","datavalue":{"value":"Seiberg-Witten invariant","type":"string"},"datatype":"string"},"type":"statement","id":"Q743665$0C6B0E98-95B3-498D-B788-D1BD2EADA869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f2c8bf6697052288b9798badfce9e01e38bfd19","datavalue":{"value":"G-monopole invariant","type":"string"},"datatype":"string"},"type":"statement","id":"Q743665$7AE63F31-68C0-455E-8DA1-21C9D4EFC22C","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":"Q743665$47CA58AB-CE97-4413-A367-8813D5628C04","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"028cebe2d56afc655d373db30161a844b89c243a","datavalue":{"value":"W1486791059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q743665$68E71FC1-3E67-4BA7-8560-984657AB5C0D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"75ee130064a61ddfb0efaedcfd16ddf2d22c2ab2","datavalue":{"value":{"entity-type":"item","numeric-id":1434280,"id":"Q1434280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q743665$E98A875B-913B-4D1D-8ACC-F601A16F74C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e60010c9d238069c4ba53b02d6db89fc6ae68225","datavalue":{"value":{"entity-type":"item","numeric-id":4458953,"id":"Q4458953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q743665$AA69C0D6-DE7C-4E7F-9E35-78C0F3B41C16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fec7b2bb5e705562ea798f4a113aad4dfba8c0bf","datavalue":{"value":{"entity-type":"item","numeric-id":4235641,"id":"Q4235641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q743665$5E03E3BB-96F4-4508-9404-8D0F950201C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48416923f99ff4bcd6ca3fbd169cca66c92855af","datavalue":{"value":{"entity-type":"item","numeric-id":4349376,"id":"Q4349376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q743665$D8A713E3-37C1-4CFC-9F4A-0B94790F8628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c47a86d4eabe01be583327a4e2a0d8b4b1ce52fa","datavalue":{"value":{"entity-type":"item","numeric-id":3420066,"id":"Q3420066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q743665$F0AE5E30-BB82-4712-9BE9-31D79BCA424B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"433c5ff7ebf0370862bf9dd459940190a73df9f2","datavalue":{"value":{"entity-type":"item","numeric-id":924290,"id":"Q924290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q743665$893892D6-9E13-4942-A002-7A9212649C71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19299380f65b83c7cabcd46a16ab8daa6ade68e7","datavalue":{"value":{"entity-type":"item","numeric-id":2785259,"id":"Q2785259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q743665$1E74E6F2-51FC-482A-B835-A906EE2B7EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0433761ed2a08167b37bd3013505315654b97b92","datavalue":{"value":{"entity-type":"item","numeric-id":997921,"id":"Q997921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q743665$4A0D18A3-0FEF-4B2D-91A3-2F851490CE7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6521c8e1e5727145e873db269bf59a6a00ccaf0","datavalue":{"value":{"entity-type":"item","numeric-id":4674784,"id":"Q4674784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q743665$D51A73CE-8040-4BDB-A83B-07FE4D42493D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"601bbc2f029e67df4f52fc03f9727efd5cef0d80","datavalue":{"value":{"entity-type":"item","numeric-id":4249153,"id":"Q4249153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q743665$A2A42B32-D82F-45A2-916C-09495C1E1663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1a4f382db001b555e69ca472f2f1187b813f172","datavalue":{"value":{"entity-type":"item","numeric-id":5929581,"id":"Q5929581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q743665$B2021677-CB85-4CBC-921D-2FAE6AF77474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5ee1eef5a1dd565f5fd70edc3c24cb1b822c287","datavalue":{"value":{"entity-type":"item","numeric-id":3145534,"id":"Q3145534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q743665$99947C82-9EB9-45B8-8A92-83F0FD23B267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"857ecbc48e6d2417e35d9989e0e0a12700e4eb32","datavalue":{"value":{"entity-type":"item","numeric-id":5687286,"id":"Q5687286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q743665$9B0C0B03-82FB-4D13-8B90-85D8B9529331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8bac497a35b89f80d1f3caae30d8c94e0591bef","datavalue":{"value":{"entity-type":"item","numeric-id":1181050,"id":"Q1181050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q743665$752543B5-8DCA-4EC1-AE11-70BA103A4A98","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6c6030be8d0f10f26d65ee2b2e3de01b0fc608db","datavalue":{"value":"10.3836/TJM/1406552428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q743665$1AD77964-54CC-42BB-837C-8A79E0FEDC16","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"096bbdb6dd48c5439b8093e11b4c505fc89670ac","datavalue":{"value":{"entity-type":"item","numeric-id":997921,"id":"Q997921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a045af001d84b780631bfd23cfd4ab96bc6651c2","datavalue":{"value":{"amount":"+0.8589810729026794","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":"Q743665$73925424-CCC6-4E26-8213-D0D694BB510D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9a78287e7886f364deaa6e0904382afed550852","datavalue":{"value":{"entity-type":"item","numeric-id":2785259,"id":"Q2785259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30be0b7e468546324b563d9359bff2985c2b0a66","datavalue":{"value":{"amount":"+0.8511019945144653","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":"Q743665$D23D99EC-47AB-4FF2-94F4-95F443ED3E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"223290fa32697bbe1d8efbc5347e9059180ca763","datavalue":{"value":{"entity-type":"item","numeric-id":4787479,"id":"Q4787479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7188aa807b103334f2ee3bc7a07eae4e948f152e","datavalue":{"value":{"amount":"+0.8511019349098206","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":"Q743665$3E1A6B1D-6AC5-42F2-9F1D-6071F7A87627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44cde236b6f7de3480b1af5d6ba4e7c74417e871","datavalue":{"value":{"entity-type":"item","numeric-id":4235641,"id":"Q4235641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e289dfaac6ac3c3f22838ed187e7f1f35a8b4c44","datavalue":{"value":{"amount":"+0.8403602242469788","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":"Q743665$DE65AE07-4A45-48C6-BB42-C333A17E86BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe60763cd427e10a8ea0261f20be53ca53a169b4","datavalue":{"value":{"entity-type":"item","numeric-id":4430649,"id":"Q4430649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d1af55431f282d51de202a1268fea10a22277e0","datavalue":{"value":{"amount":"+0.8234243392944336","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":"Q743665$C6C5BE3E-E2D5-43A8-ACC7-BFBDCDD19134","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mod \\(p\\) equality theorem for Seiberg-Witten invariants under \\(\\mathbb Z p\\)-actions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Mod_%5C(p%5C)_equality_theorem_for_Seiberg-Witten_invariants_under_%5C(%5Cmathbb_Z_p%5C)-actions"}}}}}