Differential forms of the second kind over a field of characteristic \(p\) (Q1193288)

Let \(K/k\) be an algebraic function field of \(n\) variables over a perfect field \(k\) and \(V\) the model of all prime divisors of \(K/k\). Let \(C_ K\) denote the Cartier operator on the differential forms of \(K/k\). A differential \(\omega\) is called pseudo-exact, if \(C^ N_ K(\omega)=0\) for some integer \(N>0\). A differential \(\omega\) is called ``R.F.'' if the residues of \(\omega\) at all prime divisors of \(K/k\) are congruent 0 modulo pseudo-exact differentials. Let \(E_ r(K/k)\) be the kernel of \(C^ r_ K\), \(D_ r(V)\) the set of \(\omega\in\Omega^ n(K/k)\) such that for every prime divisor \(R\) there exists \(\omega_ R\in E_ r(K/k)\) with \(\omega-\omega_ R\in\Omega^ n(R/k)\), and \(D(V)=\bigcup^ \infty_{r\geq 1}D_ r(V)\). The author proves the following theorem, which is a generalization of a theorem proved by \textit{Kunz} in the case \(n=1\): Let \(\omega\) be a differential form in \(\Omega^ n(K/k)\). Then the following three conditions are equivalent: (1) \(\omega\) is R.F. (2) There exists an integer \(N\) such that \(C^ N_ K(\omega)\) is a differential of the first kind. (3) \(\omega\in D(V)\).