Equivalence of ribbon twist-braided module categories for inner-equivalent involutions

Let u\mathfrak{u} be a compact semisimple Lie algebra with *-compatible Chevalley generators {er,fr,hrrI}\{e_r,f_r,h_r\mid r\in I\} of g=uC\mathfrak{g}=\mathfrak{u}^{\mathbb{C}}. Let σ\sigma be an involution of u\mathfrak{u}, with fixed-point Lie algebra kσ=uσ\mathfrak{k}_{\sigma}=\mathfrak{u}^{\sigma}; let (X,τ)(X,\tau) be a Satake diagram with associated involution θ=θ(X,τ)\theta=\theta(X,\tau) and kθ=uθ\mathfrak{k}_{\theta}=\mathfrak{u}^{\theta}; and let (Y,μ)(Y,\mu) be a Vogan diagram with associated involution ν=ν(Y,μ)\nu=\nu(Y,\mu) and kν=uν\mathfrak{k}_{\nu}=\mathfrak{u}^{\nu}. Let 0<q<10<q<1 and iR\hbar\in i\mathbb{R} satisfy eπi=qe^{\pi i\hbar}=q. Main conjecture. If σ\sigma, θ\theta, and ν\nu are inner equivalent, then

Rep(kσ)Repqθ(kθ)Repqν(kν)\operatorname{Rep}_{\hbar}(\mathfrak{k}_{\sigma})\cong \operatorname{Rep}_q^{\theta}(\mathfrak{k}_{\theta})\cong \operatorname{Rep}_q^{\nu}(\mathfrak{k}_{\nu})

as twist-braided Repq(u)\operatorname{Rep}_q(\mathfrak{u})-module CC^*-categories. The conjecture asserts that the three ribbon twist-braided Repq(u)\operatorname{Rep}_q(\mathfrak{u})-module CC^*-categories constructed in the paper depend, up to equivalence, only on the inner-equivalence class of the associated involution; the asserted equivalence remains to be established in general.

Sources & referencesView supporting material

Primary source

Kenny De Commer, Sergey Neshveyev, Lars Tuset and Makoto Yamashita, “Ribbon braided module categories, quantum symmetric pairs and Knizhnik-Zamolodchikov equations”, arXiv:1712.08047 (2018).

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.