Generalized negligible morphisms and their tensor ideals (Q2065455)

The authors investigate the structure of tensor ideals in a rigid spherical monoidal category \( \mathcal{C}\) over a field. That is, for any \(X,Y \in \mathcal{C}\), tensor ideals submodules \(\mathcal{I}(X,Y) \subset \textsf{Hom}_{\mathcal{C}}(X,Y)\) are closed under composition and tensor products with morphisms, and thick tensor ideals are subsets of \(\textsf{ob}(\mathcal{C})\) which are closed under tensor products with arbitrary objects of \(\mathcal{C}\) and also closed under retracts. There is also the notion of tensor ideal of negligible morphisms \(\mathcal{N}(X,Y) = \{ f:X \rightarrow Y : \textsf{Tr}(f \circ g) = 0 \mbox{ for all } g:Y \rightarrow X \}\). The authors introduce a generalization of the notion of a negligible morphism (Section 1.2, page 2 and Section 2, page 6). They then study the associated tensor ideals and thick ideals by considering deformations of a given monoidal category \(\mathcal{C}\) over a local ring \(R\). If the maximal ideal of \(R\) is generated by a single element, they show that any thick ideal of \(\mathcal{C}\) admits an explicitly given modified trace function (Theorem 1.2, page 4). As examples, the authors consider various Deligne categories and the categories of tilting modules for a quantum group at a root of unity and for a semisimple, simply connected algebraic group in characteristic \(p\) (Corollary 3.4, page 12). They give a geometric description of the thick ideals in quantum type \(A\), i.e., every thick ideal is a sum of thick ideals attached to Young diagrams \(\lambda\) of size \(n\), which parametrize the two-sided cells of the affine Weyl group (Theorem 9.11, page 34), and propose a similar one for the modular setting (Section 10, page 36).