Zlil Sela (hebräisch צליל סלע; * 3. Mai 1962) ist ein israelischer Gruppentheoretiker, der sich mit geometrischer Gruppentheorie (hyperbolische Gruppen, elementare Theorie freier Gruppen) und Modelltheorie sowie deren Verbindungen beschäftigt.
Sela promovierte 1991 an der Hebrew University bei Eliyahu Rips.[1] Er war (als Sloan Research Fellow) Associate Professor an der Columbia University. Zurzeit ist er Professor am Albert Einstein Institut für Mathematik der Hebrew University. Mit seinem Lehrer Rips löste er in den 1990er Jahren das Isomorphismus-Problem[2] für torsionsfreie hyperbolische[3] Gruppen. Dabei führte er mit Rips die JSJ-Zerlegung dieser Gruppen ein (über die Fundamentalgruppe eines Graphen der Gruppe), später von beiden erweitert auf endlich präsentierte torsionsfreie Gruppen.
Mit Rips bewies er mit denselben Techniken die algorithmische Lösbarkeit eines endlichen Systems von Gleichungen in torsionsfreien hyperbolischen Gruppen.[4]
Anfang der 2000er Jahre löste er das Tarski-Problem (1945),[5] indem er zeigte, dass zwei endlich erzeugte nichtabelsche freie Gruppen dieselbe Theorie erster Ordnung haben („elementar äquivalent“ im Sinn der Modelltheorie). Für den Rest der Vermutung (Entscheidbarkeit der Theorie) publizierten Olga Kharlampovich und Alexei Myasnikov 2006 einen Beweis, den Sela aber für fehlerhaft hält.[6]
2008 erhielt er für seine Arbeiten den Karp-Preis, speziell für seine Lösung des Isomorphismus-Problems und des Tarski-Problems.[7]
2003 erhielt er den Erdős-Preis der israelischen mathematischen Gesellschaft. 2005 hielt er die Tarski Lectures in Berkeley. Er war 2002 Invited Speaker auf dem ICM in Peking (Diophantine geometry over groups and the elementary theory of free and hyperbolic groups).
Weblinks
Einzelnachweise und Anmerkungen
- ↑ Zlil Sela im Mathematics Genealogy Project (englisch)
- ↑ Es besteht darin zu zeigen, wann zwei Darstellungen zu isomorphen Gruppen gehören. Sela in: Annals of Mathematics. Band 141, 1995, S. 217.
- ↑ Nach Michail Gromow
- ↑ Rips, Sela: Canonical representatives and equations in hyperbolic groups. In: Inventiones Mathematicae. Band 120, 1995, S. 489–512.
- ↑ Sela: Diophantine Geometry over Groups. Teil 1–6. In: Pub. Math. IHES. Band 93, 2001, S. 31; Israel J. Math. Band 134, 2003, S. 173; Band 143, 2004, S. 1; Band 147, 2005, S. 1; Band 150, 2005, S. 1; Geometry and Functional Analysis. Band 16, 2006, S. 537, 707.
- ↑ Sela A report on Tarski's decidability problem. Preprint 2014.
- ↑ Laudatio ( vom 13. Mai 2008 im Internet Archive)
Personendaten | |
---|---|
NAME | Sela, Zlil |
KURZBESCHREIBUNG | israelischer Logiker |
GEBURTSDATUM | 3. Mai 1962 |