Six-cycle spanning conjecture for the F4 diagrammatic category

Let \mathpzcF\mathpzc{F} be the diagrammatic category for type F4F_4, with generating object I{\mathsf{I}}. A graph is component-planar if each of its connected components is a planar graph. For m,nNm,n\in\mathbb{N}, consider component-planar graphs from Im{\mathsf{I}}^{\otimes m} to In{\mathsf{I}}^{\otimes n} whose cycles all have length at least six.

Six-cycle spanning conjecture. For m,nNm,n\in\mathbb{N}, these component-planar graphs span

\mathpzcF(Im,In).\mathpzc{F}({\mathsf{I}}^{\otimes m},{\mathsf{I}}^{\otimes n}).

This proposes a restricted spanning family for every hom-space in the diagrammatic category, replacing graphs with shorter cycles by linear combinations of graphs satisfying the six-cycle condition. The source presents this as a conjecture; no resolution is supplied.

Sources & referencesView supporting material

Primary source

Raj Gandhi, Alistair Savage and Kirill Zainoulline, “Diagrammatics for F_4”, arXiv:2107.12464 (2022).

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.