5
$\begingroup$

Let $k$ be a field and $A$ a commutative $k$-algebra. What are sufficient conditions for the module of derivations $\mathrm{Der}_k(A)$ to be finitely generated projective?

I'm looking for conditions which apply in particular when $A = C^\infty(M)$ for a manifold $M$. In this case, the derivations are the vector fields and the module of derivations is finitely generated projective by Swan's theorem. Note that the module of Kähler differentials is not finitely generated unless $M$ consists only of isolated points.

$\endgroup$
15
  • 2
    $\begingroup$ The question is confusing because it implies that you would like conditions for the case you already know about (smooth functions on a manifold)... are you saying that you would like to consider when $A/k$ is not necessarily of finite type? $\endgroup$ Jul 21, 2020 at 19:13
  • 1
    $\begingroup$ Tobias: regarding your final statement, the dual of the Kahler module is ${\rm Der}(A,A^*)$, which is not going to be naturally isomorphic to ${\rm Der}(A)$ although perhaps they coincide for some reason when $A$ is regular Noetherian. Indeed, while there are natural instances where the Kahler module is projective, why would that make its dual projective? Surely you'd expect the dual of something projective to be injective ? $\endgroup$
    – Yemon Choi
    Jul 22, 2020 at 0:01
  • 1
    $\begingroup$ Also, as soon as you want to take $C^\infty(M)$ you probably want to be imposing topological constraints: there is an old MO question mathoverflow.net/questions/6074/… $\endgroup$
    – Yemon Choi
    Jul 22, 2020 at 0:03
  • 2
    $\begingroup$ A remark here: for commutative rings $A$, if $M$ is a finitely generated projective module, then so is $M^*= Hom_A(M,A)$ by the dual basis lemma: see McConnell, Robinson, Noncommutative Noetherian Rings, revised edition, 3.5.2 $\endgroup$
    – jg1896
    Jul 22, 2020 at 0:25
  • 2
    $\begingroup$ @YemonChoi the existence of cut-off functions shows that all derivations are local and then Hadamard lemma (Taylor series up to order two) shows that a derivation is determined by its values on coordinate functions $\endgroup$ Jul 22, 2020 at 6:58

1 Answer 1

9
$\begingroup$

For finitely generated domains over a base field $k$ of characteristic 0, we have that if $A$ is regular, then both $Der_k \, A$ and the module of Kähler differentials are finitely generated projective (McConnell, Robson, Noncommutative Noetherian Rings, revised edition, 15.2.11).

Zariski-Lipman's Conjecture says that if $Der_k \, A$ is finitely generated projective (or, in a more modest version, free), then $A$ is regular.

So for this class of algebras (roughly, regular functions on smooth affine varieties), it is expected that $A$ is regular if and only if $Der_k \, A$ is a finitey generated projective module.

Your example does not fit here as smooth functions on a real manifold are not even domains, but I think that the literature on this subject (i.e. Zariski-Lipman's Conjecture) might be a good direction to look.

$\endgroup$

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.