the noncommutative manifold of a Riemann surface

By lieven

Dessins d'enfants

Monsieur Mathieu
The best rejected proposal ever
The cartographers’ groups
the cartographers’ groups (2)
the noncommutative manifold of a Riemann surface
noncommutative curves and their maniflds
permutation representations of monodromy groups
anabelian geometry

The natural habitat of this lesson is a bit further down the course, but it was called into existence by a comment/question by Kea

I don’t yet quite see where the nc manifolds are, but I guess that’s coming.

As I’m enjoying telling about all sorts of sources of finite dimensional representations of $SL_2(\mathbb{Z})$ (and will carry on doing so for some time), more people may begin to wonder where I’m heading. For this reason I’ll do a couple of very elementary posts on simple examples of noncommutative manifolds.

I realize it is ‘bon ton’ these days to say that noncommutative manifolds are virtual objects associated to noncommutative algebras and that the calculation of certain invariants of these algebras gives insight into the topology and/or geometry of these non-existent spaces. My own attitude to noncommutative geometry is different : to me, noncommutative manifolds are genuine sets of points equipped with a topology and other structures which I can use as a mnemotechnic device to solve the problem of interest to me which is the classification of all finite dimensional representations of a smooth noncommutative algebra.

Hence, when I speak of the ‘noncommutative manifold of $SL_2(\mathbb{Z})$ ‘ Im after an object containing enough information to allow me (at least in principle) to classify the isomorphism classes of all finite dimensional $SL2(\mathbb{Z})$ -representations. The whole point of this course is to show that such an object exists and that we can make explicit calculations with it. But I’m running far ahead. Let us start with an elementary question :

Riemann surfaces are examples of noncommutative manifolds, so what is the noncommutative picture of them?

I’ve browsed the Google-pictures a bit and a picture coming close to my mental image of the noncommutative manifold of a Riemann surface locally looks like the picture on the left. Here, the checkerboard-surface is part of the Riemann surface and the extra structure consists in putting in each point of the Riemann surface a sphere, reflecting the local structure of the Riemann surface near the point. In fact, my picture is slightly different : I want to draw a loop in each point of the Riemann surface, but Ill explain why the two pictures are equivalent and why they present a solution to the problem of classifying all finite dimensional representations of the Riemann surface. After all why do we draw and study Riemann surfaces? Because we are interested in the solutions to equations. For example, the points of the Kleinian quartic Riemann surface give us all solutions tex \in \mathbb{C}^3[/tex] to the equation X^3Y+Y^3Z+Z^3X=0 . If (a,b,c) is such a solution, then so are all scalar multiples $(\lambda a,\lambda b,\lambda c)$ so we may as well assume that the Z$coordinate is equal to 1 and are then interested in finding the solutions tex \in \mathbb{C}^2[/tex] to the equation X^3Y+Y^3+X=0 which gives us an affine patch of the Kleinian quartic (in fact, these solutions give us all points except for two, corresponding to the points at infinity needed to make the picture compact so that we can hold it in our hand and look at it from all sides. These points at infinity correspond to the trivial solutions (1,0,0) and (0,1,0)).

What is the connection between points on this Riemann surface and representations? Well, if (a,b) is a solution to the equation X^3Y+Y^3+X=0 , then we have a one-dimensional representation of the affine coordinate ring $\mathbb{C}[X,Y]/(X^3Y+Y^3+X)$ , that is, an algebra morphism

$\mathbb{C}[X,Y]/(X^3Y+Y^3+X) \rightarrow \mathbb{C}$

defined by sending X to a and Y to b. Conversely, any such one-dimensonal representation gives us a solution (look at the images of X and Y and these will be the coordinates of a solution). Thus, commutative algebraic geometry of smooth curves (that is Riemann surfaces if you look at the ‘real’ picture) can be seen as the study of one-dimensional representations of their smooth coordinate algebras. In other words, the classical Riemann surface gives us already the classifcation of all one-dimensional representations, so now we are after the ‘other ones’.

In noncommtative algebra it is not natural to restrict attention to algebra maps to $\mathbb{C}$ , at least we would also like to include algebra maps to $n \times n$ matrices $M_n(\mathbb{C})$ . An n-dimensional representation of the coordinate algebra of the Klein quartic is an algebra map

$\mathbb{C}[X,Y]/(X^3Y+Y^3+X) \rightarrow M_n(\mathbb{C})$

That is, we want to find all pairs of $n \times n$ matrices A and B satisfying the following matrix-identities

A.B=B.A and A^3.B+B^3+A=0_n

The first equation tells us that the two matrices must commute (because we took commuting variables X and Y) and the second equation really is a set of n^2 -equations in the matrix-entries of A and B.

There is a sneaky way to get lots of such matrix-couples from a given solution (A,B), namely by simultaneous conjugation. That is, if $C \in GL_n(\mathbb{C})$ is any invertible $n \times n$ matrix, then also the matrix-couple $~(C^{-1}.A.C,C^{-1}.B.C)$ satisfies all the required equations (write the equations out and notice that middle terms of the form $C.C^{-1}$ cancel out and check that one then obtains the matrix-identities

$C^{-1} A B C = C^{-1} BA C$ and $C^{-1}(A^3B+B^3+A)C = 0_n$

which are satisfied because (A,B) was supposed to be a solution). We then say that these two n-dimensional representations are isomorphic and naturally we are only interested in classifying the isomorphism classes of all representations.

Using classical commutative algebra theory of Dedekind domains (such as the coordinate ring $\C[X,Y]/(X^3Y+Y^3+X)$ ) allows us to give a complete solution to this problem. It says that any n-dimensional representation is determined up to isomorphism by the following geometric/combinatorial data

a finite set of points $P_1,P2,\dots,P_k$ on the Riemann surface with $k \leq n$ .
a set of positive integers $a_1,a2,\dots,a_k$ associated to these pointssatisfying $a1+a_2+\dotsa_k=n$ .
for each a partition of (that is, a decreasing sequence of numbers with total sum ).

To encode this classification I’ll use the mental picture of associating to every point of the Klein quartic a small loop. $\xymatrix{\vtx{} \ar@(ul,ur)}$ Don\’t get over-exited about this noncommutative manifold picture of the Klein quartic, I do not mean to represent something like closed strings emanating from all points of the Riemann surface or any other fanshi-wanshi interpretation. Just as Feynman-diagrams allow the initiated to calculate probabilities of certain interactions, the noncommutative manifold allows the initiated to classify finite dimensional representations.

Our mental picture of the noncommutative manifold of the Klein quartic, that is : the points of the Klein quartic together with a loop in each point, will tell the initiated quite a few things, such as : The fact that there are no arrows between distict points, tells us that the classification problem splits into local problems in a finite number of points. Technically, this encodes the fact that there are no nontrivial extensions between different simples in the commutative case. This will drastically change if we enter the noncommutative world…

The fact that there is one loop in each point, tells us that the local classification problem in that point is the same as that of classifying nilpotent matrices upto conjugation (which, by the Jordan normal form result, are classified by partitions) Moreover, the fact that there is one loop in each point tells us that the local structure of simple representations near that point (that is, the points on the Kleinian quartic lying nearby) are classified as the simple representations of the polynmial algebra $\mathbb{C}[x]$ (which are the points on the complex plane, giving the picture
of the Riemann sphere in each point reflecting the local neighborhood of the point on the Klein quartic)

In general, the noncommutative manifold associated to a noncommutative smooth algebra will be of a similar geometric/combinatorial nature. Typically, it will consist of a geometric collection of points and arrows and loops between these points. This data will then allow us to reduce the classification problem to that of quiver-representations and will allow us to give local descriptions of our noncommutative manifolds. Next time, I’ll give the details in the first noncommutative example : the skew-group algebra of a finite group of automorphisms on a Riemann surface (such as the simple group $PSL_2(\mathbb{F}7)$ acting on the Klein quartic). Already in this case, some new phenomena will appear…

ADDED : While writing this post NetNewsWire informed me that over at Noncommutative Geometry they have a post on a similar topic : What is a noncommutative space.

Previous in series Next in series

Dedekind, geometry, google, Klein, noncommutative, representations, Riemann, simples, topology

1 comment
Posted in geometry
Written on Fri, 16 March 2007 at 4:52 pm
Tags: Dedekind, geometry, google, Klein, noncommutative, representations, Riemann, simples, topology
If you liked this post, then consider subscribing to our full RSS feed.

One Response to “the noncommutative manifold of a Riemann surface”

noncommutative curves and their maniflds at neverendingbooks Says:
December 27th, 2007 at 2:57 pm
[...] Last time we have seen that the noncommutative manifold of a Riemann surface can be viewed as that Riemann surface together with a loop in each point. The extra loop-structure tells us that all finite dimensional representations of the coordinate ring can be found by separating over points and those living at just one point are classified by the isoclasses of nilpotent matrices, that is are parametrized by the partitions (corresponding to the sizes of the Jordan blocks). In addition, these loops tell us that the Riemann surface locally looks like a Riemann sphere, so an equivalent mental picture of the local structure of this noncommutative manifold is given by the picture on teh left, where the surface is part of the Riemann surface and a sphere is placed at every point. Today we will consider genuine noncommutative curves and describe their corresponding noncommutative manifolds. [...]