Let $R$ be a commutative ring, with whatever hypotheses let you answer the question -- e.g. Noetherian, local, finitely generated over $\mathbb C$.

Let $I$ be the ideal defining the singular locus in Spec $R$. (With the reduced subscheme structure, or defined using minors of a Jacobian matrix, again whatever helps.)

Is it obvious and/or true that any derivation $d:R \to R$, i.e. additive map satisfying the Leibniz rule $d(ab) = a\ db + b\ da$, has $dI \leq I$?

Morally, $d$ is defining an infinitesimal automorphism of Spec $R$, and the singular locus should be preserved by automorphisms. So I would have hoped that there was a mindless proof using the Jacobian, but I haven't found one. As usual, a reference would be even better than a proof.

  • 3
    $\begingroup$ Can you get anywhere by making it literally an automorphism of the truncated polynomial ring $R[\epsilon]/\epsilon^2$? I mean $f\mapsto f+\epsilon df$. $\endgroup$ Commented Jul 25, 2011 at 0:22
  • $\begingroup$ (and $\epsilon\mapsto\epsilon$) $\endgroup$ Commented Jul 25, 2011 at 3:21

2 Answers 2


Robert Hart proves in [Hart, R. Derivations on commutative rings. J. London Math. Soc. (2) 8 (1974), 171--175. MR0349654 (50 #2147)] that if $R$ is a finitely generated commutative $k$-algebra, then every $k$-derivation preserves all the Fitting ideals of the module of Kähler differentials $\Omega_{R/k}$. The first Fitting ideal is the Jacobian ideal.

  • 3
    $\begingroup$ That is a really nice paper, by the way! Also: one great and convenient way to find information about derivations is to look in Mathscinet for papers reviewed by Y. Nakai :) $\endgroup$ Commented Jul 25, 2011 at 6:03

The fact that the set-theoretic singular locus is preserved is true only in characteristic zero: for example if you take the curve ($x^p = y^2$) in $\mathbb{A}^2$, then the ideal $(x, y)$ is not preserved by the derivation $d/dx$ in characteristic $p$. On the other hand, the Jacobian ideal in this case, $(y)$, is preserved.

In characteristic zero one can prove that the set-theoretic singular locus is preserved by exponentiating derivations: given a derivation $D$ of $\mathcal{O}_X$ one can consider $e^{t D}$, a derivation of $\mathcal{O}_X[[t]]$, and the composition of this with a character $\mathcal{O}_X \to k$ corresponding to a singular point gives a character $\mathcal{O}_X((t)) \to k$ also with the same dimension of tangent space, hence corresponding to a singular point. Therefore the singular locus is preserved, since the set-theoretic singular locus is the intersection of all such kernels.

This theorem is due to, I believe, Seidenberg: it is the corollary to Theorem 12 in "Differential ideals in rings of finitely generated type" in AJM 1967.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.