Notes on Frobenius stable direct images

In this note, we prove the coherence of Frobenius stable direct images in a new case. We also show a generation theorem regarding to it. Furthermore, we prove a corresponding theorem in characteristic zero.