A+ CATEGORY SCIENTIFIC UNIT

Geometry of noncommutative algebras

Volume 93 / 2011

Eivind Eriksen, Arvid Siqveland Banach Center Publications 93 (2011), 69-82 MSC: Primary 14A22; Secondary 16G20. DOI: 10.4064/bc93-0-6

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/\mathfrak{m}$, the residue field, for a maximal ideal $\mathfrak{m} \subseteq A$, and the commutative deformation functor $\newcommand{\defm}[1]{\mathsf{Def}_{#1}}\defm M$ has formal moduli $\hat{A}_{\mathfrak m}$. In the general case, we may replace the $A$-module $A/\mathfrak m$ with the simple $A$-module $M$, and use the formal moduli of the commutative deformation functor $\newcommand{\defm}[1]{\mathsf{Def}_{#1}}\defm M$ as a replacement for the complete local ring $\hat{A}_{\mathfrak m}$. We recall the construction of the commutative scheme $\mathop{\rm 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 $\mathop{\rm simp}(A)$ has good properties, in particular when there are no infinitesimal relations between different points, i.e. when $\mathop{\rm Ext}^1_A(M,M') = 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\langle x,y \rangle /(xy-qyx)$, as an example. This is an Artin-Schelter algebra of dimension two.

Authors

  • Eivind EriksenBI Norwegian Business School
    N-0442 Oslo, Norway
    e-mail
  • Arvid SiqvelandBuskerud University College
    P.O. Box 235
    N-3603 Kongsberg, Norway
    e-mail

Search for IMPAN publications

Query phrase too short. Type at least 4 characters.

Rewrite code from the image

Reload image

Reload image