Rouquier's faithfulness conjecture for the 2-braid-group categorification

Let B(W,S)B_{(W,S)} be the generalized braid group associated with the Coxeter system (W,S)(W,S), and let 22-Br{\mathcal B}r be the monoidal category generated by the Rouquier complexes EsE_s and FsF_s for sSs\in S. Its Picard group, denoted Pic(2\operatorname{Pic}(2-Br){\mathcal B}r), is the group of isomorphism classes of invertible objects under tensor product. Rouquier's faithfulness conjecture.

\operatorname{Pic}(2$-${\mathcal B}r)\cong B_{(W,S)}.

The source attributes this conjecture to Rouquier and notes that the underlying faithfulness statement was later proved for type ADEADE by Brav–Thomas and for all finite types by Jensen; the displayed general identification is therefore presented in a context with substantial known resolution, but its exact status as formulated here is not established by the supplied evidence.

Sources & referencesView supporting material

Primary source

Kie Seng Nge, “From Homological Algebra to Topology via Type B Zigzag Algebra and Heisenberg Algebra”, arXiv:2302.09354 (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.