The Schubert flop derived-equivalence conjecture

Let $Y_{-C}\xleftarrow{\,l_{0,-C}\,}Y_0\xrightarrow{\,l_{0,C}\,}Y_C$ be the Schubert flop diagram for a one-dimensional face $C$ in the remaining case described in the paper. The maps induce the derived functors appearing below. Schubert flop derived-equivalence conjecture. The functor

$$R(l_{0,C})_*\circ l_{0,-C}^*:D^b(Y_{-C})\longrightarrow D^b(Y_C)$$

is a derived equivalence. The paper identifies this as the only remaining invertibility question for the stated $\mathfrak{sl}_3$-flober conditions and plans to address it in future work.