On Shinichi Mochizuki’s Inter-universal Teichmüller Theory

The sunlight is strong in Kyoto, even in winter. In December of 2014, I visited Shinichi Mochizuki at the Research Institute for Mathematical Sciences to discuss his inter-universal Teichmüller theory (IUT).1 A distinguished mathematician and a leading figure in anabelian geometry, Mochizuki first made his papers about IUT available at the end of August, 2012. Their study has proved challenging.

A term that is frequently used in mathematical discussions about anabelian geometry and IUT is fukugen, which may be translated as restoration or as reconstruction, and which, like so many words in a foreign language, cannot be truly translated.

It must be used without translation. But isn’t this true of mathematics itself?

Numbers are among the basic concepts of our culture. The most difficult unsolved problems in mathematics are number theoretic. It is easy to see why. The natural numbers are infinite but discrete. The real numbers form a linear continuum. In the late nineteenth century, Georg Cantor demonstrated that there is no one-to-one mapping between the natural and the real numbers. This is still a shocking result. Fundamental changes in mathematics have arisen from the interplay between these structures, and many mathematicians suspect that, at a profound level, the mathematical structures behind the natural numbers are continuous. The history of physics and chemistry suggests as much. The periodic table appears to list a series of discrete atoms, but from the much deeper perspective of quantum field theory, these stable and discrete—indeed, isolated—structures are the adaptive masks worn by continuous fields.

IUT contributes to a new view of the numbers. This may sound as if Mochizuki had announced, rather than executed, a program in pure mathematics. But IUT yields proofs of several outstanding problems in number theory: the strong Szpiro conjecture for elliptic curves, Vojta’s conjecture for hyperbolic curves, and the Frey conjecture for elliptic curves.

And it settles the famous Oesterlé–Masser or abc conjecture.2

The abc conjecture is easy to state and difficult to prove. Prime numbers are defined in terms of multiplication in the ring of integers. A non-zero integer m may be factored into the product of positive integer powers pini of distinct prime numbers pi, so that m=±pini. Let Cm=pi designate the product of all distinct prime divisors pi of m. In what follows, C(m) serves as a crude approximation to the absolute value |m| of m. It is crude because in C(m), positive exponents are replaced by 1.

It is not easy to get cruder.

The abc conjecture affirms that for every ε>0, there is a positive number κ, depending on ε, such that for every three non-zero coprime integers a,b,c satisfying a+b=c,


The abc conjecture expresses a universal asymptotical property of all non-zero integers a and b whose sum is not zero. For finitely many a,b, the existence of κ is obvious. The crude approximation C(ab(a+b)) of ab(a+b), when raised to the degree 1+ε for any fixed positive ε close to 0, asymptotically bounds |a|,|b|,|a+b| from above.

What gives the abc conjecture its lurid fascination is that it asks about additive relations between prime numbers while their definition uses multiplication only. Michel Waldschmidt put the point nicely (for positive a, b):3

The abc conjecture describes a kind of balance or tension between addition and multiplication, formalizing the observation that when two numbers a and b are divisible by large powers of small primes, a + b tends to be divisible by small powers of large primes.4

Stronger versions of the abc conjecture conditionally imply solutions of dozens of famous problems, among them Fermat’s Last Theorem. A proof would occupy only a few lines, modulo the text of IUT, and the proof will be completely different from the first proof by Andrew Wiles.

As one might expect, IUT is not a theory that rewards a casual inspection.

A Whirlwind Tour

The central objects of algebraic number theory are the number fields. These are finite extensions of the rational number field. The rings of integers of number fields generalize the integers. The number fields are one of structures hidden behind the facade of the integers. Using them one can solve many classical problems. Real and complex analytic functions, connected to number theoretical objects, are, of course, the subject of analytic number theory. The most famous example is the Euler–Riemann zeta function, ζs=1-p-s-1, where the product is taken over all positive prime numbers. The Riemann hypothesis is a one hundred and fifty year old conjecture about the zeros of this function. Many mathematicians have searched unsuccessfully for its proof. IUT teaches the importance of working with elliptic and hyperbolic curves over the rational numbers and not just the rational numbers themselves.

Then there is arithmetic geometry. Many problems about the numbers involve polynomial relations. Solutions of polynomial equations with coefficients in various number fields can be studied geometrically by using the theory of arithmetic varieties. They can also be studied in a more general way by using arithmetic schemes. Arithmetic geometry uses geometric and algebraic methods, as well as algebraic and arithmetic versions of topological concepts. It is a field to which Alexander Grothendieck made major contributions.5 Pierre Deligne’s proof of the Weil conjectures belongs to arithmetic geometry. These conjectures can be stated in a very simple and classical form using polynomials over finite fields, but their proof uses the sophisticated concepts and methods of arithmetic geometry.

Both arithmetic geometry and analytic number theory involve, to some extent, the sensibility of the continuous. Analysis of aspects of the Riemann hypothesis, or the general Birch and Swinnerton-Dyer conjecture, indicate, or at least suggest, that the structures potentially leading to their solution are not likely to be found in conventional arithmetic geometry or analytic number theory. New number theoretical concepts are required.

Inter-universal Teichmüller Theory offers a new perspective on the numbers by generalizing arithmetic geometry. It works with monoids, or semigroups with an identity element. In this context, IUT studies certain multiplicative deformations that arise with respect to elliptic and hyperbolic curves. It is well known among mathematicians that multiplication is the more fundamental concept.6 To study deformations, IUT uses explicitly algorithmic mono-anabelian procedures in which rings and their related structures are deconstructed and then reconstructed. Bounds on the ensuing deformation lead to a proof of the strong Szpiro inequality and, as a consequence, of the abc conjecture.

From Reciprocity to IUT

Suppose that p and q are distinct odd prime numbers. Carl Friedrich Gauss’s quadratic reciprocity theorem states that the equations

x2q (mod p)

x2p (mod q)

are jointly solvable or unsolvable, unless both p and q leave the remainder 3 when divided by 4. In that case, one equation is solvable, the other, not.7 Algebraic number theory eventually produced stunning conceptual generalizations of the quadratic reciprocity law.

At roughly the same time that Gauss was studying modular relationships between prime numbers, Évariste Galois was considering symmetry structures defined over the roots of irreducible polynomials. The modern development of Galois theory involves the use of fields and their automorphisms. Given a finite field extension L of F, consider the group of all ring homomorphisms from L to L acting as an identity map on F. If its order equals the degree of L over F, the extension is called Galois; the ring homomorphisms are called Galois automorphisms; and the group is called the Galois group G(L/F). This group consists of ring theoretic symmetries of L over F. Given a field L and a finite group H of its ring automorphisms, its field extension, L, over the fixed field LH is a Galois extension. Its Galois group G(L/LH) is the original finite group H.

For every field F, one can combine information about all of its finite Galois extensions into a single group. Such is the absolute Galois group GF of F. GF is the inverse limit of Galois groups of finite Galois extensions inside a fixed separable closure of F. GF is a topological group. Its open subgroups are absolute Galois groups of the finite extensions of F. Galois extensions are abelian when their automorphisms, like the usual numbers with respect to multiplication, commute with one another.

Kummer theory, developed in the mid-nineteenth century by the German mathematician Ernst Kummer, is related to a question quite natural from a modern point of view. To what extent can information derived from the absolute Galois group GF, with its single operation of group multiplication, be used to recover the field F, with its two operations of addition and multiplication? One very partial answer is supplied by elementary Kummer theory. For a field F containing all n roots of the polynomial Xn-1, there is a one-to-one correspondence between the finite abelian extensions L of F, whose degree divides n, and the subgroups B of the multiplicative group F×, which contain the subgroup of nth powers F×n. With such B’s, one associates the field extension LB=FBn of F, generated by the nth roots of all elements bB; the Galois group of LB/F is isomorphic to B/F×n.8

Galois theory and number theory meet in class field theory, the main achievement of algebraic number theory. Using objects associated to a ground field, such as a number field K, or its completion Kv, class field theory describes their abelian extensions.9 The field of rational numbers Q is completed most obviously by the field of real numbers R, but it is also completed by the field of the p-adic numbers Qp. The p-adic fields are as important as the field of real numbers.

There are two special class field theories over small number fields: cyclotomic class field theory over rational numbers and complex multiplication class field theory over imaginary quadratic fields. They employ structures related to torsion elements that are not available over general number fields.10 The existence theorem in class field theory for general number fields was proved by Teiji Takagi one hundred years ago.11

The aim of class field theory is to produce a reciprocity map that is almost a topological isomorphism between the maximal abelian quotient GFab of the absolute Galois group GF of the ground field F, and a suitable topological abelian group MF. For a local field Kv, the corresponding abelian group is the multiplicative group Kv× of the local field. For a number field K, it is the idele class group AK×/K× of K. The notation AK× stands for the multiplicative group of invertible elements of the adelic ring AK of K.12 The topology on these groups is defined very naturally.

The reciprocity map is a functorial continuous homomorphism MFGFab—a structure that is not quite a homeomorphism, but is not far from being a homeomorphism either. For every finite Galois extension L/F, the reciprocity map induces an isomorphism between the maximal abelian quotient G(L/F)ab of the Galois group of L/F and the quotient MF/NL/FML, where NL/F is the norm map. This reciprocity map is a far-reaching generalization of the quadratic reciprocity law. The global reciprocity map is the product of all local reciprocity maps for all non-equivalent completions of the global field. This product sends K× to the identity Galois automorphism, which corresponds to the general reciprocity law. The existence theorem in class field theory describes a one-to-one correspondence between open subgroups of MF (called classes) and finite abelian extensions L of F (called class fields).

Almost Forgotten Treasures

Class field theory has a vast number of applications in number theory.13 While algebraic Kummer theory works over any ground field containing sufficiently many roots of unity, class field theory works over number fields and their completions, or more generally, over locally compact non-discrete fields.

Robert Langlands, who together with Alexander Grothendieck has most profoundly influenced the number theory of the last fifty years, has recently made use of some classical ideas in Helmut Hasse’s Klassenkörperbericht (A Report on Class Field Theory). Some modern developments in class field theory are relatively unknown, partially due to insufficient attention paid by mathematicians to the substantial arithmetic features hidden in its standard presentation using group cohomology. Jürgen Neukirch’s explicit reciprocity map, considered as a far reaching extension of the reciprocity map in David Hilbert’s Ninth Problem, is an example.14 Tomio Kubota’s original and mysterious approach to class field theory is another.15

The Langlands Program may itself be considered a far-reaching generalization of class field theory, one that treats non-abelian as well as abelian Galois groups.16 Its point of view is nonetheless quite distinctive. There are no generalized class fields, no explicit description of non-abelian extensions, no generalized reciprocity map.17 Representation theoretic methods developed earlier in quantum mechanics are used instead. Galois group representations are coordinated with representations of arithmetic objects associated to the ground field in class field theory. In arithmetic versions of the theory, one studies two types of L-functions, each generalizing the Euler–Riemann zeta function. Wiles’s proof of Fermat’s last theorem established a very partial case of the Langlands correspondence for a certain class of elliptic curves over the rational numbers.18 Major open tasks of the Langlands Program remain unsolved, but there have been exciting recent developments.19

Anabelian geometry is another generalization of class field theory. While class field theories operate with abelian quotients of Galois groups, and the various Langlands correspondences deal with Galois group representations, anabelian geometry treats the full absolute Galois group. The Neukirch–Ikeda–Uchida theorem is an early result in anabelian geometry. The ring isomorphisms between two number fields K and K' are derived from topological group isomorphisms between the absolute Galois groups of K and of K'. This reflects a certain rigidity property of the number fields.20 These fields are uniquely determined by less information than one might expect. In this case, the isomorphism class of the absolute Galois group of a number field can restore or reconstruct the isomorphism class of the number field.21

We still know much less about the absolute Galois groups of number fields than we might wish, but IUT serves to remind the mathematician, otherwise vexed by a Galois gap in his understanding, that, unlike fields, topological groups are able to pass through certain barriers in arithmetic deformation theory.

It was Grothendieck’s ideas that initiated the anabelian geometric program, which operates with algebraic fundamental groups.22 Grothendieck asked about reconstructing the isomorphism class of a hyperbolic curve over a number field from its algebraic fundamental group.23 The algebraic fundamental group contains a subgroup, the geometric fundamental group, which is the algebraic fundamental group of the geometric object over an algebraic closure of the field. The quotient group is isomorphic to the absolute Galois group of the field. The proof of Grothendieck’s conjecture and its generalizations was obtained by Mochizuki in 1995, and this result is used in IUT.

Instead of establishing an isomorphism between two fields when their absolute Galois groups are isomorphic, mono-anabelian geometry reconstructs the ring structure of an object (i.e. as a field) from its absolute Galois group, or from an algebraic fundamental group.24 In 2008, Mochizuki showed how to restore a number field from the algebraic fundamental group of a certain hyperbolic curve C over the field.25 The proof deals with a subfield k of the non-Archimedean completion of a number field, and includes a functorial group-theoretic algorithm for reconstructing k as a subfield of the function field of C.

The reconstruction consists of several steps. The first takes pride of place because it is the most important: it involves reconstructing surjective maps from the algebraic fundamental group of open sub-schemes of C, which are obtained by removing a finite collection of k-rational points, to the algebraic fundamental group of C. It is a step employing the Mochizuki–Belyi cuspidalization theory over k. It is crucial that this reconstruction is compatible with localization. This is the first explicit reconstruction of the number fields and it is independent of the NIU proof.26

This reconstruction plays a fundamental role in IUT.


The Szpiro Conjectures

Inter-universal Teichmüller Theory does not directly prove the abc conjecture; but it does prove still more geometric conjectures and they, in turn, imply the abc conjecture. The Szpiro conjecture was historically the first in a set of associated conjectures. It deals with two invariants of an elliptic curve E defined over a number field K. Conic curves are given by solutions in K of quadratic equations; elliptic curves, by solutions to cubic equations Y2=X3+aX+b. Coefficients a,b are in K, and, what is more, 4a3+ 27b20. The K-rational points of an elliptic curve are all solutions (x:y:z) of the homogeneous equation Y2Z=X3+aXZ2+bZ3. The notation (x:y:z), where at least one of x,y,z is non-zero, stands for the equivalence class of proportional triples. The set of all equivalence classes (x:y:z) forms the projective plane. The K-rational points (x:y:z)E(K) of the elliptic curve Y2Z=X3+aXZ2+bZ3 are of two types: points (x:y:1) where x,y are solutions of the cubic equation, and the point 0:1:0, the point at infinity of E(K). And this is key: it is possible to define addition on E(K) in such a way that E(K) becomes an abelian group whose neutral element is the point 0:1:0.

Suppose that an elliptic curve E over the rational numbers Q  is defined by Y2=X3+aX+b. Coefficients may be rescaled so that a,b are integers. For every prime p we can look at the reduction of E modulo p: that is, at solutions x:y:z of Y2ZX3+aXZ2+bZ3 (mod p) in the projective plane over the finite field Z/pZ. For almost all primes p, we obtain in this way an elliptic curve over the finite field Z/pZ. Positive primes p1,,pn for which this is not true are exactly the prime divisors of the discriminant, –16(4a3+27b2); the corresponding reduction is called a bad reduction, while pi are called the bad reduction primes.

By allowing linear transformations of the variables Y'=d3Y+fd2X+g,X'=d2X+e with coefficients in K, one can work more generally with Weierstrass equations Y2+a1XY+a3Y=X3+a2X2 +a4X+a6. It is, of course, possible to define the discriminant of the Weierstrass equation as well. By making linear changes to the variables X,Y with rational coefficients, it is then possible to transform the Weierstrass equation into an equation in integers ai, and the discriminant such that for every prime number p, the maximal power of p that divides divides the discriminant of every other transformed Weierstrass equation whose rational coefficients ai do not involve negative powers of p. If is the minimal discriminant of E, denote its absolute value by DE. can be viewed as a refined approximation to the complexity of E. Given that DE=pini, then the ni’s are certain geometric invariants of the reduction of E at pi. To elliptic curves with so called split multiplicative reduction at pi one can associate a geometric object in the shape of ni-gon. One also forms a certain product pifi called the conductor CE of E. In the case of elliptic curves with a split multiplicative reduction at pi, all fi=1, and the conductor is the minimal positive integer such that every prime of bad reduction is its factor. We can view the conductor as the first crude approximation to the complexity of E.

The Szpiro conjecture for elliptic curves E over rational numbers tells that for every ε>0 there is a positive real number κ, depending on ε but not on E, such that for all elliptic curves E over rational numbers


Instead of 1+ε in the abc conjecture for integers, elliptic curve invariants require 6+ε, the number 6 playing an important, if somewhat inscrutable, role in what follows.27 In the case of elliptic curves E whose bad reduction is a split multiplicative reduction, one can define a kind of rotation of the ni-gons. Consider this done. IUT then implies that these rotations are synchronized, like working windmills revolving placidly in the presence of wind.28

The strong Szpiro conjecture over number fields now emerges naturally. Let E be an elliptic curve defined over any number field K. One can define the minimal discriminant and conductor of E as ideals of the ring of integers of K. Denote by DE and CE the indices of the minimal discriminant and conductor in the ring of integers of K. The strong Szpiro conjecture affirms that for every ε>0 there is a positive real number κ, depending on ε, such that for all number fields K and elliptic curves E over K


Here DK is the absolute value of the discriminant of K, which measures the complexity of K.

The strong Szpiro conjecture implies that every curve of genus >1 defined over an algebraic number field has only finitely many rational points. This is the Mordell conjecture. There are several proofs, the first by Gerd Faltings, and then a very interesting one by Paul Vojta, using some analogies with Nevanlinna theory. Rolf Nevanlinna and Oswald Teichmüller knew of each other’s work and there are certain links between their theories. One can ask if there are links between arithmetic generalizations of their works, i.e. Vojta’s proof and IUT. It is well known that the abc inequality implies that there exists a positive integer n0 such that the Fermat equation Xn+Yn=Zn does not have positive integer solutions for any nn0. In order to derive a new proof of Fermat’s last theorem, it would be necessary to make n0 explicit, a development suggested by Mochizuki.29

Elliptic curves over number fields mark one of the fundamental boundaries of modern mathematical knowledge. To enlarge this boundary, entirely new concepts, ideas and methods are needed.

Several of them come from IUT.


Inter-universal Teichmüller Theory has a number of features that suggest complex Teichmüller theory, but it operates within a different mathematical universe.30 In IUT, there is a fixed, given elliptic curve E over a number field F. The elliptic curve is assumed to be of sufficiently general type and with sufficiently good properties, in particular, each of its bad reductions is split multiplicative reduction. Given a prime number l, IUT uses l-torsion points of the elliptic curve E, i.e. points whose l-multiple with respect to the group operation on E is the zero element of the group. In some sense, the use of the finite field Fl=Z/lZ can be viewed in IUT as an approximation to the ring of integers. IUT intensively operates with several associated hyperbolic curves, such as the punctured elliptic curve E without its zero element, or E without all its l-torsion points. These hyperbolic curves are used to recover the ring structure of the number fields using the algorithms of mono-anabelian geometry.

A monoid is a set with binary associative operation and an identity element. Certain monoids are subsets within groups obeying their associative operation. For example, the multiplicative group Qp× of the field Qp of p-adic numbers splits into the product of the group of units Zp× and the infinite cyclic group generated by p. One can also consider the multiplicative monoid Zp\0 of p-adic integers; this monoid splits into the product of Zp× and the multiplicative monoid of non-negative integer powers of p.

Another example, which plays an important role in the theory of Frobenioids, is a non-commutative monoid F of elements (a,n), where a0 and n>0 are integers. The requisite associative operation is (a,n)(a',n')=(a+na',nn'). Elements (a,n) of F have Frobenius degree n. It is easy to show that any monoid homomorphism from F to a finite group G factors through the natural surjection (a,n)n. Mochizuki’s theory of frobenioids is an example of a combinatorial blunt force applied to the structures of scheme-theoretic arithmetic geometry. The abstract combinatorial structure of a monoid, derived in turn from a ring, reveals essential ring-theoretic properties without an appeal to ring theory itself.31 A remarkable subtle intellectual maneuver is involved in which something is used—the ring—and then forgotten—ring? What ring?—and then recovered—the ring.

IUT works with various monoids and the Galois action on them. Consider the ring O of integers of an algebraic closure of a local field, together with the action of the absolute Galois group G. One can then consider multiplicative monoids O of the set of integers with zero removed, and the group O× of their units. The map that sends (G,O) to G induces a bijection from the group of automorphisms of (G,O) to the group of automorphisms of the topological group G. The map that sends (G,O×) to G induces a nontrivial kernel on the associated groups of automorphisms.32

Monoid-theoretic structures are of essential importance in IUT; they make possible various gluing isomorphisms that are impossible at the level of arithmetic geometry. Two structures (G1,O1), (G2,O2) can be glued by means of an arbitrary isomorphism (G1,O1×)(G2,O2×). Describing the structures naturally associated to (G1,O1) using only G2,O2  is a highly non-trivial problem.

Working with hyperbolic curves over number fields adds a geometric dimension to the arithmetic dimension of the field. IUT forges a connection of sorts between the two dimensions of a hyperbolic curve and the two combinatorial dimensions of the field F,+×  corresponding to its additive structure and multiplicative structure.

IUT is profoundly concerned with the deconstruction and reconstruction of the two underlying dimensions of a number field. Certain walls are impassable for rings. But fundamental and Galois groups pass right on through. This is deconstruction. Mono-anabelian geometry reconveys the field’s structure from a consideration of its ancillary groups. And this is reconstruction.

A manifestation of the flow of fukugen.33

Examples of deconstruction include: (a) the splittings of various local monoids into units and value group portions; (b) the separation of the finite field Fl into additive and multiplicative symmetries; and (c) the separation of ring structures into their respective underlying additive and multiplicative structures.

Reconstruction shows to what extent two dismantled combinatorial dimensions cannot be separated. It does this by describing the intertwining structure between the two dimensions before their separation. This procedure allows one to estimate the value group portions of various monoids in terms of their unit group portions.

At bad reduction primes v, rational points E(Fv) of E in the completion Fv of F, can be viewed as the quotient of the multiplicative group Fv× by the free group generated by a certain element q of the maximal ideal of the local integral ring. This element q is the analogue of pini in the Szpiro inequality. One then works with a non-Archimedean theta-function


where u is a non-zero element in the algebraic closure of Fv. The last equality follows from the Jacobi triple product formula. The functional equation θu=-uθqu is obvious. Thus, for any integer m, qm2-m/2=θ-1/θ-qm. This relation is used to represent powers of q as special values of a modified theta-function. IUT shows that these values are very special. Many properties of θ are similar to the properties of the classical complex valued theta-function. The non-Archimedean theta-function is both a kind of analytic object, and a more algebraic and geometric object than a complex-valued theta function.

The study of θ substantially extends two classical works: John Tate’s work on theta functions and David Mumford’s theory of theta groups and algebraic theta functions. IUT uses a generalized but truncated form of Kummer theory in which line bundles are associated to non-Archimedean theta-functions. This theory creates a bridge between monoid-theoretic and fundamental group structures.

It is from this generalized Kummer theory that one can derive an anabelian construction of the Kummer class of θ. Three new rigidity properties now appear. They are properties of a certain category-theoretic invariant of the fundamental group of the punctured E over Fv. It is useful to coin the phrase rigidities to serve in place of the ungainly rigidity properties. The rigidities are, in the first place, a discrete rigidity; in the second, a constant multiple rigidity; and, in the third, a cyclotomic rigidity.34 The first implies that one can deal with integer powers, instead of Z^-powers of divisors, on those coverings of E(Fv) studied in IUT; the second provides a canonical splitting of monoids related to the theta-function; and the third exploits the fact that the commutator of associated theta groups is exactly of degree 2.

There are two symmetries for hyperbolic curves associated to an elliptic curve over a number field. We might as well call them Symmetry One and Symmetry Two. They are denoted as

Fl±=Fl±1,   Fl=Fl×/±1,

with Fl arising from the l-torsion points of E. Elements of Fl (in the case of Fl±) or Fl (in the case of Fl) are called labels. Labels may be glued: ±a-l-1/2,,-1,0,1,,l-1/2 is identified with a1,,l-1/2.

Symmetry One arises from the action of the geometric fundamental group and is closely related to the Kummer theory for theta-values. This additive symmetry is of an essentially geometric nature. Symmetry Two arises from the action of the absolute Galois group of certain number fields and is also closely related to the relevant Kummer theory. This multiplicative symmetry is arithmetic. These symmetries are coded in appropriate theatres. The two types of symmetry require the use of finite fields.

There are various informal analogies between Symmetry One and Two in IUT and the two adelic structures in two-dimensional adelic geometry, even though the theories fundamentally differ from each other.35 In IUT, it is necessary to isolate the two types of symmetry in order to work with global base fields using the Fl–symmetry; and in order to establish certain conjugate synchronizations using the Fl±-symmetry. Divide and conquer. Conjugate synchronization is a specific system of isomorphisms between local absolute Galois groups. Given conjugate synchronization, Kummer theory is then applied to several special values of the theta-function.

In the specific situation of the elliptic curve E over the number field F and the prime number l, IUT operates with Hodge theatres—categorical objects generalizing some aspects of the original arithmetic and geometry. These radically new concepts were invented by Mochizuki.

Theatres represent a system of categories obtained by gluing categories over a base. Many of these base categories are isomorphic to the full subcategory of finite étale covers of hyperbolic curves. Each theatre consists of two portions, or sides, corresponding to Symmetry One and Symmetry Two. In IUT, they are glued together in a way compatible with the gluing of their labels. The object that results goes beyond conventional arithmetic geometry. It is important that each type of symmetry includes a global portion related to the number field and the hyperbolic curves over it. They might be compared to the way in which elements K× sit inside ideles AK× in class field theory.

With theatres, arithmetic deformation becomes possible as an idea and as a technique. An example of deformation on a local field, say the field of p-adic numbers Qp, is a map that for a fixed m sends pju to pjmu for all units u of Zp. While this map is a morphism of multiplicative structures, it is evidently not compatible with addition.

IUT studies certain non-ring-theoretical relations, links between theatres. The only type of mathematical object that makes sense in the domain and codomain of such a link is a topological group—the abstract topological group underlying a Galois group, for example.

Monoid-theoretic structures that appear in theta-links consist of two local structures: units of the ring of integers of a local field and theta values defined up to multiplication by roots of order dividing 2l. At bad reduction primes, the theta link includes assignments on the multiplicative group of the relevant local field. The theta-links go two by two: there are two distinct ring-scheme theories, and two theatres in the domain and codomain of the theta-link, their multiplicative structures related at bad reduction valuations via non-Archimedean theta values. The theta-link requires the use of a non-Archimedean logarithm map defined on units of the ring of integers. The map sends 1-x-n1xn/n for x in the maximal ideal of the ring of integers, and sends roots of unity to 0. The logarithm is compatible with Galois automorphisms.

The curious and compelling point is that the logarithm transforms multiplication into addition, and thus permits the recovery of additive from multiplicative structures.


Mutually Alien

Deconstruction of ring structures proceeds when the underlying additive and multiplicative structures of the ring are treated as separate monoid-theoretic structures. Ring structures are reconstructed by means of a series of algorithms using results from anabelian geometry and generalized Kummer theory. From the point of view of the internal ring structure of the codomain of the theta-link, the internal ring structure in the domain of the theta-link is a black box.

The two ring structures are, within IUT, said to be mutually alien.

Arithmetic deformation theory is charged in IUT with the task of explaining how much the additive structures of ambient rings differ. Generalized Kummer theory and mono-anabelian reconstruction algorithms are suited to this end, and they eventually make it possible to compare the left and right hand sides of the strong Szpiro inequality.

One of the main aims of IUT is the study of mathematical structures associated with a two-dimensional log-theta-lattice. These are formed by theatres Tn,m in which there are upward-pointing vertical log-links, and rightward-pointing horizontal theta-links. This lattice is not commutative.

Each of the vertical arrows Tn,mTn,m+1 corresponds to an application of the log-link, and each of the horizontal arrows Tn,mTn+1,m, to the theta-link. There is no natural action of the theta-values on the multiplicative monoid of units modulo torsion, but there is a natural action of the theta-values on the logarithmic image of this multiplicative monoid. The multiplicative structures on either side of the theta-link are related by means of the value group portions; the additive structures on either side of the theta-link are related by means of the unit group portions; these are shifted once via the log-link in order to transform the multiplicative structure of these units group portions into an additive structure.

To define the power series logarithm for the log-link, ring structures are needed, but the theta-link is not compatible with ring structures. From the point of view of the codomain of Θ:Tn,mTn+1,m, one can only see the units group and value group portions of the data that appears in the domain of this theta-link. Applying the log-link Tn,m-1Tn,m yields the value group portion at Tn,m. Thus, one is led to consider structures that are invariant with respect to arbitrary vertical shifts Tn,m-1Tn,m. These log-shells are a common structure for the log-links in one vertical line. Its non-Archimedean part is an image of the local units via the non-Archimedean logarithm; the log-shell associated to a complex Archimedean field is the closed ball of radius π.

The main results of IUT require the use of two bi-infinite and neighboring vertical lines of lattice arrows: those corresponding to the lattice points (n,m), where n equals 0 or 1, together with the horizontal arrow from T0,0 to T1,0.

Algebraic fundamental groups depend, up to conjugation, on the choice of their base point. The existence of different base points in the domain and range of the theta-link and log-link implies that one must consider two different universes associated to two distinct ring theories (hence the name of IUT!); these in general cannot be related by means of a ring homomorphism. The main type of mathematical object that makes simultaneous sense in both universes is a topological group, such as the topological group of an arithmetic fundamental group or a Galois group.

IUT applies mono-anabelian reconstruction algorithms to algebraic fundamental groups that appear in one universe in order to obtain descriptions of objects constructed from such algebraic fundamental groups that make sense in another. Mochizuki has used the image of a wheel and spokes. One can think of reconstruction algorithms as functorial algorithms from a radial category to the center category. Descriptions of objects on one spoke must make sense from the point of view of another spoke. A functorial algorithm is called multiradial if it expresses objects constructed from a given spoke in terms of objects that make sense from the point of view of other spokes. It is important that the generalized Kummer theory used in IUT be multiradial.

To obtain multiradial algorithms, it may be necessary to allow some sort of descriptive indeterminacy in the algorithms constructing objects from a given spoke. There are three indeterminacies that can be viewed as the effects of arithmetic deformation. They play a key role in the computation of volume deformation, and they result in the ε term in the Szpiro conjectures.36

The first indeterminacy is related to the absolute Galois group automorphisms of a local field; it indicates that those automorphisms are compatible with the permutation symmetries of the Galois and arithmetic fundamental groups that are associated with the vertical lines of the log-theta-lattice.

The second indeterminacy is related to the action of a certain compact group of isometries on the logarithmic image of units. It comes from the requirement of compatibility with the horizontal theta-link.

The third indeterminacy comes about because Kummer isomorphisms must be compatible with the log-links associated to a single vertical line of the log-theta-lattice.

Taking into account the three indeterminacies and making a suitable choice for the prime number l helps to bound the size of the deformation arising from the theta-link. A further computation leads to a bound of the type needed for the strong Szpiro conjecture and the Vojta hyperbolic conjecture.

Model theorists were the first to react to IUT. Some of the reconstruction theorems may be understood in terms of a logical interpretation. The concept of multiradiality may be understood in terms of definability. It is possible to imagine a certain model of theoretic mono-abelian geometry.

Mathematicians working with one element field theoretic geometry or studying arithmetical homotopy theory have also been interested in IUT.

Why categories in IUT, and why no maps between sets? These are questions raised in arithmetic geometry more than 40 years ago. IUT works with algebraic fundamental groups, so one must use categories. This was a message imparted by Grothendieck, but Grothendieck’s work has not really appeared as manna from heaven to all number theorists. Having been deprived of manna, they are slow in digesting IUT.37

It happens.

On the other hand, IUT does not deal directly with the Archimedean aspects of various inequalities by using non-scheme-theoretic analytic number theory. The center of activity is shifted to non-Archimedean data by means of the product formula. The resulting theory is not scheme-theoretic.38 In this sense of containing an important non-scheme-theoretical core, IUT is nearer to analytic considerations in number theory than anything provided by conventional arithmetic geometry.

IUT is different in its philosophy and main ideas from anything we have known in conventional number theory. It is already changing mathematics, and as more people learn and develop IUT, this will continue.39

It takes time for this to happen.

I am grateful to Shinichi Mochizuki for numerous valuable discussions and to David Berlinski for his stimulating ideas about the presentation of IUT. I am thankful to Edward Frenkel, Kobi Kremnitzer, Laurent Lafforgue, Robert Langlands, Yuri Manin, Sergey Oblezin, Richard Thomas and Boris Zilber for their comments and suggestions on earlier versions of this text.

  1. Shinichi Mochizuki, “Inter-Universal Teichmüller Theory I: Construction of Hodge theaters,” preprint, 2012–2016; “Inter-universal Teichmüller Theory II: Hodge-Arakelov-theoretic Evaluation,” preprint, 2012–2016; “Inter-universal Teichmüller Theory III: Canonical Splittings of the Log-theta-lattice,” preprint, 2012–2016; “Inter-universal Teichmüller Theory IV: Log-volume Computations and Set-theoretic Foundations,” preprint 2012–2016. Mochizuki has written several survey articles; of which the most recent is “The Mathematics of Mutually Alien Copies: From Gaussian Integrals to Inter-universal Teichmüller Theory” (preprint 2016). 
  2. For more on this, see section 1.3 of Ivan Fesenko, “Arithmetic Deformation Theory via Algebraic Fundamental Groups and Nonarchimedean Theta-Functions, Notes on the Work of Shinichi Mochizuki,” European Journal of Mathematics 1 (2015):405–40. 
  3. Beware that most versions of the abc conjecture presented in Waldschmidt’s text are stronger that the version of the abc inequality presented in this text and proved by Mochizuki. The challenging tasks are to reach to the stronger versions of the abc inequality by following one of the three paths: further develop the theory of Belyi maps, further develop IUT, and combine the main theorems of the current version of IUT with additional study inside classical Diophantine geometry. 
  4. Michel Waldschmidt, “On the abc Conjecture and Some of Its Consequences,” (2016). 
  5. Two interesting texts about Grothendieck: Pierre Cartier, “Alexander Grothendieck: A Country Known Only by Name,” Inference: International Review of Science 1 no. 1; Laurent Lafforgue, “Grothendieck et la liberté.” 
  6. In conversation. 
  7. There is also a simple formula to determine whether 2 is a square modulo an odd prime number. 
  8. More generally, one uses the map from the quotient to the first Galois cohomology group with coefficients in roots of unity of order dividing n
  9. The first examples of local fields, the fields of p-adic numbers Qp for a prime number p, were introduced more than a hundred years ago by Kurt Hensel. In Qp infinite series in integer powers of p with integer coefficients converge and represent (non-uniquely) all its elements. The set of such series with non-negative powers of p forms the ring Zp of p-adic integers in which usual integers Z sit densely with respect to the p-adic topology. These p-adic numbers, and more generally local fields, play a very central role in modern number theory. They deserve to be known by the reader as much as basics of quantum mechanics! 
  10. The closer one looks, the less one sees. 
  11. Teiji Takagi was the first Japanese researcher who substantially contributed to modern mathematics. Since his work, number theory has been a very well-respected branch of mathematics in Japan to do research in. There is still a certain tendency among many talented young Japanese mathematicians to study number theory. 
  12. The adelic ring of rational numbers is the direct product of the ring of real numbers and the ring of fractions whose numerator is in the direct product of all p-adic integers and whose denominator is a positive integer. 
  13. In particular, to the Euler–Riemann zeta function one can relate an adelic zeta integral which can be studied using structures from class field theory and applying harmonic analysis. 
  14. He also discovered that the Brauer group is not needed to construct and establish the local and global reciprocity maps in class field theory. 
  15. Tomio Kubota, “Geometry of Numbers and Class Field Theory,” Japanese Journal of Mathematics 13 (1987): 235–75. Remarkably, this paper has not a single reference. See also Tomio Kubota and Satomi Oka, “On the Deduction of the Class Field Theory from the General Reciprocity of Power Residues,” Nagoya Mathematical Journal 160 (2000): 135–42. 
  16. For an excellent introduction to aspects of the Langlands program and its researchers, see Edward Frenkel, Love and Math (New York: Basic Books, 2013). 
  17. There is another nonabelian generalization of class field theory which does involve a generalized nonabelian reciprocity map, see section G
  18. In relation to the Langlands correspondence for elliptic curves over number fields this is in some sense parallel to the special two class field theories mentioned earlier. 
  19. For one of them, see Robert Langlands, “Problems in the Theory of Automorphic Forms: 45 Years Later,” video lectures for Nottingham–Oxford conference on Symmetries and Correspondences, July 2014. For another see a recent preprint by Laurent Lafforgue entitled “Le principe de fonctorialité de Langlands comme un problème de généralisation de la loi d’addition.” This work reduces the functoriality in the Langlands Program to the existence of the second operation of addition. This sounds familiar to a student of IUT: restoration of addition by using mono-anabelian geometry is one of the main tools in IUT. 
  20. For some more details see e.g. section 1 of Ivan Fesenko, “Arithmetic Deformation Theory via Algebraic Fundamental Groups and Nonarchimedean Theta-Functions, Notes on the Work of Shinichi Mochizuki,” European Journal of Mathematics 1 (2015): 405–40. 
  21. The original proof of the NIU theorem used global class field theory and did not yet include Galois theoretic algorithms to reconstruct number fields or their isomorphisms. 
  22. For more on algebraic fundamental groups see section 1.5 of Ivan Fesenko, “Arithmetic Deformation Theory via Algebraic Fundamental Groups and Nonarchimedean Theta-Functions, Notes on the Work of Shinichi Mochizuki,” European Journal of Mathematics 1 (2015):405–40. 
  23. The first three contributors to anabelian geometry were Hiroaki Nakamura, Akio Tamagawa, and Shinichi Mochizuki; Florian Pop was the first contributor to birational anabelian geometry and Fedor Bogomolov was the first contributor to birational anabelian geometry over algebraically closed fields. 
  24. The reconstruction of a number field from its absolute Galois group is described in a recent paper by Yuichiro Hoshi. It uses Neukirch–Ikeda–Uchida theory, and earlier results and concepts by Shinichi Mochizuki. 
  25. Th. 1.9 and section 1 of Shinichi Mochizuki, “Topics in Absolute Anabelian Geometry III: Global Reconstruction Algorithms,” Journal of Mathematical Sciences: The University of Tokyo 22 (2015): 939–1,156. 
  26. Unlike the proof of the NIU theorem, Mochizuki’s theorem does not use global class field theory. It uses a generalisation of Kummer theory and the Brauer group of local fields, whose computation, as mentioned in endnote 14, is actually not needed for local class field theory, but does imply part of local class field theory. 
  27. 6 is the degree of the pull-back to the projective line (the compactification of the λ-line in the Legendre representation y2=xx-1x-λ of elliptic curves, λ0,1,) of the divisor at infinity of the natural compactification of the moduli stack of elliptic curves over integers tensored with rational numbers. 
  28. Over the complex numbers the property analogous to the Szpiro conjecture is interesting even though not difficult to establish. For a smooth projective surface equipped with a structure of non-split minimal elliptic surface fibred over a smooth projective connected complex curve of genus g, such that the fibration admits a global section, and, moreover, components of every singular fibre are projective lines which intersect transversally and form an n-gon, this property states that the sum of the number of components of singular fibres does not exceed 6 times the sum of the number of singular fibres and of g. This is a more precise bound than the asymptotic bounds in the arithmetic case. Among several proofs of this property, a proof by Fedor Bogomolov (extended by Shou-Wu Zhang) used the hyperbolic geometry of the upper half-plane, it reduces the proof to checking that the rotations of n-gons are synchronized. This proof has various analogies with IUT, discussed in Shinichi Mochizuki, “Bogomolov’s Proof of the Geometric Version of the Szpiro Conjecture from the Point of View of Inter-universal Teichmüller Theory,” Research in the Mathematical Sciences 3:6 (2016). Kobi Kremnitzer recently found that the essential part of Bogomolov–Zhang’s proof rediscovers the Milnor inequality proved in 1958. 
  29. For details see the last paragraph of sect. 2.12 of Ivan Fesenko, “Arithmetic Deformation Theory via Algebraic Fundamental Groups and Nonarchimedean Theta-Functions, Notes on the Work of Shinichi Mochizuki,” European Journal of Mathematics 1 (2015):405–40. It mentions two alternatives to try to achieve a more explicit bound. A short paper on the first alternative was very recently produced by Vesselin Dimitrov. 
  30. Shinichi Mochizuki, “Inter-universal Teichmüller Theory: A Progress Report,” abstract of talk at the 3rd Seasonal Institute of the Mathematical Society of Japan. The list of main concepts of IUT can be found in section 8 of: Ivan Fesenko, “Summary of Letters to Participants of the Workshop on the Theory of Shinichi Mochizuki, December 7–11 2015, Oxford.” 
  31. Shinichi Mochizuki, “The Geometry of Frobenioids I: The General Theory,” Kyushu Journal of Mathematics 62 (2008): 293–400; Shinichi Mochizuki, “The Geometry of Frobenioids II: Poly-Frobenioids,” Kyushu Journal of Mathematics 62 (2008): 401–60. 
  32. See Prop. 3.2 and Prop. 3.3. of Shinichi Mochizuki, “Topics in Absolute Anabelian Geometry III: Global Reconstruction Algorithms,” Journal of Mathematical Sciences - The University of Tokyo 22 (2015): 939–1,156. 
  33. Animations of the flow of fukugen are available online, which illustrate one of the main theorems of IUT. 
  34. Shinichi Mochizuki, “The Étale Theta Function and its Frobenioid-Theoretic Manifestations,” Publications of the Research Institute for Mathematical Sciences 45 (2009): 227–349. 
  35. As a generalization of the study of the Euler–Riemann zeta function via zeta integrals, mentioned in endnote 13, this two-dimensional theory studies the zeta function of regular models of elliptic curves over global fields using higher translation invariant integration, objects from higher class field theory, zeta integrals, and an interplay between geometric and analytic two-dimensional adelic structures associated with the models. The deformation map of the multiplicative group of a local field  was used in the definition of the local zeta integral in this theory around 15 years ago. The two symmetries in IUT are reminiscent of the geometric additive two-dimensional adelic structure (whose duality underlies Serre’s duality and the Riemann–Roch theorem), and of the analytic multiplicative two-dimensional adelic structures which underlies the zeta integral. Various analogies between aspects of IUT and the computation of the Gaussian integral are mentioned in Rk 1.12.5 of the second IUT paper and are discussed in the recent survey by Shinichi Mochizuki mentioned in endnote 1; on the other hand, there are various analogies between the computation of the Gaussian integral and two computations of the zeta integral. 
  36. For definitions and examples see sect. 1.7–1.9 of the second IUT paper. 
  37. Some other reasons are mentioned in sect. 3.4 of Ivan Fesenko, “Arithmetic Deformation Theory via Algebraic Fundamental Groups and Nonarchimedean Theta-Functions, Notes on the Work of Shinichi Mochizuki,” European Journal of Mathematics 1 (2015):405–40. There are areas of number theory where analytic and geometric considerations already fruitfully intertwine. For instance, the zeta functions studied via zeta integrals using analysis and geometry of adeles, see endnotes 13 and 35
  38. For more details see section 2.12 of Ivan Fesenko, “Arithmetic Deformation Theory via Algebraic Fundamental Groups and Nonarchimedean Theta-Functions, Notes on the Work of Shinichi Mochizuki,” European Journal of Mathematics 1 (2015):405–40. 
  39. Two recent workshops on IUT, held in Oxford and Kyoto, have been attended by more than one hundred mathematicians. For more information about the workshops, see: Workshop on IUT Theory of Shinichi Mochizuki, December 7-11 2015 (Oxford) and Inter-universal Teichmüller Theory Summit 2016, RIMS workshop, July 18-27 2016 (Kyoto).