Effective linearization conjecture for configurations of linear subspaces

At least 21 years old · documented by

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

ωi≤1n∑ikiωi\omega_i\leq {1\over n}\sum_i k_i\omega_i

for every 1≤i≤m1\leq i\leq m, equivalently

max⁡iωi≤1n∑ikiω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<1n∑ikiωi\omega_i<{1\over n}\sum_i k_i\omega_i

for every 1≤i≤m1\leq i\leq m, equivalently

max⁡iωi<1n∑ikiω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.

References

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.