{"entities":{"Q952962":{"pageid":954810,"ns":120,"title":"Item:Q952962","lastrevid":65597322,"modified":"2026-04-12T03:41:13Z","type":"item","id":"Q952962","labels":{"en":{"language":"en","value":"Higher homotopy commutativity of \\(H\\)-spaces and homotopy localizations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5366234"}},"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":"Q952962$8AE7C6E0-6494-4DBB-BD40-A840170DCB66","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa55cd1b960be3475c6346436f6e6fbfb1270257","datavalue":{"value":{"text":"Higher homotopy commutativity of \\(H\\)-spaces and homotopy localizations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q952962$433D0420-5B19-423B-81D3-5D3715A10EDE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"244beb4cddb723a17476727a81e836390c1f32fa","datavalue":{"value":"1155.55002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q952962$5A0810FB-6983-41BE-8993-CF719E48AC67","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"27c072a3f303cd964403da5ab5b0e4ef9de15a70","datavalue":{"value":{"entity-type":"item","numeric-id":548520,"id":"Q548520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q952962$155A6CA9-D42D-4147-BE09-E99E3D7A2345","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"edf18db5439a683e98eaf3205ba65f05cfd68a4d","datavalue":{"value":{"entity-type":"item","numeric-id":161301,"id":"Q161301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q952962$4E34587E-16C3-4B00-AF64-D786BC553E7D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0df28e4c63490c0dc31164052eefead9dddc9d4e","datavalue":{"value":{"time":"+2008-11-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":"Q952962$702A6C51-5973-4FDF-953D-022011FEE078","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d2aa90f47eaf16ab277b66e56d80f8c49f150b99","datavalue":{"value":"A space is an \\(AC_n\\)-space if it is an \\(H\\)-space such that the multiplication satisfies both the higher homotopy associativity of the \\(n\\)-th order and the higher homotopy commutativity of the \\(n\\)-th order. The main theorem of the paper under review is stated as follows: Let \\(p\\) be a prime. Then a connected \\(AC_p\\)-space such that its mod \\(p\\) cohomology is finitely generated as an algebra over the mod \\(p\\) Steenrod algebra is mod \\(p\\) homotopy equivalent to a Postnikov \\(H\\)-space. Here an \\(H\\)-space is called Postnikov if its homotopy groups are finitely generated over the \\(p\\)-adic integers \\(\\mathbb Z_p^{\\wedge}\\) and vanish above some dimension. This result is a generalization of Corollary 7.4 of [\\textit{N. Castellana, J. A. Crespo} and \\textit{J. Scherer}, Invent. Math. 167, No.~1, 1--18 (2007; Zbl 1109.55005)], which is just the case that \\(p=2\\).  To show the above theorem, the author first shows that if \\(X\\) is an \\(AC_n\\)-space for some \\(n\\geq1\\), then for any space \\(A\\), the \\(A\\)-localization \\(L_A(X)\\) of \\(X\\) is an \\(AC_n\\)-space, and the universal map \\(\\phi_X\\colon X \\to L_A(X)\\) is an \\(AC_n\\)-map.  As a corollary of the main theorem, the author proves that the \\(K(n)_*\\)-localization of \\(X^{\\wedge}_p\\) is mod \\(p\\) homotopy equivalent to the \\(\\Sigma^nB\\mathbb Z/p\\)-localization of \\(X^{\\wedge}_p\\) for a connected \\(AC_p\\)-space \\(X\\) with finitely generated cohomology algebra over the mod \\(p\\) Steenrod algebra, where \\(K(n)_*\\) is the Morava \\(K\\)-homology theory. In particular, \\(X^{\\wedge}_p\\) is \\(K(n)_*\\)-local if and only if \\(\\Omega X^{\\wedge}_p\\) is \\(B\\mathbb Z/p\\)-local.  It is also proved that if a connected \\(A_p\\)-space for an odd prime \\(p\\) admits an \\(AC_n\\)-structure with \\(n>(p-1)/2\\) and if its mod \\(p\\) cohomology is finitely generated as an algebra over the mod \\(p\\) Steenrod algebra, then the space is mod \\(p\\) homotopy equivalent to a finite product of \\((S^1)^{\\wedge}_p\\)'s, \\((\\mathbb CP^{\\infty})^{\\wedge}_p\\)'s and \\(B\\mathbb Z/p^i\\)'s \\((i\\geq1)\\) provided that the Steenrod operation \\(\\mathcal P^j\\) for \\(j\\geq1\\) acts trivially on the indecomposable module of its mod \\(p\\) cohomology.","type":"string"},"datatype":"string"},"type":"statement","id":"Q952962$4E300036-302C-43DC-ADEF-72A8A4C1699A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2d070be7ea4238faddcba7fd032e1fa422d46e0b","datavalue":{"value":{"entity-type":"item","numeric-id":233352,"id":"Q233352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q952962$1C6289F3-82AF-4F67-B736-975C2E8D1B85","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfafb14b6a1d38e5371d5825cb5d45fdb92ceef3","datavalue":{"value":"55P45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q952962$70F48D00-9F33-4888-B4DA-F474851EDBFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"47ba2f783c088f9d4bf32d01649c35d0baf25ff7","datavalue":{"value":"55P48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q952962$2525CFFE-C8A3-48AA-84D2-45571273C6BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"849c6ab6e05d5ebd49a9a4a8a1c4201b893ff3c1","datavalue":{"value":"55P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q952962$53FC54EA-75F1-45CE-B700-097B153A7384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"275395ed210393c692454928d7c13c631ebc83c6","datavalue":{"value":"55P65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q952962$D9536D21-5735-4E52-B16A-CFC4DB5B2A56","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"450723a2dbc6fa3ba64b3d11978e96fccc8a630e","datavalue":{"value":"5366234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q952962$A07ED959-C0C6-46E5-8B66-424BA9CB5A5C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94c227e2b573ea2c813a361a1931c82e9ea7f998","datavalue":{"value":"higher homotopy commutativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q952962$4E1853FA-E701-4AE5-88B2-A493DAD8AFD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0255ec991e4a7a9206f02d76dfeec696e1a540c2","datavalue":{"value":"homotopy localizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q952962$9D9599B8-228F-4A03-B5E7-11F4B9EFC308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02713040d00176f71f85327391914289f1439c46","datavalue":{"value":"\\(H\\)-spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q952962$829A6C2E-DFC7-4618-BBD7-74726F9D27A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78e233867e7a8d3a6927355076e9092f803efa9b","datavalue":{"value":"\\(A_n\\)-spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q952962$439171A2-CCF3-4A55-A5DD-2E9C691854FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03ab37c8899a165b34c1ef25e43a3266f93abcac","datavalue":{"value":"\\(AC_n\\)-spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q952962$32906CDA-9891-48DA-AD52-3637BD2F60C7","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":"Q952962$0B1C8FAE-CA5A-4696-9DB7-3AA82CD8A690","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1bdfd7c5dc21923b965bc133e1def40b144bc600","datavalue":{"value":"https://doi.org/10.2140/pjm.2007.231.103","type":"string"},"datatype":"url"},"type":"statement","id":"Q952962$F696B0FA-CA2C-431A-BDD9-CEF34183D9D9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"37873eda235961f147203545898b0943a067c462","datavalue":{"value":"W2011666882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q952962$ABA2FB80-1921-431B-A71D-71901D2C6B85","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0d9f3f3b51ef05db11b3c58393d4fd4031cbe687","datavalue":{"value":"10.2140/PJM.2007.231.103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q952962$5AF1D9FF-0103-4997-BD0C-D84603C32555","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"788ff73109b85ea192258885ef800b9e1de9f125","datavalue":{"value":{"entity-type":"item","numeric-id":701251,"id":"Q701251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da3a7ed9107e83a597f14cc48ba8a5f363d488ac","datavalue":{"value":{"amount":"+0.846055805683136","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":"Q952962$AC934623-791D-4C0D-AE67-E14F30AD2E96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97cdbc221121e2411765f1dc89816626ea874cab","datavalue":{"value":{"entity-type":"item","numeric-id":2731953,"id":"Q2731953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6558dc8afa2425cb03e87676cca0733f4efd8e3","datavalue":{"value":{"amount":"+0.8163841366767883","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":"Q952962$B7706AD1-2AFB-4A8A-A1AB-A627E4B8ACAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c907a55c46a78891244f11e876f76981ff392feb","datavalue":{"value":{"entity-type":"item","numeric-id":4813828,"id":"Q4813828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"536b7be1a2cf17fb94b093f6b1ed8d6e470d417c","datavalue":{"value":{"amount":"+0.8112732172012329","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":"Q952962$2887E761-B9F7-4D7F-B958-5198999078D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"466d305ffb219c1d5aeddeecef29c24d0d1f8789","datavalue":{"value":{"entity-type":"item","numeric-id":3982145,"id":"Q3982145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa2fba4bae957deeb89143edb63066dfc072c6d8","datavalue":{"value":{"amount":"+0.8097047209739685","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":"Q952962$473011EB-2DA4-460A-B849-2272391F4055","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Higher homotopy commutativity of \\(H\\)-spaces and homotopy localizations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Higher_homotopy_commutativity_of_%5C(H%5C)-spaces_and_homotopy_localizations"}}}}}