Generalized negligible morphisms and their tensor ideals (Q2065455)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Generalized negligible morphisms and their tensor ideals |
scientific article |
Statements
Generalized negligible morphisms and their tensor ideals (English)
0 references
7 January 2022
0 references
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).
0 references
quantum groups
0 references
monoidal categories
0 references
Weyl groups
0 references
tilting modules
0 references
local rings
0 references
Deligne categories
0 references
modified traces
0 references
tensor ideals
0 references
categorial dimensions
0 references
Kazhdan--Lusztig cells
0 references