Category-theoretic and quiver-bundle moduli stack equivalence conjecture

Let XStCX\in\mathrm{St}_{\mathscr{C}} be a stack over C\mathscr{C}, and let II be a simplicial set. Define the category-theoretic moduli stack of quiver bundles by

MVect(X),Icat:=Map(I,MVect(X)).\mathcal{M}_{\mathrm{Vect}(X),I}^{\mathrm{cat}}:=\mathrm{Map}(\underline{I},\mathcal{M}_{\mathrm{Vect}(X)}).

Let MVect(X),I\mathcal{M}_{\mathrm{Vect}(X),I} denote the previously constructed moduli stack of quiver bundles.

Category-theoretic and quiver-bundle moduli stack equivalence conjecture. There is an equivalence of stacks

MVect(X),IcatMVect(X),I\mathcal{M}_{\mathrm{Vect}(X),I}^{\mathrm{cat}}\simeq\mathcal{M}_{\mathrm{Vect}(X),I}

for all II. In fact, this equivalence is a natural equivalence of functors

sSetStCRing,op1.\mathrm{sSet}\longrightarrow\mathrm{St}_{\mathrm{CRing}^{\heartsuit,\mathrm{op}}}^{1}.

This conjecture asserts that the category-theoretic mapping-stack description agrees with the previously constructed moduli stack of quiver bundles, naturally in the simplicial indexing object. The supplied text gives no resolution status.

Sources & referencesView supporting material

Primary source

Mahmud Azam and Steven Rayan, “Moduli stacks of quiver bundles with applications to Higgs bundles”, arXiv:2407.11958 (2025).

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.