The g-vector formula from a single F-polynomial

At least 19 years old · documented by

Fix B0,t0,ℓ,tB^0,t_0,\ell,t such that Fℓ;tB0;t0≠1F_{\ell;t}^{B^0;t_0}\neq1, and write gℓ;tB0;t0=(g1,…,gn)\mathbf{g}_{\ell;t}^{B^0;t_0}=(g_1,\dots,g_n). Let Trop⁡(u1,…,un)\operatorname{Trop}(u_1,\dots,u_n) denote the tropical semifield specialization. Single-F-polynomial g-vector conjecture.

u1g1⋯ungn=Fℓ;tB0;t0∣Trop⁡(u1,…,un)(u1−1,…,un−1)Fℓ;tB0;t0∣Trop⁡(u1,…,un)(∏iuibi10,…,∏iuibin0).u_1^{g_1}\cdots u_n^{g_n}=\frac{F_{\ell;t}^{B^0;t_0}|_{\operatorname{Trop}(u_1,\dots,u_n)}(u_1^{-1},\dots,u_n^{-1})}{F_{\ell;t}^{B^0;t_0}|_{\operatorname{Trop}(u_1,\dots,u_n)}\left(\prod_i u_i^{b^0_{i1}},\dots,\prod_i u_i^{b^0_{in}}\right)}.

The formula would recover the g\mathbf{g}-vector from one FF-polynomial alone. It is proved on the bipartite belt and remains open in general.

References

Primary source

Sergey Fomin and Andrei Zelevinsky, “Cluster algebras IV: Coefficients”, arXiv:math/0602259 (2006).

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.