Free-generation conjecture for the closed-diagram endomorphism algebra

Let II be the vertex set of the Dynkin diagram. For iIi\in I and kNk\in\mathbb{N}, let ckic_k^i be a clockwise circle labeled ii containing exactly kk hollow dots, and let ckc_k be a clockwise circle containing one solid dot and kk hollow dots; the label of ckc_k is irrelevant. Let EndHΓ(id)\operatorname{End}_{\mathcal{H}^\Gamma}(\mathrm{id}) be the algebra of closed diagrams acting as endomorphisms of the identity 1-morphism. Free-generation conjecture. The algebra EndHΓ(id)\operatorname{End}_{\mathcal{H}^\Gamma}(\mathrm{id}) is isomorphic to the symmetric algebra freely generated by

ckik0,iIandckk0.\\{c_k^i\\}_{k\geq 0,\,i\in I}\quad\text{and}\quad\\{c_k\\}_{k\geq 0}.

This conjecture would give an explicit polynomial description of the closed-diagram algebra and, together with the preceding factorization conjecture, reduce the endomorphism problem for PinP_i^n to these circle generators. The source gives no evidence of a resolution.

Sources & referencesView supporting material

Primary source

Sabin Cautis and Anthony Licata, “Heisenberg categorification and Hilbert schemes”, arXiv:1009.5147 (2011).

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.