Rigid-object and real-simple-module bijection conjectures

About 3 years old · traced to

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+2⋯Yi,ξ(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.

References

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.