Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userCosimplicial monoids and deformation theory of tensor categories
114
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
We introduce a notion of $n$-commutativity ($0le nle infty$) for cosimplicial monoids in a symmetric monoidal category ${bf V}$, where $n=0$ corresponds to just cosimplicial monoids in ${bf V,}$ while $n=infty$ corresponds to commutative cosimplicial monoids. If ${bf V}$ has a monoidal model structure we show (under some mild technical conditions) that the total object of an $n$-cosimplicial monoid has a natural $E_{n+1}$-algebra structure. Our main applications are to the deformation theory of tensor categories and tensor functors. We show that the deformation complex of a tensor functor is a total complex of a $1$-commutative cosimplicial monoid and, hence, has an $E_2$-algebra structure similar to the $E_2$-structure on Hochschild complex of an associative algebra provided by Delignes conjecture. We further demonstrate that the deformation complex of a tensor category is the total complex of a $2$-commutative cosimplicial monoid and, therefore, is naturally an $E_3$-algebra. We make these structures very explicit through a language of Delannoy paths and their noncommutative liftings. We investigate how these structures manifest themselves in concrete examples.
rate research
Read More
It is well-known that the pre-2-category $mathscr{C}at_mathrm{dg}^mathrm{coh}(k)$ of small dg categories over a field $k$, with 1-morphisms defined as dg functors, and with 2-morphisms defined as the complexes of coherent natural transformations, fails to be a strict 2-category. In [T2], D.Tamarkin constructed a contractible 2-operad in the sense of M.Batanin [Ba3], acting on $mathscr{C}at_mathrm{dg}^mathrm{coh}(k)$. According to Batanin loc.cit., it is a possible way to define a weak 2-category. In this paper, we provide a construction of {it another} contractible 2-operad $mathcal{O}$, acting on $mathscr{C}at_mathrm{dg}^mathrm{coh}(k)$. Our main tool is the {it twisted tensor product} of small dg categories, introduced in [Sh3]. We establish a one-side associativity for the twisted tensor product, making $(mathscr{C}at_mathrm{dg}^mathrm{coh}(k),overset{sim}{otimes})$ a skew monoidal category in the sense of [LS], and construct a {it twisted composition} $mathscr{C}oh_mathrm{dg}(D,E)overset{sim}{otimes}mathscr{C}oh_mathrm{dg}(C,D)tomathscr{C}oh_mathrm{dg}(C,E)$, and prove some compatibility between these two structures. Taken together, the two structures give rise to a 2-operad $mathcal{O}$, acting on $mathscr{C}at_mathrm{dg}^mathrm{coh}(k)$. Its contractibility is a consequence of a general result of [Sh3].
This paper addresses the problem of describing the structure of tensor C*-categories M with conjugates and irreducible tensor unit. No assumption on the existence of a braided symmetry or on amenability is made. Our assumptions are motivated by the remark that these categories often contain non-full tensor C*-subcategories with conjugates and the same objects admitting an embedding into the Hilbert spaces. Such an embedding defines a compact quantum group by Woronowicz duality. An important example is the Temperley--Lieb category canonically contained in a tensor C*-category generated by a single real or pseudoreal object of dimension bigger than 2. The associated quantum groups are the universal orthogonal quantum groups of Wang and Van Daele. Our main result asserts that there is a full and faithful tensor functor from M to a category of Hilbert bimodule representations of the compact quantum group. In the classical case, these bimodule representations reduce to the G-equivariant Hermitian bundles over compact homogeneous G-spaces, with G a compact group. Our structural results shed light on the problem of whether there is an embedding functor of M into the Hilbert spaces. We show that this is related to the problem of whether a classical compact Lie group can act ergodically on a non-type I von Neumann algebra. In particular, combining this with a result of Wassermann shows that an embedding exists if M is generated by a pseudoreal object of dimension 2.
Restriction categories were established to handle maps that are partially defined with respect to composition. Tensor topology realises that monoidal categories have an intrinsic notion of space, and deals with objects and maps that are partially defined with respect to this spatial structure. We introduce a construction that turns a firm monoidal category into a restriction category and axiomatise the monoidal restriction categories that arise this way, called tensor-restriction categories.
We present an algorithm for approximating linear categories of partitions (of sets). We report on concrete computer experiments based on this algorithm which we used to obtain first examples of so-called non-easy linear categories of partitions. All of the examples that we constructed are proven to be indeed new and non-easy. We interpret some of the new categories in terms of quantum group anticommutative twists.
It is shown that the endomorphism monoids of the category $2mathfrak{Cob}$ of all $2$-cobordisms do not have finitely axiomatizable equational theories. The same holds for the {topological annular category} and various quotients of the latter, like the affine Temperley--Lieb category. Analogous results are obtained f
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
