Injective free-Lie-algebra map from canonical forms to graph cohomology

About 5 years old · traced to

Let Ωcan∙\Omega^{\bullet}_{\mathrm{can}} be the graded space of canonical differential forms, let L(Ωcan∙)\mathbb{L}(\Omega^{\bullet}_{\mathrm{can}}) be the free Lie algebra on it, and let Hn(GC2)H^n(\mathcal{GC}_2) denote the degree-nn cohomology of the graph complex. Let ω4k+1\omega^{4k+1}, for k≥1k\geq 1, denote the primitive canonical forms. Graph-cohomology conjecture. There is a non-canonical injective map of graded Lie algebras

L(Ωcan∙)⟶⨁n∈ZHn(GC2)\mathbb{L}(\Omega^{\bullet}_{\mathrm{can}})\longrightarrow\bigoplus_{n\in\mathbb Z}H^n(\mathcal{GC}_2)

whose restriction to the Lie subalgebra generated by the primitive elements maps to the Lie subalgebra of degree-zero cohomology:

L(⨁k≥1ω4k+1 Q)⟶H0(GC2).\mathbb{L}\left(\bigoplus_{k\geq 1}\omega^{4k+1}\,\mathbb Q\right)\longrightarrow H^0(\mathcal{GC}_2).

All other elements map to higher-degree cohomology ⨁n>0Hn(GC2)\bigoplus_{n>0}H^n(\mathcal{GC}_2). The grading on the source is by differential-form degree, while the grading on the target is by edge number alone; the degree and loop-number gradings on the target are to be forgotten. This conjecture proposes a non-canonical Lie-algebraic relationship between canonical differential forms and graph cohomology, motivated by graph-integral calculations and their motivic-period analogues; the source does not report a proof or disproof.

References

Primary source

Francis Brown, “Invariant Differential Forms on Complexes of Graphs and Feynman Integrals”, arXiv:2101.04419 (2021).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.