scientific article; zbMATH DE number 1190560

Publication date 25 October 1998

coordinate ring of algebraic curve differential operators

Commutative rings of differential operators and their modules (13N10) Algebraic functions and function fields in algebraic geometry (14H05) Rings of differential operators (associative algebraic aspects) (16S32)

Review text

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}\}\).

Recommendations

Cited in

(12)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3840977)