Mathematical Research Letters

Volume 12, Issue 4, July 2005 pp. 459-473.

Generators of $D$--modules in positive characteristic

Authors: Josep Alvarez-Montaner (1) Manuel Blickle (2) Gennady Lyubeznik (3)
Author institution: Universitat Politécnica de Catalunya(1) Universität Duisburg--Essen (2) University of Minnesota (3)

Summary: Let $R=k[x_1, \dots ,x_d]$ or $R=k[[x_1,\dots,x_d]]$ be either a polynomial or a formal power series ring in a finite number of variables over a field $k$ of characteristic $p>0$ and let $D_{R|k}$ be the ring of $k$-linear differential operators of $R$. In this paper we prove that if $f$ is a non-zero element of $R$ then $R_f$, obtained from $R$ by inverting $f$, is generated as a $D_{R|k}$--module by $ \frac{1}{f}$. This is an amazing fact considering that the corresponding characteristic zero statement is very false. In fact we prove an analog of this result for a considerably wider class of rings $R$ and a considerably wider class of $D_{R|k}$-modules.

Contents Full-Text PDF