buondì,
discutendo a pranzo con Riccardo e Roberto, abbiamo pensato di iniziare un gruppo di studio sulla recente dimostrazione di Ian Agol delle ultime congetture di Thurston, e in particolare della "virtual fibering":
Teorema: Ogni 3-varietà iperbolica di volume finito ha un rivestimento finito che fibra su S^1.
Il primo incontro è mercoledi prossimo alle 14. Farò io un seminario di un'ora in cui cercherò di dare un quadro generale della dimostrazione, almeno per come l'ho capita io. Poi se ci sono volontari potremmo spartirci il lavoro per i seminari successivi. Un ottimo piano di lavoro è la pagina di Calegari:
http://math.uchicago.edu/~dannyc/courses/agol_virtual_haken/agol_virtual_hak...
La dimostrazione è l'unione di vari pezzi scritti da vari autori che usano tecniche diverse. Tra queste ci sono anche tecniche non di dimensione 3, ad esempio i CAT(0) cube complex, i RAAG (Right Angled Artin Group), il complesso di Salvetti, eccetera.
NOTA: Almeno fino a Natale, il seminario del mercoledì è anticipato alle 14.
Seguirà avviso più preciso per mercoledì.
a presto, Bruno