Highest weight categories arising from Khovanov's diagram algebra IV: the general linear supergroup

Abstract

We prove that blocks of the general linear supergroup are Morita equivalent to a limiting version of Khovanov's diagram algebra. We deduce that blocks of the general linear supergroup are Koszul.

Some examples added at end of introduction, exposition of "weight dictionary" simplified; 44 pages