We define a derivation on the enhanced nilHecke algebra yielding a
-dg
algebra when working over a field of characteristic
. We define functors
on the category of
-dg
modules resulting in an action of small quantum
on the Grothendieck group, which is isomorphic to a baby Verma
module. We upgrade the derivation into an action of the Lie algebra
.