Bijection conjecture for the q-Onsager algebra presentation

Let Oq{\cal O}_q be the qq-Onsager algebra and let A~q{δ}\tilde{{\cal A}}_q^{\{\delta\}} be the algebra generated by W0{\cal W}_0 and W1{\cal W}_1. Define

Ψ:OqA~q{δ},Ψ(A)=W0,Ψ(A)=W1.\Psi:{\cal O}_q\longrightarrow\tilde{{\cal A}}_q^{\{\delta\}},\qquad \Psi({\textsf A})={\cal W}_0,\quad \Psi({\textsf A}^*)={\cal W}_1.

Bijection conjecture. The map Ψ\Psi is a bijection.

The map is already known to be a surjective homomorphism, so the conjecture asserts injectivity and hence identifies the two algebras. The supplied text gives no resolution.

Sources & referencesView supporting material

Primary source

Pascal Baseilhac and Samuel Belliard, “An attractive basis for the q-Onsager algebra”, arXiv:1704.02950 (2017).

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.