A categorification of a quantum Frobenius map
arXiv:1607.02117 · doi:10.1017/S1474748017000275
Abstract
A quantum Frobenius map a la Lusztig for is categorified at a prime root of unity.
37 pages, many figures, v2 contains corrections from the referee report. Comments welcome, Journal of the Institute of Mathematics of Jussieu, 2017