Syzygies of differentials of forms

Given a standard graded polynomial ring R=k[x1,…,xn] over a field k of characteristic zero and a graded k-subalgebra A=k[f1,…,fm]⊂R, one relates the module ΩA/k of Kähler k-differentials of A to the transposed Jacobian module of the forms f1,…,fm by means of a Leibniz map ΩA/k→D whose kernel is the torsion of ΩA/k. Letting D denote the R-submodule generated by the (image of the) syzygy module of ΩA/k and Z the syzygy module of D, there is a natural inclusion D⊂Z coming from the chain rule for composite derivatives. The main goal is to give means to test when this inclusion is an equality – in which case one says that the forms f1,…,fm are polarizable. One surveys some classes of subalgebras that are generated by polarizable forms. The problem has some curious connections with constructs of commutative algebra, such as the Jacobian ideal, the conormal module and its torsion, homological dimension in R and syzygies, complete intersections and Koszul algebras. Some of these connections trigger questions which have interest in their own.