Generalized negligible morphisms and their tensor ideals

From MaRDI portal
Publication:2065455



Abstract: We introduce a generalization of the notion of a negligible morphism and study the associated tensor ideals and thick ideals. These ideals are defined by considering deformations of a given monoidal category mathcalC over a local ring R. If the maximal ideal of R is generated by a single element, we show that any thick ideal of mathcalC admits an explicitely given modified trace function. As examples we 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 prime characteristic. We prove an elementary geometric description of the thick ideals in quantum type A and propose a similar one in the modular case.


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).



Cites work









This page was built for publication: Generalized negligible morphisms and their tensor ideals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2065455)