The Cox ring surjectivity conjecture for quiver flag varieties

About 17 years old · traced to

Let Mϑ\mathcal{M}_\vartheta be a quiver flag variety, let ∣det⁡‾(W)∣\lvert\underline{\det}(\mathscr{W})\rvert be the toric variety associated with the sequence of determinant line bundles, and let Q′Q' be its quiver. For each θ∈Zρ\theta\in\mathbb{Z}^\rho, let

gθ ⁣:H0((W1′)θ1⊗⋯⊗(Wρ′)θρ)⟶H0(det⁡(W1)θ1⊗⋯⊗det⁡(Wρ)θρ)g_\theta\colon H^0\big((\mathscr{W}'_1)^{\theta_1}\otimes\dots\otimes(\mathscr{W}'_\rho)^{\theta_\rho}\big)\longrightarrow H^0\big(\det(\mathscr{W}_1)^{\theta_1}\otimes\dots\otimes\det(\mathscr{W}_\rho)^{\theta_\rho}\big)

be the map induced by the multigraded Plücker morphism. Cox ring surjectivity conjecture. The homomorphism of Zρ\mathbb{Z}^\rho-graded k\Bbbk-algebras

⨁θ∈Zρgθ ⁣:k[ya:a∈Q1′]⟶Cox⁡(Mϑ)\bigoplus_{\theta\in\mathbb{Z}^\rho}g_\theta\colon \Bbbk[y_a:a\in Q'_1]\longrightarrow \operatorname{Cox}(\mathcal{M}_\vartheta)

is surjective. The maps are known to be surjective in the standard basis degrees, while the conjecture asserts surjectivity in all multidegrees; the source gives no resolution status.

References

Primary source

Alastair Craw, “Quiver flag varieties and multigraded linear series”, arXiv:0907.4659 (2010).

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.