No label defined (Q3840977)

Let \(k\) be an algebraic closed field with characteristic zero, \(X\) an irreducible affine algebraic curve over \(k\), \(O(X)\) the coordinate ring of \(X\), \(D(X)\) the ring of differential operators of \(X\). In this paper, the authors prove \(D(X)\subseteq k[t,t^{-1}]\otimes_{k[t]}[t,\partial]\) where \(\partial={\partial\over\partial t}\). Let \(Z(u,A)=\{a\mid a>0,\;t^a\in A\) but \(t^{a-u}\notin A\}\), where \(A=k[t^{n_1},\dots,t^{n_r}]\), \(\text{gcd}(n_1,\dots,n_r)=1\), \(N=\min\{j>0\mid t^jk[t]\subseteq A\}\), \(M=\sup_{N>j>-N+1}(\text{card}(Z(j,A))+1)\). The authors prove that \(D(A)\) is generated by \(t^{n_1},\dots,t^{n_r}\) and \(\delta_i\), \(-N<i<2M\), where \(\delta_i\) is the basic operator in \(D_u=\{\delta\in D(X)\mid[\delta,t\partial]=u\delta,u\in\mathbb{Z}\}\).