The periplectic Brauer algebra. III: The Deligne category (Q2042296): Difference between revisions

The authors construct a faithful categorical representation of an infinite Temperley-Lieb algebra on the periplectic analogue of Deligne's category (Section 5, page 1006). That is, Theorem 5.1.1. (page 1006) says that there exists a unique faithful representation \(\Xi: \mathrm{TL}_{\infty}(0)\rightarrow \mathrm{End}_{\mathbb{Z}}(\mathsf{Par}_{\mathbb{Z}})\) satisfying two properties, and Theorem 5.1.2 (page 1007) states that the \(\mathbb{Z}\)-module isomorphism \(\Psi: \mathsf{Par}_{\mathbb{Z}}\rightarrow [\mathcal{P}\mathcal{D}]_{\oplus}\) satisfies \([\mathbf{T}_j] \circ \Psi = \Psi \circ \Xi(T_j)\); thus, the functors \(\mathbf{T}_j\) satisfy \([\mathbf{T}_i]^2=0,[\mathbf{T}_i][\mathbf{T}_j]=[\mathbf{T}_j][\mathbf{T}_i]\), and \([\mathbf{T}_{i}][ \mathbf{T}_{i\pm 1}][\mathbf{T}_i]=[\mathbf{T}_i]\), where \(|i-j|>1\). A thick tensor ideal in a Krull-Schmidt monoidal (super)category~\(\mathcal{C}\) is a full subcategory~\(\mathscr{I}\) which is an ideal, \(\textit{i.e.}\), \(X\otimes Y\in \mathscr{I}\) whenever \(X\in \mathscr{I}\) or \(Y\in \mathscr{I}\), and thick, \(\textit{i.e.}\), if \(Z\in \mathscr{I}\) satisfies \(Z\cong X\oplus Y\), then \(X,Y\in\mathscr{I}\). The monoidal supercategory \(\mathcal{C}/\mathscr{I}\) is defined as the quotient category of \(\mathcal{C}\) with respect to all morphisms which factor through objects in \(\mathscr{I}\). One of the main results is Theorem 6.1.3 (page 1014): the set~\(\{\mathscr{I}_k : k\in\mathbb{N}\}\) yields a complete set of thick tensor ideals in~\(\mathcal{P}\mathcal{D}\). The indecomposable objects in~\(\mathscr{I}_k\) are (up to isomorphism) given by \(\{R(\lambda) : \partial^{k}\subseteq\lambda\}\), providing one chain of ideals \(\mathcal{P}\mathcal{D} = \mathscr{I}_0 \supsetneq \mathscr{I}_1 \supsetneq \ldots \supsetneq \mathscr{I}_k \supsetneq \mathscr{I}_{k+1} \supsetneq \ldots\). The authors also classify indecomposable direct summands in the tensor powers of the natural representation, determining which are projective and indicating their simple top. That is, the assignment \(\lambda\mapsto R_{n}(\lambda) = F_n(R(\lambda))\) is a bijection between \(\mathsf{Par}^{\leq n}\) and the set of isomorphism classes of indecomposable summands in \(\bigoplus_{r\in\mathbb{N}}V^{\otimes r}\); the module \(F_n(R_n(\lambda))\) appears as a direct summand in \(V^{\otimes r}\) if \(|\lambda|\in\mathscr{J}^0(r)\) and is projective if and only if \(\lambda\in\mathsf{Par}^n\) (Theorem 6.3.1, page 1016). Furthermore, the subcategory \(\mathfrak{pe}(n)\)-proj is the unique maximal cell in \(s\mathcal{F}_n\); the functor \(F_n\) restricts to an essentially surjective functor \(\mathscr{I}_n\to \mathfrak{pe}(n)\)-proj with Ob-kernel \(\mathscr{I}_{n+1}\), leading to a superfunctor \(\mathscr{I}_n/\mathscr{I}_{n+1}\rightarrow \mathfrak{pe}(n)\)-proj, which is essentially bijective and full (Theorem 6.3.2, page 1017).