{"entities":{"Q1740378":{"pageid":1751120,"ns":120,"title":"Item:Q1740378","lastrevid":68946075,"modified":"2026-04-13T03:16:55Z","type":"item","id":"Q1740378","labels":{"en":{"language":"en","value":"Lie models for nilpotent spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7049118"}},"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":"Q1740378$064A6D96-8DDD-49BD-8AB5-008BC8C8955D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d1c18afdbe597f95d61b12ea7f507a36efbe06c4","datavalue":{"value":{"text":"Lie models for nilpotent spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1740378$5A7BEC9A-B76F-44B6-A574-6ABE33423D07","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"87d5ffa56b44ed52883b4aadcbd443c8e092b8b7","datavalue":{"value":"1417.55014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1740378$809E711D-C237-46AE-802B-60953F6DD2A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b154f6a31d6d8279fc3012285271a3ae2ef5e87","datavalue":{"value":{"entity-type":"item","numeric-id":270097,"id":"Q270097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1740378$8F917574-6A9A-4BD1-A944-01F7A2EAF04C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c907224202fb9e0af7b626357c8ed4cd184e426","datavalue":{"value":{"entity-type":"item","numeric-id":209694,"id":"Q209694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1740378$86714759-A5F4-4481-A01C-903C52DDE3DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dac765db425a4d83c15c2095215a3ffd0ed7e363","datavalue":{"value":{"entity-type":"item","numeric-id":777240,"id":"Q777240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1740378$9235D174-EE35-4D58-A5E9-27A8413D5813","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ccf4732529e8c1929b9b7c946ba3218942108f00","datavalue":{"value":{"entity-type":"item","numeric-id":167493,"id":"Q167493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1740378$AEFA12DF-AA95-4D3E-9504-E8F44723A77C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e5edd987b9099cb0ed4895432f7b4110add4e8d","datavalue":{"value":{"time":"+2019-04-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1740378$EFCE89EA-993C-469B-A0E3-2A4A7A3DCA70","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"934005d697709863eb19aca9b10b7afc51b6b385","datavalue":{"value":"https://arxiv.org/abs/1706.09194","type":"string"},"datatype":"url"},"type":"statement","id":"Q1740378$51EB9971-F3D1-4CD3-8B9E-11EA861FBC63","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fe4cc452589f9e29f633e8217afcbcf2ab12b977","datavalue":{"value":"Let $X$ be a connected and homotopy nilpotent finite complex. Neisendorfer famously extended Quillen's rational homotopy theory to give a model for the rational homotopy of $X$ in the form of a free dg Lie algebra $(\\mathbb{L}(V), d)$ with $V \\cong s^{-1}H_*(X; \\mathbb{Q})$ [\\textit{J. Neisendorfer}, Pac. J. Math. 74, 429--460 (1978; Zbl 0386.55016)]. A more recent construction was obtained in [\\textit{U. Buijs}, \\textit{Y. F\u00e9lix}, \\textit{A. Murillo} and \\textit{D. Tanr\u00e9}, ``Lie models of simplicial sets and representability of the Quillen functor'', \\url{arXiv:1508.01442}]. \\par Let $W = s^{-1}C_*(X; \\mathbb{Q})$, the de-suspension of the simplicial chain complex. A differential on $\\widehat{\\mathbb{L}}(W)$ is induced by a homotopy transfer diagram. Here $\\widehat{\\mathbb{L}}(W) = \\varprojlim_{n}\\mathbb{L}(W)/ \\mathbb{L}(W)^{ > n}$ is the completion of $\\mathbb{L}(W)$. Writing $\\mathcal{L}_X = (\\widehat{\\mathbb{L}}(W), d)$, the reduced Sullivan model for $X$ is the dg Lie algebra $\\mathcal{L}_X/\\mathcal{L}_*$. \\par In this paper, the authors prove that the Neisendorfer and reduced Sullivan models are quasi-isomorphic. The result is a consequence of the following algebraic result: Given a free dg Lie algebra $(\\mathbb{L}(V), d)$ with $V$ non-negatively graded and of finite type, the inclusion $(\\mathbb{L}(V), d) \\to (\\widehat{L}(V), d)$ is a quasi-isomorphism if and only if $H_*(\\mathbb{L}(V), d)$ is pronilpotent. A Lie algebra $L$ is pronilpotent if $L = \\varprojlim_{p}L/ L^p$ where $L^p = [L, L^{p-1}]$ is the $p$th term in the lower central series for $L$.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1740378$9E8A4014-F4CD-4D63-8D79-C9F82113A46E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9c2f67869d26c9dc70339f9cc33416aff4c4771b","datavalue":{"value":"55P62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1740378$90F1E4D0-5098-4CFD-9D52-9D119AB501E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"95d2338239996b5a652f0958c14ca2334979dba4","datavalue":{"value":"55P60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1740378$E76B192C-E876-4632-9155-8976B81E342C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f5701d50840ddc1d4c58c8ef7660c67b26a6a240","datavalue":{"value":"16W60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1740378$8E0711C3-A214-41BA-AFCB-65BE0123252F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c847f39002c2a3df23b3c0e9fc144ec3f31d767","datavalue":{"value":"7049118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1740378$6E410BB1-1DDC-4AB7-86D1-CEC906439C78","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"defd29fab88b5d9343d74f0a8393589fd6b2a5a6","datavalue":{"value":{"entity-type":"item","numeric-id":195150,"id":"Q195150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1740378$20A82B0B-138C-463E-AB0B-78E0CE400CE9","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":"Q1740378$95BFA83E-BDC2-452D-8C9E-61EFC6276806","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15b87ef63105a0bcc608af1f475d6f5986935006","datavalue":{"value":"W3100274010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1740378$353DF88E-787B-478E-8190-222B06724F86","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7546da43e08a808618ea1e1162d499d14455fb56","datavalue":{"value":{"entity-type":"item","numeric-id":2200039,"id":"Q2200039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1740378$20ADA026-0A9A-4CB9-8559-0B30A64C41C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a382cf6d91a3cce7abc97622ff82ef4fa0c75b7","datavalue":{"value":{"entity-type":"item","numeric-id":1244726,"id":"Q1244726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1740378$1A9D1BF1-E7EA-47B6-A346-FFB934BEA7FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0bbb57903cdc2f1bd7796f7e8b6bc0248fae7d7","datavalue":{"value":{"entity-type":"item","numeric-id":5254919,"id":"Q5254919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1740378$E722E280-30D8-4DCD-9242-1F6EF79C8106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"610177f35586055036aceae0b308dd1fd86e8281","datavalue":{"value":{"entity-type":"item","numeric-id":2389215,"id":"Q2389215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1740378$E3298D77-976E-4C3A-A095-881EA9649D95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc1becee8116ed1ac595ba9cf0d0aa8cc51879fe","datavalue":{"value":{"entity-type":"item","numeric-id":5414341,"id":"Q5414341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1740378$1B61A99C-2E89-4764-B5EA-F1D86DAEB036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d77215cd28889f54dad2c5e66c390e138f00ec6","datavalue":{"value":{"entity-type":"item","numeric-id":4950522,"id":"Q4950522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1740378$4E85C42D-EE16-47B6-9A72-8BAF20CE6729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77ca71089e5f5dec5e563d5ad5c14757d343300e","datavalue":{"value":{"entity-type":"item","numeric-id":1147779,"id":"Q1147779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1740378$D2BABB38-2638-4398-8028-C2C8F2A8CFC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed2e477a93ca96e93f27c074a780e7e878d7b38e","datavalue":{"value":{"entity-type":"item","numeric-id":1249799,"id":"Q1249799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1740378$338E3124-0D43-4A40-817E-14C302B09515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4694734445e6313155272b10e65b43d8a87f1d42","datavalue":{"value":{"entity-type":"item","numeric-id":2538084,"id":"Q2538084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1740378$997B0585-FF0C-4628-A9E6-CEBC9557351A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70f3157a0ada8c9db2c9d89e322ee560cebc6a5d","datavalue":{"value":{"entity-type":"item","numeric-id":650993,"id":"Q650993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1740378$61F79B75-BE7B-44EB-AAC4-D83F90BD7AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9651856a6eecaaf1d220b45fee924ba474c9f41b","datavalue":{"value":{"entity-type":"item","numeric-id":1244919,"id":"Q1244919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1740378$863A5CC1-E1AE-49C2-8308-DE5FA50DEEF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e18d9b96fe76ddd8dd778cf4f1b02c2f793af5aa","datavalue":{"value":{"entity-type":"item","numeric-id":794021,"id":"Q794021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1740378$89BC5141-DD2E-491E-A22B-65B894A6EB10","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0f39b969ac09a6125d768a9a0288cca276534b1e","datavalue":{"value":"Q129808557","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1740378$B0A02373-E9F0-49D9-8D83-78764D80C5D9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"57c7e5e6879fb8582fbecf59838dfb1b31d10f2d","datavalue":{"value":"10.1007/S00229-018-1038-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1740378$388EC856-0D02-48A1-ADAF-3AB31FE0CED9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"767ab104982b48de22a3d09548dba0c79fe39f69","datavalue":{"value":{"entity-type":"item","numeric-id":5957775,"id":"Q5957775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2156408ac7f78674b7ec26bac66d5878cdcc99cf","datavalue":{"value":{"amount":"+0.7615855932235718","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":"Q1740378$5A4E9EB1-2BF7-4B1D-9CD5-9D824BDA5DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39479ddaad966903efd8c922140affb6d41916dd","datavalue":{"value":{"entity-type":"item","numeric-id":1110862,"id":"Q1110862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2156408ac7f78674b7ec26bac66d5878cdcc99cf","datavalue":{"value":{"amount":"+0.7615855932235718","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":"Q1740378$73920A1F-149C-484D-8B7A-91159C3A724B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c36de79bc8bac3044450bb2d26d73a4cad422563","datavalue":{"value":{"entity-type":"item","numeric-id":2457285,"id":"Q2457285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8292b19825671f81b2a251fa485bcce393b7446","datavalue":{"value":{"amount":"+0.760585367679596","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":"Q1740378$148E1EA3-D0A3-4A30-860E-87DA73619583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a6f7f067201a410289d29540904e9986db563fd","datavalue":{"value":{"entity-type":"item","numeric-id":5146707,"id":"Q5146707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d5ed13ed770a6546987a309196c31d8a58c1f6e","datavalue":{"value":{"amount":"+0.7604992985725403","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":"Q1740378$E44799CC-1ECA-499B-A8D0-D3C3EB6F7A2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ddc8975f68062492671ba22b36857cd6f5b4633","datavalue":{"value":{"entity-type":"item","numeric-id":4293579,"id":"Q4293579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b756c8a530c41882ac0e567443b7b7d2f12c258","datavalue":{"value":{"amount":"+0.7594606876373291","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":"Q1740378$2B62BFF7-C972-4570-94B5-0884A44CC57C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lie models for nilpotent spaces","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Lie_models_for_nilpotent_spaces"}}}}}