Fonarev's conjecture on the mutation Lefschetz basis for Grassmannians

About 2 years old · traced to

Let Gr(k,V){\mathsf{Gr}}(k,V) be a Grassmannian, let Yk,n−kmu\mathrm{Y}^{\mathrm{mu}}_{k,n-k} denote the lexicographically minimal upper-triangular representatives of the cyclic orbits of Young diagrams, let ΣλU∗\Sigma^\lambda\mathcal{U}^* be the corresponding Schur functor of the dual tautological bundle, and let o(λ)o(\lambda) be the length of the cyclic orbit containing λ\lambda. Fonarev's conjecture. The orthogonal Rmu\mathcal{R}^{\rm mu} in the stated semiorthogonal decomposition vanishes; equivalently, ⟨ΣλU∗∣λ∈Yk,n−kmu⟩\langle \Sigma^\lambda\mathcal{U}^*\mid\lambda\in\mathrm{Y}^{\mathrm{mu}}_{k,n-k}\rangle is a Lefschetz basis with support function oo. This conjecture concerns the expected fullness of the mutation construction for Grassmannians; the source records the vanishing as expected, and no resolution is supplied here.

References

Primary source

Anton Fonarev, “Derived Categories of Grassmannians: a Survey”, arXiv:2407.07455 (2024).

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.