Es sei V {\displaystyle {}V} eine Varietät über einem Körper K {\displaystyle {}K} der Charakteristik p > 0 {\displaystyle {}p>0} und sei F : V → V {\displaystyle {}F\colon V\rightarrow V} der absolute Frobenius.
Dann gilt F ∗ ω = 0 {\displaystyle {}F^{*}\omega =0} für jede Differentialform ω {\displaystyle {}\omega } .
