Explicit comparison theorems for \(\mathcal D\)-modules (Q5960299): Difference between revisions

The main purpose of this paper is to give an explicit algorithm to realize an isomorphism between \(A_2\)-modules \(M^{\log}\) and \(\widetilde{M^{\log}}\). Here \(A_2\) means the Weyl algebra of 2 variables defined over the ring \(R:=\mathbb{C}[x_1,\dots,x_n]\) and \(M^{\log}:=A_2/I^{\log}\) where \(I^{\log}\) is the left ideal generated by \(\text{Der}(R,\log f):=\) the \(R\)-module generated by \(\{\delta=\sum^2_{i=1}a_i\partial_i\mid\delta(f)=af\) with some \(a\in R\}\). This is the duality theorem for \(\widetilde{M^{\log}}\). The authors also consider the analytic case and prove theorems corresponding to the above ones. As an application of the duality theorem they prove the comparison theorem between \(\widetilde{M^{\log}}\) and the \(A_2\)-module of rational functions along the curve.