Related papers: A categorification of the square root of -1

We categorify Lusztig's version of the quantized enveloping algebra for sl(2). Using a graphical calculus a 2-category is constructed whose split Grothendieck ring is isomorphic to Lusztig's algebra. The indecomposable morphisms of this…

The degenerate Heisenberg category $\mathcal{H}eis_k$ is a strict monoidal category which was originally introduced in the special case $k=-1$ by Khovanov in 2010. Khovanov conjectured that the Grothendieck ring of the additive Karoubi…

Let $K$ be a number field with ring of integers $\mathcal{O}_K$ and let $G$ be a finite abelian group of odd order. Given a $G$-Galois $K$-algebra $K_h$, let $A_h$ denote its square root of the inverse different, which exists by Hilbert's…

We study the relationship between singularity categories and relative singularity categories and discuss constructions of differential graded algebras of relative singularity categories. As consequences, we obtain structural results, which…

We construct an exact tensor functor from the category $\mathcal{A}$ of finite-dimensional graded modules over the quiver Hecke algebra of type $A_\infty$ to the category $\mathscr C_{B^{(1)}_n}$ of finite-dimensional integrable modules…

It is well known that Clifford (geometric) algebra offers a geometric interpretation for square roots of -1 in the form of blades that square to minus 1. This extends to a geometric interpretation of quaternions as the side face bivectors…

Let $\mathfrak{g}_0$ be a simple Lie algebra of type ADE and let $U'_q(\mathfrak{g})$ be the corresponding untwisted quantum affine algebra. We show that there exists an action of the braid group $B(\mathfrak{g}_0)$ on the quantum…

We provide a combinatorial description of the monoidal category generated by the fundamental representation of the small quantum group of $\mathfrak{sl}_2$ at a root of unity $q$ of odd order. Our approach is diagrammatic, and it relies on…

The main result of this article is a fantastic generalization of a classical result in graded ring theory. In fact, our result states that if $S$ is a multiplicative set of homogeneous elements of an $M$-graded commutative ring…

We describe explicitly the Grothendieck rings of finite-dimensional representations of the periplectic Lie superalgebras. In particular, the Grothendieck ring of the Lie supergroup $P(n)$ is isomorphic to the ring of symmetric polynomials…

Let ($\mathfrak{g},\mathsf{g})$ be a pair of complex finite-dimensional simple Lie algebras whose Dynkin diagrams are related by (un)folding, with $\mathsf{g}$ being of simply-laced type. We construct a collection of ring isomorphisms…

We compute the Grothendieck group of the category of abelian varieties over an algebraically closed field $k$. We also compute the Grothendieck group of the category of $A$-isotypic abelian varieties, for any simple abelian variety $A$,…

Two groups are called isocategorical over a field $k$ if their respective categories of $k$-linear representations are monoidally equivalent. We classify isocategorical groups over arbitrary fields, extending the earlier classification of…

We describe quantizations on monoidal categories of modules over finite groups. They are given by quantizers which are elements of a group algebra. Over the complex numbers we find these explicitly. For modules over S3 and A4 we are given…

We upgrade the classical operation of \textit{isomonodromic deformations} along a path $\gamma$ to a functor $\mathbb{P}_{\gamma}$ between categories of flat connections with logarithmic singularities along a divisor $D$, which itself…

Let $X$ be a smooth scheme with an action of a reductive algebraic group $G$ over an algebraically closed field $k$ of characteristic zero. We construct an action of the extended affine Braid group on the $G$-equivariant absolute derived…

We consider a rank one group $G = \langle A,B \rangle $ which acts cubically on a module $V$, this means $[V,A,A,A] =0$ but $[V,G,G,G] \ne 0$. We have to distinguish whether the group $A_0 :=C_A([V,A]) \cap C_A(V/C_V(A))$ is trivial or not.…

We establish rigidity for partial transformation groupoids associated with algebraic actions of semigroups: If two such groupoids (satisfying appropriate conditions) are isomorphic, then the globalizations of the initial algebraic actions…

We construct a full strongly exceptional collection in the triangulated category of graded matrix factorizations of a polynomial associated to a non-degenerate regular system of weights whose smallest exponents are equal to -1. In the…

We construct a categorification of the braid groups associated with Coxeter groups inside the homotopy category of Soergel's bimodules. Classical actions of braid groups on triangulated categories should come from an action of this monoidal…