Quantum determinant–permanent reciprocity conjecture

Let Singn,qper\operatorname{Sing}_{n,q}^{\mathrm{per}} and Singn,q\operatorname{Sing}_{n,q} be the singular sets for the quantum permanent and quantum determinant, respectively. For λL~ndom\lambda\in{\widetilde{\mathcal{L}}_n}^{\mathrm{dom}}, let λ\lambda' denote the transposed diagram, and let mqλ(α)perm_q^\lambda(\alpha)_{\mathrm{per}} and mqλ(α)m_q^\lambda(\alpha) be the corresponding multiplicities. Quantum determinant–permanent reciprocity conjecture. (1) If α(q)Singn,qper\alpha(q)\in\operatorname{Sing}_{n,q}^{\mathrm{per}}, then α(q1)Singn,q\alpha(q^{-1})\in\operatorname{Sing}_{n,q}. (2) The map

Singn,qperα(q)α(q1)Singn,q\operatorname{Sing}_{n,q}^{\mathrm{per}}\ni\alpha(q)\longmapsto\alpha(q^{-1})\in\operatorname{Sing}_{n,q}

is bijective. (3) For every α(q)Singn,qper\alpha(q)\in\operatorname{Sing}_{n,q}^{\mathrm{per}} and every λL~ndom\lambda\in{\widetilde{\mathcal{L}}_n}^{\mathrm{dom}},

mqλ(α(q))per=mqλ(α(q1)).m_q^\lambda(\alpha(q))_{\mathrm{per}}=m_q^{\lambda'}(\alpha(q^{-1})).

This expresses a mirror symmetry under qq1q\mapsto q^{-1} and transposition of diagrams. The source notes that it is true when q=1q=1, but leaves the general case conjectural.

Sources & referencesView supporting material

Primary source

Kazufumi Kimoto and Masato Wakayama, “Quantum α-determinant cyclic modules of U_q(gl_n)”, arXiv:math/0606123 (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.