On the Isomorphism Problem for Rings of Differential Operators Over Affine Curves

Abstract

In the group Aut k (A 1 (k)) of k-automorphisms of A 1 = A 1 (k) (the first Weyl algebra on a field k of any characteristic p ≥ 0), we solve the following problem: Find ∈ Aut k (A 1 ), such that. This problem is a particular case of the general problem of Stafford (1987) on isomorphisms between two k-algebras and both Morita equivalent to A 1 . In this paper, we study affine algebraic curves X (b) introduced by Letzter (1992) and Perkins (1991) and their algebra of differential operators (X(b)). Due to the resolution of the problem above, we find the condition to have an isomorphism between two such algebras of differential operators. In the case of isomorphism, we define an explicit isomorphism. In particular, we make explicit isomorphisms announced in Letzter (1992) and Perkins (1991). Notice that in case k is an algebraically closed field of characteristic zero, the class of algebras of differential operators (X(b)) is a very important one, since any k-algebra Morita equivalent to A 1 is isomorphic to some (X(b)) in Kouakou (2003). ( A 1 (k)) des k-automorphismes de A 1 = A 1 (k) (la première algèbre de Weyl sur k, un corps commutatif de caractéristique quelconque p) nous résolvons le problème: Trouver ∈ Aut k A 1 tel que Dans le groupe Aut ket n = deg b Ce problème est un cas particulier du problème général de Stafford (1987) sur l'existence d'isomorphisme entre deux k-algèbres et toutes les deux Morita équivalentes à A 1 . Dans ce papier, nous étudions les courbes affines X (b) introduites par Letzter (1992) et Perkins (1991) et leurs algèbres d'opérateurs diffrentiels associés (X(b)). Grâce á la résolution du problème ci-dessus, nous trouvons la condition pour que deux quelconques de ces algèbres soient isomorphes. Dans le cas d'isomorphisme, nous donnons explicitement un isomorphisme. En particulier, nous explicitons les isomorphismes annoncés dans Letzter (1992) et Perkins (1991). Notons que dans le cas où k est un corps algébriquement clos de caractéristique nulle, la classe des algèbres d'opérateurs differentiels (X(b)) est très importante puisque toute k-algèbre Morita équivalente à A 1 est isomorphe à un (X(b)); see Kouakou (2003).