Shinichi Mochizuki | |
---|---|
望月新一 | |
Fødselsdato | 29. marts 1969 (53 år) |
Fødselssted | Tokyo , Japan |
Land | Japan |
Videnskabelig sfære | Matematik |
Arbejdsplads | Kyoto Universitet |
Alma Mater | Princeton University |
videnskabelig rådgiver | Gerd Faltings |
Kendt som | Foreslået bevis for ABC-hypotesen |
Præmier og præmier |
Autumn Season Award (1997) Japan Society for the Advancement of Science Award (2004) Medal of the Japan Academy of Sciences (2005) [1] |
Internet side | kurims.kyoto-u.ac.jp/~mo… |
Shinichi Mochizuki ( Jap. 望月新一 Mochizuki Shinichi ; født 29. marts 1969 , Tokyo , Japan ) er en japansk matematiker , der arbejder med moderne talteori , algebraisk geometri , Hodge-teori , anabelsk geometri .
Udviklet p-adisk Teichmüller-teori (uniformiseringsteori for p-adiske hyperbolske kurver og deres moduler), Hodge-Arakelov-teori og Teichmüllers aritmetiske teori og dens anvendelser i diofantinsk geometri.
I august 2012 publicerede han på sin hjemmeside fire artikler, der udvikler Teichmüllers regneteori (den aritmetiske deformationsteori), som især indebærer bevis for flere fremragende matematikhypoteser, herunder beviset for abc-formodningen . Beviset er allerede blevet verificeret af 15 matematikere og anmeldere af hans arbejde. [2]
I 2015 blev der arrangeret konferencer om Teichmüllers regneteori i Kyoto og Beijing. I december 2015 blev Clay Institute of Mathematics Conference i Oxford afholdt, og i juli 2016 blev Teichmüller Arithmetic Theory Summit-konferencen afholdt i Kyoto. [3] [4] [5]
I maj 2013 krediterede den amerikanske sociolog, filosof og informationsteknologipioner Ted Nelson Shinichi Mochizuki for skabelsen af bitcoin og hævdede, at det var ham, der gemte sig under pseudonymet Satoshi Nakamoto . Senere publicerede avisen The Age en artikel, der hævdede, at Mochizuki benægtede disse påstande, men uden at citere kilden til hans ord [6]
Uddannet fra Phillips Exeter Academy .
Som 16-årig kom han ind på Princeton University , som 22-årig modtog han en ph.d. -grad under vejledning af Gerd Faltings .
Mochizuki beviste den berømte Grothendieck-formodning i anabelsk geometri i 1996. I 2000-2008 udgav han nye teorier: teorien om frobenioider (en del af kategorisk geometri), mono-anabelsk geometri, teorien om etale theta-funktionen for Tate-kurven.
I 1992 blev han ansat af Research Institute of Mathematical Sciences ved University of Kyoto , hvor han modtog et professorat i 2002 .
Denne teori beskæftiger sig med sådanne klassiske matematiske objekter som elliptiske kurver over talfelter og tilhørende hyperbolske kurver (for eksempel den punkterede elliptiske kurve) på en helt ny måde: involverer absolutte Galois-grupper og aritmetiske fundamentale grupper af hyperbolske kurver. Teorien bruger en række forskellige kategoriske strukturer, især til at glemme lidt om fuldstændig information om aritmetisk-geometriske objekter, så man kan arbejde med den kategoriske Frobenius-kortlægning i karakteristisk nul, som ikke findes i algebraisk geometri. Teoriens vigtigste nye objekt er Hodge-teatre, som til en vis grad generaliserer klasserne af idealer i en-dimensionel og to-dimensionel klassefeltteori, og som giver mulighed for at arbejde med to nøglesymmetrier. Disse symmetrier er: aritmetisk symmetri (som er relateret til multiplikation) og geometrisk symmetri (som er relateret til addition). [7]
Teichmüllers inter-universelle geometri studerer deformationer, uden for algebraisk geometri og skemateori, af de forskellige ringe forbundet med kurver og felter. Derfor kaldes denne teori også for den aritmetiske teori om deformation. Før deformation er additionsstrukturen glemt, og multiplikationsstrukturen deformeres. Dybe sætninger af anabelsk geometri og mono-anabelsk geometri bruges til at genoprette en ny ringstruktur og et aritmetisk-geometrisk objekt fra en ny multiplikationsstruktur. Der arbejdes således ved hjælp af topologiske grupper (absolutte Galois-grupper) og deres stivhedsegenskaber. [7]
Enestående i matematik foreslår denne teori ikke kun et nyt program, men også dets implementering, som indebærer beviser for flere berømte formodninger [7] .
To internationale konferencer i Oxford [8] og Kyoto [9] hjalp med at øge antallet af matematikere, der var fortrolige med teorien.
Tematiske steder | ||||
---|---|---|---|---|
|