# Tag: modular

It is far from finished but you can already visit a demo-version of
TheLibrary which I hope will one day be a useful collection of
online courses and books on non-commutative algebra & geometry. At
the moment it just contains a few of my own things but I do hope that
others will find the format interesting enough to allow me to include
their courses and/or books. So, please try this demo out! But before you
do, make sure that you have a good webbrowser-plugin to view
the files). If you are using Macintosh 10.3 or better there is a very
nice plugin freely
available whch you only have to drag into your _/Library/Internet
Plug-Ins/_-folder to get it working (after restarting Safari).
If you click on the title you will get a page with hyper-links to all
bookmarks of the pdf-file (for example, if you have used the hyperref package to
PDF-file you can always include the required bookmarks using Acrobat.
No doubt the most useful feature (at this moment) of the set-up is
that all files are fully searchable for keywords.
For example, if
you are at the page of my 3 talks on noncommutative
geometry@n
-course and fill out “Azumaya” in the Search
Document-field you will get a screen like the one below

That is, you wlll get all occurrences of 'Azumaya' in
the document together with some of the context as well as page- or
section-links nearby that you can click to get to the paragraph you are
looking for. In the weeks to come I hope to extend the usability of
_TheLibrary_ by offering a one-page view, modular security
enhancements, a commenting feature as well as a popularity count. But,
as always, this may take longer than I want…
If you think
that the present set-up might already be of interest to readers of your
courses or books and if you have a good PDF-file of it available
(including bookmarks) then email and we will try to include your
material!

Before the vacation I finished a rewrite of the One quiver to rule them
all
note. The main point of that note was to associate to any qurve
$A$ (formerly known as a quasi-free algebra in the terminology of
Cuntz-Quillen or a formally smooth algebra in the terminology of
Kontsevich-Rosenberg) a quiver $Q(A)$ and a dimension vector $\alpha_A$
such that $A$ is etale isomorphic (in a yet to be defined
non-commutative etale toplogy) to a ring Morita equivalent to the path
algebra $lQ(A)$ where the Morita setting is determined by the dimension
vector $\alpha_A$. These “one-quiver settings” are easy to
work out for a group algebra $lG$ if $G$ is the amalgamated free product
of finite groups $G = H_1 \bigstar_H H_2$.

Here is how to do
this : construct a bipartite quiver with the left vertices corresponding
to the irreducible representations of $H_1$, say ${ S_1, .. ,S_k }$ of
dimensions $(d_1, .. ,d_k)$ and the right vertices corresponding to the
irreducible representations of $H_2$, ${ T_1, .. ,T_l }$ of dimensions
$(e_1, .. ,e_l)$. The number of arrows from the $i$-th left vertex to
the $j$-th right vertex is given by the dimension of $Hom_H(S_i,T_j)$
This is the quiver I call the Zariski quiver for $G$ as the finite
dimensional $G$-representations correspond to $\theta$-semistable
representations of this quiver for the stability structure $\theta=(d_1, .. ,d_k ; -e_1, .. ,-e_l)$. The one-quiver $Q(G)$ has vertices
corresponding to the minimal $\theta$-stable dimension vectors (say
$\alpha,\beta, ..$of the Zariski quiver and with the number of arrows
between two such vertices determined by $\delta_{\alpha \beta}-\chi(\alpha,\beta)$ where $\chi$ is the Euler form of the Zariski
quiver. In the old note I've included the example of the projective
modular group $PSL_2(Z) = Z_2 \bigstar Z_3$ (which can easily be
generalized to the modular group $SL_2(Z) = Z_4 \bigstar_{Z_2} Z_6$)
which turns out to be the double of the extended Dynkin quiver
$\tilde{A_5}$. In the rewrite I've also included an example of a
congruence subgroup $\Gamma_0(2) = Z_4 \bigstar_{Z_2}^{HNN}$ which is an
HNN-extension. These are somehow the classical examples of interesting
amalgamated (HNN) groups and one would like to have plenty of other
interesting examples. Yesterday I read a paper by Karen Vogtmann called

Automorphisms of free groups and outer space
in which I encountered
an amalgamated product decomposition for $GL_2(Z) = D_8 \bigstar_{Z_2 \times Z_2} (S_3 \times Z_2)$where $D_8$ is the diheder group of 8
elements. When I got back from vacation I found a reference to this
result in my mail-box from Warren Dicks. Theorem 23.1, p. 82, in Heiner
Zieschang, Finite Groups of Mapping Classes of Surfaces, LNM 875,
Springer, Berlin, 1981.

I worked out the one-quiver and it has
the somewhat strange form depicted above. It is perfectly possible that
I made mistakes so if you find another result, please let me know.

the correct one quiver can be found elsewhere on this blog.

Can
it be that one forgets an entire proof because the result doesn’t seem
important or relevant at the time? It seems the only logical explanation
for what happened last week. Raf Bocklandt asked me whether a
classification was known of all group algebras l G which are
noncommutative manifolds (that is, which are formally smooth a la Kontsevich-Rosenberg or, equivalently, quasi-free
a la Cuntz-Quillen). I said I didn’t know the answer and that it looked
like a difficult problem but at the same time it was entirely clear to
me how to attack this problem, even which book I needed to have a look
at to get started. And, indeed, after a visit to the library borrowing
Warren Dicks
lecture notes in mathematics 790 “Groups, trees and projective
modules” and browsing through it for a few minutes I had the rough
outline of the classification. As the proof is basicly a two-liner I
might as well sketch it here.
If l G is quasi-free it
must be hereditary so the augmentation ideal must be a projective
module. But Martin Dunwoody proved that this is equivalent to
G being a group acting on a (usually infinite) tree with finite
group vertex-stabilizers all of its orders being invertible in the
basefield l. Hence, by Bass-Serre theory G is the
fundamental group of a graph of finite groups (all orders being units in
l) and using this structural result it is then not difficult to
show that the group algebra l G does indeed have the lifting
property for morphisms modulo nilpotent ideals and hence is
quasi-free.
If l has characteristic zero (hence the
extra order conditions are void) one can invoke a result of Karrass
saying that quasi-freeness of l G is equivalent to G being
virtually free (that is, G has a free subgroup of finite
index). There are many interesting examples of virtually free groups.
One source are the discrete subgroups commensurable with SL(2,Z)
(among which all groups appearing in monstrous moonshine), another
source comes from the classification of rank two vectorbundles over
projective smooth curves over finite fields (see the later chapters of
Serre’s Trees). So
one can use non-commutative geometry to study the finite dimensional
representations of virtually free groups generalizing the approach with
Jan Adriaenssens in Non-commutative covers and the modular group (btw.
Jan claims that a revision of this paper will be available soon).
In order to avoid that I forget all of this once again, I’ve
written over the last couple of days a short note explaining what I know
of representations of virtually free groups (or more generally of
fundamental algebras of finite graphs of separable
l-algebras). I may (or may not) post this note on the arXiv in
the coming weeks. But, if you have a reason to be interested in this,
send me an email and I’ll send you a sneak preview.

Rather than going to the NOG
III Workshop
I think it is more fun to give a talk for the Capita
Selecta
-course for 2nd year students on “Monstrous Moonshine”. If
I manage to explain to them at least something, I think I am in good
shape for next year\’s Baby Geometry (first year) course. Besides,
afterwards I may decide to give some details of Borcherds\’ solution next year in my 3rd year
Geometry-course…(but this may just be a little bit
over-optimistic).
Anyway, this is what I plan to do in my
lecture : explain both sides of the McKay-observation
that

196 884 = 196 883 + 1

that is, I\’ll give
the action of the modular group on the upper-half plane and prove that
its fundamental domain is just C using the modular j-function (left hand
side) and sketch the importance of the Monster group and its
representation theory (right hand side). Then I\’ll mention Ogg\’s
observation that the only subgroups Gamma(0,p)+ of SL(2,Z)
for which the fundamental domain has genus zero are the prime divisors
p of teh order of the Monster and I\’ll come to moonshine
conjecture of Conway and Norton (for those students who did hear my talk
on Antwerp sprouts, yes both Conway and Simon Norton (via his
SNORT-go) did appear there too…) and if time allows it, I\’ll sketch
the main idea of the proof. Fortunately, Richard Borcherds has written
some excellent expository papers I can use (see his papers-page and I also discovered a beautiful
moonshine-page by Helena Verrill which will make my job a lot
easier.
Btw. yesterday\’s Monster was taken from her other monster story…

Yesterday morning I thought that I could use some discussions I had a
week before with Markus Reineke to begin to make sense of one
sentence in Kontsevich’ Arbeitstagung talk Non-commutative smooth
spaces :

It seems plausible that Borcherds’ infinite rank
algebras with Monstrous symmetry can be realized inside Hall-Ringel
algebras for some small smooth noncommutative
spaces

However, as I’m running on a 68K RAM-memory, I
didn’t recall the fine details of all connections between the monster,
moonshine, vertex algebras and the like. Fortunately, there is the vast
amount of knowledge buried in the arXiv and a quick search on Borcherds gave me a
list of 17 papers. Among
these there are some delightful short (3 to 8 pages) expository papers
that gave me a quick recap on things I once must have read but forgot.
Moreover, Richard Borcherds has the gift of writing at the same time
readable and informative papers. If you want to get to the essence of
things in 15 minutes I can recommend What
is a vertex algebra?
(“The answer to the question in the title is
that a vertex algebra is really a sort of commutative ring.”), What
is moonshine?
(“At the time he discovered these relations, several
people thought it so unlikely that there could be a relation between the
monster and the elliptic modular function that they politely told McKay
that he was talking nonsense.”) and What
is the monster?
(“3. It is the automorphism group of the monster
vertex algebra. (This is probably the best answer.)”). Borcherds
maintains also his homepage on which I found a few more (longer)
expository papers : Problems in moonshine and Automorphic forms and Lie algebras. After these
preliminaries it was time for the real goodies such as The
fake monster formal group
, Quantum vertex algebras and the like.
After a day of enjoyable reading I think I’m again ‘a point’
wrt. vertex algebras. Unfortunately, I completely forgot what all this
could have to do with Kontsevich’ remark…