Shinichi Mochizuki
Shinichi Mochizuki | |
---|---|
Born | [1] | March 29, 1969
Nationality | Japanese |
Alma mater | Princeton University |
Known for | Proposed proof of abc conjecture, Proved a conjecture of Grothendieck in anabelian geometry. |
Awards | JSPS Prize, Japan Academy Medal[1] |
Scientific career | |
Fields | Mathematics |
Institutions | Kyoto University |
Doctoral advisor | Gerd 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 such as the Szpiro conjecture, the hyperbolic Vojta conjecture and the abc conjecture and its generalization over arbitrary number fields.
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
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
- Mochizuki, Shinichi (2011), "Inter-universal Teichmüller Theory: A Progress Report", Development of Galois–Teichmüller Theory and Anabelian Geometry (PDF), The 3rd Mathematical Society of Japan, Seasonal Institute.
- Mochizuki, Shinichi (2016a), Inter-universal Teichmuller Theory I: Construction of Hodge Theaters (PDF).
- Mochizuki, Shinichi (2016b), Inter-universal Teichmuller Theory II: Hodge–Arakelov-theoretic Evaluation (PDF).
- Mochizuki, Shinichi (2016c), Inter-universal Teichmuller Theory III: Canonical Splittings of the Log-theta-lattice (PDF).
- Mochizuki, Shinichi (2016d), Inter-universal Teichmuller Theory IV: Log-volume Computations and Set-theoretic Foundations (PDF).
References
- ^ a b c d e Mochizuki, Shinichi. "Curriculum Vitae" (PDF). Retrieved 14 September 2012.
- ^ a b "Seniors address commencement crowd". Princeton Weekly Bulletin. 20 June 1988. p. 4.
- ^ "International Congress of Mathematicians 1998".
- ^ Inter-universal Teichmüller theory IV: log-volume computations and set-theoretic foundations, Shinichi Mochizuki, August 2012
- ^ Fesenko, Ivan (2016), Fukugen, Inference: International Review of Science, 2016
- ^ Fesenko, Ivan (2016), Fukugen, Inference: International Review of Science, 2016
- ^ Seminars, meetings, lectures on IUT in Japan (PDF)
- ^ 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)
- ^ Mochizuki, Shinichi (2016), The mathematics of mutually alien copies: from Gaussian integrals to inter-universal Teichmüller theory (PDF)
- ^ 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)
- ^ Fesenko, Ivan (2016), Fukugen, Inference: International Review of Science, 2016
- ^ "Yuichiro Hoshi web page, Papers".
- ^ Future and past workshops on IUT theory of Shinichi Mochizuki
- ^ Workshop on IUT theory of Shinichi Mochizuki
- ^ Inter-universal Teichmüller Theory Summit 2016 (RIMS workshop, July 18-27 2016)
- ^ "On questions and comments concerning Inter-universal Teichmüller Theory" (PDF).
External links
- Shinichi Mochizuki at the Mathematics Genealogy Project
- Personal website
- Papers of Shinichi Mochizuki
- A brief introduction to inter-universal geometry
- On inter-universal Teichmüller theory of Shinichi Mochizuki, colloquium talk by Ivan Fesenko
- Arithmetic deformation theory via arithmetic fundamental groups and nonarchimedean theta functions, notes on the work of Shinichi Mochizuki by Ivan Fesenko
- Introduction to inter-universal Teichmüller theory (in Japanese), a survey by Yuichiro Hoshi
- RIMS Joint Research Workshop: On the verification and further development of inter-universal Teichmuller theory, March 2015, Kyoto*
- CMI workshop on IUT theory of Shinichi Mochizuki, December 2015, Oxford*