{"entities":{"Q1419577":{"pageid":1430317,"ns":120,"title":"Item:Q1419577","lastrevid":68660262,"modified":"2026-04-13T01:15:21Z","type":"item","id":"Q1419577","labels":{"en":{"language":"en","value":"An homology 4-sphere group with negative deficiency."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2028627"}},"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":"Q1419577$3B13CBD9-F191-4EDD-9643-F22FD8966C05","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c297eccb0a0abc956317d4ecb0d2d870800acb93","datavalue":{"value":{"text":"An homology 4-sphere group with negative deficiency.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1419577$2DA3672E-5FAB-46B6-B4B5-4357DF051B6A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4f24d506798a3f86d42f95c3d0f8f9bbba8a3c1d","datavalue":{"value":"1047.57012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1419577$B746FB07-EA2F-4F48-A549-D56E487C72D6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"190f08128b991df2a0ad2bbf0d84e95f751f56d1","datavalue":{"value":{"entity-type":"item","numeric-id":246266,"id":"Q246266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1419577$8A863362-E66B-4D0A-80A0-64260DCD132A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"20b57ef57ae5fa97e1c49fc587a6c56e70c56769","datavalue":{"value":{"time":"+2004-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1419577$FA1E81FD-47FE-40D9-9A4F-A17CA36C0F56","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"05c631dc48c2712209041bc472b4e273cec1382d","datavalue":{"value":"A homology \\(n\\)-sphere is a closed \\(n\\)-manifold which has the same integral homology as an \\(n\\)-dimensional sphere. If \\(G\\) is the fundamental group of a homology \\(n\\)-sphere, then necessarily \\(G\\) is finitely presented, perfect (\\(H_1(G,{\\mathbb Z})=0\\)), and superperfect (perfect and \\(H_2(G,{\\mathbb Z})=0\\)). For dimensions \\(n\\geq 5\\), \\textit{M. A. Kervaire} [Trans. Am. Math. Soc. 144, 67--72 (1969; Zbl 0187.20401)] showed that these necessary conditions are sufficient, thus giving a characterization of homology \\(n\\)-sphere groups in high dimensions. This fails in dimension \\(n=4\\) (counterexamples are given by \\textit{J.-C. Hausmann} and \\textit{S. Weinberger} [Comment. Math. Helv. 60, 139--144 (1985; Zbl 0566.57011)], but Kervaire did show that any finitely presented, perfect group with deficiency zero is a homology \\(4\\)-sphere group. (The deficiency of a finitely presented group is the maximum over all finite presentations of \\(g-r\\), where \\(g\\) and \\(r\\) are the number of generators and relations, respectively, of a presentation.) This raises the question of whether these conditions are necessary ones for homology \\(4\\)-sphere groups.  The author gives a counterexample to show that the answer to this is no. His example is constructed from \\(M\\#\\Sigma\\), where \\(M\\) is the result of performing surgery on the \\(2\\)-twist spin of the trefoil knot in \\(S^4\\), and \\(\\Sigma\\) is a homology \\(4\\)-sphere with a given explicit presentation for its fundamental group. By performing surgery along a carefully chosen circle in \\(M\\#\\Sigma\\), a homology \\(4\\)-sphere \\(P\\) is obtained, and an argument from homological algebra shows that \\(\\pi_1(P)\\) cannot have deficiency zero.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1419577$A53E99BA-28DF-4CA1-B688-0100F815A759","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ca0b45050501eda374fcaa5b43578e0a14eabf21","datavalue":{"value":{"entity-type":"item","numeric-id":169759,"id":"Q169759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1419577$1C2E9A9D-A776-4AFA-AC55-0A7E81C219D4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d129fa00ca7b6da5f6538270052a4f1b3a2f30d9","datavalue":{"value":"57N13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1419577$25DE78F4-AC66-4C00-9B34-CF250CE47C2C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c98a0a06fdfc5a7f8c74b1bbe6868a38a6f0c53","datavalue":{"value":"2028627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1419577$B0269738-C90C-4B29-80BA-49722436AD4B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d5efc89aa83edfc12cab2db94178013b9c5bdd1","datavalue":{"value":"fundamental group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1419577$B5D05A3A-16EE-4EF7-93B3-1C6CB23BD792","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc35937ce564e4539c4799aa6f3b147e29ed16a9","datavalue":{"value":{"entity-type":"item","numeric-id":242462,"id":"Q242462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1419577$A7063171-67EC-4DF8-9258-57492C30FF76","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":"Q1419577$3D76C675-F192-4900-8418-4DFE9D1CD62C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ab74727ea3a7e3a8cafd4c7f294766b88d4e967","datavalue":{"value":{"entity-type":"item","numeric-id":4670306,"id":"Q4670306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78fbff020e2119b16a86df1ff06079b2c3ead4ee","datavalue":{"value":{"amount":"+0.778108","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1419577$2162488B-3FB9-44B7-B834-E24CC7AD328C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ce3af2c6fd7071f2072ccc0e71d45544d6bba2c","datavalue":{"value":{"entity-type":"item","numeric-id":1317445,"id":"Q1317445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"725307a9f39c88fb4be24e328b536e38b26378c4","datavalue":{"value":{"amount":"+0.7137693","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1419577$F00F013C-16AF-47A3-83CF-EDFAE78B6296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e37d031a3d02fb0907389bcf3337533ea7970249","datavalue":{"value":{"entity-type":"item","numeric-id":1824253,"id":"Q1824253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f978012e3a8b7a2cd88130b1b6dba78d5bc42989","datavalue":{"value":{"amount":"+0.6989479","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1419577$5637C323-9E94-46ED-9DF2-10533DD2C84B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"befccb3e2d087e34400502f0e947942999bf45d0","datavalue":{"value":{"entity-type":"item","numeric-id":1059308,"id":"Q1059308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc5937de2958263d341521132f2ceb33ad946bac","datavalue":{"value":{"amount":"+0.6944608","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1419577$A23C5526-48F0-410E-9E14-D9AAEECE8CE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"670414618516bfa2ce14ad1cd5eba82512315ca0","datavalue":{"value":{"entity-type":"item","numeric-id":1866609,"id":"Q1866609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0089735c24270d76f3ff9ba10c19eb296d054ae","datavalue":{"value":{"amount":"+0.68476564","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1419577$0DDF7F31-A13E-4A43-A970-F3EA58F4AE5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f69ba6a3a3cc7da4e9969d3aa8dfdd9270b54be3","datavalue":{"value":{"entity-type":"item","numeric-id":2839039,"id":"Q2839039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ae09b48a036a2f488b471f7fccbf2cb4e633da4","datavalue":{"value":{"amount":"+0.6842116","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1419577$AD0D5EEA-70A2-44C8-8653-BF57F957B7DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39649c017439ab6f975d0e2ce7d0b8692297db18","datavalue":{"value":{"entity-type":"item","numeric-id":4600750,"id":"Q4600750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfb104878e5a4dd862b96df3898acb850497c2b3","datavalue":{"value":{"amount":"+0.6831385","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1419577$59F42E33-ADAC-4837-8852-DB8FFB27EC5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a417ca7c45c4ef84b60bc21d6794aa2a57f2f63","datavalue":{"value":{"entity-type":"item","numeric-id":2502946,"id":"Q2502946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f117397bc99b94579dca8b0521fb37c6903aa4e","datavalue":{"value":{"amount":"+0.6766804","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1419577$D8F44117-B53C-484B-9010-7449B2960DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b77f7ca08f1320a558a626ee80611535d759f86e","datavalue":{"value":{"entity-type":"item","numeric-id":1824252,"id":"Q1824252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec79304d4a57fed2e0dc1fe5668955cfb7c1c420","datavalue":{"value":{"amount":"+0.6750565","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1419577$D09FA5CC-31D8-4052-AB7E-E4EBFFCCD7E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"941c660f127528a480994e2cb5ef4a86f0d7fa0c","datavalue":{"value":{"entity-type":"item","numeric-id":1880045,"id":"Q1880045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4bbad1e3093f43bf3ae53a063272ffa078d82c5","datavalue":{"value":{"amount":"+0.67368215","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1419577$13BA20B7-7AAB-4C97-9427-7644A3D47877","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An homology 4-sphere group with negative deficiency.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_homology_4-sphere_group_with_negative_deficiency."}}}}}