Zlil Sela | |
---|---|
Fødselsdato | 3. maj 1965 (57 år) |
Land | |
Videnskabelig sfære | gruppeteori |
Arbejdsplads | |
Alma Mater | |
videnskabelig rådgiver | Ilya Aronovich Rips |
Priser og præmier | Carol Karp Prize [d] ( 2008 ) Erdős-prisen ( 2003 ) |
Internet side | ma.huji.ac.il/~zlil/ |
Mediefiler på Wikimedia Commons |
Zlil Sela ( Hebr. צליל סלע , f. 3. maj 1962) er en israelsk matematiker inden for geometrisk gruppeteori . Professor i matematik ved det hebraiske universitet .
Sela modtog ph.d. i 1991 på det hebraiske universitet med Ilya Rips .
Før han kom til Institut for Matematik ved Hebrew University , arbejdede han på Columbia University i New York. [1] Der modtog han et Sloan Fellowship . [1] [2]
Deltog i International Congress of Mathematicians i Beijing i 2002. [3] Han holdt et plenarforedrag på årsmødet i Symbolic Logic Association, [4]
I 2003 modtog han Erdős-prisen . [5]
I 2008 modtog han Sarola Karp-prisen fra Symbolic Logic Association for sit arbejde med Tarski-formodningen og for at opdage og udvikle nye forbindelser mellem modelteori og geometrisk gruppeteori . [6] [7]
Et af Selas tidlige vigtige arbejde i midten af halvfemserne var løsningen af isomorfiproblemet for torsionsfri hyperbolske grupper . Gruppehandlingsmekanismen på R - træer, udviklet af Ilya Rips , spillede en vigtig rolle i Selas arbejde. Løsningen på isomorfismeproblemet hvilede også på ideen om kanoniske repræsentanter for elementer af hyperbolske grupper, formuleret af Rips og Sela i et fælles papir fra 1995. Teknikken med kanoniske repræsentanter blev brugt af Rips og Sela til at bevise, at der er en algoritmisk løsning på endelige ligningssystemer i torsionsfrie hyperbolske grupper, hvilket reducerer problemet til at løse ligninger i frie grupper , hvor Makanin-Razborov-algoritmen kan anvendes . Denne metode blev senere generaliseret af Damany til tilfælde af relativt hyperbolske grupper og spillede en stor rolle i løsningen af isomorfiproblemet for snoede relative hyperbolske grupper. [otte]
I sit arbejde med isomorfiproblemet udviklede og implementerede Sela også ideen om en JSJ-nedbrydning for hyperbolske grupper . En JSJ-nedbrydning er en repræsentation af hyperbolske grupper som den grundlæggende gruppe af gruppegrafer, der kanonisk koder for alle mulige forgreninger af uendelige cykliske undergrupper . [9]
Sela udførte sit hovedværk i begyndelsen af 2000'erne, da han kom med en løsning på den velkendte Tarski-hypotese . Sela udgav et stort antal værker, hvori han beviste, at to ikke-abelianske endeligt genererede frie grupper har den samme førsteordens logik . Dette arbejde af Sela byggede på tidligere arbejde om JSJ-nedbrydning og brugen af "algebraisk geometri" på frie grupper .
Senere fortsatte Sela med at studere førsteordens logik af vilkårlige torsionsfrie hyperbolske grupper . Især beviste han, at hvis en endelig gruppe G er elementært ækvivalent med en hyperbolsk gruppe , så er den i sig selv hyperbolsk.
Beviste Tarskis formodning, blev en alternativ løsning foreslået af Olga Kharlamovich og Alexei Myasnikov.
Selas arbejde med første-ordens teori om frie og hyperbolske grupper havde en betydelig indflydelse på udviklingen af geometrisk gruppeteori , og stimulerede især studiet af grænsegrupper og relative hyperbolske grupper. [ti]
Tematiske steder | |
---|---|
I bibliografiske kataloger |