A categorification of quantum \(\mathfrak{sl}(2)\) at prime roots of unity (Q2629118)

Quantum group at root of unity, the ``small'' version of the quantum group was introduced by Lusztig. It is a a finite dimensional Hopf algebra over the field of cyclotomic integers. Alternatively, the Beilinson-Lusztig-MacPherson (BLM) integral form of the quantum group, can be specialized to the same root of unity, yielding an infinite dimensional Hopf algebra in which the small version sits as a Hopf subalgebra. Small quantum groups are intimately related to quantum topological invariants for three-manifolds, while the BLM form connects the representation theory of quantum groups at roots of unity to that of affine Lie algebras at certain fixed levels. In [Adv. Math. 288, 81--151 (2016; Zbl 1329.81238)], the authors categorified the small version of quantum sl(2) at a prime of unity, which in this paper they categorify the BLMform specialized at the same cyclotomic ring. The original motivation for categorification was to find a combinatorial construction of certain gauhe-theoretic quantum four-manifold invariants. The authors use p-DG structures and Hopfological algebra to categorify quantum group at prime roots of unity. In Chapter two they study the p-DG algebra of symmetric polynomials in \(n\) variables, and related structures. In Chapter 3 they investigate partially symmetric polynomials and study them as p-DG algebras and as p-DG modules for the algebra of symmetric polynomials. Chapter 4 gives a detailed discussion of the interactions between Hopfological algebra and indempotent completion. Main results are given in chapters five and six. The two chapters are highly computational and they prove that the derived category of the p-DG monoidal category categorifies the BLM of sl(2) at \(p\)th root of unity.