Effective linearization conjecture for configurations of linear subspaces

Let VV be an nn-dimensional complex vector space, let X=i=1mGr(ki,V)X=\prod_{i=1}^m \operatorname{Gr}(k_i,V), and let G=SL(V)G=\operatorname{SL}(V) act on XX. For a weight vector ω=(ω1,,ωm){\bf \omega}=(\omega_1,\ldots,\omega_m), let LωL_{\bf \omega} be the corresponding linearized ample line bundle, and write Xss(Lω)X^{ss}(L_{\bf \omega}) and Xs(Lω)X^s(L_{\bf \omega}) for its semistable and stable loci. Assume that GG acts freely on a generic configuration of linear subspaces, as above, possibly subject to additional natural conditions.

Effective linearization conjecture.

Xss(Lω)X^{ss}(L_{\bf \omega}) \ne \emptyset

if and only if

ωi1nikiωi\omega_i\leq {1\over n}\sum_i k_i\omega_i

for every 1im1\leq i\leq m, equivalently

maxiωi1nikiωi.\max_i\omega_i\leq {1\over n}\sum_i k_i\omega_i.

Moreover,

Xs(Lω)X^s(L_{\bf \omega}) \ne \emptyset

if and only if

ωi<1nikiωi\omega_i<{1\over n}\sum_i k_i\omega_i

for every 1im1\leq i\leq m, equivalently

maxiωi<1nikiωi.\max_i\omega_i<{1\over n}\sum_i k_i\omega_i.

The necessary parts of both assertions are proved in the paper; the sufficiency under the stated hypotheses remains conjectural. The criterion is intended to characterize the effective ample linearizations and the corresponding nonempty semistable and stable loci.

Sources & referencesView supporting material

Primary source

Yi Hu, “Stable Configurations of Linear Subspaces and Quotient Coherent Sheaves”, arXiv:math/0401260 (2004).

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.