{"entities":{"Q345178":{"pageid":346945,"ns":120,"title":"Item:Q345178","lastrevid":61126734,"modified":"2026-04-10T21:21:10Z","type":"item","id":"Q345178","labels":{"en":{"language":"en","value":"The Frobenius properad is Koszul"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6656238"}},"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":"Q345178$A045727B-B72D-47AD-8119-B8058C0FFD35","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6c7297e7ce84b8766bea25ee9081a085b823a9f4","datavalue":{"value":{"text":"The Frobenius properad is Koszul","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q345178$2FE0F84A-728E-4E6F-9B50-0DB66739EA20","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8fad706226361062fa9ee513cb6ec30102050a3d","datavalue":{"value":"1360.18014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q345178$D395C4EA-6C24-4034-A7C6-1F328AF36932","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e16561c45190fa664e8caa0789cb05229410475a","datavalue":{"value":"10.1215/00127094-3645116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q345178$6B80E47C-8558-4BA0-A07F-42D3F4144416","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e91e4b00af5633572cf7890a3f912f0f5430b9ee","datavalue":{"value":{"entity-type":"item","numeric-id":290409,"id":"Q290409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q345178$2D6BED29-7F10-4889-B14C-5B7B2E4D668E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"384490defade0052c41dcbdf64e8bdde494b1b04","datavalue":{"value":{"entity-type":"item","numeric-id":290410,"id":"Q290410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q345178$3B72A3A9-F022-44F3-99A6-720DA74CDC23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5526b8d6689909089e881dc34b9b561564bba241","datavalue":{"value":{"entity-type":"item","numeric-id":242505,"id":"Q242505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q345178$F7A602F2-A8A4-497E-BF35-C8B9397A8CC8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e8d78105b574d85114159aeeb77fd1baaa47af9d","datavalue":{"value":{"entity-type":"item","numeric-id":247488,"id":"Q247488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q345178$88894C0E-E849-4156-BBEC-87D3EF7AF26E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"129625f125682240bce518487d39c7a8728442cb","datavalue":{"value":{"time":"+2016-11-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":"Q345178$52184457-6B72-425B-B6D8-4C4D712EFAC4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"84c3db3c2893fb50f9d585e9cbf0984af92801b0","datavalue":{"value":"https://arxiv.org/abs/1402.4048","type":"string"},"datatype":"url"},"type":"statement","id":"Q345178$8C2B446A-CBAE-4A18-9E0D-FE5E66A0866D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"8f7e520fe9e2ac6493c8d71f393ed82d9e220b9e","datavalue":{"value":"https://projecteuclid.org/euclid.dmj/1474296715","type":"string"},"datatype":"url"},"type":"statement","id":"Q345178$DA82B2FC-3262-473F-9F18-E36479BA4CCC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"fc3ddfef425c3cc8c6d5f59b7580a5d4148ae950","datavalue":{"value":{"entity-type":"item","numeric-id":332173,"id":"Q332173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q345178$B34E3461-E9DB-4BD2-8266-97B8FD38C66E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e9ca7ce31d5d58dbe274220a6e1fb57992f4db59","datavalue":{"value":"18D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q345178$4BBE938A-2304-4608-A302-495C78C12476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0cbcae89e7543f946aca4e773f03e32ef3827d97","datavalue":{"value":"17B62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q345178$2897BCFA-B83C-4CA3-8F0D-AE4A7DBE7C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb4f5c74d2c79f5b993dbdba7a16e526968f8d7d","datavalue":{"value":"55P50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q345178$37319AD6-92F0-43E4-A7E4-D93FEC864DB9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0228e294173d4a407c6134a5f1bedda76b8e13dd","datavalue":{"value":"6656238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q345178$37C9E44E-E132-464D-B9E2-A2AC5690B0D9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"022946c18ea2dcf66c0ddda88bf84572b687a4a0","datavalue":{"value":"involutive Lie bialgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q345178$7A405B16-5935-41BF-935C-6EEDC9EDDCD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b65c5a8f29315de3cbadab7f639f740a6610ea7","datavalue":{"value":"Frobenius algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q345178$684372CC-E9C3-4B56-A752-6E4CADC65A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f56da5a71da3867509a9547159765b8544b753c4","datavalue":{"value":"propoerads","type":"string"},"datatype":"string"},"type":"statement","id":"Q345178$00EDF24B-FBD4-4CCB-9913-DA64EFE7BE99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfcf0bdf35faf92c3d18b7bcf0e6bd440f5160fb","datavalue":{"value":"string topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q345178$540E6E74-1F74-4566-8CFC-DBC8ECE41B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c85fa076ab4d4679c25899b0b971224f4616331d","datavalue":{"value":"Grothendieck-Teichm\u00fcller group","type":"string"},"datatype":"string"},"type":"statement","id":"Q345178$7DA9EA4C-15F8-4365-A37C-7FBCBA7A03ED","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":"Q345178$1030A9C3-A10D-4133-8FB1-A7580C71084C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fc5faab927db69a342236b9a1eafb15822226280","datavalue":{"value":"W125424808","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q345178$3448F3D2-BC41-4526-8C30-9DFD843AAA5B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"12432b8a8a5ab3d9bbc9fd84f39a149e77579c22","datavalue":{"value":"\\textit{B. Vallette} [Trans. Am. Math. Soc. 359, No. 10, 4865--4943 (2007; Zbl 1140.18006)] and \\textit{M. Markl} and \\textit{A. A. Voronov} [Prog. Math. 270, 249--281 (2009; Zbl 1208.18008)] independently proved that the properad of Lie bialgebra is Koszul. The Koszulness of the properad of involutive Lie bialgebra, conjectured by the authors of this paper in 2009, is here proved. By Koszul duality, this implies that the properad of (nonunital) Frobenius algebras is also Koszul; extra work gives the Koszulness of the properad of unital-counital Frobenius algebras.NEWLINENEWLINEIt is proved that the Grothendieck-Teichm\u00fcller group \\(\\mathrm{GRT}_1\\) acts, in a nontrivial way, over minimal models of the properads of involutive Lie bialgebras/Frobenius algebras, and hence and homotopy involutive Lie bialgebras/Frobenius structures of a given vector space; this gives a large class of deformations of involutive Lie bialgebras.NEWLINENEWLINEFinally, for a given homotopy involutive Lie bialgebra, a homotopy Batalin-Vilkovisky algebra structure is built on the associated Chevalley-Eilenberg complex.","type":"string"},"datatype":"string"},"type":"statement","id":"Q345178$5538CB7A-6C42-455E-A7FD-EA37830662E7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f56ecd85410e2673ba2878b35cecf127bd759c33","datavalue":{"value":{"entity-type":"item","numeric-id":5224936,"id":"Q5224936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7970a70f5ed0970e3ba14cda60a5b5d49d208954","datavalue":{"value":{"amount":"+0.8252931237220764","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":"Q345178$D945412E-499D-41A1-8BE0-0FF15747E1AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca96529823cdc21692efb244c1c00a6a7601faf7","datavalue":{"value":{"entity-type":"item","numeric-id":3645143,"id":"Q3645143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79b28c5a2f50b948c1dd7c89cd59a9514f8beb5f","datavalue":{"value":{"amount":"+0.7803007960319519","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":"Q345178$6E1BFD5C-D449-4EA8-A40B-D3B7EE2C3294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"787f7e8f4f12029550fbfb6d50d7767f8645467a","datavalue":{"value":{"entity-type":"item","numeric-id":3404364,"id":"Q3404364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c04638c36255af4236be18bdba6fa443ec18a28","datavalue":{"value":{"amount":"+0.7729009389877319","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":"Q345178$F5BF0A4D-5395-4286-8F2F-A049AB2C601A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70f217076f7481777d0b1be4ac5da97f454ab0f8","datavalue":{"value":{"entity-type":"item","numeric-id":2114538,"id":"Q2114538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4eceb0ccdb798f586f511e925c40432361bc0a2","datavalue":{"value":{"amount":"+0.7589209079742432","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":"Q345178$ECAC1BA2-4B5D-46E7-B1F4-0589C9433C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fb3c432085e325f59964803fa2809787ec10f19","datavalue":{"value":{"entity-type":"item","numeric-id":5006243,"id":"Q5006243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2439d8fd3ddeb762e47eca925009ff46b4f9ff9","datavalue":{"value":{"amount":"+0.7349255084991455","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":"Q345178$80244A94-6290-4D9D-869B-72B48BA91E10","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Frobenius properad is Koszul","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Frobenius_properad_is_Koszul"}}}}}