MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $A$ be a comm. local $k$-algebra with max. ideal $m$. Let $gr(-)$ be the associated graded algebra or module for the $m$-adic filtration. The canonical derivation $d:A \to \Omega^1_A$ satisfies $d(m^{n+1}) \subset m^n \Omega^1_A$ and therefore induces a derivation $gr A \to gr \Omega^1_A$, which has degree -1 for the grading. This derivation factors through the canonical derivation $gr A \to \Omega^1_{gr A}$ and we obtain a $gr A$-module homomorphism $\Omega^1_{grA} \to gr \Omega^1_A$.

Under what conditions is this an isomorphism?

share|cite|improve this question

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.