Notes on Frobenius stable direct images

TL;DR

This paper proves new cases of coherence for Frobenius stable direct images, introduces a generation theorem, and extends related results to characteristic zero, advancing understanding in algebraic geometry.

Contribution

It establishes the coherence of Frobenius stable direct images in a novel setting and provides a generation theorem, also extending results to characteristic zero.

Findings

Proved coherence of Frobenius stable direct images in a new case.

Established a generation theorem related to these images.

Extended theorems to characteristic zero.

Abstract

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.