Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userTrihedral Soergel bimodules
125
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
The quantum Satake correspondence relates dihedral Soergel bimodules to the semisimple quotient of the quantum $mathfrak{sl}_2$ representation category. It also establishes a precise relation between the simple transitive $2$-representations of both monoidal categories, which are indexed by bicolored $mathsf{ADE}$ Dynkin diagrams. Using the quantum Satake correspondence between affine $mathsf{A}_{2}$ Soergel bimodules and the semisimple quotient of the quantum $mathfrak{sl}_3$ representation category, we introduce trihedral Hecke algebras and Soergel bimodules, generalizing dihedral Hecke algebras and Soergel bimodules. These have their own Kazhdan-Lusztig combinatorics, simple transitive $2$-representations corresponding to tricolored generalized $mathsf{ADE}$ Dynkin diagrams.
rate research
Read More
In this paper we show that Soergel bimodules for finite Coxeter types have only finitely many equivalence classes of simple transitive $2$-representations and we complete their classification in all types but $H_{3}$ and $H_{4}$.
We call a von Neumann algebra with finite dimensional center a multifactor. We introduce an invariant of bimodules over $rm II_1$ multifactors that we call modular distortion, and use it to formulate two classification results. We first classify finite depth finite index connected hyperfinite $rm II_1$ multifactor inclusions $Asubset B$ in terms of the standard invariant (a unitary planar algebra), together with the restriction to $A$ of the unique Markov trace on $B$. The latter determines the modular distortion of the associated bimodule. Three crucial ingredients are Popas uniqueness theorem for such inclusions which are also homogeneous, for which the standard invariant is a complete invariant, a generalized version of the Ocneanu Compactness Theorem, and the notion of Morita equivalence for inclusions. Second, we classify fully faithful representations of unitary multifusion categories into bimodules over hyperfinite $rm II_1$ multifactors in terms of the modular distortion. Every possible distortion arises from a representation, and we characterize the proper subset of distortions that arise from connected $rm II_1$ multifactor inclusions.
We discuss the structure of the Motzkin algebra $M_k(D)$ by introducing a sequence of idempotents and the basic construction. We show that $cup_{kgeq 1}M_k(D)$ admits a factor trace if and only if $Din {2cos(pi/n)+1|ngeq 3}cup [3,infty)$ and higher commutants of these factors depend on $D$. Then a family of irreducible bimodules over the factors are constructed. A tensor category with $A_n$ fusion rule is obtained from these bimodules.
We study a presentation of Khovanov - Lauda - Rouquiers candidate $2$-categorification of a quantum group using algebraic rewriting methods. We use a computational approach based on rewriting modulo the isotopy axioms of its pivotal structure to compute a family of linear bases for all the vector spaces of $2$-cells in this $2$-category. We show that these bases correspond to Khovanov and Laudas conjectured generating sets, proving the non-degeneracy of their diagrammatic calculus. This implies that this $2$-category is a categorification of Lusztigs idempotent and integral quantum group $bf{U}_{q}(mathfrak{g})$ associated to a symmetrizable simply-laced Kac-Moody algebra $mathfrak{g}$.
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 $mathcal{C}$ over a local ring $R$. If the maximal ideal of $R$ is generated by a single element, we show that any thick ideal of $mathcal{C}$ 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.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
