Geometry of noncommutative algebras

Eivind Eriksen, and Arvid Siqveland. "Geometry of noncommutative algebras." Banach Center Publications 93.1 (2011): 69-82. <http://eudml.org/doc/286485>.

@article{EivindEriksen2011,
abstract = {There has been several attempts to generalize commutative algebraic geometry to the noncommutative situation. Localizations with good properties rarely exist for noncommutative algebras, and this makes a direct generalization difficult. Our point of view, following Laudal, is that the points of the noncommutative geometry should be represented as simple modules, and that noncommutative deformations should be used to obtain a suitable localization in the noncommutative situation. Let A be an algebra over an algebraically closed field k. If A is commutative and finitely generated over k, then any simple A-module has the form M = A/, the residue field, for a maximal ideal ⊆ A, and the commutative deformation functor $_\{M\}$ has formal moduli $Â_\{\}$. In the general case, we may replace the A-module A/ with the simple A-module M, and use the formal moduli of the commutative deformation functor $_\{M\}$ as a replacement for the complete local ring $Â_\{\}$. We recall the construction of the commutative scheme simp(A), with points in bijective correspondence with the simple A-modules of finite dimension over k, and with complete local ring at a point M isomorphic to the formal moduli of the corresponding simple module M. The scheme simp(A) has good properties, in particular when there are no infinitesimal relations between different points, i.e. when $Ext¹_\{A\}(M,M^\{\prime \}) = 0$ for all pairs of non-isomorphic simple A-modules M,M’. It does not, however, characterize A. We use noncommutative deformation theory to define localizations, in general. We consider the quantum plane, given by A = k⟨x,y⟩/(xy-qyx), as an example. This is an Artin-Schelter algebra of dimension two.},
author = {Eivind Eriksen, Arvid Siqveland},
journal = {Banach Center Publications},
keywords = {non-commutative algebraic geometry; simple modules},
language = {eng},
number = {1},
pages = {69-82},
title = {Geometry of noncommutative algebras},
url = {http://eudml.org/doc/286485},
volume = {93},
year = {2011},
}

TY - JOUR
AU - Eivind Eriksen
AU - Arvid Siqveland
TI - Geometry of noncommutative algebras
JO - Banach Center Publications
PY - 2011
VL - 93
IS - 1
SP - 69
EP - 82
AB - There has been several attempts to generalize commutative algebraic geometry to the noncommutative situation. Localizations with good properties rarely exist for noncommutative algebras, and this makes a direct generalization difficult. Our point of view, following Laudal, is that the points of the noncommutative geometry should be represented as simple modules, and that noncommutative deformations should be used to obtain a suitable localization in the noncommutative situation. Let A be an algebra over an algebraically closed field k. If A is commutative and finitely generated over k, then any simple A-module has the form M = A/, the residue field, for a maximal ideal ⊆ A, and the commutative deformation functor $_{M}$ has formal moduli $Â_{}$. In the general case, we may replace the A-module A/ with the simple A-module M, and use the formal moduli of the commutative deformation functor $_{M}$ as a replacement for the complete local ring $Â_{}$. We recall the construction of the commutative scheme simp(A), with points in bijective correspondence with the simple A-modules of finite dimension over k, and with complete local ring at a point M isomorphic to the formal moduli of the corresponding simple module M. The scheme simp(A) has good properties, in particular when there are no infinitesimal relations between different points, i.e. when $Ext¹_{A}(M,M^{\prime }) = 0$ for all pairs of non-isomorphic simple A-modules M,M’. It does not, however, characterize A. We use noncommutative deformation theory to define localizations, in general. We consider the quantum plane, given by A = k⟨x,y⟩/(xy-qyx), as an example. This is an Artin-Schelter algebra of dimension two.
LA - eng
KW - non-commutative algebraic geometry; simple modules
UR - http://eudml.org/doc/286485
ER -