<p>We compute the weight 2 cohomology of the Feynman transforms of the cyclic (co)operads <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="29_2025_1018_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textsf{BV}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="sans-serif">BV</mi> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="29_2025_1018_Article_IEq2.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="52" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textsf{HyCom}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="sans-serif">HyCom</mi> </math></EquationSource> </InlineEquation>, and the top<InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="29_2025_1018_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\(-2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>-</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> weight cohomology of the Feynman transforms of <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="29_2025_1018_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="38" /> </InlineMediaObject> <EquationSource Format="TEX">\(D\textsf{BV}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>D</mi> <mi mathvariant="sans-serif">BV</mi> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="29_2025_1018_Article_IEq5.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="33" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textsf{Grav}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="sans-serif">Grav</mi> </math></EquationSource> </InlineEquation>. Using a result of Giansiracusa, we compute, in particular, the top<InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="29_2025_1018_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\(-2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>-</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> weight cohomology of the handlebody group. We compare the result to the top<InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="29_2025_1018_Article_IEq7.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\(-2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>-</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> weight cohomology of the moduli space of curves <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="29_2025_1018_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {M}_{g,n}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">M</mi> <mrow> <mi>g</mi> <mo>,</mo> <mi>n</mi> </mrow> </msub> </math></EquationSource> </InlineEquation>, recently computed by Payne and the last-named author. We also provide another proof of a recent result of Hainaut–Petersen identifying the top weight cohomology of the handlebody group with the Kontsevich graph cohomology.</p>

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

Weight 2 cohomology of graph complexes of cyclic operads and the handlebody group

  • Michael Borinsky,
  • Benjamin Brück,
  • Thomas Willwacher

摘要

We compute the weight 2 cohomology of the Feynman transforms of the cyclic (co)operads \(\textsf{BV}\) BV and \(\textsf{HyCom}\) HyCom , and the top \(-2\) - 2 weight cohomology of the Feynman transforms of \(D\textsf{BV}\) D BV and \(\textsf{Grav}\) Grav . Using a result of Giansiracusa, we compute, in particular, the top \(-2\) - 2 weight cohomology of the handlebody group. We compare the result to the top \(-2\) - 2 weight cohomology of the moduli space of curves \(\mathcal {M}_{g,n}\) M g , n , recently computed by Payne and the last-named author. We also provide another proof of a recent result of Hainaut–Petersen identifying the top weight cohomology of the handlebody group with the Kontsevich graph cohomology.