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
    0 references
    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
    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
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references