correction
A note about D-modules
convolution of coherent sheaves on a loop space