Conjecture on the commutation relations of the geometric operators

Let (n,k)(n,k) and (n,k)(n',k') be lattice points, and let en,ke_{n,k} and en,ke_{n',k'} be the corresponding geometric operators. Let Δ\Delta_* denote pushforward along the diagonal, let ϕ:\BKKS\phi:\BK\to K_S be the map from the constants, and let the sum range over convex paths vv with the same indexing and coefficients pk,k1,,kt,kn,n1,,nt,n(q1,q2)p^{n,n_1,\ldots,n_t,n'}_{k,k_1,\ldots,k_t,k'}(q_1,q_2) as in the shuffle-algebra commutation relation. The geometric commutation conjecture. For any lattice points (n,k)(n,k) and (n,k)(n',k'),

[en,k,en,k]=Δ(v convex pathϕ(pk,k1,,kt,kn,n1,,nt,n(q1,q2))en1,k1ent,ktΔ).[e_{n,k},e_{n',k'}]=\Delta_*\left(\sum_{v\ \emph{convex path}}\phi\left(p^{n,n_1,\ldots,n_t,n'}_{k,k_1,\ldots,k_t,k'}(q_1,q_2)\right)\cdot e_{n_1,k_1}\cdots e_{n_t,k_t}\Big|_\Delta\right).

This is the geometric analogue of the defining commutation relations of the double shuffle algebra and is intended to identify the geometric operators with its generators. The source states the relation as a conjectural implication and does not provide a proof or resolution.

Sources & referencesView supporting material

Primary source

Andrei Neguţ, “W-algebras associated to surfaces”, arXiv:1710.03217 (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.