<p>We study the deformation complex of a canonical morphism <i>i</i> from the properad of (degree shifted) Lie bialgebras <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11005_2025_1917_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="53" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textbf{Lieb}_{c,d}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="bold">Lieb</mi> <mrow> <mi>c</mi> <mo>,</mo> <mi>d</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> to its polydifferential version <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11005_2025_1917_Article_IEq2.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="78" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {D}(\textbf{Lieb}_{c,d})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">D</mi> <mo stretchy="false">(</mo> <msub> <mi mathvariant="bold">Lieb</mi> <mrow> <mi>c</mi> <mo>,</mo> <mi>d</mi> </mrow> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and show that it is quasi-isomorphic to the oriented graph complex <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11005_2025_1917_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="65" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textbf{GC}^{{\text {or}}}_{c+d+1}\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi mathvariant="bold">GC</mi> <mrow> <mi>c</mi> <mo>+</mo> <mi>d</mi> <mo>+</mo> <mn>1</mn> </mrow> <mtext>or</mtext> </msubsup> </math></EquationSource> </InlineEquation>, up to one rescaling class. As the latter complex is quasi-isomorphic to the original graph complex <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11005_2025_1917_Article_IEq4.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="52" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textbf{GC}_{c+d}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="bold">GC</mi> <mrow> <mi>c</mi> <mo>+</mo> <mi>d</mi> </mrow> </msub> </math></EquationSource> </InlineEquation>, we conclude that for <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11005_2025_1917_Article_IEq5.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="68" /> </InlineMediaObject> <EquationSource Format="TEX">\(c+d=2 \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>c</mi> <mo>+</mo> <mi>d</mi> <mo>=</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> the space of homotopy non-trivial infinitesimal deformations of the canonical map <i>i</i> can be identified with the Grothendieck–Teichmüller Lie algebra <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11005_2025_1917_Article_IEq6.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathfrak {grt}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">grt</mi> </math></EquationSource> </InlineEquation>; moreover, every such an infinitesimal deformation extends to a genuine deformation of the canonical morphism <i>i</i> from <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11005_2025_1917_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="53" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textbf{Lieb}_{c,d}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="bold">Lieb</mi> <mrow> <mi>c</mi> <mo>,</mo> <mi>d</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> to <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11005_2025_1917_Article_IEq8.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="78" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {D}(\textbf{Lieb}_{c,d})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">D</mi> <mo stretchy="false">(</mo> <msub> <mi mathvariant="bold">Lieb</mi> <mrow> <mi>c</mi> <mo>,</mo> <mi>d</mi> </mrow> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. The full deformation complex is described with the help of a new graph complex of so called entangled graphs.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Polydifferential Lie bialgebras and graph complexes

  • Vincent Wolff

摘要

We study the deformation complex of a canonical morphism i from the properad of (degree shifted) Lie bialgebras \(\textbf{Lieb}_{c,d}\) Lieb c , d to its polydifferential version \(\mathcal {D}(\textbf{Lieb}_{c,d})\) D ( Lieb c , d ) and show that it is quasi-isomorphic to the oriented graph complex \(\textbf{GC}^{{\text {or}}}_{c+d+1}\) GC c + d + 1 or , up to one rescaling class. As the latter complex is quasi-isomorphic to the original graph complex \(\textbf{GC}_{c+d}\) GC c + d , we conclude that for \(c+d=2 \) c + d = 2 the space of homotopy non-trivial infinitesimal deformations of the canonical map i can be identified with the Grothendieck–Teichmüller Lie algebra \(\mathfrak {grt}\) grt ; moreover, every such an infinitesimal deformation extends to a genuine deformation of the canonical morphism i from \(\textbf{Lieb}_{c,d}\) Lieb c , d to \(\mathcal {D}(\textbf{Lieb}_{c,d})\) D ( Lieb c , d ) . The full deformation complex is described with the help of a new graph complex of so called entangled graphs.