Hasse-Schmidt Derivations and Coefficient Fields in Positive Characteristics

We show how to express any Hasse-Schmidt derivation of an algebra in terms of a finite number of them under natural hypothesis. As an application, we obtain coefficient fields of the completion of a regular local ring of positive characteristic in terms of Hasse-Schmidt derivationsComment: 14 pages; A gap in the statement of Proposition (2.7) has been fixed and the proof of Theorem (3.14) has been adapte

On the logarithmic comparison theorem for integrable logarithmic connections

Let $X$ be a complex analytic manifold, $D\subset X$ a free divisor with jacobian ideal of linear type (e.g. a locally quasi-homogeneous free divisor), $j: U=X-D \to X$ the corresponding open inclusion, $E$ an integrable logarithmic connection with respect to $D$ and $L$ the local system of the horizontal sections of $E$ on $U$. In this paper we prove that the canonical morphisms between the logarithmic de Rham complex of $E(kD)$ and $R j_* L$ (resp. the logarithmic de Rham complex of $E(-kD)$ and $j_!L$) are isomorphisms in the derived category of sheaves of complex vector spaces for $k\gg 0$ (locally on $X$)Comment: Terminology has changed: "linear jacobian type" instead of "commutative differential type"); no Koszul hypothesis is needed in theorem (2.1.1); minor changes. To appear in Proc. London Math. So