Representations of Brauer category and categorification (Q2178552)

\par Let \(K\) be an algebraically closed field of characteristic zero or prime \(p \neq 2\). The authors consider the Brauer diagram category \({\mathcal B}(\delta_0)\) associated to an element \(\delta_0 \in K\) as introduced by \textit{G. Lehrer} and \textit{R. B. Zhang} [J. Eur. Math. Soc. 17, No. 9, 2311--2351 (2015; Zbl 1328.14079)]. The authors follow their previous work [Math. Z. 293, No. 1--2, 503--550 (2019; Zbl 1461.18013)] and consider \({\mathcal B}(\delta_0)\) as a subcategory of an affine Brauer categeory. Associated to \({\mathcal B}(\delta_0)\) is an infinite dimensional but locally unital and locally finite dimensional associative \(K\)-algebra \(\displaystyle B := \bigoplus_{m,n \in {\mathbb N}}\Hom_{{\mathcal B}(\delta_0)}(\mathsf{m},\mathsf{n})\), where \(\mathsf{m}\) is the object of the affine Brauer category associated to the integer \(m\). The algebra \(B\) is shown to be semisimple if and only if the characteristic is zero and \(\delta_0 \not\in {\mathbb Z}1_{K}\). \par \(B\) contains a certain subalgebra \(B^0\) (defined diagrammatically) that may be identified as a direct sum of group algebras \(K{\mathfrak S}_m\) of symmetric groups over all \(m\). The authors define standardization and costandardization functors from the category of locally unital \(B^0\)-modules to locally unital \(B\)-modules, which restrict to maps on the subcategories of locally finite dimensional modules. Using Specht, Young, and simple modules for symmetric groups, the authors define standard and costandard modules associated to regular partitions. With these objects, it is shown that the category of locally finite dimensional \(B\)-modules is an upper finite fully stratified category in general and an upper finite highest weight category in the characteristic zero case, as defined in recent work of \textit{J. Brundan} and \textit{C. Stroppel} [``Semi-infinite highest weight categories,'' Preprint, \url{arXiv:180808022}]. \par The authors also focus on the category \(B\)-mod\(^{\Delta}\) of locally finite dimensional \(B\)-modules that admit a finite filtration whose sections are standard modules. Denote its Grothendieck group by \(K_0(B\text{-mod}^{\Delta})\). Let \(\mathfrak{sl}_K\) denote the complex Lie algebra \(\mathfrak{sl}_{\infty}\) when \(K\) has characteristic zero or \(\hat{\mathfrak{sl}}_p\) in positive characteristic. The authors construct an action of a Lie subalgebra \({\mathfrak g} \subset \mathfrak{sl}_K\) on \({\mathbb C}\otimes_{\mathbb Z} K_0(B\text{-mod}^{\Delta})\), where \({\mathfrak g}\) is all of \(\mathfrak{sl}_K\) when \(\delta_0 \not\in {\mathbb Z}1_{K}\) and is a certain proper subalgebra otherwise. As \({\mathfrak g}\)-modules, they show that \({\mathbb C}\otimes_{\mathbb Z} K_0(B\text{-mod}^{\Delta})\) is isomorphic to the (restriction of the) integrable highest weight \(\mathfrak{sl}_K\)-module with highest weight \(\varpi_d\) for \(d := \frac{\delta_0 - 1}{2}\). The proof makes use of an isomorphism between \(K_0(B\text{-mod}^{\Delta})\) and \(K_0(B\text{-pmod})\), the Grothendieck group of the subcategory of finitely generated projective \(B\)-modules. In the characteristic zero case, when \(\delta_0 \in {\mathbb Z}1_K\) (the non-semisimple case), this highest weight module may be identified with the \(d\)-sector \(\Lambda_d^{\infty}{\mathbb W}\) of the semi-infinite wedge space on the restricted dual \({\mathbb W}\) of the natural \(\mathfrak{sl}_{\infty}\)-module. Further, under this isomorphism, it is shown that the basis of standard modules for \({\mathbb C}\otimes_{\mathbb Z} K_0(B\text{-mod}^{\Delta})\) corresponds to the monomial basis for \(\Lambda_d^{\infty}{\mathbb W}\) and the basis of projective modules for \({\mathbb C}\otimes_{\mathbb Z} K_0(B\text{-mod}^{\Delta})\) corresponds to the quasi-canonical basis for \(\Lambda_d^{\infty}{\mathbb W}\).