{"entities":{"Q5929588":{"pageid":8106390,"ns":120,"title":"Item:Q5929588","lastrevid":93587516,"modified":"2026-06-05T04:39:29Z","type":"item","id":"Q5929588","labels":{"en":{"language":"en","value":"Basic classes for four-manifolds not of simple type"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1585261"}},"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":"Q5929588$F3631307-5EEA-4E98-889C-CBF89D6BE9DA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dae692768f9d438625e23d9a912c5682f90b6a7a","datavalue":{"value":{"text":"Basic classes for four-manifolds not of simple type","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5929588$65D3D1FD-A394-4770-8DE0-91EFAC558E27","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"348bf64b29b0e1990be8fcd59114e5eb3f343b86","datavalue":{"value":"0970.57016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5929588$870C8336-5955-4420-BEE1-64884D5F74EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"588bf65f4aa0bce99fa41606bd71477fe5bbf843","datavalue":{"value":{"entity-type":"item","numeric-id":171113,"id":"Q171113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5929588$69A29212-DE2A-4C6A-8AEB-712745276BC4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7e24a5758b56ecbda7f0f561bc60bd548767b0b3","datavalue":{"value":{"entity-type":"item","numeric-id":171095,"id":"Q171095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5929588$D15D4D1A-EB1A-40C1-84BC-B198518AC06A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"efa2133e1f8ebc2c3fe207e109ef609a67b134ce","datavalue":{"value":{"time":"+2001-04-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5929588$9489ECA4-CF13-4A41-8E6B-6265ADB8CC91","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f5e98f7fb4f485c541b193dbfcebd81bdcd84234","datavalue":{"value":"https://arxiv.org/abs/math/9811089","type":"string"},"datatype":"url"},"type":"statement","id":"Q5929588$85E945B8-663F-4E70-BF98-546ACF025DB8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"74946d12c8e8695997f6d334b959dee948f5404a","datavalue":{"value":"The paper under review is to extend the notion of basic classes defined by \\textit{P. B. Kronheimer} and \\textit{T. S. Mrowka} [J. Differ. Geometry 41, No. 3, 573-734 (1995; Zbl 0842.57022)] to all 4-manifolds with \\(b_2^+ > 1\\). For a class \\(w \\in H^2(X, Z)\\), \\(X\\) is of \\(w\\)-finite type if \\(D_X^w((x^2-4)^nz) = 0\\) for some \\(n \\geq 1\\), for any \\(z \\in A(X)= \\text{Sym}^*(H_{\\text{even}}(X, Z))\\otimes \\bigwedge^*(H_{\\text{odd}}(X, Z))\\), where \\(D_X^w: A(X) \\to C\\) is the Donaldson invariant; \\(X\\) is of \\(w\\)-strong simple type when \\(D_X^w((x^2-4)z)=0, D_X^w(\\delta z) = 0\\) for any \\(z \\in A(X)\\) and \\(\\delta \\in H_1(X, Z)\\). Thus \\(X\\) is of strong simple type if \\(X\\) is of \\(w\\)-strong simple type for any \\(w \\in H^2(X, Z)\\). The basic result is Theorem 1.2 which states that: If \\(X\\) is a 4-manifold with \\(b_2^+ > 1\\) and of \\(w\\)-strong simple type for some \\(w\\), then \\(X\\) is of strong simple type, there are finitely many basic classes \\(K_i \\in H^2(X, Z)\\) and \\(a_i\\) rational numbers such that \\(D_X^w = e^{Q/2}\\sum (-1)^{(K_i \\cdot w + w^2)/2}a_ie^{K_i}\\); those \\(K_i\\)'s are integral lifts of \\(w_2(X)\\); for any surface \\(S\\) of genus \\(g\\) representing an integral homology class with \\(S^2 \\geq 0\\), \\(2g-2 \\geq S^2 + |K_i \\cdot S|\\) for all \\(K_i\\), where \\(Q\\) is the intersection form of the 4-manifold \\(X\\). When \\(X\\) is simply connected, Theorem 1.2 recovers the structure theorem of Kronheimer and Mrowka. The proof follows in several steps. (1) Characterize the Donaldson invariant \\(D_X^w\\) for \\(w\\)- and \\(w+ \\Sigma\\)-strong simple type by a solution of a differential equation and the relative invariants factoring through the Fukaya-Floer homology; (2) Using the lemma that \\(X\\) is of \\(w\\)-strong simple type if and only if \\(X\\) is of \\(w+ \\Sigma\\)-strong simple type, and blow-up techniques, the author proves that \\(X\\) being of \\(w\\)-strong simple type implies that it is of \\(w^{'}\\)-strong simple type for any \\(w^{'} \\in H^2(X, Z)\\); (3) There exists at least one \\(w\\in H^2(X, Z)\\) with \\(D_X^w = e^{Q/2} \\sum a_{i, w}e^{K_i}\\); (4) Verifying that \\(K_i\\) is integral lift of \\(w_2(X)\\) as characteristic class, obaining the formula \\(D_X^{w^{'}}\\) for any \\(w^{'}\\) via blow-up formula and spinor norm; (5) The final adjunction inequality follows from the blow-up and the argument in Kronheimer and Mrowka. The paper uses \\(b_1 = 0\\) to refer the simple connectedness, the generalization of \\(b_1 > 0\\) also is meant to have nontrivial integral classes of \\(H_1(X, Z)\\) and no-torsion elements in \\(H_1(X, Z)\\). The technique in the paper under review cannot be applied to 4-manifolds with torsion classes in \\(H_*(X, Z)\\) directly. Readers should be careful on the notations and their meanings.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5929588$1EF51DA2-897B-45FF-AA41-091983CB126B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7eedb157a54ee0f32a8db9e5273cf565d7980548","datavalue":{"value":"57R57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5929588$ED229C7A-337A-4999-B773-6A951E11FF3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d129fa00ca7b6da5f6538270052a4f1b3a2f30d9","datavalue":{"value":"57N13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5929588$D281F675-84C9-494A-B342-75FC6A9B63D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"52b50d253ef04356d4573b1d859fdd816c04dbb8","datavalue":{"value":"57R99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5929588$DC97A88E-8D25-4FA8-A075-BCB52B397BEF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"38a3fa1d6020c12cf6be2d5ba56246d8e2a97ca8","datavalue":{"value":"1585261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5929588$91ACF8B6-4656-420E-A309-5CD9D5E6080D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b24a7094c0c9edf91b685c3f58b72cec9443045","datavalue":{"value":"basic class","type":"string"},"datatype":"string"},"type":"statement","id":"Q5929588$B0E2A302-E60F-40C6-83C4-5542DA49C7F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c6196aef1711b1c4f9178cf7934a38fe0b2ddcb","datavalue":{"value":"simple type","type":"string"},"datatype":"string"},"type":"statement","id":"Q5929588$6FEE2B85-41B9-42EE-A9A6-0303837F81E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18e60b024b7a3cb310ffd3b4d2989d01e9424d07","datavalue":{"value":"Donaldson invariant","type":"string"},"datatype":"string"},"type":"statement","id":"Q5929588$CCB75FE7-1A6C-4F32-BD1A-04C4F1997952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc5b7db44e9edc578722584995137d0ab360e473","datavalue":{"value":"blowup formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q5929588$8FB704EB-9B27-4D74-AC53-C70F1F9F2274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd0d87f9255c71fa19cf1a095d1fad6164eee092","datavalue":{"value":"Kronheimer-Mrowka structure theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5929588$7957B886-2579-440B-A083-D0BC44AA94EF","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":"Q5929588$9FEEB5FD-AF47-494E-B02F-7D61840DE4F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7899498ae235e987fdd3f57cc29544987fa890fa","datavalue":{"value":"10.4310/CAG.2000.V8.N3.A9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5929588$72E4111C-5060-4CF9-B5B5-AE7FE513DB35","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a92de26ca640c0b559f759274e8465030af687ac","datavalue":{"value":{"entity-type":"item","numeric-id":627402,"id":"Q627402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5929588$6FEAE91F-E909-4A52-B412-B5C1817F7ACB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7469794a034b30b0bc17e9d4e2c76720af82bec4","datavalue":{"value":{"entity-type":"item","numeric-id":4983126,"id":"Q4983126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c49d06417ab3a56141ec9983c331997f533dcfa","datavalue":{"value":{"amount":"+0.8240119814872742","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":"Q5929588$8E0B9F06-E638-4F63-8D9D-9503681349B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e02b10703deec4247196fc70ff658d952c8e0df9","datavalue":{"value":{"entity-type":"item","numeric-id":1914749,"id":"Q1914749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74ec81cb630914ad0c26ef02dc98c32cd11591f2","datavalue":{"value":{"amount":"+0.8163692951202393","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":"Q5929588$579D311E-F85C-4ED1-9BFF-39C688CBF2DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d630db0f1d306a56418a8859bc2567ce3995cca9","datavalue":{"value":{"entity-type":"item","numeric-id":752548,"id":"Q752548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e6c09ba07502a1fef9017fd80926381d94a5532","datavalue":{"value":{"amount":"+0.786281168460846","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":"Q5929588$4268448E-92FC-4F52-ACA0-799064C42C95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1237208132fb9a1cf259fc70af8e0c8904eed6a3","datavalue":{"value":{"entity-type":"item","numeric-id":1891962,"id":"Q1891962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bf40328d6ccc3c6fb55e79e44c755c085114d85","datavalue":{"value":{"amount":"+0.7810437083244324","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":"Q5929588$F6BDED50-C318-4E89-A4C4-335ADE70751C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9610129e84bf5caca2b649a703ed62ddbb9cf35","datavalue":{"value":{"entity-type":"item","numeric-id":4792922,"id":"Q4792922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29a22879bba35a31cbe21e833e460df04dd1b125","datavalue":{"value":{"amount":"+0.7800352573394775","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":"Q5929588$779B6CA4-13B2-497B-B6B5-39AEEE855102","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Basic classes for four-manifolds not of simple type","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Basic_classes_for_four-manifolds_not_of_simple_type"}}}}}