{"entities":{"Q969620":{"pageid":971468,"ns":120,"title":"Item:Q969620","lastrevid":65824524,"modified":"2026-04-12T05:37:03Z","type":"item","id":"Q969620","labels":{"en":{"language":"en","value":"Computing the first stages of the Bousfield-Kan spectral sequence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5705429"}},"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":"Q969620$2E65F508-2146-4689-B73E-1A7F067094DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"acee527761525c8dac4a90cfff890cb8d5583f08","datavalue":{"value":{"text":"Computing the first stages of the Bousfield-Kan spectral sequence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q969620$95FBE63F-EC91-416D-A630-90914D195E15","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1ce46e485b90f2cb086357edf3855cbec1659ba3","datavalue":{"value":"1215.55008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q969620$8C836973-60B5-4152-8356-30E4C8008F7E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e356d3659f85d1eec4a83a131f875275e1558296","datavalue":{"value":{"entity-type":"item","numeric-id":420742,"id":"Q420742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969620$3B5D2EE7-4BC3-48F6-BC2B-DEBB1A8E8722","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e71b1a810c94176f33b214acd409208085d409e4","datavalue":{"value":{"entity-type":"item","numeric-id":162945,"id":"Q162945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969620$F4F28A4D-A4E5-4F4E-A9E3-8D76A1C61ECA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17e143d5b33c80948b67548d47c63ee6df7c9f0a","datavalue":{"value":{"time":"+2010-05-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q969620$B1FC1638-F394-4CEF-9F09-E3218B5E0B9D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9ec03c17ccacc54eebb40dab9cbe22923eab3396","datavalue":{"value":"The article is devoted to the calculation of the first two stages of the Bousfield-Kan spectral sequence. The Bousfield-Kan spectral sequence presents the Adam spectral sequence in the setting of combinatorial topology and makes it the major tool for computation of homotopy groups. In the article the author makes an attempt to use the effective homotopy method to construct algorithms for computing the Bousfield-Kan spectral sequence. The author develops an effective homology version of the constructor associating to every simplicial set \\(X\\) the free Abelian group \\(RX\\). The constructor is used to obtain the first two levels of the Bousfield-Kan spectral sequence, the ``pages'' \\(E^1\\) and \\(E^2\\). We have to notice that the general algorithm computing the higher levels is still under work. We present some main results.  Theorem 3. Let \\(X\\) be a 1-reduced pointed simplicial set, and \\(E=(E^r,d^r)_{r\\geq1}\\) the associated Bousfield-Kan spectral sequence. Then \\(E^1\\) satisfies  \\[ E^1_{p,q}=0\\quad\\text{if }q<2p+2. \\]  Algorithm I. Input: 1) a 1-reduced pointed simplicial set \\(X\\), 2) an equivalence \\(C_*(X)\\Leftarrow DX_*\\Rightarrow HX_*\\), where \\(HX_*\\) is an effective chain complex. Output: an equivalence \\(\\mu_L:C_*(RX)\\Leftarrow C_*(\\Gamma(\\widetilde{DX_*}))\\Rightarrow C_*(\\Gamma(\\widetilde{HX_*}))\\), where \\(\\widetilde{DX_*},\\widetilde{HX_*}\\) are obtained from \\(DX_*, HX_*\\) respectively, \\(\\widetilde{HX_*}\\) is effective and \\(\\widetilde{HX_0}=\\widetilde{HX_1}=0\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q969620$84ADECB7-28E0-4744-85B0-44CC376AD8CA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d2c49a4a89c9b837acef68a71562a2d78236079e","datavalue":{"value":{"entity-type":"item","numeric-id":714651,"id":"Q714651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969620$72715BBD-1962-4B08-987C-702B727A60D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"63d95ffc2d8213bd1387c20fa12a74c6bbfde13c","datavalue":{"value":"55T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q969620$F1CED67A-1E50-4A2C-AF51-3E1A1F7B7CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3c43a3023df7ca1673f610da59eca083ba2ff49d","datavalue":{"value":"55Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q969620$A8B8D49E-447A-4B44-9B83-B40B39FE416E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q969620$0248309E-20D3-413A-9EB2-4E351040FFBF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d802537ba4c6be6125aa4c1154937f424f5c62e","datavalue":{"value":"5705429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q969620$2EE22027-C6DD-4139-8A85-DBB3D9B2A9B2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2069c534a1099d8f9ba32232b90df30498222ec0","datavalue":{"value":"homology algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q969620$9DEBF8E4-D068-498E-BC5A-A67DCF66E388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c796050899ec3bdf358e173de8182f6279f9569","datavalue":{"value":"constructive algebraic topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q969620$D32AAC8C-1D22-4458-B0BE-C9D0DE15DB58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"053e79b82040425179045ac51b5f8f8f855d8e7c","datavalue":{"value":"Bousfield-Kan spectral sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q969620$CF6E11F5-3906-45FB-BCCC-6E9222AB7A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b2c8f8e8e7053e33366f5755a4b9955593763c","datavalue":{"value":"computation of homotopy groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q969620$9F3562B0-DFD8-4E1B-BC7D-D488E3E40708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e36fd2915ee69146bd208b73e1714d6ba9054ec","datavalue":{"value":"symbolic computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q969620$AF815E6A-10B2-40BC-B0C1-8D5F2B0B3125","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efacd6a40fcceaf80f5658fa8699430affa80235","datavalue":{"value":{"entity-type":"item","numeric-id":17016,"id":"Q17016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969620$E9A251EC-555E-4382-A1C5-627AB46CBBF9","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":"Q969620$3397A850-49D9-4733-BA03-65D347CE4039","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dc8bc4d01d63a619ae3321ee8fab20ce0a5a72b5","datavalue":{"value":"https://doi.org/10.1007/s00200-010-0123-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q969620$F90A2F3B-0033-4A8C-91CD-3E2E817E4E18","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"94ad42e3c076a0ac8ba8488fce7e9c5156ee24b0","datavalue":{"value":"W2050962596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q969620$E6868DE9-4C51-43EA-864A-B41F9619ED3C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2c98085bae47f6fb3f4caf0c2f6fd73b7510f10","datavalue":{"value":{"entity-type":"item","numeric-id":3233698,"id":"Q3233698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969620$466B25E8-C535-4398-A35B-06915EB9BD3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d36105487a7e91d1fea73f6f7ac00589ce50bcbe","datavalue":{"value":{"entity-type":"item","numeric-id":773171,"id":"Q773171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969620$875BBB20-6BBD-4A9B-AD82-D89FA8F35B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14d0142a3d0848c525eae2749a77b1c2abc7a358","datavalue":{"value":{"entity-type":"item","numeric-id":3927892,"id":"Q3927892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969620$6718EE96-1686-4A9A-90AB-0D527822C452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb59eb9944ce8d4d551cb0335492e66377b829d2","datavalue":{"value":{"entity-type":"item","numeric-id":2559986,"id":"Q2559986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969620$B7A57B8F-7D05-4A82-8455-8E4F423715D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f97185721304c2310866828af0b79057053a0406","datavalue":{"value":{"entity-type":"item","numeric-id":5674698,"id":"Q5674698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969620$1D1FA2E4-85CB-494E-B3D6-7B1D3A8B3FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96d2613526bc3591b640b7c7d8b06de43bd86109","datavalue":{"value":{"entity-type":"item","numeric-id":5643279,"id":"Q5643279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969620$4A9E728E-7CA9-487D-B330-914FC8B3E0C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6a4fcdc0c0c73019909bb765662c69f2c1d7cae","datavalue":{"value":{"entity-type":"item","numeric-id":5817990,"id":"Q5817990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969620$187CD745-602B-4CE0-B938-D0369CBAB2E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f597b553f9a534e2ecb70f8bee3892b04e9dd664","datavalue":{"value":{"entity-type":"item","numeric-id":1425410,"id":"Q1425410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969620$7B0798CD-3DDD-470C-83AB-D258FEBF78C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50a8569e46b6ebf9bdf790ad48b6a4dab614e1a9","datavalue":{"value":{"entity-type":"item","numeric-id":5550390,"id":"Q5550390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969620$5F66E178-2EB9-4F34-BDE2-380EAE488F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"917d3aadc3d46f14bb9bbad70ccd4473d23ba1a4","datavalue":{"value":{"entity-type":"item","numeric-id":3697897,"id":"Q3697897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969620$4777562D-2F98-4386-BB64-8F5A480F5174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6c07bcd633dffddcc253506470b6d6b08bc2a1a","datavalue":{"value":{"entity-type":"item","numeric-id":2457386,"id":"Q2457386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969620$8E7AAD96-06D0-432E-9737-D118B3AC0B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a357a3b561ccdc8d7429c7e14c4c790e76d26e0","datavalue":{"value":{"entity-type":"item","numeric-id":1612751,"id":"Q1612751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969620$8FAD8258-134D-4D5D-A00D-658FB7B8A09B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b14f4635038d6567bd8e08dde6a836a9c827f145","datavalue":{"value":"10.1007/S00200-010-0123-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q969620$894BED3F-43FA-43D8-87D5-0AAAE7288202","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"994069875ba739446a25205c21de35a53c3018e7","datavalue":{"value":{"entity-type":"item","numeric-id":1683741,"id":"Q1683741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4538396a90ed12f8354b260e92ed9983836d6bb6","datavalue":{"value":{"amount":"+0.8677676320075989","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":"Q969620$29300E4E-4A80-46AC-B15C-AB9A2D0989F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"599232ba75fe4c8ae7496618ce159f9f12b76577","datavalue":{"value":{"entity-type":"item","numeric-id":2457386,"id":"Q2457386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b433d7d13ebcf5c6eeb685277d798338a20ab8a4","datavalue":{"value":{"amount":"+0.7965293526649475","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":"Q969620$157EBAB0-F7F7-49EC-A8C2-46C73B37ABD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d05bfd6ec222e9a16a4d80d0ba3fef175899cd57","datavalue":{"value":{"entity-type":"item","numeric-id":3419806,"id":"Q3419806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87ab52fe96dc102b113d4fc3418caef342540669","datavalue":{"value":{"amount":"+0.7914284467697144","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":"Q969620$8A668C19-D931-4284-A9F2-4ED946751CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bf90860ba8f5d530abc74d75aace20e2eae512f","datavalue":{"value":{"entity-type":"item","numeric-id":4493432,"id":"Q4493432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8583d311605f85e83d6032df5b03ce6447591f05","datavalue":{"value":{"amount":"+0.780778706073761","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":"Q969620$B5C2B0AE-E8F7-45DE-93FA-D4B357F8E63A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"298b8e4fef1e251b41cab50baf09800217aa8030","datavalue":{"value":{"entity-type":"item","numeric-id":4721240,"id":"Q4721240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c03fad3cca3bb77975f975d66992fa84152468e","datavalue":{"value":{"amount":"+0.7807786464691162","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":"Q969620$7A6BA90D-39AC-48D4-8AE2-7AA2DEAFD49F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computing the first stages of the Bousfield-Kan spectral sequence","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computing_the_first_stages_of_the_Bousfield-Kan_spectral_sequence"}}}}}