Skip to content →

Tag: noncommutative

nog course outline

Now that the preparation for my undergraduate courses in the first semester is more or less finished, I can begin to think about the courses I’ll give this year in the master class
non-commutative geometry. For a change I’d like to introduce the main ideas and concepts by a very concrete example : Ginzburg’s coadjoint-orbit result for the Calogero-Moser space and its
relation to the classification of one-sided ideals in the first Weyl algebra. Not only will this example give me the opportunity to say things about formally smooth algebras, non-commutative
differential forms and even non-commutative symplectic geometry, but it also involves what some people prefer to call _non-commutative algebraic geometry_ (that is the study of graded Noetherian
rings having excellent homological properties) via the projective space associated to the homogenized Weyl algebra. Besides, I have some affinity with this example.

A long time ago I introduced
the moduli spaces for one-sided ideals in the Weyl algebra in Moduli spaces for right ideals of the Weyl algebra and when I was printing a _very_ preliminary version of Ginzburg’s paper
Non-commutative Symplectic Geometry, Quiver varieties, and Operads (probably because he send a preview to Yuri Berest and I was in contact with him at the time about the moduli spaces) the
idea hit me at the printer that the right way to look at the propblem was to consider the quiver

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

which eventually led to my paper together with Raf Bocklandt Necklace Lie algebras and noncommutative symplectic geometry.

Apart from this papers I would like to explain the following
papers by illustrating them on the above example : Michail Kapranov Noncommutative geometry based on commutator expansions Maxim Kontsevich and Alex Rosenberg Noncommutative smooth
spaces
Yuri Berest and George Wilson Automorphisms and Ideals of the Weyl Algebra Yuri Berest and George Wilson Ideal Classes of the Weyl Algebra and Noncommutative Projective
Geometry
Travis Schedler A Hopf algebra quantizing a necklace Lie algebra canonically associated to a quiver and of course the seminal paper by Joachim Cuntz and Daniel Quillen on
quasi-free algebras and their non-commutative differential forms which, unfortunately, in not available online.

I plan to write a series of posts here on all this material but I will be very
happy to get side-tracked by any comments you might have. So please, if you are interested in any of this and want to have more information or explanation do not hesitate to post a comment (only
your name and email is required to do so, you do not have to register and you can even put some latex-code in your post but such a posting will first have to viewed by me to avoid cluttering of
nonsense GIFs in my directories).

Leave a Comment

more noncommutative manifolds

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.

Leave a Comment

Borcherdsโ€™ monster papers


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…

Leave a Comment