Lemma del ping-pong
In matematica, il lemma del ping-pong è uno dei numerosi lemmi matematici, che trova applicazione in particolare nella teoria dei gruppi. Esso assicura che numerosi elementi di un gruppo, che agiscono su un insieme libero, generino un sottogruppo libero di quel dato gruppo.
Storia
L'argomento del ping-pong risale alla fine del XIX secolo ed è comunemente attribuito[1] a Felix Klein che lo usò per studiare sottogruppi di gruppi kleiniani, cioè gruppi discreti di isometrie del 3-spazio iperbolico o, in modo equivalente, alle trasformazioni di Möbius della sfera di Riemann.
Il lemma del ping-pong fu uno strumento chiave utilizzato da Jacques Tits nel suo articolo del 1972[2] contenente la dimostrazione di un famoso teorema ora noto come l'alternativa di Tits. Il risultato afferma che un gruppo lineare finitamente generato è virtualmente risolvibile o contiene un sottogruppo libero di rango due. Il lemma del ping-pong e le sue variazioni sono ampiamente utilizzati nella topologia geometrica e nella teoria geometrica dei gruppi.
Versioni moderne del lemma del ping-pong si possono trovare in molti libri come Lyndon & Schupp, de la Harpe,[1] Bridson & Haefliger[3] e altri.
Definizioni formali
Il lemma del ping-pong per molti sottogruppi
Questa versione del lemma del ping-pong garantisce che una moltitudine di sottogruppi di un gruppo che agisce su un insieme generino un prodotto libero. La seguente affermazione appare in Olijnyk e Suchchansky (2004)[4] e la dimostrazione è di de la Harpe (2000).[1]
Sia un gruppo che agisce su un insieme e siano sottogruppi di dove , tali che almeno uno di questi sottogruppi abbia ordine maggiore di 2. Supponiamo che esistano sottoinsiemi non vuoti disgiunti a due a due di tale che sia vera la seguente asserzione:
- Per ogni e per ogni in , abbiamo .
di conseguenza
Dimostrazione
Per definizione di prodotto libero, è sufficiente verificare che una data parola ridotta (non vuota) rappresenti un elemento non banale di . Sia una parola di lunghezza , e siadove per alcuni . Siccome è ridotto, abbiamo per ogni e ciascun è distinto dall'elemento identitario di . Allora lasciamo agire su un elemento di uno degli insiemi . Poiché assumiamo che almeno un sottogruppo abbia ordine almeno 3, possiamo supporre che, senza perdita di generalità, abbia ordine almeno 3. Per prima cosa presupponiamo che e siano entrambi 1 (il che implica ). Da qui consideriamo l'azione di su . Otteniamo la seguente catena di contenimento:Partendo dal presupposto che differenti siano disgiunti, concludiamo che agisce in modo non banale su alcuni elementi di , così rappresenta un elemento non banale di .
Per concludere la dimostrazione dobbiamo considerare i tre casi:
- Se , allora ne deriva che (un tale esiste dal momento che per ipotesi ha ordine almeno 3);
- Se , allora implica ;
- e se , allora ne consegue che .
In ogni caso, dopo la riduzione diventa una parola ridotta con la prima e l'ultima lettera in . In conclusione, rappresenta un elemento non banale di , e analogamente . Questo dimostra l'affermazione.
Il lemma del ping-pong per sottogruppi ciclici
Sia un gruppo che agisce su un insieme . Siano elementi di di ordine infinito, dove . Supponiamo che esistano sottoinsiemi non vuoti disgiunti
di con le seguenti proprietà:
- .
Allora il sottogruppo generato da è libero con base libera .
Dimostrazione
Questa affermazione segue come corollario della versione per sottogruppi generali se assumiamo e
Esempi
Esempio di gruppo lineare speciale
Si può usare il lemma del ping-pong per dimostrare[1] che il sottogruppo , generato dalle matricieè libero di rango due.
Dimostrazione
Infatti, siano e sottogruppi ciclici di generati di conseguenza da A e B. Non è difficile verificare che A e B siano elementi di ordine infinito in e che
e
Consideriamo l'azione standard di su mediante trasformazioni lineari. QuindieNon è difficile verificare, utilizzando le descrizioni esplicite di e , che per ogni non banale abbiamo e che per ogni non banale abbiamo . Usando la forma alternativa del lemma del ping-pong, per due sottogruppi, data sopra, concludiamo che . Poiché i gruppi e sono ciclici infiniti, ne consegue che è un gruppo libero di rango due.
Esempio di gruppo iperbolico di parole
Sia un gruppo iperbolico di parole privo di torsione, cioè privo di elementi di non identità di ordine finito. Siano due elementi non commutativi, cioè tali che . Allora esiste tale che per ogni intero il sottogruppo è libero di rango due.
Dimostrazione semplificata[5]
Il gruppo agisce sul suo confine iperbolico mediante omeomorfismi. È noto che se in è un elemento di non identità allora ha esattamente due punti fissi distinti, e in e che è un punto fisso attrattivo mentre è un punto fisso repulsivo.
Poiché e non commutano, le evidenze basilari sui gruppi iperbolici di parole implicano che , , e sono quattro punti distinti in . Prendiamo gli intorni disgiunti e di , , e in rispettivamente. Allora le proprietà di attrazione/repulsione dei punti fissi di e implicano che esista tale che per ogni intero abbiamo:
Il lemma del ping-pong ora implica che è libero di rango due.
Applicazioni del lemma del ping-pong
- Il lemma ping-pong viene utilizzato nei gruppi kleiniani per studiare i cosiddetti sottogruppi di Schottky. Nel contesto dei gruppi kleiniani il lemma ping-pong può essere utilizzato per mostrare che un particolare gruppo di isometrie del 3-spazio iperbolico non è solo libero ma anche propriamente discontinuo e geometricamente finito.
- Argomenti simili di tipo Schottky sono ampiamente utilizzati nella teoria geometrica dei gruppi, in particolare per i sottogruppi di gruppi iperbolici di parole[6] e per i gruppi di automorfismi di alberi.[7]
- Il lemma ping-pong viene utilizzato anche per studiare sottogruppi di tipo Schottky di mapping class group di superfici di Riemann, dove l'insieme su cui agisce il mapping class group è il confine di Thurston dello spazio di Teichmüller.[8] Un argomento simile viene utilizzato anche nello studio dei sottogruppi del gruppo di automorfismi esterni di un gruppo libero.[9]
- Una delle applicazioni più famose del lemma del ping-pong è nella dimostrazione di Jacques Tits della cosiddetta alternativa di Tits per gruppi lineari.[2] (vedi anche[10] per una panoramica della dimostrazione di Tits e una spiegazione delle idee coinvolte, compreso l'uso del lemma del ping-pong).
- Esistono generalizzazioni del lemma del ping-pong che producono non solo prodotti liberi ma anche prodotti liberi amalgamati ed estensioni HNN. Queste generalizzazioni vengono utilizzate, in particolare, nella dimostrazione del Teorema della Combinazione di Maskit per gruppi kleiniani.
- Esistono anche versioni del lemma del ping-pong che garantiscono che più elementi di un gruppo generino un semigruppo libero. Tali versioni sono disponibili sia nel contesto generale di un'azione di gruppo su un insieme,[1] sia per tipi specifici di azioni, ad esempio nel contesto di gruppi lineari,[11] gruppi che agiscono sugli alberi[12] e altri.[13]
Note
- ^ a b c d e (EN) Pierre de la Harpe, Topics in Geometric Group Theory, University of Chicago Press, 15 ottobre 2000, ISBN 978-0-226-31719-9.
- ^ a b J Tits, Free subgroups in linear groups, in Journal of Algebra, vol. 20, n. 2, 1º febbraio 1972, pp. 250–270, DOI:10.1016/0021-8693(72)90058-0. URL consultato il 2 gennaio 2024.
- ^ (EN) Martin R. Bridson e André Häfliger, Metric Spaces of Non-Positive Curvature, Springer Science & Business Media, 20 ottobre 2011, ISBN 978-3-540-64324-1. URL consultato il 2 gennaio 2024.
- ^ (EN) Andrij Olijnyk e Vitaly Sushchansky, REPRESENTATIONS OF FREE PRODUCTS BY INFINITE UNITRIANGULAR MATRICES OVER FINITE FIELDS, in International Journal of Algebra and Computation, vol. 14, 05n06, 2004-10, pp. 741–749, DOI:10.1142/S0218196704001931. URL consultato il 2 gennaio 2024.
- ^ S. M. Gersten, Essays in group theory, collana Mathematical sciences research institute publications, Springer Verl, 1987, ISBN 978-3-540-96618-0.
- ^ M. Gromov. Hyperbolic groups. Essays in group theory, pp. 75–263, Mathematical Sciences Research Institute Publications, 8, Springer, New York, 1987; ISBN 0-387-96618-8; Ch. 8.2, pp. 211–219.
- ^ (EN) Alexander Lubotzky, Lattices in rank one Lie groups over local fields, in Geometric and Functional Analysis, vol. 1, n. 4, 1991-12, pp. 405–431, DOI:10.1007/BF01895641. URL consultato il 2 gennaio 2024.
- ^ (EN) In the tradition of Ahlfors-Bers: Ahlfors-Bers Colloquium, May 19-22, 2005, University of Michigan, Ann Arbor, Michigan, collana Contemporary mathematics, American mathematical society, 2007, ISBN 978-0-8218-4227-0.
- ^ (EN) M. Bestvina, M. Feighn e M. Handel, Laminations, trees, and irreducible automorphisms of free groups:, in Geometric and Functional Analysis, vol. 7, n. 2, 1997-05, pp. 215–244, DOI:10.1007/PL00001618. URL consultato il 2 gennaio 2024.
- ^ Pierre de la Harpe. Free groups in linear groups. L'Enseignement Mathématique (2), vol. 29 (1983), no. 1-2, pp. 129–144
- ^ (EN) Alex Eskin, Shahar Mozes e Hee Oh, On uniform exponential growth for linear groups, in Inventiones mathematicae, vol. 160, n. 1, 2005-04, pp. 1–30, DOI:10.1007/s00222-004-0378-z. URL consultato il 2 gennaio 2024.
- ^ (EN) Robert H. Gilman, Alexei G. Myasnikov e Vladimir Shpilrain, Computational and Statistical Group Theory: AMS Special Session Geometric Group Theory, April 21-22, 2001, Las Vegas, Nevada, AMS Special Session Computational Group Theory, April 28-29, 2001, Hoboken, New Jersey, American Mathematical Society, 2002, ISBN 978-0-8218-5634-5. URL consultato il 2 gennaio 2024.
- ^ Yves de Cornulier e Romain Tessera, Quasi-isometrically embedded free sub-semigroups, in Geometry & Topology, vol. 12, n. 1, 12 marzo 2008, pp. 461–473, DOI:10.2140/gt.2008.12.461. URL consultato il 2 gennaio 2024.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/af/Crystal128-kmplot.svg/25px-Crystal128-kmplot.svg.png)