Shinichi Mochizuki

From Infogalactic: the planetary knowledge core
Jump to: navigation, search
Shinichi Mochizuki
Born (1969-03-29) March 29, 1969 (age 55)[1]
Tokyo, Japan[1]
Nationality Japanese
Fields Mathematics
Institutions Kyoto University
Alma mater Princeton University
Doctoral advisor Gerd Faltings
Known for Proposed proof of abc conjecture,
Proved Grothendieck conjecture on anabelian geometry.
Notable awards JSPS Prize, Japan Academy Medal[1]

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 the famous Grothendieck conjecture about hyperbolic curves over number fields. He initiated related and new areas such as absolute anabelian geometry and mono-anabelian geometry. He introduced p-adic Teichmüller theory, Hodge–Arakelov theory and two theories which study Frobenioids and anabelioids as a categorical geometry generalization of conventional aspects of arithmetic geometry. He is the author of inter-universal Teichmüller theory (IUT) which is also called arithmetic deformation theory or Mochizuki theory. It goes outside the realm of conventional arithmetic geometry and essentially extends the scope of arithmetic geometry.

Biography

Mochizuki was an invited speaker at the International Congress of Mathematicians in 1998.[2]

Mochizuki proved Grothendieck conjecture on anabelian geometry in 1996. In 1999, he introduced Hodge–Arakelov theory. In 2000-2007 he introduced the theory of Frobenioids and mono-anabelian geometry.

In August 2012, Mochizuki released four preprints which develop inter-universal Teichmüller theory and also its applications to proof of several famous conjectures in diophantine geometry,[3] including the abc conjecture over every number field. The theory is very complex and involves many novel concepts and objects. It has already been verified more than 10 times by several mathematicians.[4][5]

Mochizuki documented the relevant progress in two reports, the first in December 2013 and the second in December 2014.

Personal life

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.[6] He entered Princeton University as an undergraduate at age 16 and graduated salutatorian in 1988.[6] 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]

Inter-universal Teichmüller theory

<templatestyles src="Module:Hatnote/styles.css"></templatestyles>

In the specific situation of a number field and an elliptic curve 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 (systems of frobenioids). It applies deep algorithmic results of mono-anabelian geometry to reconstruct the groups and schemes after applying various links which are not compatible with ring or scheme structure. Resulting synchronizations, rigidities and mild indeterminacies lead to applications to the strong Szpiro conjecture and its equivalent forms.

As of December 2014, through discussion with Y. Hoshi and G. Yamashita of the Research Institute for Mathematical Sciences in Kyoto University and M. Saidi of University of Exeter, Mochizuki wrote "I have yet to hear of even a single problem that relates to the essential thrust or validity of the theory" on the progress report.[7] According to Mochizuki, "At least with regard to the substantive mathematical aspects of such a verification, the verification of Inter-universal Teichmüller theory is, for all practical purposes, complete".[8] He wrote, however, "Nevertheless, as a precautionary measure, in light of the importance of the theory and the novelty of the techniques that underlie the theory, it seems appropriate that a bit more time be allowed to elapse before a final official declaration of the completion of the verification of Inter-universal Teichmüller theory is made."[8]

National workshops on IUT were held at RIMS in March 2015 and in Beijing in July 2015.[9] An international workshop on IUT was held in Oxford in December 2015, talks by its 15 speakers covered many relevant areas, its materials are available online.[10] A further international workshop will be held at RIMS in July 2016.

Publications

  • Lua error in package.lua at line 80: module 'strict' not found.
  • Lua error in package.lua at line 80: module 'strict' not found.
  • Lua error in package.lua at line 80: module 'strict' not found.

Inter-universal Teichmüller theory

  • Lua error in package.lua at line 80: module 'strict' not found..
  • Lua error in package.lua at line 80: module 'strict' not found..
  • Lua error in package.lua at line 80: module 'strict' not found..
  • Lua error in package.lua at line 80: module 'strict' not found..
  • Lua error in package.lua at line 80: module 'strict' not found..

References

  1. 1.0 1.1 1.2 1.3 1.4 Lua error in package.lua at line 80: module 'strict' not found.
  2. Lua error in package.lua at line 80: module 'strict' not found.
  3. Inter-universal Teichmüller theory IV: log-volume computations and set-theoretic foundations, Shinichi Mochizuki, August 2012
  4. Lua error in package.lua at line 80: module 'strict' not found.
  5. https://www.quantamagazine.org/20151221-hope-rekindled-for-abc-proof/
  6. 6.0 6.1 Lua error in package.lua at line 80: module 'strict' not found.
  7. Mochizuki, Shinichi (2014), "link ON THE VERIFICATION OF INTER-UNIVERSAL TEICHMULLER THEORY: A PROGRESS REPORT (AS OF DECEMBER 2014)", Research Institute for Mathematical Sciences Kyoto university, p.7.
  8. 8.0 8.1 Mochizuki, Shinichi (2014), "link ON THE VERIFICATION OF INTER-UNIVERSAL TEICHMULLER THEORY: A PROGRESS REPORT (AS OF DECEMBER 2014)", Research Institute for Mathematical Sciences Kyoto university, p.8.
  9. Lua error in package.lua at line 80: module 'strict' not found.
  10. Lua error in package.lua at line 80: module 'strict' not found.

External links