Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userInterpolations of monoidal categories and algebraic structures by invariant theory
130
0
0.0
(
0
)
Authors
Ehud Meir
Ask ChatGPT about the research
No Arabic abstract
In a previous work by the author it was shown that every finite dimensional algebraic structure over an algebraically closed field of characteristic zero K gives rise to a character $K[X]_{aug}to K$, where $K[X]_aug$ is a commutative Hopf algebra that encodes scalar invariants of structures. This enabled us to think of some characters $K[X]_{aug}to K$ as algebraic structures with closed orbit. In this paper we study structures in general symmetric monoidal categories, and not only in $Vec_K$. We show that every character $chi : K[X]_{aug}to K$ arises from such a structure, by constructing a category $C_{chi}$ that is analogous to the universal construction from TQFT. We then give necessary and sufficient conditions for a given character to arise from a structure in an abelian category with finite dimensional hom-spaces. We call such characters good characters. We show that if $chi$ is good then $C_{chi}$ is abelian and semisimple, and that the set of good characters forms a K-algebra. This gives us a way to interpolate algebraic structures, and also symmetric monoidal categories, in a way that generalizes Delignes categories $Rep(S_t)$, $Rep(GL_t(K))$, $Rep(O_t)$, and also some of the symmetric monoidal categories introduced by Knop. We also explain how one can recover the recent construction of 2 dimensional TQFT of Khovanov, Ostrik, and Kononov, by the methods presented here. We give new examples, of interpolations of the categories $Rep(Aut_{O}(M))$ where $O$ is a discrete valuation ring with a finite residue field, and M is a finite module over it. We also generalize the construction of wreath products with $S_t$, which was introduced by Knop.
rate research
Read More
Bimonoidal categories are categorical analogues of rings without additive inverses. They have been actively studied in category theory, homotopy theory, and algebraic $K$-theory since around 1970. There is an abundance of new applications and questions of bimonoidal categories in mathematics and other sciences. This work provides a unified treatment of bimonoidal and higher ring-like categories, their connection with algebraic $K$-theory and homotopy theory, and applications to quantum groups and topological quantum computation. With ample background material, extensive coverage, detailed presentation of both well-known and new theorems, and a list of open questions, this work is a user friendly resource for beginners and experts alike.
In our recent paper [Sh1] a version of the generalized Deligne conjecture for abelian $n$-fold monoidal categories is proven. For $n=1$ this result says that, given an abelian monoidal $k$-linear category $mathscr{A}$ with unit $e$, $k$ a field of characteristic 0, the dg vector space $mathrm{RHom}_{mathscr{A}}(e,e)$ is the first component of a Leinster 1-monoid in $mathscr{A}lg(k)$ (provided a rather mild condition on the monoidal and the abelian structures in $mathscr{A}$, called homotopy compatibility, is fulfilled). In the present paper, we introduce a new concept of a ${it graded}$ Leinster monoid. We show that the Leinster monoid in $mathscr{A}lg(k)$, constructed by a monoidal $k$-linear abelian category in [Sh1], is graded. We construct a functor, assigning an algebra over the chain operad $C(E_2,k)$, to a graded Leinster 1-monoid in $mathscr{A}lg(k)$, which respects the weak equivalences. Consequently, this paper together with loc.cit. provides a complete proof of the generalized Deligne conjecture for 1-monoidal abelian categories, in the form most accessible for applications to deformation theory (such as Tamarkins proof of the Kontsevich formality).
For a braided fusion category $mathcal{V}$, a $mathcal{V}$-fusion category is a fusion category $mathcal{C}$ equipped with a braided monoidal functor $mathcal{F}:mathcal{V} to Z(mathcal{C})$. Given a fixed $mathcal{V}$-fusion category $(mathcal{C}, mathcal{F})$ and a fixed $G$-graded extension $mathcal{C}subseteq mathcal{D}$ as an ordinary fusion category, we characterize the enrichments $widetilde{mathcal{F}}:mathcal{V} to Z(mathcal{D})$ of $mathcal{D}$ which are compatible with the enrichment of $mathcal{C}$. We show that G-crossed extensions of a braided fusion category $mathcal{C}$ are G-extensions of the canonical enrichment of $mathcal{C}$ over itself. As an application, we parameterize the set of $G$-crossed braidings on a fixed $G$-graded fusion category in terms of certain subcategories of its center, extending Nikshychs classification of the braidings on a fusion category.
Let $U_q(mathfrak{g})$ be a quantum affine algebra of untwisted affine $ADE$ type, and $mathcal{C}_{mathfrak{g}}^0$ the Hernandez-Leclerc category of finite-dimensional $U_q(mathfrak{g})$-modules. For a suitable infinite sequence $widehat{w}_0= cdots s_{i_{-1}}s_{i_0}s_{i_1} cdots$ of simple reflections, we introduce subcategories $mathcal{C}_{mathfrak{g}}^{[a,b]}$ of $mathcal{C}_{mathfrak{g}}^0$ for all $a le b in mathbb{Z}sqcup{ pm infty }$. Associated with a certain chain $mathfrak{C}$ of intervals in $[a,b]$, we construct a real simple commuting family $M(mathfrak{C})$ in $mathcal{C}_{mathfrak{g}}^{[a,b]}$, which consists of Kirillov-Reshetikhin modules. The category $mathcal{C}_{mathfrak{g}}^{[a,b]}$ provides a monoidal categorification of the cluster algebra $K(mathcal{C}_{mathfrak{g}}^{[a,b]})$, whose set of initial cluster variables is $[M(mathfrak{C})]$. In particular, this result gives an affirmative answer to the monoidal categorification conjecture on $mathcal{C}_{mathfrak{g}}^-$ by Hernandez-Leclerc since it is $mathcal{C}_{mathfrak{g}}^{[-infty,0]}$, and is also applicable to $mathcal{C}_{mathfrak{g}}^0$ since it is $mathcal{C}_{mathfrak{g}}^{[-infty,infty]}$.
We classify braided tensor categories over C of exponential growth which are quasisymmetric, i.e., the squared braiding is the identity on the product of any two simple objects. This generalizes the classification results of Deligne on symmetric categories of exponential growth, and of Drinfeld on quasitriangular quasi-Hopf algebras. In particular, we classify braided categories of exponential growth which are unipotent, i.e., those whose only simple object is the unit object. We also classify fiber functors on such categories. Finally, using the Etingof-Kazhdan quantization theory of Poisson algebraic groups, we give a classification of coconnected Hopf algebras, i.e. of unipotent categories of exponential growth with a fiber functor.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
