English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

This paper does not give a proof of Mochizuki's Corollary 3.12. It is thefirst in a series of three papers concerning Mochizuki's Inequalities. Thepresent paper concerns the setup of Corollary 3.12 and the first twoindeterminacies, the second \cite{Dupuy2020c} concerns log-Kummercorrespondences and ind3, and the third \cite{Dupuy2020b} concerns applicationsto Diophantine inequalities (in the style of IUT4). These manuscripts aredesigned to provide enough definitions and background to give readers theability to apply Mochizuki's statements in their own investigations. Along theway, we have faithfully simplified a number of definitions, given new auxillarydefinitions, and phrased the material in a way to maximize the differencesbetween Theorem 1.10 of IUT4 and Corollary 3.12 of IUT3. It is our hope thatdoing so will enable creative readers to derive interesting and perhapsunforeseen consequences Mochizuki's inequality.

The Statement of Mochizuki's Corollary 3.12, Initial Theta Data, and the First Two Indeterminacies