Evaluation birepresentations of affine type \(A\) Soergel bimodules (Q6142425): Difference between revisions

Finitary birepresentation theory of finite type Soergel bimodules in characteristic zero has been a topic intensive study [\textit{T. Kildetoft} et al., Trans. Am. Math. Soc. 371, No. 8, 5551--5590 (2019; Zbl 1409.18005); \textit{M. Mackaay} and \textit{V. Mazorchuk}, J. Pure Appl. Algebra 221, No. 3, 565--587 (2017; Zbl 1404.18013); \textit{M. Mackaay} et al., Proc. Lond. Math. Soc. (3) 126, No. 5, 1585--1655 (2023; Zbl 1522.18033); \textit{M. Mackaaij} and \textit{D. Tubbenhauer}, Can. J. Math. 71, No. 6, 1523--1566 (2019; Zbl 1512.20016); \textit{J. Zimmermann}, J. Pure Appl. Algebra 221, No. 3, 666--690 (2017; Zbl 1360.18008)]. This paper initiates the study of a class of finitary and triangulated birepresentations of affine type \(A\) Soergel bimodules. In type \(A\), as is well-known, there are evaluation maps from the affine Hecke algebra to the finite type Hecke algebra, which are homomorphisms of algebras so that any representation of the latter algebra can be pulled back to a representation of the former algebra through such a map. These so-called \textit{evaluation representations} form an important and well-studied class of finite-dimensional representations of affine type \ Hecke algebras [\textit{V. Chari} and \textit{A. Pressley}, Pac. J. Math. 174, No. 2, 295--326 (1996; Zbl 0881.17011); \textit{J. Du} and \textit{Q. Fu}, Algebr. Represent. Theory 19, No. 2, 355--376 (2016; Zbl 1403.20059); \textit{B. Leclerc} et al., Prog. Math. 210, 115--153 (2003; Zbl 1085.17010)]. It has been conjectured that these evaluation maps can be categorified by monoidal \textit{evaluation functors} from affine type \(A\) Soergel bimodules to the homotopy category of bounded complexes in finite type \(A\) Soergel bimodules. This paper defines such functors, using them to categorify the aforementioned evaluation representations in \ the form of triangulated birepresentations, obtained by pulling back the triangulated birepresentations induced by finitary birepresentations of finite type \(A\) Soergel bimodules through these functors. Moreover, in case the original finitary birepresentation is simple transitive, it is shown that the evaluation birepresentation admits a \textit{finitary cover}, i.e., a finitary birepresentation together with an essentially surjective and epimorphic morphism of additive birepresentations from that cover to the evaluation birepresentation, which categorifies the well-known fact that the corresponding evaluation representations are quotients of certain cell representations defined by \textit{J. J. Graham} and \textit{G. I. Lehrer} [Enseign. Math. (2) 44, No. 3--4, 173--218 (1998; Zbl 0964.20002)]. The synopsis of the paper goes as follows. \begin{itemize} \item[\S 2] recalls the basics of extended and non-extended affine Hecke algebras of affine type \(A\), the evaluation maps, the Grothendieck-Lehrer cell modules and the evaluation representations. \item[\S 3] briefly recalls Soergel calculus in finite and affine type \(A\), the latter both in non-extended and the extended version. \item[\S 4] recalls some basic results on Rouquier complexes in finite type \(A\), focusing on a special type of Rouquier complex, which is fundamental for the definition of the evaluation functors in the next section. A mixed diagrammatic calculus for morphisms between products of Bott-Samelson bimodules and these special Rouquier complexes, all in finite type \(A\), is developed. \item[\S 5] defines the evaluation functors by assigning a bounded complex of finite type \(A\) Soergel bimodules to each extended affine type \(A\) Bott-Samelson bimodule and a map between such complexes to each generating extended affine type \(A\) Soergel calculus diagram. The main result of this section is that this assignment is well-defined up to homotopy equivalence. \item[\S 6] introduces the notion of a triangulated birepresentation of an additive bicategory, defining evaluation birepresentations of Soergel bimodules in extened affine type \(A\). It is then established that each evaluation birepresentation has a finitary cover. The simplest non-trivial evaluation birepresentations, which are the ones induced by cell birepresentaion of finite type \(A\) with subregular apex, are investigated. It is shown that these admit a simple transitive finitary cover whose underlying algebra is a signed version of the zigzag algebra of affine type \(A\). \end{itemize}