Shinichi Mochizuki

Shinichi Mochizuki
Name	Shinichi Mochizuki
Birth date	1969
Birth place	Kyoto, Japan
Fields	Number theory, arithmetic geometry
Institutions	Research Institute for Mathematical Sciences, Oxford University, Kyoto University
Alma mater	University of Tokyo, Princeton University
Doctoral advisor	Goro Shimura

Shinichi Mochizuki is a Japanese mathematician known for major contributions to arithmetic geometry, anabelian geometry, and for proposing inter-universal Teichmüller theory, a purported proof of the ABC conjecture. His work connects threads from algebraic geometry, Diophantine equations, and arithmetic of elliptic curves, engaging communities across institutions such as Princeton, Kyoto, and Oxford. He has been both highly honored and the center of intense scrutiny due to the opacity and novelty of his methods.

Early life and education

Born in Kyoto, Mochizuki studied at the University of Tokyo and later undertook graduate work at Princeton University under the supervision of Goro Shimura. During his formative years he was influenced by research traditions associated with Alexander Grothendieck, John Tate, and Jean-Pierre Serre, and trained in the milieu of arithmetic geometry linked to the Institute for Advanced Study and the University of Tokyo. His doctoral lineage places him within networks connected to Yutaka Taniyama and the circle that produced work leading toward the Taniyama–Shimura–Weil conjecture and developments used in the proof of Fermat's Last Theorem by Andrew Wiles and Richard Taylor.

Academic career and positions

Mochizuki has held positions at the Research Institute for Mathematical Sciences (RIMS) at Kyoto University, and spent time at Princeton University and Oxford University. He has collaborated or interacted with mathematicians at institutions including the Mathematical Institute, Oxford, the Institute for Advanced Study, and research centers in France and Germany associated with algebraic and arithmetic geometry. His career intersects with scholars such as Gerd Faltings, Jean-Marc Fontaine, Christopher Skinner, and Kazuya Kato, and with research programs at organizations like the Mathematical Society of Japan and the European Mathematical Society.

Inter-universal Teichmüller theory and claimed proof of the ABC conjecture

Mochizuki developed a program termed inter-universal Teichmüller theory (IUT), which he released in a series of long manuscripts proposing a proof of the ABC conjecture (also known as the Oesterlé–Masser conjecture). IUT builds on foundations from anabelian geometry inspired by Grothendieck, employs techniques related to Teichmüller theory, and introduces novel structures invoking analogues of Frobenius morphism manipulations, p-adic Hodge theory, and categorical frameworks resonant with ideas from motivic cohomology and arithmetic fundamental groups. The manuscripts situate the claim among landmark problems in Diophantine geometry alongside conjectures like Mordell's conjecture (now Faltings's theorem), and connect conceptually to the arithmetic of elliptic curves studied in the context of the Birch and Swinnerton-Dyer conjecture.

Reception, verification efforts, and controversies

The IUT manuscripts generated extensive discussion across seminars at Kyoto University, Oxford University, and international venues including meetings held by the American Mathematical Society and the London Mathematical Society. Verification efforts involved mathematicians such as Peter Scholze and Jakob Stix, who raised specific objections concerning key steps involving reconstruction of arithmetic structures and compatibility claims with conventional frameworks in p-adic Hodge theory and anabelian geometry. These disputes prompted responses from Mochizuki and independent workshops convened at institutions like the Research Institute for Mathematical Sciences and editorial deliberations at journals such as the Publications of the Research Institute for Mathematical Sciences. The controversy engaged communities including specialists in Iwasawa theory, Galois representations, and arithmetic geometry, and led to discussions about peer review standards, the role of expository exposition, and the verification of proofs of major conjectures. Some researchers continued to study and develop related ideas, while others remained unconvinced pending clearer links to established techniques employed by figures like Gerd Faltings and Jean-Pierre Serre.

Selected publications and contributions to number theory

Mochizuki's earlier work includes contributions to anabelian geometry and the study of arithmetic fundamental groups, connecting to problems considered by Grothendieck and Shinichi Futa contexts, and to results in the tradition of Alexander Grothendieck’s program. He published the IUT series as a sequence of extensive monographs in 2012, and his other papers address topics that influenced research on Diophantine inequalities, heights on varieties, and moduli of curves. His methods have been compared and contrasted with approaches developed by Gerd Faltings (Faltings's theorem), Paul Vojta (Vojta's conjectures), and techniques used by Andrew Wiles in the modularity program. Selected works are studied alongside classical texts such as those by Serre and modern treatments by Brian Conrad and Joseph Silverman.

Awards and honors

Mochizuki has received recognition including memberships and lectureships associated with institutions like the Mathematical Society of Japan and invitations to speak at venues connected to the International Congress of Mathematicians. His career is marked by affiliations with leading centers such as Kyoto University and Oxford University, reflecting awards and honors typical for mathematicians of his standing in arithmetic geometry circles.

Category:Japanese mathematicians Category:Number theorists