{"entities":{"Q6917070":{"pageid":21004879,"ns":120,"title":"Item:Q6917070","lastrevid":84148130,"modified":"2026-05-11T08:01:27Z","type":"item","id":"Q6917070","labels":{"en":{"language":"en","value":"Equivariant cohomology of a complexity-one four-manifold is determined by combinatorial data"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8105100"}},"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":"Q6917070$04E2CB0E-91AF-4196-AB93-9AC96D39BB51","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"083642a334bbf82c4b8b672b215c8cfc326b71a3","datavalue":{"value":{"text":"Equivariant cohomology of a complexity-one four-manifold is determined by combinatorial data","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6917070$06A3A2E9-CBB2-4394-BA0A-7B4878E0431C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0dbc481e83cf8bd6682194378d7942894d0f08c6","datavalue":{"value":"10.1016/J.AIM.2025.110497","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6917070$EB1DC71D-3A84-4636-B6D0-409B24D9B480","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f045e26a9f9b9278b1bc8e30a4ebd216fae5ec6","datavalue":{"value":{"entity-type":"item","numeric-id":208176,"id":"Q208176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917070$C8B42D46-3EA1-4955-BB6A-0ACBEDCD10E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ad5f2049eb975d2c58e2fabd9827b4b9f1346f7","datavalue":{"value":{"entity-type":"item","numeric-id":664367,"id":"Q664367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917070$01F64FCA-29F8-4DB3-AAA7-F0D156C3ABBA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"87fedd43d9515b94c7651de65777aba7be17422f","datavalue":{"value":{"entity-type":"item","numeric-id":165833,"id":"Q165833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917070$245FCBF1-A806-43E1-8ED8-189DFFEBBAB5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"649f7effc355da50d14f0c965ab07ea7bae1a67d","datavalue":{"value":{"time":"+2025-10-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":"Q6917070$103CCCE3-97E4-4D60-B991-E3862D314F5B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"dec48c2af96354874a2452339b9f5ec7de9dceb8","datavalue":{"value":"The aim of this paper is to look at the equivariant cohomology of a four-dimensional Hamiltonian \\(S^1\\)-manifold, that is, a compact, connected symplectic manifold equipped with a Hamiltonian \\(S^1\\)-action. \\N\\NFor Hamiltonian circle actions on compact, connected four-dimensional manifolds, the authors give a generators and relations description for the even part of the equivariant cohomology, as an algebra over the equivariant cohomology of a point. This description depends on combinatorial data encoded in the decorated graph of the manifold. The authors give an explicit combinatorial description of all weak algebra isomorphisms and use this description to prove that the even parts of the equivariant cohomology algebras are weakly isomorphic and the odd groups have the same ranks if and only if the labeled graphs obtained from the decorated graphs by forgetting the height and area labels are isomorphic. As a consequence, the authors give an example of an isomorphism of equivariant cohomology algebras that cannot be induced by an equivariant diffeomorphism of manifolds preserving a compatible almost complex structure. They also provide a soft proof that there are finitely many maximal Hamiltonian circle actions on a fixed compact, connected, four-dimensional symplectic manifold. \\N\\NThe paper consists of the following parts: \\N\\begin{itemize}\\N\\item[1)] Introduction to the subject. \\N\\item[2)] Classification of Hamiltonian circle actions on symplectic four-manifolds. The authors record here the details they will need resulting from the classification of Hamiltonian circle actions on symplectic four-manifolds. \\N\\item[3)] Dull graphs and their isomorphisms. The authors turn from decorated graphs to a combinatorial structure with less information. They show that it retains enough to recover equivariant cohomology. \\N\\item[4)] A generators-and-relations description: notation, statements and corollaries. Let \\((M,\\omega)\\) be a compact, connected, four-dimensional symplectic manifold endowed with a Hamiltonian \\(S^1\\)-action. The goal of this section is to give a generators and relations presentation for the even part \\(H^{2*}_{S^1}(M;\\mathbb{Z})\\) of the equivariant cohomology of a Hamiltonian circle action on a compact, connected, four-dimensional symplectic manifold, as an algebra over \\(H*_{S^1}(pt)\\). \\N\\item[5)] A generators and relations description: proof of the main theorem describing \\(H^{2*}_{S^1}(M;\\mathbb{Z})\\) by generators and relations. To complete the proof of this theorem, the authors show that it is enough to give a generators and relations presentation of the equivariant cohomology algebras in the minimal models, and describe the effect of an equivariant K\u00e4hler blow-up on such a presentation. \\N\\item[6)] Invariants under a weak isomorphism of algebras. Let \\(M\\) and \\(N\\) be compact, connected, four-dimensional symplectic manifolds, each equipped with a Hamiltonian circle action. In this section, the authors establish what effect a weak isomorphism \\(f : H^{1*}_{S^1}(M;\\mathbb{Z})\\rightarrow H^{1*}_{S^1}(N;\\mathbb{Z})\\) can have on the generators. \\N\\item[7)] Relating weak algebra isomorphisms and isomorphisms of dull graphs. In this section, the authors list explicitly the algebra isomorphisms of the even part of the equivariant cohomology of a compact, connected, four-dimensional Hamiltonian \\(S^1\\)-manifold. They show that orientation-preserving isomorphisms are induced by isomorphisms of dull graphs and determine which isomorphisms preserve the equivariant first Chern class. The section concludes with a detailed examination of an example of manifolds whose decorated graphs differ by a chain flip. \\N\\item[8)] Finitely many inequivalent maximal Hamiltonian torus actions on a compact symplectic four-manifold. Here, the authors use their understanding of the cohomology ring and invariants of a Hamiltonian \\(S^1\\circlearrowright(M^4,\\omega)\\) to provide a soft proof that there are finitely many maximal torus actions on a fixed, compact, connected, four-dimensional symplectic manifold \\((M,\\omega)\\). \\N\\end{itemize}\\NThe paper is supported by two appendices. Appendix A: Preliminaries on equivariant cohomology, and Appendix B: Data on equivariant cohomology read from the decorated graph.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6917070$A4A795ED-D689-4623-8C3B-656DA6290111","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4200bae59db728a6c7936f25987e607d3126d113","datavalue":{"value":{"entity-type":"item","numeric-id":590077,"id":"Q590077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917070$48E62420-801F-430D-AB6A-4603C74170E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"78fe00c615e469a834a004429eb3e7b709f9792e","datavalue":{"value":"53D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6917070$268270AC-3685-42A4-8FBF-605343CAD2E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f14c3c6281d60db8afa7423b0c7ac8fa70cf0494","datavalue":{"value":"55N91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6917070$0D931345-EB0D-4940-B63E-2DB4C464DAB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8da12a4c7ee4ca87162577ddc436795855d255c1","datavalue":{"value":"53D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6917070$FD8B8E3B-0574-401E-9168-E50911E7C916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c62b5b36b2f454d6319824daa5bbffe05fc1283","datavalue":{"value":"57S15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6917070$8AC28DF6-8C72-4996-813D-A94F1E34B5E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a50c818eb9eadd70440def9b980f78a680fc521f","datavalue":{"value":"57S25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6917070$BA7B17C8-564D-445D-9CC7-DB48228F8DCC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"82ea588c06ea65f4be3dbb8d9bb1796ab7b208ca","datavalue":{"value":"8105100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6917070$59012931-D650-4C48-8678-E1DAEFDCB845","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b15bfa8ceec023fbb83d9c671d5f0361ca475dcb","datavalue":{"value":"symplectic geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q6917070$5360973B-D656-4E57-A8AC-8ED91170B1EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0c1bcae43ebf7647b4e5277352cb47734cf5574","datavalue":{"value":"Hamiltonian torus action","type":"string"},"datatype":"string"},"type":"statement","id":"Q6917070$16778F2F-F4AE-4BB4-9F95-9E89E5FDA5F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3108f1b30dcdd573058beadf1da586ca8861cf0a","datavalue":{"value":"moment map","type":"string"},"datatype":"string"},"type":"statement","id":"Q6917070$06E37797-D88A-450B-823C-59F91A58672A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9ab150dabe8ca4f68ee638376b99a8857e14617","datavalue":{"value":"complexity one","type":"string"},"datatype":"string"},"type":"statement","id":"Q6917070$8106FA39-EE2C-4CB9-962A-63A512826851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42ccf3aac6b47a2c18df38a1974476d48fb10004","datavalue":{"value":"equivariant cohomology","type":"string"},"datatype":"string"},"type":"statement","id":"Q6917070$4BEDAA99-A824-42B9-B4E5-E23870EC15AA","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":"Q6917070$02BBC8AA-648E-4BCE-BC28-85F358642566","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"683b971f3ef53bef8e191598ca2aca3a4f67cf4f","datavalue":{"value":{"entity-type":"item","numeric-id":4000870,"id":"Q4000870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917070$71F4D4F3-4760-4530-84BD-C62496D4C915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"375e586b79d29a20527522dc2518d5a4ba994269","datavalue":{"value":{"entity-type":"item","numeric-id":1055059,"id":"Q1055059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917070$74A78520-FDEF-4D2E-AB9E-16AF0F4FE3B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"496833c0ff6a0dbd976f2c9b58f8bf1a37dc0181","datavalue":{"value":{"entity-type":"item","numeric-id":3477698,"id":"Q3477698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917070$4F180F46-FC26-4C3A-A873-3D61660C7C57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb5366f2e58501ecea7388081d58ab963e4978b7","datavalue":{"value":{"entity-type":"item","numeric-id":3670197,"id":"Q3670197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917070$AF351C21-620C-49A3-848A-68C697399B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"370b3235198e3bacabfc4a575b6d857fc54d9a6b","datavalue":{"value":{"entity-type":"item","numeric-id":5131454,"id":"Q5131454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917070$26888941-1863-4398-952F-5C16E1A591F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"880a77c80787d3d688d01d900606e5ba57555bed","datavalue":{"value":{"entity-type":"item","numeric-id":741177,"id":"Q741177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917070$31343EBA-CA8A-495A-A57D-5B5E30A030E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e874fcfabe7a4d7c2cf4d43a700e5d10141a6b2","datavalue":{"value":{"entity-type":"item","numeric-id":3998602,"id":"Q3998602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917070$76CA5A25-0E35-4029-BEAB-986145635D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5fe5f1609a62d523e33c8d182a259a05c0743e2","datavalue":{"value":{"entity-type":"item","numeric-id":4783635,"id":"Q4783635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917070$F66E2FBF-B813-4669-A652-482AC30633A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"110dce5dc4dcd0beceea1ad7d7e5c815cd953e83","datavalue":{"value":{"entity-type":"item","numeric-id":4195061,"id":"Q4195061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917070$D24C9ABD-001C-4184-B187-B8A83FBFA947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab40a8cb92b19b4229b5f88585877bf1f30462d6","datavalue":{"value":{"entity-type":"item","numeric-id":1584722,"id":"Q1584722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917070$3691CDBD-7434-4E99-9B76-667575CE368B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3be4c3dc7db2a181ed7d0b9c69573849d84ff89","datavalue":{"value":{"entity-type":"item","numeric-id":2119665,"id":"Q2119665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917070$6235BE59-5F61-41A1-B570-7BDEF41A9F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9753a28c585a57db32c47d18f8b2aba4403c4247","datavalue":{"value":{"entity-type":"item","numeric-id":2321853,"id":"Q2321853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917070$BED31D7C-E19E-44F6-BC88-341BCB9E1205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f8c4524c317a8e57a26e0082cbdf7408a69c148","datavalue":{"value":{"entity-type":"item","numeric-id":2024041,"id":"Q2024041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917070$CC67DD97-F634-4FA9-8E13-3B7C6496F087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d767bd6bb640ed7fc311e66bf70b331d87c823e4","datavalue":{"value":{"entity-type":"item","numeric-id":4269751,"id":"Q4269751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917070$98A5FD0B-8C93-48BC-8C2A-5A094274ECF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f779e15b459562084b596c21066ea2389e2bcfd","datavalue":{"value":{"entity-type":"item","numeric-id":5262819,"id":"Q5262819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917070$2FE214CD-4081-4B13-81B3-524DF91A148A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"422e34b2929370b9d2db22cdcd84125e2a71c89b","datavalue":{"value":{"entity-type":"item","numeric-id":1747689,"id":"Q1747689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917070$8A877F34-9AE4-4620-AE50-085080220F30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfd41dccaa4839d912fbb78a46ca93af3368cef1","datavalue":{"value":{"entity-type":"item","numeric-id":5731354,"id":"Q5731354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917070$5FBBC5EA-1AA0-4F9D-9CFA-293F455A504E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cbb8f4364eea355e3789d559e0c958681b09f52","datavalue":{"value":{"entity-type":"item","numeric-id":936541,"id":"Q936541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917070$5EACF87B-0DB9-4BF9-ADD8-E507C4B68105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e257c6da847006e4fae247ed7b170ba6bc5a53a","datavalue":{"value":{"entity-type":"item","numeric-id":3525470,"id":"Q3525470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917070$37948990-C0CD-4469-8513-200E2E7BB601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b6d1ef71785165f96317d3d9974f00b421d758a","datavalue":{"value":{"entity-type":"item","numeric-id":625331,"id":"Q625331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917070$2022F5BD-B19C-482D-A9C7-FFD907A98351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aa6f0e5aba68e6690969049c574178a5c47e149","datavalue":{"value":{"entity-type":"item","numeric-id":2827261,"id":"Q2827261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917070$763C0E17-6971-46F6-A800-5F4CEA07884B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47de875a85262ce5e51fbbe5c12c184b8e17ccbd","datavalue":{"value":{"entity-type":"item","numeric-id":4043127,"id":"Q4043127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917070$38FDECDE-1971-4019-A61A-611729014B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f322ba2c2322c95d80d668232f71aeff79db2fc","datavalue":{"value":{"entity-type":"item","numeric-id":1048469,"id":"Q1048469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917070$9D7011F9-B05C-495E-A34E-4DD4616CA8AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cdea18df54480af0f7574913c60b274bad2e93b","datavalue":{"value":{"entity-type":"item","numeric-id":950636,"id":"Q950636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917070$D6404D9B-37F5-42A4-9DC0-5E4C8158F6B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556ba252137921509519750b388313ba48635163","datavalue":{"value":{"entity-type":"item","numeric-id":3582279,"id":"Q3582279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917070$4BE54D50-7A10-497D-AB53-5C4D9C494866","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Equivariant cohomology of a complexity-one four-manifold is determined by combinatorial data","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Equivariant_cohomology_of_a_complexity-one_four-manifold_is_determined_by_combinatorial_data"}}}}}