{"entities":{"Q2054237":{"pageid":2064979,"ns":120,"title":"Item:Q2054237","lastrevid":82407779,"modified":"2026-05-06T20:50:08Z","type":"item","id":"Q2054237","labels":{"en":{"language":"en","value":"Monochromatic homotopy theory is asymptotically algebraic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7436480"}},"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":"Q2054237$0DCDC553-E35B-4027-BE05-5646BA995EAC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a94843b2ef5960158b54885e7c51c3808459fe35","datavalue":{"value":{"text":"Monochromatic homotopy theory is asymptotically algebraic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2054237$DAF28E88-F741-4596-B68D-062A8B9B2966","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b4a37298bfed57d6a6a0d597ea74317658f5d8eb","datavalue":{"value":"1483.55005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2054237$B20B67E0-85DC-4D27-B28A-89CDDDDEDDCA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1728174b0d4cc8e13b90fa79d25870c63ad87889","datavalue":{"value":{"entity-type":"item","numeric-id":281718,"id":"Q281718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2054237$04532790-A1F8-4D1C-AEFE-E42EBBEA5C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"399c21cb68bfb2a271d56d31a7f755e902d9c502","datavalue":{"value":{"entity-type":"item","numeric-id":246348,"id":"Q246348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2054237$E10AE98C-546D-4C3A-AC91-D454EA186D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90e8d9988c40482ddb809c7b7366d6550f8355fb","datavalue":{"value":{"entity-type":"item","numeric-id":498736,"id":"Q498736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2054237$B100C91C-C2A6-4977-B6E9-B2255F6866F2","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":"Q2054237$A1E879A8-18E1-4065-AA96-883F966BD62B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"083b9dcd5269b8796cca7eb2ababa434dff5de3a","datavalue":{"value":{"time":"+2021-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2054237$95B5EA66-7C75-4F6E-BB62-01EAC63576D3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"910984b920de18dc927abea689d87f654ce54cf6","datavalue":{"value":"https://arxiv.org/abs/1903.10003","type":"string"},"datatype":"url"},"type":"statement","id":"Q2054237$0FB86956-1422-4F62-9260-274D778F78D7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"799039247df45154b27eb15c6b8f42edc040f839","datavalue":{"value":"In previous work [Invent. Math. 220, No. 3, 737-845 (2020; Zbl 1442.55002)], the authors proved that as the prime \\(p\\) tends to \\(\\infty\\), the \\(\\infty\\)-category \\(\\mathrm{Sp}_{n,p}\\) of \\(E_{n,p}\\)-local spectra is ``algebraic''. Here \\(E_{n,p}\\) is a height \\(n\\) Morava \\(E\\)-theory at the prime \\(p\\). To phrase this rigorously, they introduce an \\(\\infty\\)-categorical ultraproduct construction and an algebraic category \\(\\mathrm{Fr}_{n,p}\\) (inspired by unpublished work of Franke), and provide an equivalence of symmetric monoidal \\(\\infty\\)-categories \\[ \\prod_\\mathcal{F}^\\mathrm{Pic} \\mathrm{Sp}_{n,p}\\simeq \\prod_\\mathcal{F}^\\mathrm{Pic} \\mathrm{Fr}_{n,p}, \\] where \\(\\mathcal{F}\\) is a non-principal ultrafilter on the set of primes. Explicit calculations in \\(\\mathrm{Sp}_{n,p}\\) appear far less frequently in the literature when compared to their monochromatic analouges \\(\\widehat{\\mathrm{Sp}}_{n,p}\\) of \\(K_p(n)\\)-local spectra, where \\(K_p(n)\\). Moreover, \\(\\widehat{\\mathrm{Sp}}_{n,p}\\) admits no nontrivial localisation, hence is an essential building block of the stable homotopy category. The main result of the present paper is an equivalence of symmetric monoidal \\(\\infty\\)-categories \\[ \\prod_\\mathcal{F}^\\mathrm{Pic} \\widehat{\\mathrm{Sp}}_{n,p}\\simeq \\prod_\\mathcal{F}^\\mathrm{Pic} \\widehat{\\mathrm{Fr}}_{n,p}, \\] where \\(\\widehat{\\mathrm{Fr}}_{n,p}\\) is a monochromatic analogue of \\(\\mathrm{Fr}_{n,p}\\). These two equivalences above are also shown to be compatible through the localisation functor \\(\\mathrm{Sp}_{n,p}\\to \\widehat{\\mathrm{Sp}}_{n,p}\\); interestingly enough, the authors mention that it is unknown if these equivalences are compatible with the canonical inclusions \\(\\widehat{\\mathrm{Sp}}_{n,p}\\to \\mathrm{Sp}_{n,p}\\).\\\\  It is noticable that the second equivalence above cannot be immediately deduced from the first. Indeed, the Pic-generated protoproduct introduced in [\\textit{T. Barthel} et al., Invent. Math. 220, No. 3, 737--845 (2020; Zbl 1442.55002)] requires that invertible objects inside the input symmetric monoidal \\(\\infty\\)-categories are compact; it is well-known that the unit in \\(\\widehat{\\mathrm{Sp}}_{n,p}\\) is not compact; see [\\textit{M. Hovey} and \\textit{N. P. Strickland}, Morava \\(K\\)-theories and localisation. Providence, RI: American Mathematical Society (AMS) (1999; Zbl 0929.55010)]. In the present paper, an extension of the Pic-generated protoproduct is obtained which removes this compactness requirement, however, the output \\(\\infty\\)-category only has the natural structure of a non-unital symmetric monoidal \\(\\infty\\)-category. Overcoming these technical hurdles occupies much of the paper and is key to the proof of the main theorem.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2054237$B7BD52F4-BDDE-4926-9824-48132ED95C7B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2bf1c9e3e4c3ab2a0897e75595c4e8b42689c4f0","datavalue":{"value":{"entity-type":"item","numeric-id":1983578,"id":"Q1983578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2054237$763C0C42-D022-4D3B-A35F-2A71F1DE0E64","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2a7efb5b93ac18dfb1f73a454b030ac0e8209f91","datavalue":{"value":"55P42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2054237$942875DF-150A-47AA-8410-0B283E0D4752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"95d2338239996b5a652f0958c14ca2334979dba4","datavalue":{"value":"55P60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2054237$B4C81105-8A6E-4B8F-9ECB-59E17D734597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67a883ab2549ab867df00bfed7d397d94b240960","datavalue":{"value":"55N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2054237$C12559A2-BA1B-4841-A063-72E65C49BF9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"72047dd175f2df177aa1ddf4f7ca150e0c1e70c2","datavalue":{"value":"55U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2054237$9787198C-50D8-463C-9CD8-1329B2BC0373","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c38c8a78365de037df351f88a070e6d05954bbc","datavalue":{"value":"7436480","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2054237$9A2AFE5B-EA05-4723-81CE-2FF647C9E451","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"288dbfcc73165b2f362c85525d3676bffbd7f006","datavalue":{"value":"chromatic homotopy theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2054237$4B711DE0-F584-4979-9F70-97689154A42C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c545a6d029705ad9a6670c36e7e8e69f4065e692","datavalue":{"value":"ultraproducts","type":"string"},"datatype":"string"},"type":"statement","id":"Q2054237$AF5C704E-39ED-4EBB-978C-5F657673473A","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":"Q2054237$32014ABA-EF28-44E6-BE62-6A990CECBAD5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a85acd577e43052b22acf35c4a1c7104c840f23f","datavalue":{"value":"W3206819630","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2054237$08BEF8AC-FCDD-479B-898B-D2E6E613D642","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a954ccf5efbbbe9795b8e3a489803a759155ab9","datavalue":{"value":{"entity-type":"item","numeric-id":508425,"id":"Q508425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2054237$FDD2E687-5C0E-4242-B924-19A614B9DE80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81237c32665c5deb77e2e55133daa90c7cbf6651","datavalue":{"value":{"entity-type":"item","numeric-id":2571058,"id":"Q2571058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2054237$1C857487-3861-424C-BB46-8F450DD2097A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ef635c1c55d5fe5e5740df769c4653f7d4ba11e","datavalue":{"value":{"entity-type":"item","numeric-id":281720,"id":"Q281720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2054237$3B965A3C-31BA-412E-8D7A-1BD91AD8E062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9151a0fe249851a505a7d0c5b677755f7bc0ed9","datavalue":{"value":{"entity-type":"item","numeric-id":2297361,"id":"Q2297361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2054237$1113C776-98FB-4033-85F0-0532B825D0B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e54d71aae51db40a92b821d076a7aad70143ef9","datavalue":{"value":{"entity-type":"item","numeric-id":1669043,"id":"Q1669043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2054237$401933BA-59A2-41B8-A9FF-ADFBA400B4D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58b83c634dcce3d52fadcbd0201b3169f6e04560","datavalue":{"value":{"entity-type":"item","numeric-id":2187247,"id":"Q2187247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2054237$EAE8CF75-7A76-41D4-BCA9-2879B20CE3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07c4e642a0424b0f3f2b185185ecb0c31725ecfb","datavalue":{"value":{"entity-type":"item","numeric-id":1954320,"id":"Q1954320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2054237$D420D2A7-D298-4CE7-9526-13DB539B4170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4e8c52f35438d7b4abf01a9681a8cc3357472f","datavalue":{"value":{"entity-type":"item","numeric-id":303905,"id":"Q303905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2054237$19E44EF0-00BD-4DBC-8876-F19B848F90B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd8678e93c1c869c81aa3c8334c779dd81eb4402","datavalue":{"value":{"entity-type":"item","numeric-id":5896744,"id":"Q5896744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2054237$5B9A1875-3DA3-4903-8C2F-1A23F508753E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7445bfa1143d3d36c6f342a5b8e8f3187511bf2d","datavalue":{"value":{"entity-type":"item","numeric-id":4288642,"id":"Q4288642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2054237$88D5F816-C728-46AF-B33D-5E7A3EDB2DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e06b5b7478faf3df62db3965efea44859f7a1ca","datavalue":{"value":{"entity-type":"item","numeric-id":4327004,"id":"Q4327004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2054237$91302389-0079-4B53-A452-9B44E4E56211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81da51a816ea2a313fa4ffa51501644431825573","datavalue":{"value":{"entity-type":"item","numeric-id":1770299,"id":"Q1770299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2054237$F336309D-D437-4585-8C7D-AD7EB70589E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08b1cbc365b1def8c7b85a1baa50c07b97614613","datavalue":{"value":{"entity-type":"item","numeric-id":4256405,"id":"Q4256405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2054237$DFD153D3-71D4-4024-B549-DE8D20063EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eedff972a28776aa99d493db8468cc4e32e44c3","datavalue":{"value":{"entity-type":"item","numeric-id":4354423,"id":"Q4354423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2054237$BC03148F-AA9B-4A1B-8F32-C0DCA0CEAB19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9966a304ed4a1621fd393bb45ade82a22d60340","datavalue":{"value":{"entity-type":"item","numeric-id":2634787,"id":"Q2634787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2054237$F438187C-08F9-4BB2-AA2A-B9813720D1B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ae59f9a4bc93a0324e8eaf9560eb2c3a248b7b0","datavalue":{"value":{"entity-type":"item","numeric-id":1062314,"id":"Q1062314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2054237$0FC1A4E7-D397-49BC-9405-50B4E001C5FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3fba6051fa37235614580b779749f77eed08841","datavalue":{"value":{"entity-type":"item","numeric-id":4023804,"id":"Q4023804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2054237$8F1A593A-F830-4C49-BFEB-31B54325C4FF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"33bae877eb3e1d63f80317b299a932850f5a1446","datavalue":{"value":"10.1016/J.AIM.2021.107999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2054237$A9B1E492-BC08-40C0-AC33-E76DC274A803","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b80078608d6fc3711fb95c0eb3b38cd994326fe","datavalue":{"value":{"entity-type":"item","numeric-id":2187247,"id":"Q2187247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a36dcefe19ce28689a41bc3b5b383e8e7ddae5c1","datavalue":{"value":{"amount":"+0.878534734249115","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":"Q2054237$395781DD-ACDB-4B88-9E20-7DA091C4D486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8360d1c53414b8c728f3a22f0db5e4e3d17def4a","datavalue":{"value":{"entity-type":"item","numeric-id":4256405,"id":"Q4256405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f5285e080352459f3098e3ede628f60f6aade1f","datavalue":{"value":{"amount":"+0.8308119773864746","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":"Q2054237$10C2C472-E882-4ECB-8543-A2DAE3B2B17F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cae97eac220bbc3e290d96772bccbf372ea8a38","datavalue":{"value":{"entity-type":"item","numeric-id":2232708,"id":"Q2232708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be1a9205f71798ff35f7a5847d57a1e13a263cae","datavalue":{"value":{"amount":"+0.7906548976898193","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":"Q2054237$DEB53E0B-6BD5-4738-B1FA-CA4B05313EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"844e356b326a1b58bd622c8705dcfd7beefcc005","datavalue":{"value":{"entity-type":"item","numeric-id":4621388,"id":"Q4621388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e73479140f9d9b65874c60e825ed5b55c00435ce","datavalue":{"value":{"amount":"+0.7891422510147095","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":"Q2054237$5C55A904-E98F-4A72-AF32-306A815C3CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"265d1c107cd22c16bbe788e9ff79443a140cf61f","datavalue":{"value":{"entity-type":"item","numeric-id":2138741,"id":"Q2138741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67ece8732dd8a6ebf3764e790182284a5d556eb0","datavalue":{"value":{"amount":"+0.7578452229499817","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":"Q2054237$F1B3DAED-C928-4160-8A95-F0F409BEB64A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Monochromatic homotopy theory is asymptotically algebraic","badges":[]}}}}}