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

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 k1k\geq 1, denote the primitive canonical forms. Graph-cohomology conjecture. There is a non-canonical injective map of graded Lie algebras

L(Ωcan)nZHn(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(k1ω4k+1Q)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.

Sources & referencesView supporting material

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.