{"entities":{"Q852916":{"pageid":854764,"ns":120,"title":"Item:Q852916","lastrevid":57173697,"modified":"2026-03-26T21:54:25Z","type":"item","id":"Q852916","labels":{"en":{"language":"en","value":"Continuous and twisted \\(L_{\\infty}\\) morphisms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5073072"}},"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":"Q852916$4F8796E9-737C-4D5E-B676-B2B851E8C08B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5ab87e4df18a8a536051df4d91feeaf871217cf5","datavalue":{"value":{"text":"Continuous and twisted \\(L_{\\infty}\\) morphisms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q852916$DE87EAB7-E134-4CBC-9F75-1378B130E622","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1eced3204dcff5ff063d8a4b8ab7b02e0134ef43","datavalue":{"value":"1104.53085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q852916$49C775F0-E7A3-4ACD-82BE-F66962F8415E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"46c64f2603022d6bccd88fc7e559982674d1b908","datavalue":{"value":{"entity-type":"item","numeric-id":471681,"id":"Q471681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q852916$E3340511-2C2E-474E-A64A-E6006360DA9A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q852916$4D3A7D56-B92B-45D0-B276-639C4726C3F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2e0e5bf6d0a9be8dc3d53decc24225862e3e6f9c","datavalue":{"value":{"time":"+2006-11-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q852916$224349A5-5303-401D-96DF-1532CEDE4526","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"326d8e47d6c960228d3567067bde8c7531bc0ef7","datavalue":{"value":"https://arxiv.org/abs/math/0502137","type":"string"},"datatype":"url"},"type":"statement","id":"Q852916$C5C7088A-F886-4095-93A7-92E4566A36F8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"22377ac99638df49499e7834df82b027e6f73733","datavalue":{"value":"From the introduction: The purpose of this paper is to develop a suitable notion of continuous \\(L_{\\infty}\\) morphism between DG Lie algebras, and to study twists of such morphisms.   Let \\(K\\) be a field containing \\(\\mathbb{R}\\). Consider two DG Lie algebras associated to the polynomial algebra \\(K[t] := K[t_1, \\dots, t_n]\\). The first is the algebra of poly derivations \\({\\mathcal T}_{\\text{poly}}(K[t])\\), and the second is the algebra of poly differential operators \\({\\mathcal D}_{\\text{poly}} (K[t])\\). A very important result of M. Kontsevich, known as the Formality Theorem, gives an explicit formula for an \\({L}_{\\infty}\\) quasi-isomorphism   \\[ {\\mathcal U} : {\\mathcal T}_{\\text{poly}}(K[t]) \\rightarrow {\\mathcal D}_{\\text{poly}}(K[t]) .  \\]    In Section 1, the author develops the theory of dir-inv modules. A dir-inv structure on a \\(K\\)-module \\(M\\) is a generalization of an adic topology. The category of dir-inv modules and continuous homomorphisms is denoted by DIM\\((K)\\). The concept of dir-inv module, and related complete tensor product \\(\\hat {\\otimes}\\), are quite flexible, and are particulary well-suited for infinitely generated modules. Among other things the author introduces the notion of DG Lie algebra in \\(\\text{DIM}(K) \\).   In section 2, the author discusses some basic properties of poly differential operators expanding results from [\\textit{A. Grothendieck} and \\textit{J. Dieudonn\u00e9}, \u00c9l\u00e9ments de G\u00e9om\u00e9trie Alg\u00e9brique I, Springer, Berlin (1971; Zbl 0203.23301)].   In Section 3 the author reviews the coalgebra approach to \\({L}_{\\infty}\\) morphisms. The notions of continuous, \\(A\\)-multilinear and twisted \\({L}_{\\infty}\\) morphism are defined.   In Section 4 the author uses the Kontsevich formality theorem to obtain the main result of the paper:  Theorem. Let \\(A = \\bigoplus_{i \\geq 0} A^i\\) be a super-commutative associative unital complete DG algebra in DIM\\((K)\\). Consider the induced continuous \\(A\\)-multilinear \\({L}_{\\infty}\\) morphism   \\[  {\\mathcal U}_A: A\\widehat {\\otimes} {\\mathcal T}_{\\text{poly}} (K[[t]]) \\rightarrow A\\widehat {\\otimes} {\\mathcal D}_{\\text{poly}} (K[[t]]) .  \\]   Suppose \\(\\omega \\in A^1 \\widehat {\\otimes} {\\mathcal T}^0_{\\text{poly}} (K[[t]])\\) is a solution of the Maurer-Cartan equation in \\(A \\widehat {\\otimes} {\\mathcal T}_{\\text{poly}} (K[[t]])\\). Define \\(\\omega':= (\\partial^1 {\\mathcal U}_A)(\\omega) \\in A^1 \\widehat {\\otimes} {\\mathcal D}^0_{\\text{poly}} (K[[t]])\\). Then \\(\\omega'\\) is a solution of the Maurer-Cartan equation in \\(A \\widehat {\\otimes} {\\mathcal D}_{\\text{poly}} (K[[t]])\\), and there is continuous \\(A\\)-multilinear \\({L}_{\\infty}\\) quasi-isomorphism   \\[ { \\mathcal U}_{A, \\omega}: ( A \\widehat {\\otimes} {\\mathcal T}_{\\text{poly}}(K[[t]]) )_{\\omega} \\rightarrow ( A \\widehat {\\otimes} {\\mathcal D}_{\\text{poly}}(K[[t]]) )_{\\omega'}  \\]   whose Taylor coefficients are   \\[ (\\partial^j {\\mathcal U}_{A, \\omega})(\\alpha):= \\sum_{k \\geq 0} {1\\over (j+k)!} (\\partial^{j+k} {\\mathcal U}_{A})(\\omega^k \\wedge \\alpha)  \\]   for \\(\\alpha \\in {\\prod^j} (A\\widehat {\\otimes} {\\mathcal T}_{\\text{poly}}(K[[t]]))\\).   In this theorem, the DG Lie algebras \\(A \\widehat\\otimes {\\mathcal T}_{\\text{poly}} (K[[t]])\\) and \\(A \\widehat {\\otimes} {\\mathcal D}_{\\text{poly}} (K[[t]])\\) are the \\(A\\)-multilinear extensions of \\({\\mathcal T}_{\\text{poly}} (K[[t]])\\) and \\({\\mathcal D}_{\\text{poly}} (K[[t]])\\), respectively, and \\(( A \\widehat {\\otimes} {\\mathcal T}_{\\text{poly}}(K[[t]]) )_{\\omega}\\) and \\(( A \\widehat {\\otimes} {\\mathcal D}_{\\text{poly}}(K[[t]]) )_{\\omega'}\\) are their twists. The \\({L}_{\\infty}\\) morphism \\({\\mathcal U}_{A}\\) is the continuous \\(A\\)-multilinear extension of \\({\\mathcal U}\\), and \\({\\mathcal U}_{A, \\omega}\\) is its twist.   This theorem is used by \\textit{A.\\ Yekutieli} [Deformation Quantization in Algebraic Geometry, eprint math.AG/0310399] in which the author studies the deformation quantization of algebraic varieties.","type":"string"},"datatype":"string"},"type":"statement","id":"Q852916$13C6D6EE-9E34-49A2-8B80-3306842A5369","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"fc17499b4ce0931903c2c4ac97c776141c35a53b","datavalue":{"value":{"entity-type":"item","numeric-id":224174,"id":"Q224174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q852916$C75B3478-71F8-4D51-9154-B66DBB22AFC3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"724c61a1488ed4ba258ac352c269be8b8fe7613c","datavalue":{"value":"53D55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q852916$50E04180-CEC6-4A00-B215-82D798988591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"650b9da6bcf0e7a03147ba807e4ebe0a9ef0e4ae","datavalue":{"value":"13D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q852916$A1C7BD7E-0245-45B9-AA3A-394687B68B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c635c2c6434a00b8195e1d45192cc46e8e4949b3","datavalue":{"value":"13N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q852916$603DBB89-C73A-49DF-B1C2-7DD07A968BA9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e2010799b53db8a63ec35d1b2f8d690e41103044","datavalue":{"value":"5073072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q852916$E6AE1BD3-0630-4200-9C4B-EC7E2FB40F11","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1d8bc5e94ddffe0831d0f144085c48286448ef2","datavalue":{"value":"Kontsevich formality theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q852916$68FB8BCA-9951-4DE0-85D9-EC92E53C2E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc82b715f0eb68dc40ee778b94eb2b1994491e10","datavalue":{"value":"\\(L_{\\infty}\\)-morphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q852916$7E8A4D63-6944-4A47-A904-43CD1263E2AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a86d52e21f9430d754b67891a3f92ca45b3ca284","datavalue":{"value":"differential graded Lie algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q852916$193D498B-96AF-402D-A57D-8A34D80E6928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c3db69107f910a3f09d80b52d6e43bb13824e11","datavalue":{"value":"poly differential operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q852916$D194F318-7867-41B0-A973-D389379F4F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9165928ccad03d8282ca72021ce0e033d380617b","datavalue":{"value":"dir-inv module","type":"string"},"datatype":"string"},"type":"statement","id":"Q852916$A899B404-0991-48A8-9920-5E5079F0CFB1","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":"Q852916$0D03FCD7-7B02-45D6-AFC5-69211CD631C2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cc438f812c699d62fe046d4cadd0d5c9c4f1dcb5","datavalue":{"value":"W2037642615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q852916$3CAFD956-6273-456A-8077-B08C7A08BCAB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0706f2b49fd26277b499b4e563c9fd61128e397","datavalue":{"value":{"entity-type":"item","numeric-id":1395930,"id":"Q1395930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q852916$E64E9225-3FE6-4681-811A-86124640701C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c14cff369e9131836bb8270a81abc6f8d73c4f","datavalue":{"value":{"entity-type":"item","numeric-id":2526291,"id":"Q2526291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q852916$6F099A7C-ACD2-41E9-94BB-713AE0F8E898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b142b5a17c8136146c090a5443e6ee63df4b3574","datavalue":{"value":{"entity-type":"item","numeric-id":1875688,"id":"Q1875688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q852916$8AB64CAA-538C-4F3B-A0B6-FAEF3A241F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac86babb7b143b6d8afcdf55c5cfd7708422573a","datavalue":{"value":{"entity-type":"item","numeric-id":4800227,"id":"Q4800227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q852916$28942D3F-0C72-4A7E-990A-B222F21FE543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51160486863f31b7eb1fc6783ad19eec8658ac78","datavalue":{"value":{"entity-type":"item","numeric-id":2480311,"id":"Q2480311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q852916$E6BD94D4-9476-4592-A406-206A31858548","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"67cc10039952e9ce72054b7a47008334d05e1727","datavalue":{"value":"10.1016/J.JPAA.2005.10.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q852916$384107C8-7864-4B95-9B24-B8EBB74BE108","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6b5a1e3316fef921a77ac779952bf66dae09dcd","datavalue":{"value":{"entity-type":"item","numeric-id":941082,"id":"Q941082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b76bcc8881f9f2e2076811be78241c69af676b8","datavalue":{"value":{"amount":"+0.7837734818458557","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":"Q852916$7E38FC9F-8616-4FCC-A16F-8982771BA585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"901a681ccdbaebf2b72a090808abd3f0d8de7246","datavalue":{"value":{"entity-type":"item","numeric-id":1413189,"id":"Q1413189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30939d65d8624961938da7466d61aa06b7e36095","datavalue":{"value":{"amount":"+0.7791863679885864","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":"Q852916$B829B40E-3A91-4772-B447-B88158EBD5D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d24cc8276cee96b36cf817fdc033a1b09faa27a9","datavalue":{"value":{"entity-type":"item","numeric-id":1753322,"id":"Q1753322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16a80c386ebd189a0cb1bca3b4f12aeaa3a03eac","datavalue":{"value":{"amount":"+0.7731011509895325","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":"Q852916$6830825B-693A-41AF-8A38-89E130F1B82F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b66098f19666d5d8724549ce1ab6061d3b8544f7","datavalue":{"value":{"entity-type":"item","numeric-id":2456188,"id":"Q2456188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bc71622d4ea49b7cdc78ffdc1ded65535da3028","datavalue":{"value":{"amount":"+0.7719588279724121","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":"Q852916$F27B87F0-5798-4DC4-A797-E54E57E6E039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"130fcf3cccbeb8c790c5a027aab576b7c86f60e8","datavalue":{"value":{"entity-type":"item","numeric-id":1625469,"id":"Q1625469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"feaee45241709d149dfcb0189b3e1235185b3063","datavalue":{"value":{"amount":"+0.7706603407859802","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":"Q852916$AF97BF8B-3144-4C4B-8B31-025B55A36CFA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:852916","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:852916"}}}}}