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

About 3 years old · traced to

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 s∈Ss\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.

References

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.