INTER-UNIVERSAL TEICHMULLER¨ THEORY II: HODGE-ARAKELOV-THEORETIC EVALUATION
Shinichi Mochizuki
May 2020
Abstract. In the present paper, which is the second in a series of four pa- pers, we study the Kummer theory surrounding the Hodge-Arakelov-theoretic eval- uation — 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 Θ±ellNF-Hodge theaters, that were associated to certain data, called initial Θ-data, that includes an elliptic curve EF over a number field F , together with a prime num- ber l ≥ 5. The underlying Θ-Hodge theaters of these Θ±ellNF-Hodge theaters were glued to one another by means of “Θ-links”, that identify the [reciprocal of the l-th ±ell root of the] theta function at primes of bad reduction of EF in one Θ NF-Hodge theater with [2l-th roots of] the q-parameter at primes of bad reduction of EF in an- other Θ±ellNF-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 Θ±ellNF-Hodge theater that may be formulated in such a way as to make sense from the point of the arithmetic holomorphic structure of another Θ±ellNF-Hodge theater which is related to the original Θ±ellNF-Hodge ×μ theater by means of the [non-scheme-theoretic!] Θgau-link. For instance, certain of the various rigidity properties of the ´etale theta function studied in an earlier paper by the author may be intepreted 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 ± ±ell Fl -symmetry of a Θ 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 impor- tant 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.
Typeset by AMS-TEX 1 2 SHINICHI MOCHIZUKI
Contents: Introduction §1. Multiradial Mono-theta Environments §2. Galois-theoretic Theta Evaluation §3. Tempered Gaussian Frobenioids §4. Global Gaussian Frobenioids
Introduction
In the following discussion, we shall continue to use the notation of the In- troduction to the first paper of the present series of papers [cf. [IUTchI], §I1]. In particular, we assume that are given an elliptic curve EF over a number field F , together with a prime number l ≥ 5. In the present paper, which forms the sec- ond paper of the series, we study the Kummer theory surrounding the Hodge- Arakelov-theoretic evaluation [cf. Fig. I.1 below] — i.e., evaluation in the style of the scheme-theoretic Hodge-Arakelov theory of [HASurI], [HASurII] — of the reciprocal of the l-th root of the theta function