{"entities":{"Q2447600":{"pageid":2458343,"ns":120,"title":"Item:Q2447600","lastrevid":57921420,"modified":"2026-04-03T02:31:34Z","type":"item","id":"Q2447600","labels":{"en":{"language":"en","value":"Formal formality of the hypercommutative algebras of low dimensional Calabi-Yau varieties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6289332"}},"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":"Q2447600$2421655D-D030-4E44-9F66-71DD7C29513E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c567d1e720a3e8ae9b194073d5e638287716f58b","datavalue":{"value":{"text":"Formal formality of the hypercommutative algebras of low dimensional Calabi-Yau varieties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2447600$95E1D2EA-C426-4975-A83C-BEE5BF71F9D5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"70cec296d065ed453b6edd0653a757c211192104","datavalue":{"value":"1326.14091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2447600$6A22CCE5-EEB3-4B8A-94EA-C3184957A378","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d30cb77d521d70a604f736ad648918a8f3d547c6","datavalue":{"value":{"entity-type":"item","numeric-id":496280,"id":"Q496280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447600$27EA68BF-46A9-45C5-89E8-CAEB0461A163","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"74062a62bcb16497befde51af6dcf546af6addde","datavalue":{"value":{"entity-type":"item","numeric-id":192672,"id":"Q192672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447600$CCFE8761-35FA-4C92-9037-6B8A6A03A627","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1de9349fc47079fcb747f461b3ecf053f7fe4da8","datavalue":{"value":{"time":"+2014-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2447600$98CDC8DD-B449-46FC-A7EC-7523F32FD8A3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c5d72af9da9dd06da2d60d67fc6bba4565d18904","datavalue":{"value":"https://arxiv.org/abs/1201.6111","type":"string"},"datatype":"url"},"type":"statement","id":"Q2447600$C22E5286-9FEB-4597-B4AD-7E8123899635","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7fc03cee3375e4473ff3893ba28fccf4be266f96","datavalue":{"value":"The article under review establishes that the truncation of the homotopy hy\\-per\\-commu\\-ta\\-ti\\-ve algebra structure on the cohomology of a low dimensional Calabi-Yau variety does not lose an information. This is accomplished by the means of the theory of operads.  An arbitrary quadratic presentation of an operad \\(\\mathcal{O}\\) is associated with a Koszul dual co-operad \\(\\mathcal{O}^{i}\\), co-generated by the shifted generators of \\(\\mathcal{O}\\). There is a canonical map of \\({\\mathbb S}\\)-modules \\(\\kappa : \\mathcal{O}^{i} \\rightarrow \\mathcal{O}\\), inducing a map of operads \\(\\kappa ' : \\Omega \\mathcal{O}^{i} \\rightarrow \\mathcal{O}\\) from the image \\(\\Omega \\mathcal{O}^{i}\\) of \\(\\mathcal{O}^{i}\\) under the co-bar functor \\(\\Omega\\). If \\(\\kappa '\\) induces an isomorphism on the homology, \\(\\mathcal{O}\\) is said to have a Koszul presentation, the \\(\\Omega \\mathcal{O}^{i}\\)-algebras are called homotopy \\(\\mathcal{O}\\)-algebras and the elements of \\(\\mathcal{O}^{i}\\), belonging to the kernel of \\(\\kappa ': \\Omega \\mathcal{O}^{i} \\rightarrow \\mathcal{O}\\) are designated as higher homotopy operations.  Let \\(M\\) be a Calabi-Yau variety with non-vanishing holomorphic volume form \\(\\Omega\\), \\(B\\) be the bi-graded complex \\(\\Gamma ( \\bigwedge \\overline{T^*} M \\otimes \\bigwedge TM)\\) with differential \\(d = \\overline{\\partial} \\otimes \\text{id}\\) and \\(H\\) be the cohomology of \\(B\\). The contraction with \\(\\Omega\\) induces an isomorphism of \\(B\\) with the co-chain complex of the complex forms on \\(M\\) with differential \\(\\overline{\\partial}\\). The operator \\(\\partial\\) on \\(\\Omega ^* M\\) gives rise to a \\(\\mathcal{B}\\mathcal{V}\\)-operator \\(\\Delta\\) on \\(B\\) and turns \\(B\\) into a \\(\\mathcal{B}\\mathcal{V}\\)-algebra. The choice of harmonic representatives of the cohomology classes provides a \\({\\mathbb C}\\)-linear embedding \\(i : H \\rightarrow B\\). If \\(e_i\\) is an orthonormal basis of \\(H\\), consisting of harmonic forms and if \\(*\\) is the Hodge star then the map \\(\\pi : B \\rightarrow H\\), \\(\\pi (\\omega) = \\left( \\int _M \\omega \\bigwedge * e_i \\right) [e_i]\\) is a projection with \\(\\pi i = \\text{id} _H\\). Let \\(G\\) be the inverse of the Laplacian on the orthogonal complement of the harmonic forms. Then \\(h := \\overline{\\partial}^* G = G \\overline{\\partial}^* : B \\rightarrow B\\) is shown to be a chain homotopy with \\(dh + hd = \\text{id} _B - i \\pi\\) and \\(hi = h^2 = \\pi h =0\\). The triple \\((i, \\pi, h)\\) is called a linear transfer data of \\(B\\).  If an operad \\(\\mathcal{O}\\) is endowed with a Koszul presentation and \\((i, \\pi, h)\\) is a linear transfer data for \\(B\\) then there is a transferred homotopy \\(\\mathcal{O}\\)-algebra structure on \\(H\\), extending the \\(\\mathcal{O}\\)-algebra structure, induced by \\(B\\). Here \\(i\\) is the first term of a homotopy \\(\\mathcal{O}\\) quasi-isomorphism from \\(H\\) to \\(B\\). Moreover, if \\(\\mathcal{O}\\) has no internal differential then the homotopy \\(\\mathcal{O}\\)-algebra structure on \\(H\\) can be truncated to the strict \\(\\mathcal{O}\\)-algebra structure on \\(H\\) by forgetting all higher homotopy operations and choosing arbitrary representatives of the operations of \\(\\mathcal{O}\\) in \\(\\Omega \\mathcal{O}^{i}\\). A homotopy \\(\\mathcal{B}\\mathcal{V}\\)-structure is strongly trivialized if any generator, containing a vertex decorated by \\(\\Delta\\) acts as zero. A strongly trivialized homotopy \\(\\mathcal{B}\\mathcal{V}\\)-structure on a co-chain complex induces a homotopy \\(\\mathcal{H}y\\)-structure on that complex. A homotopy \\(\\mathcal{H} y\\)-algebra is said to be obviously formal if any generator, containing at least two vertices decorated by the product has zero action. The homotopy \\(\\mathcal{H}y\\)-algebras, isomorphic to some obviously formal one are called formal.  The main result of the paper is the formality of the induced homotopy \\(\\mathcal{H}y\\)-algebra structure on the cohomology \\(H\\) of the \\(\\mathcal{B}\\mathcal{V}\\)-algebra \\(B = \\Gamma ( \\bigwedge \\overline{T^*} M \\otimes \\bigwedge TM)\\) for a low dimensional Calabi-Yau variety \\(M\\). More precisely, the aforementioned statement is shown to hold for \\(\\dim _{\\mathbb C} M = 2\\), \\(3\\) or \\(\\dim _{\\mathbb C} M = 4\\) and \\(h^{i,j} (M) =0\\) for \\(j \\not \\in \\{ i, 4-i \\}\\), \\(h^{0,0} (M) = h^{4,4}(M)=1\\). This follows from the fact that the product is the only non-zero operation with output in bi-degree \\((n,n)\\) for \\(n = \\dim _{\\mathbb C} M\\). On the other hand, any higher homotopy \\(\\mathcal{H}y\\)-operation \\(H^{\\otimes k} \\rightarrow H\\) on a transferred Calabi-Yau \\(\\mathcal{B}\\mathcal{V}\\)-algebra turns to be of bi-degree \\((-l, -k+2)\\) for \\(0 \\leq l \\leq k-2\\), while the \\(\\mathcal{H}y\\)-operations on the strict truncation are of bi-degree \\((-k+2, -k+2)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2447600$18AE5AFA-57BB-4FCF-B9A4-5BF82347B4D0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5887135b7249cf7ceb12c2d20d80b4526626302c","datavalue":{"value":{"entity-type":"item","numeric-id":534690,"id":"Q534690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447600$25A30505-9010-42C0-A745-BA7DA2E58AAB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e02517066c9bd4af629240add7954fd8e11c166f","datavalue":{"value":"14J32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2447600$40C0E004-BDD3-4479-A4A1-F3D0EC1E593B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c71f3ae49cb2a1eeef9914b0fdcd1f33e90aac9c","datavalue":{"value":"18G55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2447600$D0B975D8-EA8C-437C-A6F2-55435B1B6800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"975e306b2e493708715392b7bc75eadbf7291a79","datavalue":{"value":"18D99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2447600$C9FB8011-D94A-4D07-B026-FA9F65715974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb4f5c74d2c79f5b993dbdba7a16e526968f8d7d","datavalue":{"value":"55P50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2447600$EE14ED60-867A-4796-95D7-ECA44214547A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"468fcecb3836ac0076e4b7faa5b1358c25ae96ed","datavalue":{"value":"6289332","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2447600$CD0D17DD-BFCB-4FA4-A2E5-07790873522F","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":"Q2447600$DAFF2EA7-8B1E-4B90-B2B4-39F8BD13F627","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"84bd583673f18dfc5fab455437e3a8b3c13fa607","datavalue":{"value":"W2017588193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2447600$14F3B265-04F5-49C0-B439-24CC267499B1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"96797a8ca6be5fd2bb295d4309f163922acab13e","datavalue":{"value":{"entity-type":"item","numeric-id":4393965,"id":"Q4393965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447600$D25C76E8-BB8E-4304-8F07-4B26C7B481B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76742be367969d822baef840a27e26749c7b2578","datavalue":{"value":{"entity-type":"item","numeric-id":1941768,"id":"Q1941768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447600$1D3A2028-80D9-416D-876F-EC52DE9D2152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6c4ac2cfc984fa6103217fd67f76cf39e330e3a","datavalue":{"value":{"entity-type":"item","numeric-id":5891586,"id":"Q5891586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447600$0156E9BD-E834-48B5-AB36-D093881EB0CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa3688e92ac2e8eb32cbac3de81b2b904663212f","datavalue":{"value":{"entity-type":"item","numeric-id":4858411,"id":"Q4858411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447600$5298E558-417C-4A5F-91F9-30F7B9922007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1626da8a9dab953217767117e9aea428e8fda62","datavalue":{"value":{"entity-type":"item","numeric-id":1315019,"id":"Q1315019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447600$0E926D0A-0C9A-4645-BA4F-B07ED061860A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47986b90011e37c2d3b1c1f13fccf55569962c10","datavalue":{"value":{"entity-type":"item","numeric-id":446424,"id":"Q446424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447600$15D1CF4E-01ED-40AE-8FC2-BF59D0FFF648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"110dce5dc4dcd0beceea1ad7d7e5c815cd953e83","datavalue":{"value":{"entity-type":"item","numeric-id":4195061,"id":"Q4195061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447600$B8790A3B-9B09-42AC-BC26-B62828B17E71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fb5b1bb9e03dc3455a6897d51ec40ef3e339ca3","datavalue":{"value":{"entity-type":"item","numeric-id":4241615,"id":"Q4241615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447600$2B7C9D7E-864A-49A7-8614-BB53A7D2D8FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37a7c7ced03c7c9665fa8d01a6054a29ca7cc52b","datavalue":{"value":{"entity-type":"item","numeric-id":2641435,"id":"Q2641435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447600$B3E66D06-2CEE-446A-B449-D8A36127D51A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3212fac84e7d2ea81dcae5046f943ddd84decaf9","datavalue":{"value":"10.1007/S00220-014-2018-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2447600$88E27DC7-2ED0-43E0-A914-16BE3AC125DC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e6de42f510bf8134a83445bffaf7423397c4450","datavalue":{"value":{"entity-type":"item","numeric-id":2464807,"id":"Q2464807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76e244681e90ebaa8052211152ada73bebdb24f6","datavalue":{"value":{"amount":"+0.7447304725646973","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":"Q2447600$E8BB0CDD-1932-42A7-8360-29626DE67751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a0f104e1d2795860217e4680faa9c8301a450b0","datavalue":{"value":{"entity-type":"item","numeric-id":2212261,"id":"Q2212261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"caefe83490bb81ae27f5f58456a1329d1ddbe43a","datavalue":{"value":{"amount":"+0.7396257519721985","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":"Q2447600$1312EA21-21AD-40FB-8818-072A4745E2C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1caa64218e371fdf548fb424ba5ea5ffb81dd44","datavalue":{"value":{"entity-type":"item","numeric-id":4555387,"id":"Q4555387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d6ed06994dc96cdd622a805a9845909dbe04b49","datavalue":{"value":{"amount":"+0.730631947517395","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":"Q2447600$0D05FD65-1135-4D5B-85B5-D35A90F99870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04a9fdd77c027d3622659918f941985e0744c369","datavalue":{"value":{"entity-type":"item","numeric-id":869841,"id":"Q869841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3202474374d8397b1ccc19948ea22d4ff5b63c5","datavalue":{"value":{"amount":"+0.7276445031166077","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":"Q2447600$35802DF2-08FD-4C64-8AC4-CCE34998ADCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a786b40e163267b63dfb5a2e4b15348756aea30","datavalue":{"value":{"entity-type":"item","numeric-id":943470,"id":"Q943470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36ed2f389e0ab0467e2a9579f63bf6274f64b756","datavalue":{"value":{"amount":"+0.7271785140037537","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":"Q2447600$7C4EFD71-52E9-45FB-B49A-1EE361924111","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2447600","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2447600"}}}}}