** Groupes aléatoires **

avec Moon Duchin, Kasia Jankiewicz, Shelby Kilmer, John Mackay, Andrew Sánchez. Résultat d’un cluster d’undergraduates qui a eu lieu l’an dernier à Tufts, Boston (12 participants, 6 semaines).

**1. Le modèle à densité de Gromov **

Dans la sphère de rayon du groupe libre , on tire uniformément et indépendamment au hasard éléments. On considère le sous-groupe distingué qu’ils engendrent, et le groupe quotient .

Obtient on des groupes non isomorphes ? Pas clair, il ne s’agit pas du tirage au hasard d’une classe d’isomorphisme de groupe de présentation . On va voir que dans certains régimes, le groupe obtenu est en général trivial !

Pourquoi la sphère ? Ca aide beaucoup. De toutes fa\c cons, dans la boule, la plupart des éléments sont au bord.

**Terminologie**. On appelle *densité* du tirage le réel tel que

Autrement dit, on tire non pas une fraction , mais une puissance du nombre total d’éléments.

Etant donnée une fonction , on dit qu’une propriété des groupes est asymptotiquement presque s\^ ure si la probabilité qu’elle ait lieu tend vers 1 lorsque, à fixé et , loorsque tend vers l’infini.

Comment choisir ? Il semble que fixer la densité, i.e. prendre , est un bon choix.

Theorem 1 (Gromov 1993)

- Si , alors asymptotiquement presque s\^ urement a au plus 2 éléments.
- Si , alors asymptotiquement presque s\^ urement, est infini, hyperbolique, sans torsion, de dimension 2, et contient des groupes de surfaces.

Il y a d’autres effets de seuil connus,

- à propriété de Dehn,
- à propriété .
- entre et , propriété (T) de Kazhdan.

**2. Résultats **

Theorem 2 (DJKLMS 2015)On s’intéresse à la densité convergeant vers , .

- Si , alors asymptotiquement presque s\^ urement a au plus 2 éléments.
- Si , alors asymptotiquement presque s\^ urement, est infini, hyperbolique,.

**3. Démonstrations **

** 3.1. C\^oté trivial **

On s’est appuyés sur des notes de Gady Kozma. Il s’agit d’augmenter la *densité effective*. Si deux relateurs ont une branche commune longue et des parties restantes courtes, leur différence est un petit relateur. On voit comme un quotient d’un groupe aléatoire avec longueur plus petite, et densité plus grande que , c’est gagné.

Principe des tiroirs probabiliste : si et avec , alors asymptotiquement presque s\^ urement, il y a une coïncidence quand on range objets dans tiroirs.

On analyse l’influence des lettres les unes sur les autres dans des mots aléatoires. On pose ,

On écrit un mot aléatoire . Pour pair,

Pour impair,

Par conséquent, toutes ces probabilités tendent vers .

Proposition 3S’il existe une fonction telle que

- ,
- ,

alors asymptotiquement presque s\^ urement, .

En effet, avec le principe des tiroirs probabiliste et la première condition, on trouve un mot réduit de longueur dans tel que dans . On l’utilise pour réduire les autres relateurs. Pour cela, on observe que la queue (de à ) d’un mot tiré au hasard est un mot de longueur tiré au hasard. Le PTP donne deux relateurs aléatoires dont les queues coincident mais qui diffèrent à la -ème lettre, on considère leur différence, qui est de longueur . On note les mots du tirage qui commencent par . Pour des lettres, et sont typiquement disjoints et non vides, cela donne une partition en sous ensembles…

** 3.2. C\^oté infini hyperbolique **

On suit le livre de Yann Ollivier. Il s’agit d’estimer la probabilité qu’il existe un diagramme de van Kampen de taille qui viole une inégalité isopérimétrique quadratique avec petite constante. Pour contr\^oler les effets de dépendance, Ollivier compte des diagrammes abstraits (cellulations du plan) et estime la probabilité qu’un diagramme abstrait de taille soit réalisable par l’ensemble de relateurs tiré au hasard (i.e. qu’on puisse coller des étiquettes aux arêtes de sorte que les mots qu’on lit sur les bords des faces sont des conjugués cycliques des relateurs tirés). On utilise sans changement son estimation de probabilité de réalisation, on n’a besoin de retravailler que son décompte de diagrammes abstraits.