Zlil Sela | |
---|---|
Syntymäaika | 3. toukokuuta 1965 (57-vuotias) |
Maa | |
Tieteellinen ala | ryhmäteoria |
Työpaikka | |
Alma mater | |
tieteellinen neuvonantaja | Ilja Aronovitš Rips |
Palkinnot ja palkinnot | Carol Karp -palkinto [d] ( 2008 ) Erdős - palkinto ( 2003 ) |
Verkkosivusto | ma.huji.ac.il/~zlil/ |
Mediatiedostot Wikimedia Commonsissa |
Zlil Sela ( hepr. צליל סלע , s. 3. toukokuuta 1962) on israelilainen matemaatikko geometrisen ryhmäteorian alalla . Matematiikan professori heprealaisessa yliopistossa .
Sela sai Ph.D. vuonna 1991 heprealaisessa yliopistossa Ilja Ripsin kanssa .
Ennen kuin hän siirtyi Heprealaisen yliopiston matematiikan laitokselle , hän työskenteli Columbian yliopistossa New Yorkissa. [1] Siellä hän sai Sloan Fellowshipin . [1] [2]
Osallistui kansainväliseen matemaatikoiden kongressiin Pekingissä vuonna 2002. [3] Hän piti täysistunnon Symbolic Logic Associationin vuosikokouksessa [4]
Vuonna 2003 hän sai Erdős - palkinnon . [5]
Vuonna 2008 hän sai Symbolisen logiikkayhdistyksen Sarola Karp -palkinnon työstään Tarskin arvelun parissa sekä uusien yhteyksien löytämisestä ja kehittämisestä malliteorian ja geometrisen ryhmäteorian välillä . [6] [7]
Yksi Selan varhaisista tärkeistä töistä 1990-luvun puolivälissä oli isomorfismiongelman ratkaisu vääntövapaille hyperbolisille ryhmille . Ilja Ripsin kehittämä R -puiden ryhmätoimintamekanismi oli tärkeässä roolissa Selan työssä. Isomorfismiongelman ratkaisu perustui myös käsitteeseen hyperbolisten ryhmien elementtien kanonisista edustajista, jonka Rips ja Sela muotoilivat yhteisessä artikkelissa 1995. Kanonisten edustajien tekniikkaa käyttivät Rips ja Sela todistaakseen, että on olemassa algoritminen ratkaisu äärellisille yhtälöjärjestelmille vääntövapaissa hyperbolisissa ryhmissä, mikä pelkistää ongelman yhtälöiden ratkaisemiseen vapaissa ryhmissä , joissa voidaan soveltaa Makanin-Razborov-algoritmia. . Damany yleisti myöhemmin tämän menetelmän suhteellisen hyperbolisten ryhmien tapauksiin, ja sillä oli tärkeä rooli kierrettyjen suhteellisten hyperbolisten ryhmien isomorfismiongelman ratkaisemisessa. [kahdeksan]
Isomorfismiongelmaa käsittelevässä työssään Sela kehitti ja toteutti myös JSJ-hajoamisen käsitteen hyperbolisille ryhmille . JSJ-hajotelma on hyperbolisten ryhmien esitys ryhmäkaavioiden perusryhmänä, joka kanonisesti koodaa äärettömien syklisten aliryhmien kaikki mahdolliset seuraukset . [9]
Sela teki päätyönsä 2000-luvun alussa, kun hän keksi ratkaisun tunnettuun Tarskin hypoteesiin . Sela julkaisi suuren määrän teoksia, joissa hän osoitti, että millä tahansa kahdella ei-abelilaisella äärellisesti generoidulla vapaalla ryhmällä on sama ensimmäisen asteen logiikka . Tämä Selan työ perustui aiempaan työhön JSJ-hajotuksesta ja "algebrallisen geometrian" käytöstä vapaissa ryhmissä .
Myöhemmin Sela jatkoi mielivaltaisten vääntövapaiden hyperbolisten ryhmien ensimmäisen asteen logiikan tutkimista . Erityisesti hän osoitti, että jos äärellinen ryhmä G on alkeellisesti ekvivalentti hyperbolisen ryhmän kanssa, se on itse hyperbolinen.
Todisti Tarskin oletuksen, Olga Kharlamovich ja Aleksei Myasnikov ehdottivat vaihtoehtoista ratkaisua.
Selan työ vapaiden ja hyperbolisten ryhmien ensimmäisen asteen teoriasta vaikutti merkittävästi geometrisen ryhmäteorian kehitykseen , erityisesti stimuloiden rajaryhmien ja suhteellisten hyperbolisten ryhmien tutkimusta. [kymmenen]
Temaattiset sivustot | |
---|---|
Bibliografisissa luetteloissa |