2
$\begingroup$

As is well known, every differential calculus $(\Omega,d)$ over an algebra $A$ is a quotient of the universal calculus $(\Omega_A,d)$, by some ideal $I$. In the classical case, when $A$ is the coordinate ring of a variety $V(J)$ (for some ideal of polynomials $J$), and $(\Omega,d)$ is its ordinary calculus, how is $I$ related to $J$?

$\endgroup$

1 Answer 1

4
$\begingroup$

In the classical case, if $\Omega(A)$ is the kernel of the multiplication map $m:A\otimes A\to A$, then—since $A$ is commutative, so that $m$ is not only a map of $A$-bimodules but also a morphism of $k$-algebras,—it turns out that $\Omega(A)$ is an ideal of $A\otimes A$, not only a sub-$A$-bimodule. In particular, you can compute its square $(\Omega(A))^2$. Then the classical module of Kähler differentials $\Omega^1_{A/k}$ is the quotient $\Omega(A)/\Omega(A)^2$.

(This is the construction used by Grothendieck in EGA IV, for example)

$\endgroup$
1
  • $\begingroup$ One way to think of this is that $\omega(A)$ is universal for derivations into arbitrary $A$-bimodules; the "classical" Kähler module $\omega(A)/\omeg(A)^2$ is universal for derivations into symmetric (a.k.a. commutative) $A$-bimodules. So the change of category means one works with a different notion of "universal derivation". $\endgroup$
    – Yemon Choi
    Nov 18, 2009 at 4:08

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.