Skip to content →

Tag: representations

M-geometry (3)

Published September 18, 2007 by lievenlb

For any finite dimensional A-representation S we defined before a character $\chi(S) $ which is an linear functional on the noncommutative functions $\mathfrak{g}_A = A/[A,A]_{vect} $ and defined via

$\chi_a(S) = Tr(a | S) $ for all $a \in A $

We would like to have enough such characters to separate simples, that is we would like to have an embedding

$\mathbf{simp}~A \hookrightarrow \mathfrak{g}_A^* $

from the set of all finite dimensional simple A-representations $\mathbf{simp}~A $ into the linear dual of $\mathfrak{g}_A^* $. This is a consequence of the celebrated Artin-Procesi theorem.

Michael Artin was the first person to approach representation theory via algebraic geometry and geometric invariant theory. In his 1969 classical paper “On Azumaya algebras and finite dimensional representations of rings” he introduced the affine scheme $\mathbf{rep}_n~A $ of all n-dimensional representations of A on which the group $GL_n $ acts via basechange, the orbits of which are exactly the isomorphism classes of representations. He went on to use the Hilbert criterium in invariant theory to prove that the closed orbits for this action are exactly the isomorphism classes of semi-simple -dimensional representations. Invariant theory tells us that there are enough invariant polynomials to separate closed orbits, so we would be done if the caracters would generate the ring of invariant polynmials, a statement first conjectured in this paper.

Claudio Procesi was able to prove this conjecture in his 1976 paper “The invariant theory of $n \times n $ matrices” in which he reformulated the fundamental theorems on $GL_n $-invariants to show that the ring of invariant polynomials of m $n \times n $ matrices under simultaneous conjugation is generated by traces of words in the matrices (and even managed to limit the number of letters in the words required to $n^2+1 $). Using the properties of the Reynolds operator in invariant theory it then follows that the same applies to the $GL_n $-action on the representation schemes $\mathbf{rep}_n~A $.

So, let us reformulate their result a bit. Assume the affine $\mathbb{C} $-algebra A is generated by the elements $a_1,\ldots,a_m $ then we define a necklace to be an equivalence class of words in the $a_i $, where two words are equivalent iff they are the same upto cyclic permutation of letters. For example $a_1a_2^2a_1a_3 $ and $a_2a_1a_3a_1a_2 $ determine the same necklace. Remark that traces of different words corresponding to the same necklace have the same value and that the noncommutative functions $\mathfrak{g}_A $ are spanned by necklaces.

The Artin-Procesi theorem then asserts that if S and T are non-isomorphic simple A-representations, then $\chi(S) \not= \chi(T) $ as elements of $\mathfrak{g}_A^* $ and even that they differ on a necklace in the generators of A of length at most $n^2+1 $. Phrased differently, the array of characters of simples evaluated at necklaces is a substitute for the clasical character-table in finite group theory.

3 Comments

M-geometry (2)

Published September 17, 2007 by lievenlb

Last time we introduced the tangent quiver $\vec{t}~A $ of an affine algebra A to be a quiver on the isoclasses of simple finite dimensional representations. When $A=\mathbb{C}[X] $ is the coordinate ring of an affine variety, these vertices are just the points of the variety $X $ and this set has the extra structure of being endowed with the Zariski topology. For a general, possibly noncommutative algebra, we would like to equip the vertices of $\vec{t}~A $ also with a topology.

In the commutative case, the Zariski topology has as its closed sets the common zeroes of a set of polynomials on $X $, so we need to generalize the notion of ‘functions’ the the noncommutative world. The NC-mantra states that we should view the algebra A as the ring of functions on a (usually virtual) noncommutative space. And, face it, for a commutative variety $X $ the algebra $A=\mathbb{C}[X] $ does indeed do the job. Still, this is a red herring.

Let’s consider the easiest noncommutative case, that of the group algebra $\mathbb{C} G $ of a finite group $G $. In this case, the vertices of the tangent quiver $\vec{t}~A $ are the irreducible representations of $G $ and no sane person would consider the full group algebra to be the algebra of functions on this set. However, we do have a good alternative in this case : characters which allow us to separate the irreducibles and are a lot more manageable than the full group algebra. For example, if $G $ is the monster group then the group algebra has dimension approx $8 \times 10^{53} $ whereas there are just 194 characters to consider…

But, can we extend characters to arbitrary noncommutative algebras? and, more important, are there enough of these to separate the simple representations? The first question is easy enough to answer, after all characters are just traces so we can define for every element $a \in A $ and any finite dimensional simple A-representation $S $ the character

$\chi_a(S) = Tr(a | S) $

where $a | S $ is the matrix describing the action of a on S. But, you might say, characters are then just linear functionals on the algebra A so it is natural to view A as the function algebra, right? Wrong! Traces have the nice property that $Tr(ab)=Tr(ba) $ and so they vanish on all commutators $[a,b]=ab-ba $ of A, so characters only carry information of the quotient space

$\mathfrak{g}_A = \frac{A}{[A,A]_{vect}} $

where $[A,A]_{vect} $ is the vectorspace spanned by all commutators (and not the ideal…). If one is too focussed on commutative geometry one misses this essential simplification as clearly for $A=\mathbb{C}[X] $ being a commutative algebra,

$[\mathbb{C}[X],\mathbb{C}[X]]_{vect}=0 $ and therefore in this case $\mathfrak{g}_{\mathbb{C}[X]} = \mathbb{C}[X] $

Ok, but are there enough characters (that is, linear functionals on $\mathfrak{g}_A $, that is elements of the dual space $\mathfrak{g}_A^* $) to separate the simple representations? And, why do I (ab)use Lie-algebra notation $\mathfrak{g}_A $ to denote the vectorspace $A/[A,A]_{vect} $???

One Comment

M-geometry (1)

Published September 15, 2007 by lievenlb

Take an affine $\mathbb{C} $-algebra A (not necessarily commutative). We will assign to it a strange object called the tangent-quiver $\vec{t}~A $, compute it in a few examples and later show how it connects with existing theory and how it can be used. This series of posts can be seen as the promised notes of my talks at the GAMAP-workshop but in reverse order… If some of the LaTeX-pictures are not in the desired spots, please size and resize your browser-window and they will find their intended positions.

A vertex $v $ of $\vec{t}~A $ corresponds to the isomorphism class of a finite dimensional simple A-representations $S_v $ and between any two such vertices, say $v $ and $w $, the number of directed arrows from $v $ to $w $ is given by the dimension of the Ext-space

$dim_{\mathbb{C}}~Ext^1_A(S_v,S_w) $

Recall that this Ext-space counts the equivalence classes of short exact sequences of A-representations

[tex]\xymatrix{0 \ar[r] & S_w \ar[r] & V \ar[r] & S_v \ar[r] & 0}[/tex]

where two such sequences (say with middle terms V resp. W) are equivalent if there is an A-isomorphism $V \rightarrow^{\phi} W $ making the diagram below commutative

[tex]\xymatrix{0 \ar[r] & S_w \ar[r] \ar[d]^{id_{S_w}} & V \ar[r] \ar[d]^{\phi} & S_v \ar[r] \ar[d]^{id_{S_v}} & 0 \\\
0 \ar[r] & S_w \ar[r] & W \ar[r] & S_v \ar[r] & 0}[/tex]

The Ext-space measures how many non-split extensions there are between the two simples and is always a finite dimensional vectorspace. So the tangent quiver $\vec{t}~A $ has the property that in all vertices there are at most finitely many loops and between any two vertices there are a finite number of directed arrows, but in principle a vertex may be the origin of arrows connecting it to infinitely many other vertices.

Right, now let us at least motivate the terminology. Let $X $ be a (commutative) affine variety with coordinate ring $A = \mathbb{C}[X] $ then what is $\vec{t}~A $ in this case? To begin, as $\mathbb{C}[X] $ is commutative, all its finite dimensional simple representations are one-dimensional and there is one such for every point $x \in X $. Therefore, the vertices of $\vec{t}~A $ correspond to the points of the affine variety $X $. The simple A-representation $S_x $ corresponding to a point $x $ is just evaluating polynomials in $x $. Moreover, if $x \not= y $ then there are no non-split extensions between $S_x $ and $S_y $ (a commutative semi-local algebra splits as a direct sum of locals), therefore in $\vec{t}~A $ there can only be loops and no genuine arrows between different vertices. Finally, the number of loops in the vertex corresponding to the point $x $ can be computed using the fact that the self-extensions can be identified with the tangent space at $x $, that is

$dim_{\mathbb{C}}~Ext^1_{\mathbb{C}[X]}(S_x,S_x) = dim_{\mathbb{C}}~T_x~X $

That is, if $A=\mathbb{C}[X] $ is the coordinate ring of an affine variety $X $, then the quiver $\vec{t}~A $ is the set of points of $X $ having in each point $x $ as many loops as the dimension of the tangent space $T_x~X $. So, in this case, the quiver $\vec{t}~A $ contains all information about tangent spaces to the variety and that’s why we call it the tangent quiver.

Let’s go into the noncommutative wilderness. A first, quite trivial, example is the group algebra $A = \mathbb{C} G $ of a finite group $G $, then the simple A-representations are just the irreducible G-representations and as the group algebra is semi-simple every short exact sequence splits so all Ext-spaces are zero. That is, in this case the tangent quiver $\vec{t}~A $ in just a finite set of vertices (as many as there are irreducible G-representations) and no arrows nor loops.

Now you may ask whether there are examples of tangent quivers having arrows apart from loops. So, take another easy finite dimensional example : the path algebra $A = \mathbb{C} Q $ of a finite quiver $Q $ without oriented cycles. Recall that the path algebra is the vectorspace having as basis all vertices and all oriented paths in the quiver Q (and as there are no cycles, this basis is finite) and multiplication is induced by concatenation of paths. Here an easy example. Suppose the quiver Q looks like

[tex]\xymatrix{\vtx{} \ar[r] & \vtx{} \ar[r] & \vtx{}}[/tex]

then the path algebra is 6 dimensional as there are 3 vertices, 2 paths of length one (the arrows) and one path of length two (going from the leftmost to the rightmost vertex). The concatenation rule shows that the three vertices will give three idempotents in A and one easily verifies that the path algebra can be identified with upper-triangular $3 \times 3 $ matrices

$\mathbb{C} Q \simeq \begin{bmatrix} \mathbb{C} & \mathbb{C} & \mathbb{C} \\\ 0 & \mathbb{C} & \mathbb{C} \\\ 0 & 0 & \mathbb{C} \end{bmatrix} $

where the diagonal components correspond to the vertices, the first offdiagonal components to the two arrows and the corner component corresponds to the unique path of length two. Right, for a general finite quiver without oriented cycles is the quite easy to see that all finite dimensional simples are one-dimensional and correspond to the vertex-idempotents, that is every simple is of the form $S_v = e_v \mathbb{C} Q e_v $ where $e_v $ is the vertex idempotent. No doubt, you can guess what the tangent quiver $\vec{t}~A = \vec{t}~\mathbb{C} Q $ will be, can’t you?

5 Comments