Reach Us
+44-1522-440391

**Eivind ERIKSEN**

Oslo University College, Postboks 4, St. Olavs plass, N-0130 Oslo, Norway, **E-mail**: [email protected]

**Received date:** December 12, 2007; **Accepted date:** March 27, 2008

**Visit for more related articles at** Journal of Generalized Lie Theory and Applications

We compute the noncommutative deformations of a family of modules over the first Weyl algebra. This example shows some important properties of noncommutative deformation theory that separates it from commutative deformation theory.

Let *k* be an algebraically closed field and let A be an associative k-algebra. For any left A-module M, there is a commutative deformation functor defined on the category l of local Artinan commutative k-algebras with residue field *k*. We recall that for an object a deformation of M over R is a pair (MR, ), where MR is an A-R bimodule (on which *k* acts centrally) that is R-flat, and is an isomorphism of left A-modules. Moreover, as deformations in if there is an isomorphism of A-R bimodules such that

In [2], Laudal introduced noncommutative deformations of modules. For any finite family of left A-modules, there is a noncommutative deformation functor defined on the category *a*_{p} of p-pointed Artinian *k*-algebras. We recall that an object *R* of *a*_{p} is an Artinian ring *R*, together with a pair of structural ring homomorphisms and , such that and the radical *I(R)* = ker(*g*) is nilpotent. The morphisms of *a*_{p} are ring homomorphisms that commute with the structural morphisms.

A deformation of the family over R is a (*p* + 1)-tuple where *M _{R}* is an

with the natural right *R*-module structure, and *k _{1}*, . . . ,

There is a cohomology theory and an obstruction calculus for see Laudal [2] and Eriksen [1]. We compute the noncommutative deformations of a family of modules over the first Weyl algebra using the constructive methods described in Eriksen [1].

Let k be an algebraically closed field of characteristic 0, let and let D = Diff (A) be the first Weyl algebra over k. We recall that . Let us consider the family of left D-modules, where We shall compute the noncommutative deformations of the family .

In this example, we use the methods described in Eriksen [1] to compute noncommutative deformations. In particular, we use the cohomology of the Yoneda complex

for where is a free resolution of *M _{i}*, and an obstruction calculus based on these free resolutions. We recall that

Let us compute the cohomology We use the free resolutions of *M _{1}* and

and the definition of the differentials in the Yoneda complex, and obtain

The base vector is represented by the 1-cocycle given by when for all *i, j*, it is clear that for

We conclude that is unobstructed. Hence, in the notation of Eriksen [1], the prorepresenting hull H of is given by

where is a basis of dual to the basis of for *(i, j)* = (1, 2) and *(i, j)* = (2, 1). We write and

In order to describe the versal family of left *D*-modules defined over *H*, we use Mfree resolutions in the notation of Eriksen [1]. In fact, the *D-H* bimodule has an *M*-free resolution of the form

where This means that for any *P,Q* *D*, we have that and

In other words, *S* is an associative k-algebra of finite type such that the J-adic completion for the ideal The corresponding algebraization of the versal family is given by the M-free resolution

with differential

We shall determine the *D*-modules parameterized by the family over the noncommutative algebra *S* — this is much more complicated than in the commutative case. We consider the simple left S-modules as the points of the noncommutative algebra *S*, following Laudal [3], [4]. For any simple S-module T, we obtain a left D-module Therefore, we consider the problem of classifying simple S-modules of dimension *n* ≥ 1.

Any *S*-module of dimension *n* ≥ 1 is given by a ring homomorphism and we may identify by choosing a *k*-linear base for T. We see that *S* is generated by *e _{1}, s_{12}, s_{21}* as a

Any *S*-module of dimension *n* is therefore given by matrices satisfying the matric equations

The S-modules represented by and are isomorphic if and only if there is an invertible matrix such that Using this characterization, it is a straight-forward but tedious task to classify all S-modules of dimension *n* up to isomorphism for a given integer *n* ≥ 1.

Let us first remark that for any *S*-module of dimension *n* = 1, *p* factorizes through the commutativization of *S*. It follows that there are exactly two non-isomorphic simple *S*-modules of dimension one, *T*_{1,1} and *T*_{1,2}, and the corresponding deformations of are

This reflects that *M*_{1} and *M*_{2} are rigid as left D-modules.

We obtain the following list of S-modules of dimension *n* = 2, up to isomorphism. We have used that, without loss of generality, we may assume that E_{1} has Jordan form:

(2.1)

(2.2)

(2.3)

(2.4)

(2.5)

(2.6)

We shall write for the corresponding S-modules of dimension two. Notice that is simple for all , while are extensions of simple *S*-modules of dimension one. In fact, are trivial extensions, while T_{2,4} is a non-trivial extension of T_{1,2} by T_{1,1} and T_{2,5} is a non-trivial extension of T_{1,1} by T_{1,2}. The deformations of corresponding to the simple modules T_{2,6,α} are given by *M*_{2,6,α} for In fact, one may show that for any In particular, is a simple D-module if and in this case if and only if Furthermore, for for *n* = 2, 3, . . . .

We obtain the following list of S-modules of dimension *n* = 3, up to isomorphism. We have used that, without loss of generality, we may assume that *E*_{1} has Jordan form:

(2.1)

(2.2)

(2.3)

(2.4)

(2.5)

(2.6)

(2.7)

(2.8)

(2.9)

(2.10)

(2.11)

(2.12)

We shall write *T _{3,1} – T_{3,6}, T_{3,7,b}, T_{3,8} – T*

In fact, and are trivial extensions, while *T*_{3,6} is a non-trivial extension of *T*_{1,2} by *T*_{2,5} and *T*_{3,11} is a non-trivial extension of *T*_{1,1} by *T*_{2,4}.

We remark that there are no simple S-modules of finite dimension *n* ≥ 3. In fact, if *T* is a simple *S*-module, then is a surjective ring homomorphism. This implies that can be generated by as a *k*-algebra. To see that this is impossible, notice that we may choose a *k*-base of *T* such that

where *r*)-matrix and *Y* is a *(n − r) × r* matrix. If r = 0 or *r* = *n*, then X = Y = 0, and this leads to a contradiction, because *M _{n}(k)* is not generated by diagonal matrices when

Finally, we remark that the commutative deformation functor of the direct sum has pro-representing hull and an algebraization It is not difficult to find the family *M _{S}* in this case. In fact, for any point the left

We see that we obtain exactly the same isomorphism classes of left *D*-modules as commutative deformations of as we obtained as noncommutative deformations of the family However, the points of the algebraization *S* of the pro-representing hull of the noncommutative deformation functor give a much better geometric picture of the local structure of the moduli space of left *D*-modules. In fact, the family of left *D*-modules parametrized by the points of *S* contains few isomorphic *D*-modules, and the simple *S*-modules have algebraic properties – such as extensions – that reflect the algebraic properties of the corresponding *D*-modules.

- Eriksen E (2006) An introduction to noncommutative deformations of modules. In”Noncommutative algebra and geometry“.Papers from the European Science Foundation (ESF) Workshop held at St.Petersburg State University, St. Petersburg, September 2002. De Concini C, Van Oystaeyen F,Vavilov N, Yakovlev A, Eds. Lect. Notes Pure Appl Math 243: 90–125.
- Laudal OA (2002) Noncommutative deformations of modules. Homology, Homotopy Appl.4(2002), 357–396.
- Laudal OA (2003) Noncommutative algebraic geometry. In”Proceedings of the International Conferenceon Algebraic Geometry and Singularities.Sevilla, Spanish, 2001“. Rev. Mat. Iberoamericana, 19: 5090-580.
- Laudal OA (2005) The structure of Simp<∞(A) for finitely generatedk-algebrasA. In”Computationalcommutative and non-commutative algebraic geometry“.Proceeding of the NATO Advanced ResearchWorkshop held in Chishinau, June 6–11, 2004. S. Cojocaru, G. Pfister, and V. Ufnarovski, Eds. NATOSci. Ser. III: Comput. Syst. Sci.196: 3-43.

Select your language of interest to view the total content in your interested language

- Adomian Decomposition Method
- Algebra
- Algebraic Geometry
- Analytical Geometry
- Applied Mathematics
- Axioms
- Balance Law
- Behaviometrics
- Big Data Analytics
- Binary and Non-normal Continuous Data
- Binomial Regression
- Biometrics
- Biostatistics methods
- Clinical Trail
- Combinatorics
- Complex Analysis
- Computational Model
- Convection Diffusion Equations
- Cross-Covariance and Cross-Correlation
- Deformations Theory
- Differential Equations
- Differential Transform Method
- Fourier Analysis
- Fuzzy Boundary Value
- Fuzzy Environments
- Fuzzy Quasi-Metric Space
- Genetic Linkage
- Geometry
- Hamilton Mechanics
- Harmonic Analysis
- Homological Algebra
- Homotopical Algebra
- Hypothesis Testing
- Integrated Analysis
- Integration
- Large-scale Survey Data
- Latin Squares
- Lie Algebra
- Lie Superalgebra
- Lie Theory
- Lie Triple Systems
- Loop Algebra
- Matrix
- Microarray Studies
- Mixed Initial-boundary Value
- Molecular Modelling
- Multivariate-Normal Model
- Noether's theorem
- Non rigid Image Registration
- Nonlinear Differential Equations
- Number Theory
- Numerical Solutions
- Operad Theory
- Physical Mathematics
- Quantum Group
- Quantum Mechanics
- Quantum electrodynamics
- Quasi-Group
- Quasilinear Hyperbolic Systems
- Regressions
- Relativity
- Representation theory
- Riemannian Geometry
- Robust Method
- Semi Analytical-Solution
- Sensitivity Analysis
- Smooth Complexities
- Soft biometrics
- Spatial Gaussian Markov Random Fields
- Statistical Methods
- Super Algebras
- Symmetric Spaces
- Theoretical Physics
- Theory of Mathematical Modeling
- Three Dimensional Steady State
- Topologies
- Topology
- mirror symmetry
- vector bundle

- Total views:
**11584** - [From(publication date):

September-2008 - Feb 23, 2019] - Breakdown by view type
- HTML page views :
**7809** - PDF downloads :
**3775**

**Make the best use of Scientific Research and information from our 700 + peer reviewed, Open Access Journals**

International Conferences 2019-20