Functorial braid group action on derived categories of moduli spaces

About 1 year old · traced to

Let XX be the Salvetti complex associated with the discriminantal arrangement, let Θ\Theta be its set of vertices, and let Π1(X,Θ)\Pi_1(X,\Theta) be the fundamental groupoid. For each vertex η∈Θ\eta\in\Theta, let Db(Mη)D^b(\mathfrak{M}_\eta) be the bounded derived category of the corresponding moduli space. For each oriented edge α:η→η′\alpha:\eta\to\eta', let Φα:Db(Mη)→Db(Mη′)\Phi_\alpha:D^b(\mathfrak{M}_\eta)\to D^b(\mathfrak{M}_\eta') be the associated Fourier--Mukai equivalence. Functorial braid group action conjecture. There exists a unique functor

F:Π1(X,Θ)⟶Cat⁡\mathcal F:\Pi_1(X,\Theta)\longrightarrow \operatorname{Cat}

sending each vertex η∈Θ\eta\in\Theta to the object Db(Mη)D^b(\mathfrak{M}_\eta) and each oriented edge α:η→η′\alpha:\eta\to\eta' to the equivalence Φα\Phi_\alpha. This would package the Fourier--Mukai equivalences associated with the oriented edges into a coherent action of the fundamental groupoid, with the codimension--2 relations ensuring compatibility of compositions along homotopic paths.

References

Primary source

Trishan Mondal, “Braid Group Action on D^b(M_η)”, arXiv:2510.15396 (2026).

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.