Related papers: A categorification of a quantum Frobenius map

A categorification of the Beilinson-Lusztig-MacPherson form of the quantum sl(2) was constructed in the paper arXiv:0803.3652 by the second author. Here we enhance the graphical calculus introduced and developed in that paper to include…

Let $p$ be a prime number, and let $Dist(SL_2)$ be the algebra of distributions, supported at $1$, on the algebraic group $SL_2$ over $\mathbb{F}_p$. The Frobenius map $Fr:SL_2\to SL_2$ induces a map $Fr:Dist(SL_2)\to Dist(SL_2)$ which is…

We construct, for q a root of unity of odd order, an embedding of the projective special linear group PSL(n) into the group of bi-Galois objects over u_q(sl(n))*, the coordinate algebra of the Frobenius-Lusztig kernel of SL(n), which is…

We categorify representations of quantum sl(n) whose highest weight is twice a fundamental weight.

We categorify the idempotented form of quantum sl(n).

This expository article explains how planar diagrammatics naturally arise in the study of categorified quantum groups with a focus on the categorification of quantum sl2. We derive the definition of categorified quantum sl2 and highlight…

A quantum solvable algebra is an iterated $q$-skew extension of a commutative algebra. We get finite statification of prime spectrum for quantum solvable algebras obeying some natural conditions. We prove that for any prime ideal $I$ the…

We study Lusztig's theory of cells for quantum affine $\mathfrak{sl}_n$. Using the geometric construction of the quantum group due to Lusztig and Ginzburg--Vasserot, we describe explicitly the two-sided cells, the number of left cells in a…

Let ${\mathcal B}_{\mathfrak{q}}$ be a finite-dimensional Nichols algebra of diagonal type with braiding matrix $\mathfrak{q}$, let $\mathcal{L}_{\mathfrak{q}}$ be the corresponding Lusztig algebra as in arXiv:1501.04518 and let…

We study factorization algebras on configuration spaces of points on the curved, colored by elements of the root lattice. We show that the factorization algebra attached to Lusztig's quantum group can be obtained as a direct image of a…

We classify module categories over the category of representations of quantum $SL(2)$ in a case when $q$ is not a root of unity. In a case when $q$ is a root of unity we classify module categories over the semisimple subquotient of the same…

We study the unitarizability of premodular categories constructed from representations of quantum group at roots of unity. We introduce \emph{Grothendieck unitarizability} as a natural generalization of unitarizability to any class of…

For the algebra $A$ in the title, its prime, primitive and maximal spectra are classified. The group of automorphisms of $A$ is determined. The simple unfaithful $A$-modules and the simple weight $A$-modules are classified.

A framework is developed to describe the Zariski topologies on the prime and primitive spectra of a quantum algebra $A$ in terms of the (known) topologies on strata of these spaces and maps between the collections of closed sets of…

This is a survey of what is known and/or conjectured about the prime and primitive spectra of quantum algebras, of quantized coordinate rings in particular. The topological structure of these spectra, their relations to classical affine…

Let $G_k$ be a connected reductive algebraic group over an algebraically closed field $k$ of characteristic $\neq 2$. Let $K_k \subset G_k$ be a quasi-split symmetric subgroup of $G_k$ with respect to an involution $\theta_k$ of $G_k$. The…

We consider the quantum algebra $U_q(\mathfrak{sl}_2)$ in the equitable presentation. From this point of view, we describe the Lusztig automorphism and the corresponding Lusztig operator.

A theory of canonical basis for a two-parameter quantum algebra is developed in parallel with the one in one-parameter case. A geometric construction of the negative part of a two-parameter quantum algebra is given by using mixed perverse…

Let $K$ be a number field with ring of integers $\mathcal{O}_K$. We describe and classify finite, flat, and linearly reductive subgroup schemes of $\mathrm{SL}_2$ over $\mathrm{Spec}\:\mathcal{O}_K$. We also establish finiteness results for…

If $A$ is a finite-dimensional algebra graded by a group $G$, and $\sigma \in G$, we define a variant of paratrophic matrix associated with $A$ and $\sigma$, and we use it to characterize the $\sigma$-graded Frobenius property for $A$. We…