Related papers: A categorification of a quantum Frobenius map

The algorithm of computing generalized Green functions of a finite reductive group contains some unkonwn scalars occuring from the F_q structure of irreducible local systems on unipotent classes on G. In this paper, we determine such…

A unitary fusion category is called $\mathbb{Z}/2\mathbb{Z}$-quadratic if it has a $\mathbb{Z}/2\mathbb{Z}$ group of invertible objects and one other orbit of simple objects under the action of this group. We give a complete classification…

For an arbitrary simple Lie algebra $\g$ and an arbitrary root of unity $q,$ the closed subsets of the Weyl alcove of the quantum group $U_q(\g)$ are classified. Here a closed subset is a set such that if any two weights in the Weyl alcove…

A fragment of second-order lambda calculus (System F) is defined that characterizes the elementary recursive functions. Type quantification is restricted to be non-interleaved and stratified, i.e., the types are assigned levels, and a…

We will construct the Lusztig form for the quantum loop algebra of $\mathfrak{gl}_n$ by proving the conjecture \cite[3.8.6]{DDF} and establish partially the Schur--Weyl duality at the integral level in this case. We will also investigate…

For systems described by finite matrices, an affine form is developed for the maps that describe evolution of density matrices for a quantum system that interacts with another. This is established directly from the Heisenberg picture. It…

We give a diagrammatic presentation of the category of $\textbf{U}_q(\mathfrak{sl}_2)$-tilting modules $\mathfrak{T}$ for $q$ being a root of unity and introduce a grading on $\mathfrak{T}$. This grading is a "root of unity phenomenon" and…

Quantum mechanics in Hilbert spaces of finite dimension $N$ is reviewed from the number theoretic point of view. For composite numbers $N$ possible quantum kinematics are classified on the basis of Mackey's Imprimitivity Theorem for finite…

We construct log-modular quantum groups at even order roots of unity, both as finite-dimensional ribbon quasi-Hopf algebras and as finite ribbon tensor categories, via a de-equivariantization procedure. The existence of such quantum groups…

We construct 2-functors from a 2-category categorifying quantum sl(n) to 2-categories categorifying the irreducible representation of highest weight $ 2 \omega_k. $

Bernstein, Frenkel, and Khovanov have constructed a categorification of tensor products of the standard representation of $\mathfrak{sl}_2$, where they use singular blocks of category $\mathcal{O}$ for $\mathfrak{sl}_n$ and translation…

Quantum spaces with $\frak{su}(2)$ noncommutativity can be modelled by using a family of $SO(3)$-equivariant differential $^*$-representations. The quantization maps are determined from the combination of the Wigner theorem for $SU(2)$ with…

We extend the usual process-theoretic view on locality and causality in subsystems (based on the tensor product case) to general quantum systems (i.e.\ possibly non-factor, finite-dimensional von Neumann algebras). To do so, we introduce a…

Mostly self-contained script on functorial topological quantum field theories. These notes give a slow introduction to the basic notions of category theory which serve a closer investigation of cobordisms and (commutative) Frobenius…

Categories of relations over a regular category form a family of models of quantum theory. Using regular logic, many properties of relations over sets lift to these models, including the correspondence between Frobenius structures and…

In this paper, we construct the quasi-Frobenius-Lusztig kernel for any simple Lie algebra $\mathfrak{g}$.

The stated ${\rm SL}_n$-skein algebra $\mathscr{S}_{\hat{q}}(\mathfrak{S})$ of a surface $\mathfrak{S}$ is a quantization of the ${\rm SL}_n$-character variety, and is spanned over $\mathbb{Z}[\hat{q}^{\pm 1}]$ by framed tangles in…

Topological quantum field theories (TQFTs) are symmetric monoidal functors out of cobordism categories. In dimension two, oriented TQFTs are famously classified by commutative Frobenius algebras. In the unoriented setting, the…

We consider isomorphisms and automorphisms of quantum groups. Let $k$ be a field and suppose $p, q\in k^*$ are not roots of unity. We prove that the two quantum groups $U_q(\mathfrak {sl}_2)$ and $U_p(\mathfrak{sl}_2)$ over a field $k$ are…

We give an introductory account of Khovanov's categorification of the Heisenberg algebra, and construct a combinatorial model for it in a 2-category of spans of groupoids. We also treat a categorification of $U(sl_n)$ in a similar way.…