The Cox ring surjectivity conjecture for quiver flag varieties

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 QQ' be its quiver. For each θZρ\theta\in\mathbb{Z}^\rho, let

gθ ⁣:H0((W1)θ1(Wρ)θρ)H0(det(W1)θ1det(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:aQ1]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.

Sources & referencesView supporting material

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.