Skip to content →

Tag: representations

why nag? (2)

Published March 28, 2005 by lievenlb

Now, can
we assign such an non-commutative tangent space, that is a \mathbf{rep}~Q for some quiver Q, to \mathbf{rep}~\Gamma? As \Gamma = \mathbb{Z}_2 \ast \mathbb{Z}_3 we may
restrict any solution V=(X,Y)
in \mathbf{rep}~\Gamma to the finite subgroups \mathbb{Z}_2 and \mathbb{Z}_3. Now, representations of finite cyclic groups are
decomposed into eigen-spaces. For example

V \downarrow_{\mathbb{Z}_2} = V_+ \oplus V_-

where V_{\pm} = \{ v \in V~|~g.v = \pm v \} with g the
generator of \mathbb{Z}_2. Similarly,

V \downarrow_{\mathbb{Z}_3} = V_1 \oplus V_{\rho} \oplus V_{\rho^2}

where \rho is a
primitive 3-rd root of unity. That is, to any solution V \in \mathbf{rep}~\Gamma we have found 5 vector spaces V_+,V_-,V_1,V_{\rho} and V_{\rho^2} so we would like them to correspond to the vertices
of our conjectured quiver Q.

What are the arrows of Q, or
equivalently, is there a natural linear map between the vertex-vector
spaces? Clearly, as

V_+ \oplus V_- = V = V_1 \oplus V_{\rho} \oplus V_{\rho^2}

any choice of two bases of V (one
compatible with the left-side decomposition, the other with the
right-side decomposition) are related by a basechange matrix B which we
can decompose into six blocks (corresponding to the two decompositions
in 2 resp. 3 subspaces

B = \begin{bmatrix} B_{11} & B_{12} \\ B_{21} & B_{22} \\ B_{31} & B_{32} \end{bmatrix}

which gives us 6 linear maps between the
vertex-vector spaces. Hence, to V \in \mathbf{rep}~\Gamma does correspond in a natural way a
representation of dimension vector \alpha=(a_1,a_2,b_1,b_2,b_3) (where dim(V_+)=a_1,\ldots,dim(V_{\rho^2})=b_3) of the quiver Q which
is of the form

\xymatrix{ & & & & \vtx{b_1} \\ \vtx{a_1} \ar[rrrru]^(.3){B_{11}} \ar[rrrrd]^(.3){B_{21}} \ar[rrrrddd]_(.2){B_{31}} & & & & \\ & & & & \vtx{b_2} \\ \vtx{a_2} \ar[rrrruuu]_(.7){B_{12}} \ar[rrrru]_(.7){B_{22}} \ar[rrrrd]_(.7){B_{23}} & & & & \\ & & & & \vtx{b_3}}

Clearly, not every representation of \mathbf{rep}~Q is obtained in this way. For starters, the
eigen-space decompositions force the numerical restriction

a_1+a_2 = dim(V) = b_1+b_2+b_3

on the
dimension vector and the square matrix constructed from the arrow-linear
maps must be invertible. However, if both these conditions are
satisfied, we can reconstruct the (isomorphism class) of the solution in
\mathbf{rep}~\Gamma from this quiver representation by taking

X = B^{-1} \begin{bmatrix} 1_{b_1} & 0 & 0 \\ 0 & \rho^2 1_{b_2} & 0 \\ 0 & 0 & \rho 1_{b_3} \end{bmatrix} B \begin{bmatrix} 1_{a_1} & 0 \\ 0 & -1_{a_2} \end{bmatrix}

Y = \begin{bmatrix} 1_{a_1} & 0 \\ 0 & -1_{a_2} \end{bmatrix} B^{-1} \begin{bmatrix} 1_{b_1} & 0 & 0 \\ 0 & \rho^2 1_{b_2} & 0 \\ 0 & 0 & \rho 1_{b_3} \end{bmatrix} B

Hence, it makes sense to
view \mathbf{rep}~Q as a linearization of, or as a tangent space to,
\mathbf{rep}~\Gamma. However, though we reduced the study of
solutions of the polynomial system of equations to linear algebra, we
have not reduced the isomorphism problem in size. In fact, if we start
of with a matrix-solution V=(X,Y)
of size n we end up with a quiver-representation of total dimension 2n.
So, can we construct some sort of non-commutative normal space to the
isomorphism classes? That is, is there another quiver Q whose
representations can be interpreted as normal-spaces to orbits in certain
points?

Leave a Comment

B for bricks

Published January 28, 2005 by lievenlb

Last time we
argued that a noncommutative variety might be an _aggregate_
which locally is of the form $\mathbf{rep}~A$ for some affine (possibly
non-commutative) $C$-algebra $A$. However, we didn't specify what we
meant by 'locally' as we didn't define a topology on
$\mathbf{rep}~A$, let alone on an arbitrary aggregate. Today we will start
the construction of a truly _non-commutative topology_ on
$\mathbf{rep}~A$.
Here is the basic idea : we start with a thick
subset of finite dimensional representations on which we have a natural
(ordinary) topology and then we extend this to a non-commutativce
topology on the whole of $\mathbf{rep}~A$ using extensions. The impatient
can have a look at my old note A noncommutative
topology on rep A but note that we will modify the construction here
in two essential ways.
In that note we took $\mathbf{simp}~A$, the
set of all fnite dimensional simple representations, as thick subset
equipped with the induced Zariski topology on the prime spectrum
$\mathbf{spec}~A$. However, this topology doesn't behave well with
respect to the gluings we have in mind so we will extend $\mathbf{simp}~A$
substantially.

Leave a Comment

A for aggregates

Published January 9, 2005 by lievenlb

Let us
begin with a simple enough question : what are the points of a
non-commutative variety? Anyone? Probably you\’d say something like :
standard algebra-geometry yoga tells us that we should associate to a
non-commutative algebra $A$ on object, say $X_A$ and an arbitrary
variety is then build from \’gluing\’ such things together. Ok, but what
is $X_A$? Commutative tradition whispers $X_A=\mathbf{spec}~A$ the
[prime spectrum][1] of $A$, that is, the set of all twosided prime
ideals $P$ (that is, if $aAb \subset P$ then either $a \in P$ or $b \in
P$) and \’points\’ of $\mathbf{spec}~A$ would then correspond to
_maximal_ twosided ideals. The good news is that in this set-up, the
point-set comes equipped with a natural topology, the [Zariski
topology][2]. The bad news is that the prime spectrum is rarely
functorial in the noncommutative world. That is, if $\phi~:~A
\rightarrow B$ is an algebra morphism then $\phi^{-1}(P)$ for $P \in
\mathbf{spec}~B$ is not always a prime ideal of $A$. For example, take
$\phi$ the inclusion map $\begin{bmatrix} C[x] & C[x] \\ (x) & C[x]
\end{bmatrix} \subset \begin{bmatrix} C[x] & C[x] \\ C[x] & C[x]
\end{bmatrix}$ and $P$ the prime ideal $\begin{bmatrix} (x) & (x) \\ (x)
& (x) \end{bmatrix}$ then $P Cap \begin{bmatrix} C[x] & C[x] \\ (x) &
C[x] \end{bmatrix} = P$ but the corresponding quotient is
$\begin{bmatrix} C & C \\ 0 & C \end{bmatrix}$ which is not a prime
algebra so $\phi^{-1}(P)$ is not a prime ideal of the smaller algebra.
Failing this, let us take for $X_A$ something which obviously is
functorial and worry about topologies later. Take $X_A = \mathbf{rep}~A$
the set of all finite dimensional representations of $A$, that is
$\mathbf{rep}~A = \bigsqcup_n \mathbf{rep}_n~A$ where $\mathbf{rep}_n~A
= \{ Chi~:~A \rightarrow M_n(C)~\}$ with $Chi$ an algebra morphism. Now,
for any algebra morphism $\phi~:~A \rightarrow B$ there is an obvious
map $\mathbf{rep}~B \rightarrow \mathbf{rep}~A$ sending $Chi \mapsto Chi
Circ \phi$. Alernatively, $\mathbf{rep}_n~A$ is the set of all
$n$-dimensional left $A$-modules $M_{Chi} = C^n_{Chi}$ with $a.m =
Chi(m)m$. As such, $\mathbf{rep}~A$ is not merely a set but a
$C$-_category_, that is, all objects are $C$-vectorspaces and all
morphisms $Hom(M,N)$ are $C$-vectorspaces (the left $A$-module
morphisms). Moreover, it is an _additive_ category, that is if
$Chi,\psi$ are representations then we also have a direct sum
representation $Chi \oplus \psi$ defined by $a \mapsto \begin{bmatrix}
Chi(a) & 0 \\ 0 & \psi(a) \end{bmatrix}$. Returning at the task at
hand let us declare a _non-commutative variety_ $X$ to be (1) _an
additive_ $C$-_category_ which \’locally\’ looks like $\mathbf{rep}~A$
for some non-commutative algebra $A$ (even if we do not know at the
momemt what we mean by locally as we do not have defined a topology,
yet). Let is call objects of teh category $X$ the \’points\’ of our
variety and $X$ being additive allows us to speak of _indecomposable_
points (that is, those objects that cannot be written as a direct sum of
non-zero objects). By the local description of $X$ an indecomposable
point corresponds to an indecomposable representation of a
non-commutative algebra and as such has a local endomorphism algebra
(that is, all non-invertible endomorphisms form a twosided ideal). But
if we have this property for all indecomposable points,our category $X$
will be a Krull-Schmidt category so it is natural to impose also the
condition (2) : every point of $X$ can be decomposed uniquely into a
finite direct sum of indecomposable points. Further, as the space of
left $A$-module morphisms between two finite dimensional modules is
clearly finite dimensional we have also the following strong finiteness
condition (3) : For all points $x,y \in X$ the space of morphisms
$Hom(x,y)$ is a finite dimensional $C$-vectorspace. In their book
[Representations of finite-dimensional algebras][3], Peter Gabriel and
Andrei V. Roiter call an additive category such that all endomorphism
algebras of indecomposable objects are local algebras and such that all
morphism spaces are finite dimensional an _aggregate_. So, we have a
first tentative answer to our question **the points of a
non-commutative variety are the objects of an aggregate** Clearly, as
$\mathbf{rep}~A$ has stronger properties like being an _Abelian
category_ (that is, morphisms allow kernels and cokernels) it might also
be natural to replace \’aggregate\’ by \’Abelian Krull-Schmidt category
with finite dimensional homs\’ but if Mr. Abelian Category himself finds
the generalization to aggregates useful I\’m not going to argue about
this. Are all aggregates of the form $\mathbf{rep}~A$ or are there
other interesting examples? A motivating commutative example is : the
category of all coherent modules $Coh(Y)$ on a _projective_ variety $Y$
form an aggegate giving us a mental picture of what we might expect of a
non-commutative variety. Clearly, the above tentative answer cannot be
the full story as we haven\’t included the topological condition of
being locally of the form $\mathbf{rep}~A$ yet, but we will do that in
the next episode _B for Bricks_. [1]:
http://planetmath.org/encyclopedia/PrimeSpectrum.html [2]:
http://planetmath.org/encyclopedia/ZariskiTopology.html [3]:

1/ref=sr_1_8_1/026-3923724-4530018

2 Comments