Highest weight categories arising from Khovanov's diagram algebra. III: Category \(\mathcal O\) (Q2889323)

In this third paper of the series (of four) the authors give a purely algebraic proof for the (known) result that integral blocks of the parabolic category \(\mathcal{O}\) for the Lie algebra \(\mathfrak{gl}_n(\mathbb{C})\) are Morita equivalent to quasi-hereditary covers of generalized Khovanov algebras. The proof exploits the Schur-Weyl duality for higher levels and leads to a concrete combinatorial construction of a \(2\)-Kac-Moody representation in the sense of Rouquier corresponding to level two weights in finite type \(A\). As an application, the authors confirm the Khovanov-Lauda categorification conjecture for level two and construct a special basis for level two Specht modules.NEWLINENEWLINEPart I: Mosc. Math. J. 11, No. 4, 685--722 (2011; Zbl 1275.17012); Part II: Transform. Groups 15, No. 1, 1--45 (2010; Zbl 1205.17010), Part IV: J. Eur. Math. Soc. (JEMS) 14, No. 2, 373--419 (2012; Zbl 1243.17004).