Abstract:This paper deals with consequences of the existence of Arithmetic Teichmuller spaces established in <a class="link-internal link-https" href="https://arxiv.org/abs/2106.11452">https://arxiv.org/abs/2106.11452</a> and <a class="link-internal link-https" href="https://arxiv.org/abs/2210.11635">https://arxiv.org/abs/2210.11635</a>. Theorem~9.2.1 provides a proof of a local version of Mochizuki's Corollary~3.12. Local means for a fixed $p$-adic field. There are several new innovations in this paper. Some of the main results are as follows. Theorem~3.5.1 shows that one can view the Tate parameter of Tate elliptic curve as a function on the arithmetic Teichmuller space of [Joshi, 2021a], [Joshi, 2022b]. The next important point is the construction of Mochizuki's $\Theta_{gau}$-links and the set of such links, called Mochizuki's Ansatz in §6. Theorem~6.9.1 establishes valuation scaling property satisfied by points of Mochizuki's Ansatz (i.e. by my version of $\Theta_{gau}$-links). These results lead to the construction of a theta-values set (§8) which is similar to Mochizuki's Theta-values set (differences between the two are in §8.7.1). Finally Theorem~9.2.1 is established. For completeness, I provide an intrinsic proof of the existence of Mochizuki's $\log$-links (Theorem 10.9.1), $\mathfrak{log}$-links (Theorem~10.15.1) and Mochizuki's log-Kummer Indeterminacy (Theorem~10.20.1) in my theory.

Zeroth order quantum coherences and preparation of pseudopure state in homonuclear dipolar coupling spin systems

Kato's Euler system and the Mazur-Tate refined conjecture of BSD type

Torsion Points and the Latte'S Family

Zeta elements for elliptic curves and applications

On the anticyclotomic Mazur-Tate conjecture for elliptic curves with supersingular reduction

An elementary formulation of Kubota's proof of Satz 4 about biquadratic number fields

On the non-vanishing of generalized Kato classes for elliptic curves of rank $2$

Elementary Proofs for Kato Smoothing Estimates of Schrödinger-like Dispersive Equations

A user's guide to Beilinson-Kato's zeta elements

An alternative proof of Kazhdan property for elementary groups

The Sato--Tate Distribution in Families of Elliptic Curves with a Rational Parameter of Bounded Height

Mazur's main conjecture at Eisenstein primes

A note on Tate's conjectures for abelian varieties

Construction of Arithmetic Teichmuller Spaces IV: Proof of the abc-conjecture

Torsion points and the Lattes family

Proof of the Kresch-Tamvakis Conjecture

On the Birch-Tate conjecture for cyclic number fields

Construction of Arithmetic Teichmuller spaces II: Proof of a local prototype of Mochizuki's Corollary 3.12

Behaviors of the Tate--Shafarevich group of elliptic curves under quadratic field extensions

Tamagawa number conjecture for CM modular forms and Rankin--Selberg convolutions

Proof of Audenaert-Kittaneh's Conjecture