{"entities":{"Q1572689":{"pageid":1583429,"ns":120,"title":"Item:Q1572689","lastrevid":43221973,"modified":"2025-07-22T12:48:54Z","type":"item","id":"Q1572689","labels":{"en":{"language":"en","value":"Homological perturbation theory and associativity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1479890"}},"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":"Q1572689$DE892871-E769-45C0-89FB-34CB5845429F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f3e5b74a3baf16c326732870fe7c673602e8fce3","datavalue":{"value":{"text":"Homological perturbation theory and associativity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1572689$CFF640B6-0EB0-437D-88A2-5A22C4628308","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7756230c5e55b244fddc0b899c8364dbce43923d","datavalue":{"value":"0949.18005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1572689$E9D06968-379D-49BE-ACD3-3B33287FA12A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ae344a254c4199b7812b9c288e4cca4aeba9119","datavalue":{"value":{"entity-type":"item","numeric-id":630755,"id":"Q630755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1572689$1FECEA18-37A8-4DAE-93C0-554B79FBB7C6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1e22c5b89240190fc74b760088a55141cf0fb60b","datavalue":{"value":{"entity-type":"item","numeric-id":180135,"id":"Q180135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1572689$BE618458-9A28-48DB-ABC1-1861D09A77AE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"67d9e319cad60c245a9e1f93ecf341f56dd744b7","datavalue":{"value":{"time":"+2000-07-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1572689$4133BFA7-9A98-4823-9E27-E6E785F7BB25","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"43f60624c8ceefd0090b0d3ffd0b523082e8f103","datavalue":{"value":"https://eudml.org/doc/226932","type":"string"},"datatype":"url"},"type":"statement","id":"Q1572689$A4D0B71C-CBCC-4CF1-B470-C9D8AD47F766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"352a80491c1f4f3c796cd8c208da7b941b48e695","datavalue":{"value":"http://www.emis.de/journals/HHA/volumes/2000/volume2-1.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q1572689$DEC1306B-18D0-4859-B099-7A0168D3DA52","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2097df4b62bfda227348f1c78f9f357712e0d6bd","datavalue":{"value":"If \\((M,\\partial)\\) is a chain complex, then a perturbation of this chain complex is a homomorphism \\(\\delta: M\\to M\\) of degree \\(-1\\) so that \\((\\partial + \\delta)^2 = 0\\). If \\(j:M \\to N\\) is an inclusion of chain complexes, a contraction is a morphism of chain complexes \\(s:M \\to N\\) so that \\(js=1_M\\) and \\(sj\\) is chain homotopic to \\(1_N\\) via a chain homotopy \\(\\phi\\). The Basic Perturbation Lemma says that, under a mild hypothesis on \\(\\phi\\delta\\) (``pointwise nilpotent''), the perturbation of \\(M\\) can be extended to one on \\(N\\) in such a way that one gets a new chain map \\(j_\\delta:M \\to N\\) with a new contraction. The basic question here is this: if \\(M\\) actually lies in some category with additional structure -- for example, if \\(M\\) is a differential graded algebra -- then can one formulate and prove a perturbation lemma internal to the category? The difficulty is that the contracting homotopy cannot be an algebra morphism. Previous discussions of this problem include \\textit{V. K. A. M. Gugenheim} and \\textit{L. A. Lambe} [``Perturbation theory in differential homological algebra. I'', Ill. J. Math. 33, No. 4, 556-582 (1989; Zbl 0661.55018)]. In this paper, the author defines a notion of a ``semi-full algebra'' contraction and proves a perturbation lemma for DGAs based on this notion. He then proves that a variety of the classical situations fit his rubric very well.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1572689$746F9B48-49D1-4081-B1F5-1CADFB6EBC2A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e0066bd6b09cdce209fd7d86806c170c5f699ee","datavalue":{"value":"18G99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1572689$25A6DD62-9B3B-4372-B942-8FD2B6FF2F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9e6fea820c5c818781a0e597493c318d6b16eb09","datavalue":{"value":"55U15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1572689$393F73CC-1D83-4FE5-B4BB-F358778E56B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd769afa46598af86731556d0d1502291ae401d1","datavalue":{"value":"18G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1572689$EB65CAD3-2E27-4032-B09D-789B2C6BDB95","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"069784030ebb6f345bd145a1740b6b20f36c7b93","datavalue":{"value":"1479890","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1572689$4CBA5C22-0D24-4A77-BFDA-54453908EF4C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1a0b1646d3b7cc6f542faebf6216b3ec9c323d6","datavalue":{"value":"perturbation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1572689$305DA70F-23EC-4FB7-AFCA-48CE0A4E72F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a1b3b4d763505e2c31b707ca6a024f157ce43d6","datavalue":{"value":"differential graded algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1572689$943EF94B-2695-403B-8AFB-066FC7360F72","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"07c7d1a549384092600f8a8a6584f977483e4f45","datavalue":{"value":{"entity-type":"item","numeric-id":917081,"id":"Q917081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1572689$E9C9C54E-E621-4619-8446-CCB08CB906F7","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":"Q1572689$954222F4-14D1-424B-AE21-EBCEC3C5E2CD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"422b723b8c4a9a69dbee759894c2f9e1e1b396ac","datavalue":{"value":"W1983320296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1572689$FBCACA25-448D-4755-9920-79006744D854","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"078607f94eb8490d1aceac9a3ace84277629be96","datavalue":{"value":"10.4310/HHA.2000.V2.N1.A5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1572689$C32563EC-030B-490E-8D82-1191FBF42973","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11cf391c8dab4a9422b59a66de23933784b91eaf","datavalue":{"value":{"entity-type":"item","numeric-id":5432587,"id":"Q5432587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90ac774071dab7ec05ae08d43280e048c1c0a962","datavalue":{"value":{"amount":"+0.7617423","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1572689$37D38CFD-7E00-4256-9E5B-B6AE171BE652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c3242bb755eccd74c79924a215d249c57ea7e8d","datavalue":{"value":{"entity-type":"item","numeric-id":4227254,"id":"Q4227254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d916c818c2881a395b1ed872b38b0b0e1ee839b","datavalue":{"value":{"amount":"+0.7334164","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1572689$2A1F3F74-3809-4F5B-A5D0-4AC489786494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2a2eb110c23e4474fa7fa04147e46989b5cb03f","datavalue":{"value":{"entity-type":"item","numeric-id":3196998,"id":"Q3196998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b6edd98b559ef26403bc9d923edf440a402e4e6","datavalue":{"value":{"amount":"+0.708048","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1572689$0E2C5898-F2C4-41B8-9F34-A68A9FF2F940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a340df5c47398e2476e4c89023073ab30dff5c38","datavalue":{"value":{"entity-type":"item","numeric-id":3490629,"id":"Q3490629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"323f0ac1e92ef4d90b710f5861a77a824166701a","datavalue":{"value":{"amount":"+0.69477695","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1572689$9EC3F7CC-7B3D-484A-ADEB-F61D2D7F2F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed8a95acf6f020899f3d5adbe80b9404076cc91a","datavalue":{"value":{"entity-type":"item","numeric-id":837031,"id":"Q837031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eee457e29068d757888438296cb2b4412af690ea","datavalue":{"value":{"amount":"+0.6934094","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1572689$EDE95A35-A09F-484E-B021-50A1F96D837B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ebef8c7c82daf8d211156f039f09ad44fd48216","datavalue":{"value":{"entity-type":"item","numeric-id":4693946,"id":"Q4693946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7106fd5f1064c26f713257570b6eaeaf7ed1a936","datavalue":{"value":{"amount":"+0.6923406","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1572689$BE9337F2-9D9F-4DD8-A575-98DB7C3BE344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bda868a3f8d091a3f3e42c138100d9118e289550","datavalue":{"value":{"entity-type":"item","numeric-id":2997017,"id":"Q2997017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a074285e204d4ee1655b6137b47ecc2dc14ebd6","datavalue":{"value":{"amount":"+0.68892515","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1572689$B2903A2D-EC42-4D0D-AE5D-53314AB24FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"197a032f676bd03f630f3a6824996e71f6ae1929","datavalue":{"value":{"entity-type":"item","numeric-id":5224183,"id":"Q5224183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71155d0d2b2197d8a78ab80aebbf1de6e9d904ed","datavalue":{"value":{"amount":"+0.6889171","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1572689$CF2708A7-3A3C-4E0A-B5F3-F71AF5358AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85c939cd58b2dec5a2bbb98fab0a941bffa0ee88","datavalue":{"value":{"entity-type":"item","numeric-id":3508469,"id":"Q3508469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24216011eb9454aeb2720100a847dcb48b2b6fe1","datavalue":{"value":{"amount":"+0.6785611","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1572689$296315AE-789A-403B-A093-45C5F492D2AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14332fdae53ce46e5dfff9243085cb45d812ded3","datavalue":{"value":{"entity-type":"item","numeric-id":756796,"id":"Q756796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fda3833211e9b5bd08e54f4a2180d18e2ad730e3","datavalue":{"value":{"amount":"+0.6731115","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1572689$495BC2CA-BC64-4FDA-B518-A07274D5781B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1572689","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1572689"}}}}}