Electrical canonical basis conjecture

Let Gd,nG_{d,n} be the degree-dd homogeneous piece of the electrical network coordinate ring, let Cn(d)\mathcal{C}^{(d)}_n index the proposed basis, let EPE_{\mathbf{P}} denote its elements, let LPL_P and LσL_\sigma be grove coordinates, and let Xn\mathcal{X}_n be the space of electrical networks with nonnegative part Xn,0\mathcal{X}_{n,\geq 0}. Let χ\chi generate the cyclic group Z/2nZ\mathbb{Z}/2n\mathbb{Z} acting on Cn(d)\mathcal{C}^{(d)}_n and Xn\mathcal{X}_n. Electrical canonical basis conjecture. The space Gd,nG_{d,n} has an electrical canonical basis EPE_{\mathbf{P}}, PCn(d)\mathbf{P}\in\mathcal{C}^{(d)}_n, such that: for d=1d=1, EP=LPE_P=L_P; the basis elements take nonnegative values on the compactification of Xn,0\mathcal{X}_{n,\geq 0}; every monomial in the grove coordinates LσL_\sigma expands positively in the basis EPE_P; and the cyclic actions preserve Xn,0\mathcal{X}_{n,\geq 0} and satisfy

χ(EP)=Eχ(P).\chi^*(E_{\mathbf{P}})=E_{\chi(\mathbf{P})}.

This conjecture seeks an electrical analogue of Lusztig's dual canonical basis, with positivity and compatibility with cyclic symmetry; the source does not indicate which, if any, of these properties are known.

Sources & referencesView supporting material

Primary source

Yibo Gao, Thomas Lam and Zixuan Xu, “Electrical networks and the Grove algebra”, arXiv:2208.12798 (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.