Enhanced nilHecke algebras and baby Verma modules

Elia Rizzo, Pedro Vaz

We define a derivation on the enhanced nilHecke algebra yielding a p-dg algebra when working over a field of characteristic p. We define functors on the category of p-dg modules re…