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

### Shinichi Mochizuki

Kyoto University, Japan

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 $l$-th root of the] **theta function** at **$l$-torsion points** [strictly speaking, shifted by a suitable 2-torsion point], for $l≥5$ a prime number. In the first paper of the series, we studied *"miniature models of conventional scheme theory"*, which we referred to as *$Θ_{±ell}NF$-Hodge theaters*, that were associated to certain data, called *initial $Θ$-data*, that includes an *elliptic curve $E_{F}$* over a *number field* $F$, together with a *prime number* $l≥5$. The underlying $Θ$-Hodge theaters of these $Θ_{±ell}NF$-Hodge theaters were *glued* to one another by means of *"$Θ$-links"*, that identify the [reciprocal of the $l$-th root of the] *theta function* at primes of bad reduction of $E_{F}$ in one $Θ_{±ell}NF$-Hodge theater with [$2l$-th roots of] the *$q$-parameter* at primes of bad reduction of $E_{F}$ in another $Θ_{±ell}NF$-Hodge theater. The theory developed in the present paper allows one to construct certain new versions of this "$Θ$-link". One such new version is the **$Θ_{gau}$-link**, which is similar to the $Θ$-link, but involves the *theta values at $l$-torsion points*, rather than the theta function itself. One important aspect of the constructions that underlie the $Θ_{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* $Θ_{±ell}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* $Θ_{±ell}NF$-Hodge theater which is related to the original $Θ_{±ell}NF$-Hodge theater by means of the [*non-scheme-theoretic*!] $Θ_{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}$-link is the study of **"conjugate synchronization"** via the **$F_{l}$-symmetry** of a $Θ_{±ell}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 $l$-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 $l$-torsion points and is applied in the study of **coricity** properties of [i.e., the study of objects left *invariant* by] the $Θ_{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/2, pp. 209–401

DOI 10.4171/PRIMS/57-1-2