“I’m open to any topic as long as it has nothing to do with those silly quivers!”

At that time not the best of opening-lines to address me and, inevitably, the most disastrous teacher-student-conversation-ever followed (also on my part, i’m sorry to say).

This week, Markus Reineke had a similar, though less confrontational, experience. Markus gave a mini-course on ‘moduli spaces of representations’ in our advanced master class. Students loved the way he introduced representation varieties and constructed the space of irreducible representations as a GIT-quotient. In fact, his course was probably the first in that program having an increasing (rather than decreasing) number of students attending throughout the week…

In his third lecture he wanted to illustrate these general constructions and what better concrete example to take than representations of quivers? Result : students’ eyes staring blankly at infinity…

What is it that quivers do to have this effect on students?

Perhaps quiver-representations cause them an information-overload.

Perhaps we should take plenty of time to explain that in going from the quiver (the directed graph) to the path algebra, vertices become idempotents and arrows the remaining generators. These idempotents split a representation space into smaller vertex-spaces, the dimensions of which we collect in a dimension-vector, the big basechange group splits therefore into a product of small vertex-basechanges and the action of this product on an matrix corresponding to an arrow is merely usual conjugation by the big basechange-group, etc. etc. Blatant trivialities to someone breathing quivers, but probably we too had to take plenty of time once to disentangle this information-package…

But then, perhaps they consider quivers and their representations as too-concrete-old-math-stuff, when there’s so much high-profile-fancy-math still left to taste.

When given the option, students prefer you to tell them monstrous-moonshine stories even though they can barely prove simplicity of $A_5$, they want you to give them a short-cut to the Langlands programme but have never had the patience nor the interest to investigate the splitting of primes in quadratic number fields, they want to be taught schemes and their structure sheaves when they still struggle with the notion of a dominant map between varieties…

In short, students often like to run before they can crawl.

Working through the classification of some simple quiver-settings would force their agile feet firmly on the ground. They probably experience this as a waste of time.

Perhaps, it is time to promote slow math…

February 21-25
Vladimir Bavula (University of Sheffield) :
Localization Theory of Rings and Modules

March 7-11
Hans-Jürgen Schneider (University of München) :
Nichols Algebra and Root Systems

April 11-12
Bernhard Keller (Université Paris VII):
Cluster Algebra and Quantum Cluster Algebras

April 18-22
Jacques Alev (Université Reims):
Automorphisms of some Basic Algebras

May 3-8
Goro Kato (Cal Poly University, San Luis Obispo, US):
Sheaf Cohomology and Zeta – Functions

May 9-13
Markus Reineke (University of Wuppertal):
Moduli Spaces of Representatives

More information can be found here. I’ve been told that some limited support is available for foreign graduate students wanting to attend this programme.

If nothing else, it shows that just as much as the stock market is fueled by greed, mathematical reasearch is driven by frustration (or the pleasure gained from knowing others to be frustrated).

I did spend the better part of the day doing a lengthy, if not laborious, calculation, I’ve been postponing for several years now. Partly, because I didn’t know how to start performing it (though the basic strategy was clear), partly, because I knew beforehand the final answer would probably offer me no further insight.

Still, it gives the final answer to a problem that may be of interest to anyone vaguely interested in Moonshine :

What does the Monster see of the modular group?

I know at least two of you, occasionally reading this blog, understand what I was trying to do and may now wonder how to repeat the straightforward calculation. Well the simple answer is : Google for the number 97239461142009186000 and, no doubt, you will be able to do the computation overnight.

One word of advice : don’t! Get some sleep instead, or make love to your partner, because all you’ll get is a quiver on nine vertices (which is pretty good for the Monster) but having an horrible amount of loops and arrows…

If someone wants the details on all of this, just ask. But, if you really want to get me exited : find a moonshine reason for one of the following two numbers :

$791616381395932409265430144165764500492= 2^2 * 11 * 293 * 61403690769153925633371869699485301 $

(the dimension of the monster-singularity upto smooth equivalence), or,

$1575918800531316887592467826675348205163= 523 * 1655089391 * 15982020053213 * 113914503502907 $

(the dimension of the moduli space).

Seen this quiver?

Necklaces (again)

B for bricks

A for aggregates

From Galois to NOG

Jacobian update 2

Jacobian update

Congrats Carolyn!

Double Poisson algebras

Hyper-resolutions

Smooth Brauer-Severis

Brauer-Severi varieties

Curvatures

Differential forms

Cotangent bundles

Moduli spaces

Representation spaces

Quiver representations

Algebraic vs. differential NOG

Path algebras

Nog course outline

The Azumaya locus does determine the order

Differential geometry

The one quiver for GL(2,Z)

The necklace Lie bialgebra

More noncommutative manifolds

Points and lines

Projects in noncommutative geometry

Noncommutative geometry 2

Noncommutative geometry 1

A noncommutative Grothendieck topology

Connected component coalgebra

NOG master class update

NOG master class

As mathematicians, we often read a nice new proof of a known theorem, enjoy the different approach, but continue to derive our internal understanding from the method we originally learned. This paper aims to change drastically the way mathematicians think about and teach crucial aspects of linear algebra.

The simple proof of the existence of eigenvalues given in Theorem 2.1 should be the one imprinted in our minds, written on our blackboards, and published in our textbooks. Generalized eigenvectors should become a central tool for the understanding of linear operators. As we have seen, their use leads to natural definitions of multiplicity and the characteristic polynomial. Every mathematician and every linear algebra student should at least remember that the generalized eigenvectors of an operator always span the domain (Proposition 3.4)—this crucial result leads to easy proofs of upper-triangular form (Theorem 6.2) and the Spectral Theorem (Theorems 7.5 and 8.3).

Determinants appear in many proofs not discussed here. If you scrutinize such proofs, you’ll often discover better alternatives without determinants. Down with Determinants!

I welcome all new proofs of known results as they allow instructors to choose the one best suited to their students (and preferable giving more than one proof showing that there is no such thing as ‘the best way’ to prove a mathematical result). What worries me is Axler’s attitude shared by extremists and dogmatics world-wide : they are so blinded by their own right that they impoverish their own lifes (and if they had their way, also that of others) by not willing to consider other alternatives. A few other comments :

1. I would be far more impressed if he had given a short argument for the one line he skates over in his proof, that of $\mathbb{C} $ being algebraically closed. Does anyone give a proof of this fact anymore or is this one of the few facts we expect first year students to accept on faith?

   1. I dont understand this aversity to the determinant (probably because of its nonlinear character) but at the same time not having any problems with successive powers of matrices. Surely he knows that the determinant is a fixed $~\mathbb{Q}~ $-polynomial in the traces (which are linear!) of powers of the matrix.

   2. The essense of linear algebra is that by choosing a basis cleverly one can express a linear operator in a extremely nice matrix form (a canonical form) so that all computations become much more easy. This crucial idea of considering different bases and their basechange seems to be missing from Axler’s approach. Moreover, I would have thought that everyone would know these days that ‘linear algebra done right’ is a well developed topic called ‘representation theory of quivers’ but I realize this might be viewed as a dogmatic statement. Fortunately someone else is giving the basic linear algebra courses here in Antwerp so students are spared my private obsessions (at least the first few years…). In [his post](http://golem.ph.utexas.edu/category/2007/05/ linear_algebra_done_right.html) Leistner askes “What are determinants good for?” I cannot resist mentioning a trivial observation I made last week when thinking once again about THE rationality problem and which may be well known to others. Recall from the previous post that rationality of the quotient variety of matrix-couples $~(A,B) \in M_n(\mathbb{C}) \oplus M_n(\mathbb{C}) / GL_n $ under _simultaneous conjugation_ is a very hard problem. On the other hand, the ‘near miss’ problem of the quotient variety of matrix-couples $ { (A,B)~|~det(A)=0~} / GL_n $ is completely trivial. It is rational for all n. Here is a one-line proof. Consider the quiver $\xymatrix{\vtx{} \ar@/^2ex/[rr] & & \vtx{} \ar@(ur,dr) \ar@/^2ex/[ll]} $ then the dimension vector (n-1,n) is a Schur root and the first fundamental theorem of $GL_n $ (see for example Hanspeter Krafts excellent book on invariant theory) asserts that the corresponding quotient variety is the one above. The result then follows from Aidan Schofield’s paper Birational classification of moduli spaces of representations of quivers. Btw. in this special case one does not have to use the full force of Aidan’s result. Zinovy Reichstein, who keeps me updated on events in Atlanta, emailed the following elegant short proof Here is an outline of a geometric proof. Let $X = {(A, B) : det(A) = 0} \subset M_n^2 $ and $Y = \mathbb{P}^{n-1} \times M_n $. Applying the no-name lemma to the $PGL_n $-equivariant dominant rational map $~X \rightarrow Y $ given by $~(A, B) \rightarrow (Ker(A), B) $ (which makes X into a vector bundle over a dense open $PGL_n $-invariant subset of Y), we see that $X//PGL_n $ is rational over $Y//PGL_n $ On the other hand, $Y//PGLn = M_n//PGL_n $ is an affine space. Thus $X//PGL_n $ is rational. The moment I read this I knew how to do this quiver-wise and that it is just another Brauer-Severi type argument so completely inadequate to help settling the genuine matrix-problem. Update on the paper by Esther Beneish : Esther did submit the paper in february.

For couples of 2 by 2 matrices, Claudio Procesi rediscovered an old
result due to James Sylvester saying
that this is indeed the case and that the set of invariants consists of
the five invariants Tr(A),Tr(B),Det(A),Det(B) and Tr(AB). Now, Claudio
did a lot more in his paper. He showed that if you could prove this for
couples of matrices, you can also do it for triples, quadruples even any
k-tuples of n by n matrices under simultaneous conjugation. He also
related this problem to the center of the generic division algebra of
degree n (which was introduced earlier by Shimshon Amitsur in a rather
cryptic manner and for a while he simply refused to believe Claudio’s
description of this division algebra as the one generated by two
_generic_ n by n matrices, that is matrices filled with independent
variables). Claudio also gave the description of the center of this
algebra as a field of lattice-invariants (over the symmetric group S(n)
) which was crucial in subsequent investigations. If you are interested
in the history of this problem, its connections with Brauer group
problems and invariant theory and a short description of the tricks used
in proving the results I’ll mention below, you might have a look at the
talk Centers of Generic Division Algebras, the rationality problem 1965-1990
I gave in Chicago in 1990.

The case of couples of 3 by 3 matrices was finally
settled in 1979 by Ed Formanek and a
year later he was able to solve also the case of couples of 4 by 4
matrices in a fabulous paper. In it, he used solvability of S(4) in an
essential way thereby hinting at the possibility that the problem might
no longer have an affirmative answer for larger values of n. When I read
his 4×4 paper I believed that someone able to prove such a result must
have an awesome insight in the inner workings of matrices and decided to
dedicate myself to this problem the moment I would get a permanent
job… . But even then it is a reckless thing to do. Spending all of
your time to such a difficult problem can be frustrating as there is no
guarantee you’ll ever write a paper. Sure, you can find translations of
the problem and as all good problems it will have connections with other
subjects such as moduli spaces of vectorbundles and of quiver
representations, but to do the ‘next number’ is another matter.

Fortunately, early 1990, together with
Christine Bessenrodt we were
able to do the next two ‘prime cases’ : couples of 5 by 5 and couples of
7 by 7 matrices (Katsylo and Aidan Schofield had already proved that if
you could do it for couples of k by k and l by l matrices and if k and l
were coprime then you could also do it for couples of kl by kl matrices,
so the n=6 case was already done). Or did we? Well not quite, our
methods only allowed us to prove that the center is stably rational
that is, it becomes rational by freely adjoining extra variables. There
are examples known of stably rational fields which are NOT rational, but
I guess most experts believe that in the case of matrix-invariants
stable rationality will imply rationality. After this paper both
Christine and myself decided to do other things as we believed we had
reached the limits of what the lattice-method could do and we thought a
new idea was required to go further. If today’s paper by Esther turns
out to be correct, we were wrong. The next couple of days/weeks I’ll
have a go at her paper but as my lattice-tricks are pretty rusty this
may take longer than expected. Still, I see that in a couple of weeks
there will be a meeting in
Atlanta were Esther
and all experts in the field will be present (among them David Saltman
and Jean-Louis Colliot-Thelene) so we will know one way or the other
pretty soon. I sincerely hope Esther’s proof will stand the test as she
was the only one courageous enough to devote herself entirely to the
problem, regardless of slow progress.

We develop
geometric approach to A-infinity algebras and A-infinity categories
based on the notion of formal scheme in the category of graded vector
spaces. Geometric approach clarifies several questions, e.g. the notion
of homological unit or A-infinity structure on A-infinity functors. We
discuss Hochschild complexes of A-infinity algebras from geometric point
of view. The paper contains homological versions of the notions of
properness and smoothness of projective varieties as well as the
non-commutative version of Hodge-to-de Rham degeneration conjecture. We
also discuss a generalization of Deligne’s conjecture which includes
both Hochschild chains and cochains. We conclude the paper with the
description of an action of the PROP of singular chains of the
topological PROP of 2-dimensional surfaces on the Hochschild chain
complex of an A-infinity algebra with the scalar product (this action is
more or less equivalent to the structure of 2-dimensional Topological
Field Theory associated with an “abstract” Calabi-Yau
manifold).

why ? : Because this paper
probably gives the correct geometric object associated to a
non-commutative algebra (a huge coalgebra) and consequently the right
definition of a map between noncommutative affine schemes. In a previous post (and its predecessors) I’ve
tried to explain how this links up with my own interpretation and since
then I’ve thought more about this, but that will have to wait for
another time. in hep-th : hep-th/0611082 : Children’s Drawings From
Seiberg-Witten Curves by Sujay K. Ashok, Freddy Cachazo, Eleonora
Dell’Aquila. Here is the abstract :

We consider N=2
supersymmetric gauge theories perturbed by tree level superpotential
terms near isolated singular points in the Coulomb moduli space. We
identify the Seiberg-Witten curve at these points with polynomial
equations used to construct what Grothendieck called “dessins
d’enfants” or “children’s drawings” on the Riemann
sphere. From a mathematical point of view, the dessins are important
because the absolute Galois group Gal(\bar{Q}/Q) acts faithfully on
them. We argue that the relation between the dessins and Seiberg-Witten
theory is useful because gauge theory criteria used to distinguish
branches of N=1 vacua can lead to mathematical invariants that help to
distinguish dessins belonging to different Galois orbits. For instance,
we show that the confinement index defined in hep-th/0301006 is a Galois
invariant. We further make some conjectures on the relation between
Grothendieck’s programme of classifying dessins into Galois orbits and
the physics problem of classifying phases of N=1 gauge theories.

why ? : Because this paper gives the
best introduction I’ve seen to Grothendieck’s dessins d’enfants
(slightly overdoing it by giving a crash course on elementary Galois
theory in appendix A) and kept me thinking about dessins and their
Galois invariants ever since (again, I’ll come back to this later).

Recentlty, the department bought a Ricoh-copier which makes scanning a lot more fun. To scan a preprint at 300dpi and convert it into a single PDF-file takes under a minute (actually, downloading the file using a web-interface takes longer…). For this particular preprint, the resulting PDF-file took up 1.2Mb and looks a lot nicer

Still, 1.2Mb is a huge file but converting it to a DjVu-file (DjVu=deja vu) using the handy Any2DjVu Service gives us a mere 236Kb file which comes a lot closer to the filesize of a PDFLaTeX-file and the output is still very legible

So, I decided to rescan my entire life at 300dpi and convert it into DjVu. Next, I got the MOPP-package (MOPP = My Online Publications Page) working using the instructions from this page and some obvious MacOSX-modifications (if I can do it, so can you but perhaps I’ll write up the details in another post, just to remind myself). You can see the result at my homepage. I’ll update the latter one regularly (there are still some preprints missing, as are all my courses etc. and cross-references) and only afterwards I’ll update my homepage again. So far there is 250Mb to download (including all versions of the noncommutative geometry@n book, including the published ones…) so this should keep you busy for a while…

$A = \begin{bmatrix} \mathbb{C} & V \\ 0 & \mathbb{C}
\end{bmatrix}$ where $V$ is an n-dimensional complex vectorspace, or
equivalently, A is the path algebra of the two point, n arrow quiver
$\xymatrix{\vtx{} \ar@/^/[r] \ar[r] \ar@/_/[r] & \vtx{}} $
Then, A has just 2 simple representations S and T (the vertex reps) of
dimension vectors s=(1,0) and t=(0,1). If w is a word in S and T we can
consider the set $\mathbf{r}_w$ of all A-representations having a
Jordan-Holder series with factors the terms in w (read from left to
right) so $\mathbf{r}_w \subset \mathbf{rep}_{(a,b)}~A$ when there are a
S-terms and b T-terms in w. Clearly all these subsets can be given the
structure of a monoid induced by concatenation of words, that is
$\mathbf{r}_w \star \mathbf{r}_{w’} = \mathbf{r}_{ww’}$ which is
Reineke’s *composition monoid*. In this case it is generated by
$\mathbf{r}_s$ and $\mathbf{r}_t$ and in the composition monoid the
following relations hold among these two generators
$\mathbf{r}_t^{\star n+1} \star \mathbf{r}_s = \mathbf{r}_t^{\star n}
\star \mathbf{r}_s \star \mathbf{r}_t \quad \text{and} \quad
\mathbf{r}_t \star \mathbf{r}_s^{\star n+1} = \mathbf{r}_s \star
\mathbf{r}_t \star \mathbf{r}_s^{\star n}$ With these notations we can
now see that the left basic open set in the noncommutative topology
(associated to a noncommutative word w in S and T) is of the form
$\mathcal{O}^l_w = \bigcup_{w’} \mathbf{r}_{w’}$ where the union is
taken over all words w’ in S and T such that in the composition monoid
the relation holds $\mathbf{r}_{w’} = \mathbf{r}_w \star \mathbf{r}_{u}$
for another word u. Hence, each op these basic opens hits a large number
of $~\mathbf{rep}_{\alpha}$, in fact far too many for our purposes….
So, what do we want? We want to define a noncommutative notion of
birationality and clearly we want that if two algebras A and B are
birational that this is the same as saying that some open subsets of
their resp. $\mathbf{rep}$’s are homeomorphic. But, what do we
understand by *noncommutative birationality*? Clearly, if A and B are
prime Noethrian, this is clear. Both have a ring of fractions and we
demand them to be isomorphic (as in the commutative case). For this
special subclass the above noncommutative topology based on the Zariski
topology on the simples may be fine.

However, most qurves don’t have
a canonical ‘ring of fractions’. Usually they will have infinitely
many simple Artinian algebras which should be thought of as being
_a_ ring of fractions. For example, in the finite dimensional
example A above, if follows from Aidan Schofield‘s work Representations of rings over skew fields that
there is one such for every (a,b) with gcd(a,b)=1 and (a,b) satisfying
$a^2+b^2-n a b < 1$ (an indivisible Shur root for A).

And
what is the _noncommutative birationality result_ we are aiming
for in each of these cases? Well, the inspiration for this comes from
another result by Aidan (although it is not stated as such in the
paper…) Birational
classification of moduli spaces of representations of quivers. In
this paper Aidan proves that if you take one of these indivisible Schur
roots (a,b) above, and if you look at $\alpha_n = n(a,b)$ that then the
moduli space of semi-stable quiver representations for this multiplied
dimension vector is birational to the quotient variety of
$1-(a^2+b^2-nab)$-tuples of $ n \times n $-matrices under simultaneous
conjugation.

So, *morally speaking* this should be stated as the
fact that A is (along the ray determined by (a,b)) noncommutative
birational to the free algebra in $1-(a^2+b^2-nab)$ variables. And we
want a noncommutative topology on $\mathbf{rep}~A$ to encode all these
facts… As mentioned before, this can be done by replacing simples with
bricks (or if you want Schur representations) but that will have to wait
until next week.

Session 1 (Friday 20 May)
— chair : Jacques Alev (Univ. Reims)

15.30-16.25 : Iain Gordon (Glasgow, United
Kingdom) : “Rational Cherednik algebras and resolutions of
symplectic
singularities”

16.25-16.35 : break

16.35-17.30 : Olivier Schiffmann (ENS Paris, France) :
“Elliptic Hall algebras and spherical Cherednik algebras”

Session 2 (Saturday 21 May) — chair : Lieven Le Bruyn
(Univ. Antwerp)

14.30-15.15 : Markus
Reineke (Munster, Germany) : “Geometry of Quiver Moduli”

15.15-16.00 : Raf Bocklandt &
Geert Van de Weyer
(Antwerp, Belgium) : “The power of slicing in noncommutative
geometry”

Afterwards it will be time to take a short
vacation (and do some cycling in the French mountains). Here is my
reading list for next week :

The dark Eye – Ingrid
Black : Simply because I read her previous novel The dead…

Brass – Helen Walsh : I
read the first 3 or 4 pages in the shop and couldn\’t stop …

Fleshmarked Alley – Ian
Rankin : Hey, it\’s vacation!