Last time (possibly with help from the survival guide) we have seen that the universal map from the modular group to its profinite completion (limit over all finite index normal subgroups ) gives an embedding of the sets of (continuous) simple finite dimensional representations

and based on the example we would like the above embedding to be dense in some kind of noncommutative analogon of the Zariski topology on .

We use the Zariski topology on as in these two M-geometry posts¹. So, what’s this idea in this special case? Let be the vectorspace with basis the conjugacy classes of elements of (that is, the space of class functions). As explained here it is a consequence of the Artin-Procesi theorem that the linear functions separate finite dimensional (semi)simple representations of . That is we have an embedding

and we can define closed subsets of as subsets of simple representations on which a set of class-functions vanish. With this definition of Zariski topology it is immediately clear that the image of is dense. For, suppose it would be contained in a proper closed subset then there would be a class-function vanishing on all simples of so, in particular, there should be a bound on the number of simples of finite quotients which clearly is not the case (just look at the quotients ).

But then, the same holds if we replace ’simples of ‘ by ’simple components of permutation representations of ‘. This is the importance of Farey symbols to the representation problem of the modular group. They give us a manageable subset of simples which is nevertheless dense in the whole space. To utilize this a natural idea might be to ask what such a permutation representation can see of the modular group, or in geometric terms, what the tangent space is to in a permutation representation². We will call this the modular content of the permutation representation and to understand it we will have to compute the tangent quiver .

• I Love Social Bookmarking
  
  • Subscribe
  • Digg
  • del.icio.us
  • Ma.gnolia
  • StumbleUpon
  • Technorati

1. already, I regret terminology, I should have just called it noncommutative geometry [↩]
2. more precisely, in the ‘cluster’ of points making up the simple components of the representation representation [↩]

anabelian, geometry, groups, M-geometry, modular, noncommutative, permutation representation, Procesi, profinite, representations, simples, topology

No comments
Posted in geometry, groups, modular
Written on Wed, 19 December 2007 at 9:20 pm
Tags: anabelian, geometry, groups, M-geometry, modular, noncommutative, permutation representation, Procesi, profinite, representations, simples, topology
If you liked this post, then consider subscribing to our full RSS feed.