{"entities":{"Q2482875":{"pageid":2493618,"ns":120,"title":"Item:Q2482875","lastrevid":50343899,"modified":"2026-01-13T20:55:58Z","type":"item","id":"Q2482875","labels":{"en":{"language":"en","value":"The stable homotopy category is rigid"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5267852"}},"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":"Q2482875$66A8DFC4-ADAA-4D9D-AB3F-77C400ADF31D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"affbf60744d28991fff5a318182cfe66e68e5548","datavalue":{"value":{"text":"The stable homotopy category is rigid","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2482875$85E54DA0-99F9-4F4A-91D8-883550F13C4F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cde1bc7ebcd781e3cd66d478972df1f328bd07a4","datavalue":{"value":"1151.55007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482875$CA16C177-1BBD-4045-B94D-C7687BF51C8A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db1096b6c4f0a7f3db9f89b028b029b7fb81e5e5","datavalue":{"value":{"entity-type":"item","numeric-id":211774,"id":"Q211774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482875$87A1DDDC-1C39-4257-A35F-EE9163FEEBF4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"553c7ad508f4615999d4ef926cfdf75d436f510c","datavalue":{"value":{"entity-type":"item","numeric-id":175062,"id":"Q175062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482875$A65A9437-C0C3-4381-8CED-2A4AB5A6C0E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3af863ee80187340a760d48f9141a3fe4cbbaa0c","datavalue":{"value":{"time":"+2008-04-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2482875$2DEBC0CD-E6DF-49E1-ADBB-BD238520C25D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"130ab691729da7b702683aeaceecf0c77d3e6224","datavalue":{"value":"https://projecteuclid.org/euclid.annm/1206018123","type":"string"},"datatype":"url"},"type":"statement","id":"Q2482875$5C17E6E1-B801-46FD-B257-40E9CA76EB9A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d0699b52b0edb17366cd5518efe9808b667085dc","datavalue":{"value":"The beautiful rigidity theorem asserts that if the homotopy category of a stable model category \\(\\mathcal C\\) and that of spectra are equivalent as triangulated categories, then there exists a Quillen equivalence between \\(\\mathcal C\\) and the model category of spectra.  If \\(\\Phi\\) is such an equivalence of triangulated categories, the author chooses a fibrant object \\(X\\) in \\(\\mathcal C\\) which is isomorphic to \\(\\Phi({\\mathbf S}^0)\\) in the homotopy category and proves that the functor \\(- \\wedge X\\) and its right adjoint form a Quillen equivalence. For this it suffices to show that the composite \\(F=\\Phi^{-1} \\circ (- \\wedge^L X)\\) is an equivalence on the homotopy category of spectra. The first step is a reduction to \\(p\\)-local spectra. Because the images under \\(F\\) of the Hopf maps are non-trivial and homotopy groups of spheres are generated under higher order Toda brackets by the Hopf maps and \\(\\alpha_1\\), it is enough to see that the image of the map \\(\\alpha_1: {\\mathbf S}^{2p-3} \\rightarrow {\\mathbf S}^{0}\\) is non-trivial (this argument relies on the author's earlier work [Adv. Math. 164, No.1, 24-40 (2001; Zbl 0992.55019)]).  The whole game is thus to find a contradiction if \\(F(\\alpha_1)\\) were trivial, which is done via the theory of coherent actions of Moore spaces set up in the first sections. Let \\(M\\) be the Moore space \\(M(\\mathbb Z/p, 2)\\) and \\(D_i M = M^{\\wedge i} \\bigwedge_{\\Sigma_i} E\\Sigma_i^+\\) be its \\(i\\)-th extended power. Roughly speaking a \\(k\\)-coherent action of \\(M\\) on \\(X\\) -- and suspensions -- consists in strictly associative and unital ``multiplications'' \\(D_i M \\wedge X_{(j)} \\rightarrow X_{(i+j)}\\) for \\(i+j \\leq k\\), where the homotopical flexibility comes from the fact that \\(X_{(j)}\\) is only required to be homotopy equivalent to \\(\\Sigma^{2j-2} X\\). The Moore space acts on itself in a \\((p-1)\\)-coherent way, but not in a \\(p\\)-coherent way due to the non-triviality of \\(\\alpha_1\\). This also yields a \\((p-1)\\)-coherent action of \\(M\\) on \\(M \\wedge Y\\) for any spectrum~\\(Y\\).  Now, if \\(F(\\alpha_1)\\) were trivial, the spectrum \\(M \\wedge F({\\mathbf S}^{-2})\\) would inherit a \\(p\\)-coherent action. This is the starting point of a clever iterative construction of spectra with certain prescribed non-trivial Steenrod operations which end up contradicting an Adem relation. What makes the construction possible is the compatibility with the triangulated structure, and in particular with the multiplication by~\\(p\\) on a sphere (the homotopy cofiber of which is a Moore space). It is quite amazing that this little forces in the end all the higher structure to agree.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2482875$1DE3E9FD-BCED-4724-A285-3F1163ECBB36","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3a3c26cf77b81b2719a9fc19af91cd0981e2deb2","datavalue":{"value":{"entity-type":"item","numeric-id":351255,"id":"Q351255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482875$6B567DD1-4E84-49FF-AF16-B86F02913B59","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2a7efb5b93ac18dfb1f73a454b030ac0e8209f91","datavalue":{"value":"55P42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482875$91AC3314-30FB-4D78-A7EF-D7C9C375A812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"72047dd175f2df177aa1ddf4f7ca150e0c1e70c2","datavalue":{"value":"55U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482875$401B86C5-4176-4D55-A0BA-F38DAE2038DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e4a2e4440905b0e183b56ada6f936ff84b5c0170","datavalue":{"value":"55Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482875$6E02752E-2565-4723-B09E-6048C6567613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0be2e4a354543d42b3c05ee10dfcb8dbf0ef1162","datavalue":{"value":"55S10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482875$E0B8961B-2749-42E9-8C7A-69CE5DD82FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c71f3ae49cb2a1eeef9914b0fdcd1f33e90aac9c","datavalue":{"value":"18G55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482875$1F14FB0A-CB8D-44C8-BFCB-6C7EA701530E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b7d1b702a4c71ed0e8875f599e7c7fbd1488ad00","datavalue":{"value":"5267852","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482875$A91E9961-403E-4946-B246-7B09A211DA8A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"632898d40f0f97b28734ebce867773d1cba6ec9a","datavalue":{"value":"stable homotopy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2482875$79C655DC-F51D-4E20-9FB4-BCBE28C1FA08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef4fb6209743a386ca52200ab2232f94b76c3c29","datavalue":{"value":"spectra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2482875$9B7ACD99-FA3F-4F4F-B70D-2097EB7437EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"837aec0cbe9f8dc3ffae9b1dad6816157aa088f1","datavalue":{"value":"model category","type":"string"},"datatype":"string"},"type":"statement","id":"Q2482875$DBF1D3A4-753E-456C-9876-D4C61B0B1E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61b3786a326977c22ac598e0325764e8b2c91c34","datavalue":{"value":"coherent action","type":"string"},"datatype":"string"},"type":"statement","id":"Q2482875$E074BCAC-6838-4A7B-9C3C-6988950ACDE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"947f72619371001d3077203cb990dd360bec4dcf","datavalue":{"value":"Quillen equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2482875$62F60356-8599-486D-B9C4-86ED625F7A4C","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":"Q2482875$C4E73DE1-BDC1-4756-8B5C-D984DEC9F08A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ded6368dbdc7dde149fc4594b9d3c6567687d275","datavalue":{"value":"W2124133718","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482875$480F23D9-4761-4C98-991F-6AFFEEFDC050","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d7acc2c06c040b053b7bab48085731ada64f7bd5","datavalue":{"value":"10.4007/ANNALS.2007.166.837","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482875$4C90C602-F38A-4D53-AC3F-ABEA55D34A97","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"373de3b42419f5ebaf78871322d64381b9352fa3","datavalue":{"value":{"entity-type":"item","numeric-id":312397,"id":"Q312397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31748181bb118ab332e4f73f993e18ab7268112c","datavalue":{"value":{"amount":"+0.8634207844734192","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":"Q2482875$0479685B-B96E-42AF-B2C7-7D8097D78AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72c1cd735d4f4615186033911322a100ed101ff1","datavalue":{"value":{"entity-type":"item","numeric-id":2326315,"id":"Q2326315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaa9901a1a6c47c6cd1b003241310bfa1e98e3e9","datavalue":{"value":{"amount":"+0.8440605401992798","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":"Q2482875$176D86A4-F5AF-4486-8035-6A380776848A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf7c21b282862e21e11c88b551cfbba9ccf8bce8","datavalue":{"value":{"entity-type":"item","numeric-id":2464838,"id":"Q2464838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"699c77e0972503a9bf1017580bdddde781b127d9","datavalue":{"value":{"amount":"+0.8207364678382874","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":"Q2482875$8BF411FB-3851-4B29-9591-A2B2A487AE95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c7ec9b32bf190cc4a33db1d6ffca34e6291bdcd","datavalue":{"value":{"entity-type":"item","numeric-id":416754,"id":"Q416754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0b5346883c9f968faeb111af4fb88739ee2ff19","datavalue":{"value":{"amount":"+0.8165474534034729","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":"Q2482875$AB52E043-AEC0-44A0-8E36-C09785A749E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4289aa6258295a889f932b157845946581a10b33","datavalue":{"value":{"entity-type":"item","numeric-id":2182440,"id":"Q2182440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc96cd0a36c1da26ffb4057b706f732e8c6b9571","datavalue":{"value":{"amount":"+0.7944540977478027","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":"Q2482875$DEA3A4C7-8BD1-49BE-BCBD-83F118F37462","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2482875","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2482875"}}}}}