JournalsprimsVol. 57, No. 1/2pp. 403–626

Inter-universal Teichmüller Theory III: Canonical Splittings of the Log-Theta-Lattice

  • Shinichi Mochizuki

    Kyoto University, Japan
Inter-universal Teichmüller Theory III: Canonical Splittings of the Log-Theta-Lattice cover

A subscription is required to access this article.

Individuals interested in purchasing a print copy of the PRIMS special issue on Inter-universal Teichmüller Theory may contact us at


The present paper constitutes the third paper in a series of four papers and may be regarded as the culmination of the abstract conceptual portion of the theory developed in the series. In the present paper, we study the theory surrounding the log-theta-lattice, a highly noncommutative two-dimensional diagram of "miniature models of conventional scheme theory", called Θ±ellNF\Theta^{\pm\mathrm{ell}}\mathrm{NF}-Hodge theaters. Here, we recall that Θ±ellNF\Theta^{\pm\mathrm{ell}}\mathrm{NF}-Hodge theaters were associated, in the first paper of the series, to certain data, called initial Θ\Theta-data, that includes an elliptic curve EFE_F over a number field FF, together with a prime number l5l\ge 5. Each arrow of the log-theta-lattice corresponds to a certain gluing operation between the Θ±ellNF\Theta^{\pm\mathrm{ell}}\mathrm{NF}-Hodge theaters in the domain and codomain of the arrow. The horizontal arrows of the log-theta-lattice are defined as certain versions of the "Θ\Theta-link" that was constructed, in the second paper of the series, by applying the theory of Hodge–Arakelov-theoretic evaluation – i.e., evaluation in the style of the scheme-theoretic Hodge–Arakelov theory established by the author in previous papers – of the [reciprocal of the ll-th root of the] theta function at ll-torsion points. In the present paper, we focus on the theory surrounding the log\mathfrak{log}-link between Θ±ellNF\Theta^{\pm\mathrm{ell}}\mathrm{NF}-Hodge theaters. The log\mathfrak{log}-link is obtained, roughly speaking, by applying, at each [say, for simplicity, nonarchimedean] valuation of the number field under consideration, the local pp-adic logarithm. The significance of the log\mathfrak{log}-link lies in the fact that it allows one to construct log-shells, i.e., roughly speaking, slightly adjusted forms of the image of the local units at the valuation under consideration via the local pp-adic logarithm. The theory of log-shells was studied extensively in a previous paper by the author. The vertical arrows of the log-theta-lattice are given by the log\mathfrak{log}-link. Consideration of various properties of the log-theta-lattice leads naturally to the establishment of multiradial algorithms for constructing "splitting monoids of logarithmic Gaussian procession monoids". Here, we recall that "multiradial algorithms" are algorithms that make sense from the point of view of an "alien arithmetic holomorphic structure", i.e., the ring/scheme structure of a Θ±ellNF\Theta^{\pm\mathrm{ell}}\mathrm{NF}-Hodge theater related to a given Θ±ellNF\Theta^{\pm\mathrm{ell}}\mathrm{NF}-Hodge theater by means of a non-ring/scheme-theoretic horizontal arrow of the log-theta-lattice. These logarithmic Gaussian procession monoids, or LGP-monoids, for short, may be thought of as the log-shell-theoretic versions of the Gaussian monoids that were studied in the second paper of the series. Finally, by applying these multiradial algorithms for splitting monoids of LGP-monoids, we obtain estimates for the log-volume of these LGP-monoids. Explicit computations of these estimates will be applied, in the fourth paper of the series, to derive various diophantine results.

Cite this article

Shinichi Mochizuki, Inter-universal Teichmüller Theory III: Canonical Splittings of the Log-Theta-Lattice. Publ. Res. Inst. Math. Sci. 57 (2021), no. 1, pp. 403–626

DOI 10.4171/PRIMS/57-1-3