Lemma del ping-pong: differenze tra le versioni
+Creazione nuova voce, traduzione da en.wiki |
(Nessuna differenza)
|
Versione delle 18:32, 24 dic 2023
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 stringa ridotta (non vuota) rappresenti un elemento non banale di . Sia una stringa di lunghezza , e sia
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 stringa 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 matrici
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
Consideriamo l'azione standard di su mediante trasformazioni lineari. Quindi
Esempio di gruppo stringa-iperbolico
Sia un gruppo iperbolico di stringhe 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 stringhe 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 stringhe[5] e per i gruppi di automorfismi di alberi.[6]
- 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.[7] Un argomento simile viene utilizzato anche nello studio dei sottogruppi del gruppo di automorfismi esterni di un gruppo libero.[8]
- 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[9] 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,[10] 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 Pierre de la Harpe. Topics in geometric group theory. Chicago Lectures in Mathematics. University of Chicago Press, Chicago. ISBN 0-226-31719-6; Ch. II.B "The table-Tennis Lemma (Klein's criterion) and examples of free products"; pp. 25–41.
- ^ a b J. Tits. Free subgroups in linear groups. Journal of Algebra, vol. 20 (1972), pp. 250–270
- ^ Martin R. Bridson, and André Haefliger. Metric spaces of non-positive curvature. Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], 319. Springer-Verlag, Berlin, 1999. ISBN 3-540-64324-9; Ch.III.Γ, pp. 467–468
- ^ Andrij Olijnyk and Vitaly Suchchansky. Representations of free products by infinite unitriangular matrices over finite fields. International Journal of Algebra and Computation. Vol. 14 (2004), no. 5–6, pp. 741–749; Lemma 2.1
- ^ a b 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.
- ^ Alexander Lubotzky. Lattices in rank one Lie groups over local fields. Geometric and Functional Analysis, vol. 1 (1991), no. 4, pp. 406–431
- ^ Richard P. Kent, and Christopher J. Leininger. Subgroups of mapping class groups from the geometrical viewpoint. In the tradition of Ahlfors-Bers. IV, pp. 119–141, Contemporary Mathematics series, 432, American Mathematical Society, Providence, RI, 2007; ISBN 978-0-8218-4227-0; 0-8218-4227-7
- ^ M. Bestvina, M. Feighn, and M. Handel. Laminations, trees, and irreducible automorphisms of free groups. Geometric and Functional Analysis, vol. 7 (1997), no. 2, pp. 215–244.
- ^ Pierre de la Harpe. Free groups in linear groups. L'Enseignement Mathématique (2), vol. 29 (1983), no. 1-2, pp. 129–144
- ^ Pierre de la Harpe. Topics in geometric group theory. Chicago Lectures in Mathematics. University of Chicago Press, Chicago. ISBN 0-226-31719-6; Ch. II.B "The table-Tennis Lemma (Klein's criterion) and examples of free products"; pp. 187–188.
- ^ Alex Eskin, Shahar Mozes and Hee Oh. On uniform exponential growth for linear groups. Inventiones Mathematicae. vol. 60 (2005), no. 1, pp.1432–1297; Lemma 2.2
- ^ Roger C. Alperin and Guennadi A. Noskov. Uniform growth, actions on trees and GL2. 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. (Robert H. Gilman, Vladimir Shpilrain, Alexei G. Myasnikov, editors). American Mathematical Society, 2002. ISBN 978-0-8218-3158-8; page 2, Lemma 3.1
- ^ Yves de Cornulier and Romain Tessera. Quasi-isometrically embedded free sub-semigroups. Geometry & Topology, vol. 12 (2008), pp. 461–473; Lemma 2.1