Rigid-object and real-simple-module bijection conjectures

Let ξ\xi be an arbitrary height function and let 2\ell\geq 2. Let QξQ^{\leq \xi}_\ell be the principal quiver, let AξA^{\leq \xi}_\ell be its Jacobian algebra, and let Cξ\mathcal{C}^{\leq \xi}_\ell be the associated cluster category. For (i,r)I^ξI^1ξ(i,r)\in\widehat{I}^{\leq \xi}_\ell\setminus\widehat{I}^{\leq \xi}_{\ell-1}, set fi,r=Yi,rYi,r+2Yi,ξ(i)f_{i,r}=Y_{i,r}Y_{i,r+2}\cdots Y_{i,\xi(i)}. A simple module is real if its tensor square is simple and prime if it is not a tensor product of nontrivial modules. Rigid-object bijection conjectures. (1) There is a bijection between reachable indecomposable rigid objects in Cξ\mathcal{C}^{\leq \xi}_\ell and real prime simple modules in Cξ\mathscr{C}^{\leq \xi}_\ell not of the form L(fi,r)L(f_{i,r}). (2) There is a bijection between reachable rigid objects in Cξ\mathcal{C}^{\leq \xi}_\ell and real simple modules in Cξ\mathscr{C}^{\leq \xi}_\ell having no tensor factors of the form L(fi,r)L(f_{i,r}). These proposed bijections concern the categorification of cluster algebras beyond level one and are not resolved in the source.

Sources & referencesView supporting material

Primary source

Bing Duan and Ralf Schiffler, “Real simple modules over simply-laced quantum affine algebras and categorifications of cluster algebras”, arXiv:2305.08715 (2023).

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.