JournalsprimsVol. 57, No. 1/2pp. 209–401

Inter-universal Teichmüller Theory II: Hodge–Arakelov-Theoretic Evaluation

  • Shinichi Mochizuki

    Kyoto University, Japan
Inter-universal Teichmüller Theory II: Hodge–Arakelov-Theoretic Evaluation 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 preorders@ems.press.

Abstract

In the present paper, which is the second in a series of four papers, we study the Kummer theory surrounding the 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 [strictly speaking, shifted by a suitable 2-torsion point], for l5l\ge 5 a prime number. In the first paper of the series, we studied "miniature models of conventional scheme theory", which we referred to as Θ±ellNF\Theta^{\pm\mathrm{ell}}\mathrm{NF}-Hodge theaters, that were associated 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. The underlying Θ\Theta-Hodge theaters of these Θ±ellNF\Theta^{\pm\mathrm{ell}}\mathrm{NF}-Hodge theaters were glued to one another by means of "Θ\Theta-links", that identify the [reciprocal of the ll-th root of the] theta function at primes of bad reduction of EFE_F in one Θ±ellNF\Theta^{\pm\mathrm{ell}}\mathrm{NF}-Hodge theater with [2l2l-th roots of] the qq-parameter at primes of bad reduction of EFE_F in another Θ±ellNF\Theta^{\pm\mathrm{ell}}\mathrm{NF}-Hodge theater. The theory developed in the present paper allows one to construct certain new versions of this "Θ\Theta-link". One such new version is the Θgau×μ\Theta^{\times\mu}_{\mathrm{gau}}-link, which is similar to the Θ\Theta-link, but involves the theta values at ll-torsion points, rather than the theta function itself. One important aspect of the constructions that underlie the Θgau×μ\Theta^{\times\mu}_{\mathrm{gau}}-link is the study of multiradiality properties, i.e., properties of the "arithmetic holomorphic structure" – or, more concretely, the ring/scheme structure – arising from one Θ±ellNF\Theta^{\pm\mathrm{ell}}\mathrm{NF}-Hodge theater that may be formulated in such a way as to make sense from the point of view of the arithmetic holomorphic structure of another Θ±ellNF\Theta^{\pm\mathrm{ell}}\mathrm{NF}-Hodge theater which is related to the original Θ±ellNF\Theta^{\pm\mathrm{ell}}\mathrm{NF}-Hodge theater by means of the [non-scheme-theoretic!] Θgau×μ\Theta^{\times\mu}_{\mathrm{gau}}-link. For instance, certain of the various rigidity properties of the étale theta function studied in an earlier paper by the author may be interpreted as multiradiality properties in the context of the theory of the present series of papers. Another important aspect of the constructions that underlie the Θgau×μ\Theta^{\times\mu}_{\mathrm{gau}}-link is the study of "conjugate synchronization" via the Fl±\mathbb{F}^{\rtimes\pm}_l-symmetry of a Θ±ellNF\Theta^{\pm\mathrm{ell}}\mathrm{NF}-Hodge theater. Conjugate synchronization refers to a certain system of isomorphisms – which are free of any conjugacy indeterminacies! – between copies of local absolute Galois groups at the various ll-torsion points at which the theta function is evaluated. Conjugate synchronization plays an important role in the Kummer theory surrounding the evaluation of the theta function at ll-torsion points and is applied in the study of coricity properties of [i.e., the study of objects left invariant by] the Θgau×μ\Theta^{\times\mu}_{\mathrm{gau}}-link. Global aspects of conjugate synchronization require the resolution, via results obtained in the first paper of the series, of certain technicalities involving profinite conjugates of tempered cuspidal inertia groups.

Cite this article

Shinichi Mochizuki, Inter-universal Teichmüller Theory II: Hodge–Arakelov-Theoretic Evaluation. Publ. Res. Inst. Math. Sci. 57 (2021), no. 1, pp. 209–401

DOI 10.4171/PRIMS/57-1-2