Jump to content

Shinichi Mochizuki: Difference between revisions

From Wikipedia, the free encyclopedia
Browse history interactively
← Previous editNext edit →
Content deleted Content added
VisualWikitext
AnomieBOT (talk | contribs)
Bots
6,413,147 edits
m Dating maintenance tags: {{Citation needed}}
mNo edit summary
Line 18: Line 18:
| awards = JSPS Prize, [[Japan Academy Medal]]<ref name="cv"/>
| awards = JSPS Prize, [[Japan Academy Medal]]<ref name="cv"/>
}}
}}
{{nihongo|'''Shinichi Mochizuki'''|望月 新一|Mochizuki Shin'ichi|extra=born March 29, 1969}} is a Japanese mathematician working in [[number theory]] and [[geometry]]. He is the main contributor to [[anabelian geometry]] where he solved a [[Anabelian geometry#Formulation of a conjecture of Grothendieck on curves|Grothendieck conjecture in anabelian geometry]] about hyperbolic curves over number fields. He initiated and developed related new areas such as absolute anabelian geometry, mono-anabelian geometry and combinatorial anabelian geometry. Mochizuki introduced and developed [[p-adic Teichmüller theory]], [[Hodge–Arakelov theory]]. His other theories include the theory of [[frobenioid]]s and the etale theta-function theory.
{{nihongo|'''Shinichi Mochizuki'''|望月 新一|Mochizuki Shin'ichi|extra=born March 29, 1969}} is a Japanese mathematician working in [[number theory]] and [[geometry]]. He is the main contributor to [[anabelian geometry]] where he solved a [[Anabelian geometry#Formulation of a conjecture of Grothendieck on curves|Grothendieck conjecture in anabelian geometry]] about hyperbolic curves over number fields. He initiated and developed related new areas such as absolute anabelian geometry, mono-anabelian geometry and combinatorial anabelian geometry. Mochizuki introduced and developed [[p-adic Teichmüller theory]], [[Hodge–Arakelov theory]]. His other theories include the theory of [[frobenioid]]s, anabelioids and the etale theta-function theory.


Shinichi Mochizuki is the author of the [[inter-universal Teichmüller theory]] (IUT), also referred to as the arithmetic deformation theory or Mochizuki theory. This theory provides a new conceptual view on numbers. Applications of IUT solve several very famous problems in number theory.{{citation needed|date=December 2016}}
Shinichi Mochizuki is the author of the [[inter-universal Teichmüller theory]] (IUT), also referred to as the arithmetic deformation theory or Mochizuki theory. This theory provides a new conceptual view on numbers. Applications of IUT solve several very famous problems in number theory.{{citation needed|date=December 2016}}
Line 28: Line 28:


===Career===
===Career===
Mochizuki proved [[Anabelian geometry#Formulation of a conjecture of Grothendieck on curves|Grothendieck conjecture on anabelian geometry]] in 1996. Mochizuki was an [[list of International Congresses of Mathematicians Plenary and Invited Speakers|invited speaker at the International Congress of Mathematicians]] in 1998.<ref>{{cite web|url=http://elib.zib.de/ICM98/B/3/3/|title=International Congress of Mathematicians 1998}}</ref> In 1999, he introduced [[Hodge–Arakelov theory]]. During 2000-2007, he introduced the theory of [[frobenioid]]s, mono-anabelian geometry and the etale theta-function theory for line bundles over covers of the [[Tate curve]].
Mochizuki proved [[Anabelian geometry#Formulation of a conjecture of Grothendieck on curves|Grothendieck conjecture on anabelian geometry]] in 1996. Mochizuki was an [[list of International Congresses of Mathematicians Plenary and Invited Speakers|invited speaker at the International Congress of Mathematicians]] in 1998.<ref>{{cite web|url=http://elib.zib.de/ICM98/B/3/3/|title=International Congress of Mathematicians 1998}}</ref> In 1999, he introduced [[Hodge–Arakelov theory]]. In 2000-2008 he introduced the theory of [[frobenioid]]s, mono-anabelian geometry and the etale theta-function theory for line bundles over covers of the [[Tate curve]].


In August 2012, Mochizuki released four preprints which develop [[inter-universal Teichmüller theory]] and then apply it to prove several very famous problems in Diophantine geometry,<ref>[http://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20IV.pdf Inter-universal Teichmüller theory IV: log-volume computations and set-theoretic foundations], Shinichi Mochizuki, August 2012</ref> including the [[abc conjecture]] over every number field.
In August 2012 Shinichi Mochizuki released four preprints which develop [[inter-universal Teichmüller theory]] and then apply it to prove several very famous problems in Diophantine geometry,<ref>[http://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20IV.pdf Inter-universal Teichmüller theory IV: log-volume computations and set-theoretic foundations], Shinichi Mochizuki, August 2012</ref> including the strong Szpiro conjecture, the hyperbolic Vojta conjecture and the [[abc conjecture]] over every number field.


== Inter-universal Teichmüller theory ==
== Inter-universal Teichmüller theory ==
Line 38: Line 38:
It applies deep algorithmic results of mono-anabelian geometry to reconstruct the rings and schemes from their automorphism groups after applying theta- and log- links, which are not compatible with the ring or scheme structure. The study of mild indeterminacies introduced for multiradiality purposes leads to applications to the strong Szpiro conjecture and its equivalent forms. IUT goes outside the realm of conventional arithmetic geometry and it essentially extends the scope of arithmetic geometry. Rarely for mathematics, the IUT theory is not only a program in number theory but also its full realization with applications to the proofs of fundamental problems in number theory. <ref>{{Citation|first=Ivan|last=Fesenko|year=2016|title=Fukugen, Inference: International Review of Science, 2016|url=http://inference-review.com/article/fukugen}}</ref>
It applies deep algorithmic results of mono-anabelian geometry to reconstruct the rings and schemes from their automorphism groups after applying theta- and log- links, which are not compatible with the ring or scheme structure. The study of mild indeterminacies introduced for multiradiality purposes leads to applications to the strong Szpiro conjecture and its equivalent forms. IUT goes outside the realm of conventional arithmetic geometry and it essentially extends the scope of arithmetic geometry. Rarely for mathematics, the IUT theory is not only a program in number theory but also its full realization with applications to the proofs of fundamental problems in number theory. <ref>{{Citation|first=Ivan|last=Fesenko|year=2016|title=Fukugen, Inference: International Review of Science, 2016|url=http://inference-review.com/article/fukugen}}</ref>


The theory contains a large number of novel concepts and is very complex. Mochizuki documented the relevant progress of the study of the theory by other mathematicians, as well as minor changes in his preprints, in the first two years since 2012 in his two reports [http://www.kurims.kyoto-u.ac.jp/~motizuki/IUTeich%20Verification%20Report%202013-12.pdf December 2013] [http://www.kurims.kyoto-u.ac.jp/~motizuki/IUTeich%20Verification%20Report%202014-12.pdf December 2014]. The study of the theory has proved to be a serious challenge for contemporary mathematicians.<ref>{{Citation|first=Ivan|last=Fesenko|year=2016|title=Fukugen, Inference: International Review of Science, 2016|url=http://inference-review.com/article/fukugen}}</ref> To assist mathematicians, various surveys and reviews of the theory were produced and two international workshops were organized.
The theory contains a large number of novel concepts. The theory is very complex, some of its complexity may be related to the absence of appropriate language to describe it. Shinichi Mochizuki documented the relevant progress of the study of the theory by other mathematicians, as well as minor changes in his preprints, in the first two years since 2012 in his two reports [http://www.kurims.kyoto-u.ac.jp/~motizuki/IUTeich%20Verification%20Report%202013-12.pdf December 2013] [http://www.kurims.kyoto-u.ac.jp/~motizuki/IUTeich%20Verification%20Report%202014-12.pdf December 2014]. The study of the theory has proved to be a serious challenge for contemporary mathematicians.<ref>{{Citation|first=Ivan|last=Fesenko|year=2016|title=Fukugen, Inference: International Review of Science, 2016|url=http://inference-review.com/article/fukugen}}</ref> To assist mathematicians, various surveys and reviews of the theory were produced by several mathematicians and two international workshops in Oxford and in Kyoto were organized.


Mochizuki invested a very substantial amount of time into dissemination of his results.<ref>{{Citation|title=Seminars, meetings, lectures on IUT in Japan|url=https://www.maths.nottingham.ac.uk/personal/ibf/files/tab1.pdf}}</ref> Surveys of IUT were produced by its author,<ref>{{Citation|first=Shinichi|last=Mochizuki|year=2014|title=A panoramic overview of inter-universal Teichmüller theory, In Algebraic number theory and related topics 2012, RIMS Kôkyûroku Bessatsu B51, RIMS, Kyoto (2014), 301–345 | url=http://www.kurims.kyoto-u.ac.jp/%7Emotizuki/Panoramic%20Overview%20of%20Inter-universal%20Teichmuller%20Theory.pdf}}</ref><ref>{{Citation|first=Shinichi|last=Mochizuki|year=2016|title=The mathematics of mutually alien copies: from Gaussian integrals to inter-universal Teichmüller theory | url=http://www.kurims.kyoto-u.ac.jp/~motizuki/Alien%20Copies,%20Gaussians,%20and%20Inter-universal%20Teichmuller%20Theory.pdf}}</ref> by [[Ivan Fesenko]],<ref>{{Citation|first=Ivan|last=Fesenko|year=2015|title=Arithmetic deformation theory via arithmetic fundamental groups and nonarchimedean theta functions, notes on the work of Shinichi Mochizuki, Eur. J. Math., 2015|url=https://www.maths.nottingham.ac.uk/personal/ibf/notesoniut.pdf}}</ref>
Mochizuki invested a very substantial amount of time into dissemination of his results.<ref>{{Citation|title=Seminars, meetings, lectures on IUT in Japan|url=https://www.maths.nottingham.ac.uk/personal/ibf/files/tab1.pdf}}</ref> Surveys of IUT were produced by its author,<ref>{{Citation|first=Shinichi|last=Mochizuki|year=2014|title=A panoramic overview of inter-universal Teichmüller theory, In Algebraic number theory and related topics 2012, RIMS Kôkyûroku Bessatsu B51, RIMS, Kyoto (2014), 301–345 | url=http://www.kurims.kyoto-u.ac.jp/%7Emotizuki/Panoramic%20Overview%20of%20Inter-universal%20Teichmuller%20Theory.pdf}}</ref><ref>{{Citation|first=Shinichi|last=Mochizuki|year=2016|title=The mathematics of mutually alien copies: from Gaussian integrals to inter-universal Teichmüller theory | url=http://www.kurims.kyoto-u.ac.jp/~motizuki/Alien%20Copies,%20Gaussians,%20and%20Inter-universal%20Teichmuller%20Theory.pdf}}</ref> by [[Ivan Fesenko]],<ref>{{Citation|first=Ivan|last=Fesenko|year=2015|title=Arithmetic deformation theory via arithmetic fundamental groups and nonarchimedean theta functions, notes on the work of Shinichi Mochizuki, Eur. J. Math., 2015|url=https://www.maths.nottingham.ac.uk/personal/ibf/notesoniut.pdf}}</ref>

Revision as of 14:53, 18 December 2016

Shinichi Mochizuki
Born (1969-03-29) March 29, 1969 (age 55)[1]
Tokyo, Japan[1]
NationalityJapanese
Alma materPrinceton University
Known forProposed proof of abc conjecture,
Proved a conjecture of Grothendieck in anabelian geometry.
AwardsJSPS Prize, Japan Academy Medal[1]
Scientific career
FieldsMathematics
InstitutionsKyoto University
Doctoral advisorGerd Faltings

Shinichi Mochizuki (望月 新一, Mochizuki Shin'ichi, born March 29, 1969) is a Japanese mathematician working in number theory and geometry. He is the main contributor to anabelian geometry where he solved a Grothendieck conjecture in anabelian geometry about hyperbolic curves over number fields. He initiated and developed related new areas such as absolute anabelian geometry, mono-anabelian geometry and combinatorial anabelian geometry. Mochizuki introduced and developed p-adic Teichmüller theory, Hodge–Arakelov theory. His other theories include the theory of frobenioids, anabelioids and the etale theta-function theory.

Shinichi Mochizuki is the author of the inter-universal Teichmüller theory (IUT), also referred to as the arithmetic deformation theory or Mochizuki theory. This theory provides a new conceptual view on numbers. Applications of IUT solve several very famous problems in number theory.[citation needed]

Biography

Early life

Shinichi Mochizuki's mother was Japanese, and his father was American. When he was five years old, Shinichi Mochizuki and his family left Japan to live in New York City. Mochizuki attended Phillips Exeter Academy and graduated in 1985.[2] He entered Princeton University as an undergraduate at age 16 and graduated salutatorian in 1988.[2] He then received a Ph.D. under the supervision of Gerd Faltings at age 23.[1] He joined the Research Institute for Mathematical Sciences in Kyoto University in 1992 and was promoted to professor in 2002.[1]

Career

Mochizuki proved Grothendieck conjecture on anabelian geometry in 1996. Mochizuki was an invited speaker at the International Congress of Mathematicians in 1998.[3] In 1999, he introduced Hodge–Arakelov theory. In 2000-2008 he introduced the theory of frobenioids, mono-anabelian geometry and the etale theta-function theory for line bundles over covers of the Tate curve.

In August 2012 Shinichi Mochizuki released four preprints which develop inter-universal Teichmüller theory and then apply it to prove several very famous problems in Diophantine geometry,[4] including the strong Szpiro conjecture, the hyperbolic Vojta conjecture and the abc conjecture over every number field.

Inter-universal Teichmüller theory

Main article: Inter-universal Teichmüller theory

In the specific situation of a number field and an elliptic curve with semi-stable reduction over it, this theory deals with full Galois and fundamental groups of various hyperbolic curves associated to the elliptic curve and related enhanced categorical structures (so called theaters which are certain systems of frobenioids). IUT studies deformations of multiplication on arithmetic structures and how much multiplication can be separated from addition. To achieve that, IUT uses absolute Galois and fundamental groups. It applies deep algorithmic results of mono-anabelian geometry to reconstruct the rings and schemes from their automorphism groups after applying theta- and log- links, which are not compatible with the ring or scheme structure. The study of mild indeterminacies introduced for multiradiality purposes leads to applications to the strong Szpiro conjecture and its equivalent forms. IUT goes outside the realm of conventional arithmetic geometry and it essentially extends the scope of arithmetic geometry. Rarely for mathematics, the IUT theory is not only a program in number theory but also its full realization with applications to the proofs of fundamental problems in number theory. [5]

The theory contains a large number of novel concepts. The theory is very complex, some of its complexity may be related to the absence of appropriate language to describe it. Shinichi Mochizuki documented the relevant progress of the study of the theory by other mathematicians, as well as minor changes in his preprints, in the first two years since 2012 in his two reports December 2013 December 2014. The study of the theory has proved to be a serious challenge for contemporary mathematicians.[6] To assist mathematicians, various surveys and reviews of the theory were produced by several mathematicians and two international workshops in Oxford and in Kyoto were organized.

Mochizuki invested a very substantial amount of time into dissemination of his results.[7] Surveys of IUT were produced by its author,[8][9] by Ivan Fesenko,[10] ,[11] and by Yuichiro Hoshi (currently available in Japanese only).[12] National workshops on IUT were held at RIMS in March 2015 and in Beijing in July 2015.[13] International workshops on IUT were held in Oxford in December 2015 [14] and at RIMS in July 2016.[15] Their outputs can be useful to future learners of the theory. These workshops attracted more than 100 participants.

Files of the RIMS workshop include a document[16] which mentions, "As of July 2016, the four papers on IUT have been thoroughly studied and verified in their entirety by at least four mathematicians (other than the author), and various substantial portions of these papers have been thoroughly studied by quite a number of mathematicians (such as the speakers at the Oxford workshop in December 2015 and the RIMS workshop in July 2016). These papers are currently being refereed, and, although they have not yet been officially accepted for publication, the refereeing process is proceeding in an orderly, constructive, and positive manner."

Publications

  • Mochizuki, Shinichi (1997), "A Version of the Grothendieck Conjecture for p-adic Local Fields" (PDF), The International Journal of Mathematics, 8 (3), singapore: World Scientific Pub. Co.: 499–506, ISSN 0129-167X
  • Mochizuki, Shinichi (1998), "Proceedings of the International Congress of Mathematicians, Vol. II (Berlin, 1998)", Documenta Mathematica: 187–196, ISSN 1431-0635, MR 1648069
  • Mochizuki, Shinichi (1999), Foundations of p-adic Teichmüller theory, AMS/IP Studies in Advanced Mathematics, vol. 11, Providence, R.I.: American Mathematical Society, ISBN 978-0-8218-1190-0, MR 1700772

Inter-universal Teichmüller theory

References

  1. ^ a b c d e Mochizuki, Shinichi. "Curriculum Vitae" (PDF). Retrieved 14 September 2012.
  2. ^ a b "Seniors address commencement crowd". Princeton Weekly Bulletin. 20 June 1988. p. 4.
  3. ^ "International Congress of Mathematicians 1998".
  4. ^ Inter-universal Teichmüller theory IV: log-volume computations and set-theoretic foundations, Shinichi Mochizuki, August 2012
  5. ^ Fesenko, Ivan (2016), Fukugen, Inference: International Review of Science, 2016
  6. ^ Fesenko, Ivan (2016), Fukugen, Inference: International Review of Science, 2016
  7. ^ Seminars, meetings, lectures on IUT in Japan (PDF)
  8. ^ Mochizuki, Shinichi (2014), A panoramic overview of inter-universal Teichmüller theory, In Algebraic number theory and related topics 2012, RIMS Kôkyûroku Bessatsu B51, RIMS, Kyoto (2014), 301–345 (PDF)
  9. ^ Mochizuki, Shinichi (2016), The mathematics of mutually alien copies: from Gaussian integrals to inter-universal Teichmüller theory (PDF)
  10. ^ Fesenko, Ivan (2015), Arithmetic deformation theory via arithmetic fundamental groups and nonarchimedean theta functions, notes on the work of Shinichi Mochizuki, Eur. J. Math., 2015 (PDF)
  11. ^ Fesenko, Ivan (2016), Fukugen, Inference: International Review of Science, 2016
  12. ^ "Yuichiro Hoshi web page, Papers".
  13. ^ Future and past workshops on IUT theory of Shinichi Mochizuki
  14. ^ Workshop on IUT theory of Shinichi Mochizuki
  15. ^ Inter-universal Teichmüller Theory Summit 2016 (RIMS workshop, July 18-27 2016)
  16. ^ "On questions and comments concerning Inter-universal Teichmüller Theory" (PDF).
Retrieved from "https://en.wikipedia.org/w/index.php?title=Shinichi_Mochizuki&oldid=755516469"