Skip to content →

Tag: arxiv

moduli spaces

In [the previous part][1] we saw that moduli spaces of suitable representations
of the quiver $\xymatrix{\vtx{} \ar[rr] & & \vtx{}
\ar@(ur,dr)} $ locally determine the moduli spaces of
vectorbundles over smooth projective curves. There is yet another
classical problem related to this quiver (which also illustrates the
idea of looking at families of moduli spaces rather than individual
ones) : _linear control systems_. Such a system with an $n$ dimensional
_state space_ and $m$ _controls_ (or inputs) is determined by the
following system of linear differential equations $ \frac{d x}{d t}
= A.x + B.u$ where $x(t) \in \mathbb{C}^n$ is the state of the system at
time $t$, $u(t) \in \mathbb{C}^m$ is the control-vector at time $t$ and $A \in
M_n(\mathbb{C}), B \in M_{n \times m}(\mathbb{C})$ are the matrices describing the
evolution of the system $\Sigma$ (after fixing bases in the state- and
control-space). That is, $\Sigma$ determines a representation of the
above quiver of dimension-vector $\alpha = (m,n)$
$\xymatrix{\vtx{m} \ar[rr]^B & & \vtx{n} \ar@(ur,dr)^A} $
Whereas in control theory (see for example Allen Tannenbaum\’s Lecture
Notes in Mathematics 845 for a mathematical introduction) it is natural
to call two systems equivalent when they only differ up to base change
in the state-space, one usually fixes the control knobs so it is not
natural to allow for base change in the control-space. So, at first
sight the control theoretic problem of classifying equivalent systems is
not the same problem as classifying representations of the quiver up to
isomorphism. Fortunately, there is an elegant way round this which is
called _deframing_. That is, for a fixed number $m$ of controls one
considers the quiver $Q_f$ having precisely $m$ arrows from the first to
the second vertex $\xymatrix{\vtx{1} \ar@/^4ex/[rr]^{B_1}
\ar@/^/[rr]^{B_2} \ar@/_3ex/[rr]_{B_m} & & \vtx{n} \ar@(ur,dr)^A} $
and the system $\Sigma$ does determine a representation of this new
quiver of dimension vector $\beta=(1,n)$ by assigning to the arrows the
different columns of the matrix $B$. Isomorphism classes of these
quiver-representations do correspond precisely to equivalence classes of
linear control systems. In [part 4][1] we introduced stable and
semi-stable representations. In this framed-quiver setting call a
representation $(A,B_1,\ldots,B_m)$ stable if there is no proper
subrepresentation of dimension vector $(1,p)$ for some $p \lneq n$.
Perhaps remarkable this algebraic notion has a counterpart in
system-theory : the systems corresponding to stable
quiver-representations are precisely the completely controllable
systems. That is, those which can be brought to any wanted state by
varying the controls. Hence, the moduli space
$M^s_{(1,n)}(Q_f,\theta)$ classifying stable representations is
exactly the moduli space of completely controllable linear systems
studied in control theory. For an excellent account of this moduli space
one can read the paper [Introduction to moduli spaces associated to
quivers by [Christof Geiss][2]. Fixing the number $m$ of controls but
varying the dimensions of teh state-spaces one would like to take all
the moduli spaces $ \bigsqcup_n~M^s_{(1,n)}(Q_f,\theta)$
together as they are all determined by the same formally smooth algebra
$\mathbb{C} Q_f$. This was done in a joint paper with [Markus Reineke][3] called
[Canonical systems and non-commutative geometry][4] in which we prove
that this disjoint union can be identified with the _infinite
Grassmannian_ $ \bigsqcup_n~M^s_{(1,n)}(Q_f,\theta) =
\mathbf{Gras}_m(\infty)$ of $m$-dimensional subspaces of an
infinite dimensional space. This result can be seen as a baby-version of
George Wilson\’s result relating the disjoint union of Calogero-Moser
spaces to the _adelic_ Grassmannian. But why do we stress this
particular quiver so much? This will be partly explained [next time][5].

[1]: http://www.neverendingbooks.org/index.php?p=350
[2]: http://www.matem.unam.mx/~christof/
[3]: http://wmaz1.math.uni-wuppertal.de/reineke/
[4]: http://www.arxiv.org/abs/math.AG/0303304
[5]: http://www.neverendingbooks.org/index.php?p=352

Leave a Comment

quiver representations

In what
way is a formally smooth algebra a _machine_ producing families of
manifolds? Consider the special case of the path algebra $\mathbb{C} Q$ of a
quiver and recall that an $n$-dimensional representation is an algebra
map $\mathbb{C} Q \rightarrow^{\phi} M_n(\mathbb{C})$ or, equivalently, an
$n$-dimensional left $\mathbb{C} Q$-module $\mathbb{C}^n_{\phi}$ with the action
determined by the rule $a.v = \phi(a) v~\forall v \in \mathbb{C}^n_{\phi},
\forall a \in \mathbb{C} Q$ If the $e_i~1 \leq i \leq k$ are the idempotents
in $\mathbb{C} Q$ corresponding to the vertices (see this [post][1]) then we get
a direct sum decomposition $\mathbb{C}^n_{\phi} = \phi(e_1)\mathbb{C}^n_{\phi} \oplus
\ldots \oplus \phi(e_k)\mathbb{C}^n_{\phi}$ and so every $n$-dimensional
representation does determine a _dimension vector_ $\alpha =
(a_1,\ldots,a_k)~\text{with}~a_i = dim_{\mathbb{C}} V_i = dim_{\mathbb{C}}
\phi(e_i)\mathbb{C}^n_{\phi}$ with $ | \alpha | = \sum_i a_i = n$. Further,
for every arrow $\xymatrix{\vtx{e_i} \ar[rr]^a & &
\vtx{e_j}} $ we have (because $e_j.a.e_i = a$ that $\phi(a)$
defines a linear map $\phi(a)~:~V_i \rightarrow V_j$ (that was the
whole point of writing paths in the quiver from right to left so that a
representation is determined by its _vertex spaces_ $V_i$ and as many
linear maps between them as there are arrows). Fixing vectorspace bases
in the vertex-spaces one observes that the space of all
$\alpha$-dimensional representations of the quiver is just an affine
space $\mathbf{rep}_{\alpha}~Q = \oplus_a~M_{a_j \times a_i}(\mathbb{C})$ and
base-change in the vertex-spaces does determine the action of the
_base-change group_ $GL(\alpha) = GL_{a_1} \times \ldots \times
GL_{a_k}$ on this space. Finally, as all this started out with fixing
a bases in $\mathbb{C}^n_{\phi}$ we get the affine variety of all
$n$-dimensional representations by bringing in the base-change
$GL_n$-action (by conjugation) and have $\mathbf{rep}_n~\mathbb{C} Q =
\bigsqcup_{| \alpha | = n} GL_n \times^{GL(\alpha)}
\mathbf{rep}_{\alpha}~Q$ and in this decomposition the connected
components are no longer just affine spaces with a groupaction but
essentially equal to them as there is a natural one-to-one
correspondence between $GL_n$-orbits in the fiber-bundle $GL_n
\times^{GL(\alpha)} \mathbf{rep}_{\alpha}~Q$ and $GL(\alpha)$-orbits in the
affine space $\mathbf{rep}_{\alpha}~Q$. In our main example
$\xymatrix{\vtx{e} \ar@/^/[rr]^a & & \vtx{f} \ar@(u,ur)^x
\ar@(d,dr)_y \ar@/^/[ll]^b} $ an $n$-dimensional representation
determines vertex-spaces $V = \phi(e) \mathbb{C}^n_{\phi}$ and $W = \phi(f)
\mathbb{C}^n_{\phi}$ of dimensions $p,q~\text{with}~p+q = n$. The arrows
determine linear maps between these spaces $\xymatrix{V
\ar@/^/[rr]^{\phi(a)} & & W \ar@(u,ur)^{\phi(x)} \ar@(d,dr)_{\phi(y)}
\ar@/^/[ll]^{\phi(b)}} $ and if we fix a set of bases in these two
vertex-spaces, we can represent these maps by matrices
$\xymatrix{\mathbb{C}^p \ar@/^/[rr]^{A} & & \mathbb{C}^q \ar@(u,ur)^{X}
\ar@(d,dr)_{Y} \ar@/^/[ll]^{B}} $ which can be considered as block
$n \times n$ matrices $a \mapsto \begin{bmatrix} 0 & 0 \\ A & 0
\end{bmatrix}~b \mapsto \begin{bmatrix} 0 & B \\ 0 & 0 \end{bmatrix}$
$x \mapsto \begin{bmatrix} 0 & 0 \\ 0 & X \end{bmatrix}~y \mapsto
\begin{bmatrix} 0 & 0 \\ 0 & Y \end{bmatrix}$ The basechange group
$GL(\alpha) = GL_p \times GL_q$ is the diagonal subgroup of $GL_n$
$GL(\alpha) = \begin{bmatrix} GL_p & 0 \\ 0 & GL_q \end{bmatrix}$ and
acts on the representation space $\mathbf{rep}_{\alpha}~Q = M_{q \times
p}(\mathbb{C}) \oplus M_{p \times q}(\mathbb{C}) \oplus M_q(\mathbb{C}) \oplus M_q(\mathbb{C})$
(embedded as block-matrices in $M_n(\mathbb{C})^{\oplus 4}$ as above) by
simultaneous conjugation. More generally, if $A$ is a formally smooth
algebra, then all its representation varieties $\mathbf{rep}_n~A$ are
affine smooth varieties equipped with a $GL_n$-action. This follows more
or less immediately from the definition and [Grothendieck][2]\’s
characterization of commutative regular algebras. For the record, an
algebra $A$ is said to be _formally smooth_ if for every algebra map $A
\rightarrow B/I$ with $I$ a nilpotent ideal of $B$ there exists a lift
$A \rightarrow B$. The path algebra of a quiver is formally smooth
because for every map $\phi~:~\mathbb{C} Q \rightarrow B/I$ the images of the
vertex-idempotents form an orthogonal set of idempotents which is known
to lift modulo nilpotent ideals and call this lift $\psi$. But then also
every arrow lifts as we can send it to an arbitrary element of
$\psi(e_j)\pi^{-1}(\phi(a))\psi(e_i)$. In case $A$ is commutative and
$B$ is allowed to run over all commutative algebras, then by
Grothendieck\’s criterium $A$ is a commutative regular algebra. This
also clarifies why so few commutative regular algebras are formally
smooth : being formally smooth is a vastly more restrictive property as
the lifting property extends to all algebras $B$ and whenever the
dimension of the commutative variety is at least two one can think of
maps from its coordinate ring to the commutative quotient of a
non-commutative ring by a nilpotent ideal which do not lift (for an
example, see for example [this preprint][3]). The aim of
non-commutative algebraic geometry is to study _families_ of manifolds
$\mathbf{rep}_n~A$ associated to the formally-smooth algebra $A$. [1]:
http://www.matrix.ua.ac.be/wp-trackback.php/10 [2]:
http://www-gap.dcs.st-and.ac.uk/~history/Mathematicians/Grothendieck.
html [3]: http://www.arxiv.org/abs/math.AG/9904171

One Comment

path algebras

The previous post can be found [here][1].
Pierre Gabriel invented a lot of new notation (see his book [Representations of finite dimensional algebras][2] for a rather extreme case) and is responsible for calling a directed graph a quiver. For example,

$\xymatrix{\vtx{} \ar@/^/[rr] & & \vtx{} \ar@(u,ur) \ar@(d,dr) \ar@/^/[ll]} $

is a quiver. Note than it is allowed to have multiple arrows between vertices, as well as loops in vertices. For us it will be important that a quiver $Q $ depicts how to compute in a certain non-commutative algebra : the path algebra $\mathbb{C} Q $. If the quiver has $k $ vertices and $l $ arrows (including loops) then the path algebra $\mathbb{C} Q $ is a subalgebra of the full $k \times k $ matrix-algebra over the free algebra in $l $ non-commuting variables

$\mathbb{C} Q \subset M_k(\mathbb{C} \langle x_1,\ldots,x_l \rangle) $

Under this map, a vertex $v_i $ is mapped to the basis $i $-th diagonal matrix-idempotent and an arrow

$\xymatrix{\vtx{v_i} \ar[rr]^{x_a} & & \vtx{v_j}} $

is mapped to the matrix having all its entries zero except the $(j,i) $-entry which is equal to $x_a $. That is, in our main example

$\xymatrix{\vtx{e} \ar@/^/[rr]^a & & \vtx{f} \ar@(u,ur)^x \ar@(d,dr)_y \ar@/^/[ll]^b} $

the corresponding path algebra is the subalgebra of $M_2(\mathbb{C} \langle a,b,x,y \rangle) $ generated by the matrices

$e \mapsto \begin{bmatrix} 1 & 0 \\ 0 & 0 \end{bmatrix} $ $ f \mapsto \begin{bmatrix} 0 & 0 \\ 0 & 1 \end{bmatrix} $

$a \mapsto \begin{bmatrix} 0 & 0 \\ a & 0 \end{bmatrix} $ $b \mapsto \begin{bmatrix} 0 & b \\ 0 & 0 \end{bmatrix} $

$x \mapsto \begin{bmatrix} 0 & 0 \\ 0 & x \end{bmatrix} $ $y \mapsto \begin{bmatrix} 0 & 0 \\ 0 & y \end{bmatrix} $

The name \’path algebra\’ comes from the fact that the subspace of $\mathbb{C} Q $ at the $(j,i) $-place is the vectorspace spanned by all paths in the quiver starting at vertex $v_i $ and ending in vertex $v_j $. For an easier and concrete example of a path algebra. consider the quiver

$\xymatrix{\vtx{e} \ar[rr]^a & & \vtx{f} \ar@(ur,dr)^x} $

and verify that in this case, the path algebra is just

$\mathbb{C} Q = \begin{bmatrix} \mathbb{C} & 0 \\ \mathbb{C}[x]a & \mathbb{C}[x] \end{bmatrix} $

Observe that we write and read paths in the quiver from right to left. The reason for this strange convention is that later we will be interested in left-modules rather than right-modules. Right-minder people can go for the more natural left to right convention for writing paths.
Why are path algebras of quivers of interest in non-commutative geometry? Well, to begin they are examples of _formally smooth algebras_ (some say _quasi-free algebras_, I just call them _qurves_). These algebras were introduced and studied by Joachim Cuntz and Daniel Quillen and they are precisely the algebras allowing a good theory of non-commutative differential forms.
So you should think of formally smooth algebras as being non-commutative manifolds and under this analogy path algebras of quivers correspond to _affine spaces_. That is, one expects path algebras of quivers to turn up in two instances : (1) given a non-commutative manifold (aka formally smooth algebra) it must be \’embedded\’ in some non-commutative affine space (aka path algebra of a quiver) and (2) given a non-commutative manifold, the \’tangent spaces\’ should be determined by path algebras of quivers.
The first fact is easy enough to prove, every affine $\mathbb{C} $-algebra is an epimorphic image of a free algebra in say $l $ generators, which is just the path algebra of the _bouquet quiver_ having $l $ loops

$\xymatrix{\vtx{} \ar@(dl,l)^{x_1} \ar@(l,ul)^{x_2} \ar@(ur,r)^{x_i} \ar@(r,dr)^{x_l}} $

The second statement requires more work. For a first attempt to clarify this you can consult my preprint [Qurves and quivers][3] but I\’ll come back to this in another post. For now, just take my word for it : if formally smooth algebras are the non-commutative analogon of manifolds then path algebras of quivers are the non-commutative version of affine spaces!

[1]: http://www.neverendingbooks.org/index.php?p=71
[2]: http://www.booxtra.de/verteiler.asp?site=artikel.asp&wea=1070000&sh=homehome&artikelnummer=000000689724
[3]: http://www.arxiv.org/abs/math.RA/0406618

Leave a Comment