S�minaire "Groupes, G�om�trie et Logique"

Exceptionnellement Mardi 27 juin, salle 100, � 16h30, Anand Pillay, University of Leeds : Forking in the free group.

Résumé: I discuss geometric-stability properties of the free group (in particular non CM-triviality) in the light of results announced by Sela and Bestvina-Feign.

Mercredi 14 juin, Julien MELLERAY, Universit� Paris 6 : L'espace d'Urysohn et son groupe d'isom�tries; liens avec la th�orie des mod�les.

Résumé: L'espace d'Urysohn, et son groupe d'isom�tries, apparaissent depuis une dizaine d'ann�es comme des objets importants, au carrefour de l'analyse, de la logique et des probabilit�s. J'essaierai d'expliquer quelques uns de mes r�sultats sur la g�om�trie de cet espace et d'�voquer des directions de recherche possibles; j'essaierai aussi de mettre en lumi�re un lien avec la th�orie des mod�les (via la th�orie de la logique continue pour les structures m�triques d�velopp�e par Ben-Yaacov, Berenstein, Henson et Usvyatsov), et comment on peut esp�rer celle-ci pour formuler des r�sultats sur l'espace d'Urysohn.

Mercredi 7 juin, Malik Talbi, ICJ-Lyon 1 : Une in�galit� isop�rim�trique pour les espaces $L_{\delta}$ et graphes modulaires.

Résumé: Les espaces $L_{\delta}$ sont des espaces m�triques g�n�ralisant les espaces hyperboliques au sens de Gromov. Dans cet expos�, on donnera une in�galit� isop�rim�trique pour des groups quasiisom�triques � de tels espaces am�liorant un r�sultat de M. Elder puis on donnera une caract�risation locale des graphes $L_0$.

Mercredi 31 mai, Thierry Coulbois, Universit� Aix-Marseille III : Outils pour �tudier les automorphismes des groupes libres: laminations et arbres r�els.

Résumé: (travail commun avec A. Hilion et M. Lustig). L'�tude du groupe des automorphismes (ext�rieurs) d'un groupe libre s'est beaucoup d�velopp� par analogie avec l'�tude de l'action du "mapping class group" d'une surface sur l'espace de Teichmuller. Cela requiert de traduire des notions g�om�triques en termes combinatoires. Nous introduirons d'abord les outils classiques: le bord de Gromov des groupes libres, l'outre espace de Culler-Vogtmann et son bord, les r�seaux ferroviaires de Bestvina-Haendel. Ensuite nous essayerons de d�finir les laminations et d'expliquer comment elles sont associ�es � l'action d'un groupe libre sur un arbre r�el. Enfin nous �voquerons les r�sultats qui sont obtenus grace � ces laminations.

Mercredi 12 avril, Fran�ois Dahmani , Universit� Paul Sabatier, Toulouse : Le probl�me d'isomorphie pour les groupes relativement hyperboliques.

Résumé: Le probleme d'isomorphie pour des groupes est le troisieme probleme pos� par M. Dehn: il s'agit de trouver une proc�dure pour v�rifier si deux groupes (dans une classe specifi�e) donn�s par pr�sentations, sont isomorphes. En general, une telle procedure n'existe pas, et c'est une motivation pour trouver des proc�dures pour des classes les plus grandes possibles. En 1995, Z. Sela publia une solution pour les groupes hyperboliques sans torsion, et sans scindement essentiel au dessus d'un groupe cyclique, fond�e sur la finitude de leur groupe d'automorphismes exterieurs. A l'aide d'am�liorations dans l'�tude d'�quations et d'in�quations dans ces groupes, nous avons pu simplifier son approche, et la g�n�raliser au cas des groupes relativement hyperboliques, sans torsion � paraboliques ab�liens (sans condition de scindement). Cela englobe aussi la classe des groupes limites, trait�e par Bumagin/Kharlampovich/Miasnikov, et cela donne une solution au probl�me d'hom�omorphie des vari�t�s hyperboliques de volume fini. (en collaboration avec Daniel Groves)

Mercredi 5 avril, Bernhard MUHLHERR , Universit� Libre de Bruxelles, Belgique : On Phan's Presentations of Chevalley groups.

Résumé: In 1977 Phan published two papers in which he considered a sort of twisted versions of the Curtis-Tits presentation for several finite Chevalley groups. These presentations turned out to be very useful in the classification of the finite simple groups. Motivated by this fact R. Gramlich, C. Hoffman and S. Shpectorov have initiated a `Phan program' in order to revise and generalize Phan's result to all classical groups. In my talk I will present a joint result with A. Devillers. It is an elementary criterion for the simple connectedness of a subset of a building. I will explain how this result can be used to extend the Phan program to the exceptional groups and - more generally - to 3-sphercial Kac-Moody-groups.

Mercredi 15 mars, Yves STALDER , Universit� de Neuch�tel : Limites des groupes de Baumslag-Solitar. Transparents

Résumé: L'ensemble des (classes d'�quivalence de) groupes marqu�s peut �tre muni d'une topologie, dite de Cayley. L'expos� pr�sentera une �tude de points limites de la famille des groupes de Baumslag-Solitar pour cette topologie. Ces groupes sont donn�s par les pr�sentations

BS(m,n) = < a,b |  ab^m a^-1 = bⁿ >; o� m et n sont des entiers non nuls.

On commence par identifier des suites convergentes (et des suites non convergentes) de groupes de Baumslag-Solitar, puis on donne des propri�t�s des limites obtenues (elles poss�dent en particulier la propri�t� de Haagerup) gr�ce � un th�or�me de structure. On obtient �galement des pr�sentations des limites, ainsi que des information sur la topologie de l'adh�rence des groupes de Baumslag-Solitar. Les r�sultats pr�sent�s ont �t� en grande partie obtenus en collaboration avec Luc Guyot.

Jeudi 9 mars, Cornelia Drutu, Universit� de Lille I: Action d'un groupe sur un espace arboreal, scindements d'un groupe relativement hyperbolique.

Exceptionnellement l'expos� a eu lieu le Jeudi 9 mars � 17h, salle 112

R�sum� : La notion d'espace arboreal generalise celle d'arbre reel. Plusieurs groupes ont des cones asymptotiques qui sont de tels espaces (les groupes relativement hyperboliques, la plupart des Mapping Class Group, des groupes fondamentaux des varietes compactes a courbure non-positive, certains groupes d'Artin a angles droits). D'autre part, beaucoup de questions sur les endomorphismes et automorphismes, plongements des groupes dans d'autres groupes, la resolution des equations sur des groupes conduisent a l'etude d'une action sur un cone asymptotique. Je vais presenter les resultats obtenus avec Mark Sapir sur l'action d'un groupe sur un espace arboreal. Nous y avons deduit des proprietes de scindement des groupes relativement hyperboliques avec un groupe d'automorphismes exterieurs infini, ou non-co-Hopfiens..

Mercredi 15 f�vrier, Fr�d�ric Haglund, Universit� d'Orsay : Complexes Cubiques Sp�ciaux.

Exceptionnellement l'expos� a eu lieu � 14h30, salle 100.

R�sum� : Un complexe cubique � courbure n�gative ou nulle poss�de des sous-complexes appel�s hyperplans (tout comme le cube euclidien de dimension $n$ poss�de $n$ hyperplans m�diateurs de ses ar�tes). Si les hyperplans d'un complexe cubique compact interagissent d'une mani�re particuli�rement simple, nous disons que le complexe cubique est sp�cial. Soit $\Gamma$ le groupe fondamental d'un complexe cubique sp�cial. Nous obtenons les r�sultats suivants :
- $\Gamma$ est lin�aire, et m�me est sous-groupe de $SL(N,\Bbb Z)$ ;
- tous les sous-groupes quasi-convexes de $\Gamma$ sont intersections de sous-groupes d'indice fini.
D'autre part nous montrons que tous les groupes de Coxeter (de type fini) sont (virtuellement) sp�ciaux. Comme corollaire, tous les sous-groupes quasi-convexes des groupes de Coxeter Gromov-hyperboliques sont intersections de sous-groupes d'indice fini. Tout ce travail est en commun avec Daniel T. Wise.

Mercredi 08 f�vrier, Ashot Minasyan, Universit� de Gen�ve : Profinite topology in negatively curved groups.

R�sum� : The profinite topology on a group $G$ is defined by taking normal subgroups of finite index to be the basis of open neighborhoods of the identity. A subset $A$ of $G$ is called separable, if it is closed in this topology. It is not difficult to see that a subgroup $H \le G$ is separable if and only if it equals to an intersection of finite index subgroups. A group $G$ is called LERF if each finitely generated subgroup $H \le G$ is separable. Known examples of LERF groups include free groups, surface groups and certain 3-manifold groups. We observe that in the context of word hyperbolic groups, it is more natural to study a weaker notion: a hyperbolic group $G$ is said to be GFERF if every quasiconvex subgroup $H$ is separable in $G$. In this talk we shall discuss some of the recent results on this concept and its connections to other residual properties.

Mercredi 01 f�vrier, Vincent Guirardel, Universit� Paul Sabatier, Toulouse III : Proprietes de finitude homologique pour le groupe d'automorphismes d'un groupe limite.

R�sum� : On etudie le groupe d'automorphismes exterieurs Out(G) d'un groupe limite G (au sens de Sela). On demontre qu'il a un sous-groupe d'indice fini ayant un espace classifiant fini (propriete VFL). Pour cela, on demontre que l'espace des scindements de G en produits libres est contractile via un flot defini par Skora. Lorsque G n'est pas decomposable en produit libre, on construit un scindement JSJ invariant par automorphismes.

Mercredi 25 janvier, Yves de Cornulier, Ecole Polytechnique F�d�rale de Lausanne : Groupes fortement born�s.

Exceptionnellement l'expos� a eu lieu � 14h30, salle 100

R�sum� : un groupe est fortement born� si toute action par isom�tries sur un espace m�trique est � orbites born�es. Cette d�finition est essentiellement due � G. Bergman, qui prouve que les groupes des permutations des ensembles infinis ont cette propri�t�. On montre �galement que si F est un groupe fini parfait et X est un ensemble infini, alors le produit F^X est fortement born�.

Mercredi 7 d�cembre, Adrien Deloro, Universit� de Paris 7 : Une variante abstraite de l'unipotence (pour la caract�ristique nulle) et ses applications � l'identification de certains groupes alg�briques.

R�sum� : Travailler � la conjecture de Cherlin-Zil'ber sur les groupes de rang de Morley fini implique de savoir "faire appara�tre" des corps dans les groupes. La notion classique d'unipotence offre une th�orie maniable, mais seulement pour les corps de caract�ristique positive.
Dans sa th�se de doctorat, Burdges a d�fini un analogue en caract�ristique nulle. Cette unipotence est gradu�e (on est "plus ou moins" unipotent), moins puissante mais a rencontr� de nombreuses applications, notamment un r�sultat d'identification de PSL2.

Mercredi 30 novembre, Fabio Zuddas, Universit� de Grenoble I : Entropie des groupes et actions sur les graphes .

R�sum� : L'entropie d'un groupe finiment engendr� G par rapport � un syst�me des g�n�rateurs S est d�finie comme le taux de croissance exponentielle de la cardinalit� des ensembles d'�l�ments de G qui peuvent etre �crits comme mots de longueur born�e (i.e. les "boules" dans G par rapport � la m�trique des mots d_S). Deux questions ouvertes sur l'entropie sont:
(1) pour quelles classes de groupes existe-t-il un syst�me des g�n�rateurs S_0 "minimal" tel que l'entropie de G par rapport � S_0 est inf�rieure ou �gale aux entropies de G par rapport � tous les autres syst�mes des g�n�rateurs?
(2) pour quelles classes de groupes existe-t-elle une minoration universelle sur l'entropie des groupes de la classe par rapport � tous les syst�mes g�n�rateurs?
La question (2) est particuli�rement int�ressante pour la classe des groupes hyperboliques selon Gromov. Pour �tudier ces deux questions et les relations entre elles, nous consid�rons un espace m�trique X associ� au couple (G, S) (le graphe de Cayley) et une action de G et de ses sous-groupes sur X. Nous d�crivons une m�thode (inspir�e par les m�thodes de Margulis en g�om�trie riemannienne) qui nous donne des conditions suffisantes, parmi lesquelles des bornes sur l'entropie de G, pour que un sous-groupe d'indice fini de G soit "loin" de l'�l�ment neutre par rapport � la m�trique d_S, ce qui entraine une majoration universelle sur la cardinalit� de S. Cette majoration, si G admet aussi une controle sur la longueur des relations d'une presentation (par exemple, si G est hyperbolique selon Gromov), donne des r�sultats de finitude qui peuvent etre formul�s en terme des questions (1) et (2) au-dessus.

English summary: The entropy of a finitely generated group G with respect to a generating set S is defined as the exponential growth rate of the cardinality of the sets of elements of G which can be written as words of bounded length (these are the "balls" of G with respect to the so-called word metric d_S). Two open problems about entropy ask:
(1) for which classes of groups G there exists a "minimal" generating set S_0 such that the entropy of G with respect to S_0 is less or equal to the entropies of G with respect to all other generating sets?
(2) for which classes of groups there exists a universal lower bound on the entropy of the groups belonging to the class with respect to all generating sets?
Question (2) is particularly interesting for the class of word-hyperbolic groups. In order to investigate both questions and relations between them, we consider a metric space X associated to the pair (G, S) (the so called Cayley graph) and consider an action of G and its subgroups on X. We'll describe a method (inspired by Margulis' methods in Riemannian geometry) which gives us sufficient conditions, among which bounds on the entropy of G, for a finite-index subgroup of G to be "far" from the identity with respect to the word-metric d_S, which in turn implies a universal bound on the cardinality of S. This bound, when G admits also a control on the bound of relations for a presentation (for example, when G is word-hyperbolic), yields finiteness results which can be formulated in terms of the questions (1) and (2) above.

Mercredi 23 novembre, Immanuel Halupczok, ICJ : Orbites sur la vari�t� des drapeaux.

R�sum� : Soit G un groupe alg�brique, soit theta un automorphisme de G tel que theta� = id, et soit K le sous-groupe de G des �l�ments fix�s par theta. On s'interesse aux orbites de K sur la vari�t� des drapeaux G/B. Il existe un calcul combinatoire (qui a lieu dans le groupe de Weyl de G) qui permet d'analyser ces orbites. En fait, on peut, seulement en utilisant ce calcul, donner toute la liste des orbites (il y en a un nombre fini), et on peut aussi avoir quelques informations g�om�triques, par exemple: pour une orbite O donn�e, quelles sont les autres orbites dans l'adh�rence de O? La plus grande partie de l'expos� va parler de ce calcul combinatoire. A la fin, je vais essayer de donner une id�e comment on peut, en utilisant le calcul, "comprendre" la cat�gorie des faisceau K-�quivariant sur G/B.

Mercredi 2 novembre, Alexandre V. Borovik, University of Manchester : Black Box Groups and groups of finite Morley rank.

R�sum� : The talk is a survey of several aspects of a rapidly developing branch of computational algebra - probabilistic recognition of the so-called black box groups. A `black box' is a device or an algorithm which produces (almost) uniformly distributed random elements from a given group; the principal problem is to recognise, in computationally feasible time, the composition factors of the group. At the present time, ``black box recognition'' is the only available approach to a natural question arising in many problems of computational algebra: given a few matrices of big dimension over a finite field, what kind of a group they generate? What is the group generated by several permutations on a large finite set? As I will mention in the talk, the very first step in the black box set-up, production of a representative sample of group elements, already involves some interesting mathematics: expander graphs, random walks and the (conjectural) Kazhdan property (T) for the group of automorphisms of the free groups. I will briefly discuss the relevant results by Lubotzky and Pak. Time permitting, I will outline another connection of black box groups with infinite group theory - with the Andrews-Curtis Congecture in algebraic topology. Another example, to be considered in the talk, is the probabilistic computation of Galois groups of integer polynomials (Davenport-Smith); here, the role of a black box is played by the Chebotarev Density Theorem. At the structural level, some recursive algorithms of black box group theory mimic Brauer's Programme in finite group theory: inductive proof of the Classification of Finite Simple Groups (CSFG) in terms of centralisers of involutions. However, the focus of the talk is the surprising discovery that some ideas of black box group theory can be applied in the classification of simple groups of finite Morley rank.

Mercredi 26 octobre, Bertrand R�my, (ICJ-Lyon): Th�or�me du sous-groupe normal et cocycle d'induction pour les r�seaux d'immeubles jumel�s.

R�sum� : Il s'agit d'un travail en commun avec U. Bader et Y. Shalom. La propri�t� du sous-groupe normal porte sur les groupes infinis : c'est la propri�t� selon laquelle tout sous-groupe normal d'un groupe donn� est soit fini central, soit d'indice fini. Ainsi, quand un groupe de type fini est � centre trivial (c'est le cas d'un groupe de Kac-Moody adjoint sur un corps fini), la propri�t� dit simplement que tout quotient propre est fini. D'apr�s un r�sultat de G. Margulis, les r�seaux des groupes de Lie (archim�diens ou non) simples et de rang sup�rieur poss�dent cette propri�t�. Plus g�n�ralement (Bader-Shalom), les r�seaux irr�ductibles cocompacts des produits de groupes topologiques raisonnables poss�dent la propri�t� du sous-groupe normal. J'expliquerai la strat�gie de la preuve classique, et montrerai comment elle se g�n�ralise dans le contexte tr�s g�n�ral pr�c�dent. Les r�seaux de Kac-Moody n'�tant pas cocompacts, une difficult� suppl�mentaire intervient ; l'hypoth�se de cocompacit� doit alors �tre remplac�e par une hypoth�se d'int�grabilit� d'un cocycle utilis� pour l'induction des repr�sentations unitaires.

Mercredi 12 octobre, Yann Ollivier, (E.N.S-Lyon): Un panorama des groupes al�atoires.