more details on the steinberg functor