20/04/26 14:20:57 7O7a3CML.net
Dupuy先生の予告論文出た（＾＾
意味わからんがｗ（＾＾；
URLﾘﾝｸ(www.uvm.edu)
[ Taylor Dupuy's Homepage]
[ manuscripts ]
2.The Statement of Mochizuki's Corollary 3.12, Initial Theta Data, and the First Two Indeterminacies, (with A. Hilado)
URLﾘﾝｸ(www.dropbox.com)
THE STATEMENT OF MOCHIZUKI'S COROLLARY 3.12, INITIAL
THETA DATA, AND THE FIRST TWO INDETERMINACIES
DRAFT
TAYLOR DUPUY AND ANTON HILADO
Abstract. This paper does not give a proof of Mochizuki's Corollary 3.12. It is the first
in a series of three papers concerning Mochizuki's Inequalities. The present paper concerns
the setup of Corollary 3.12 and the first two indeterminacies, the second [DH20a] concerns
log-Kummer correspondences and ind3, and the third [DH20b] concerns applications to
Diophantine inequalities (in the style of IUT4). These manuscripts are designed to provide
enough definitions and background to give readers the ability to apply Mochizuki's state-
ments in their own investigations. Along the way, we have faithfully simplified a number
of definitions, given new auxillary definitions, and phrased the material in a way to maxi-
mize the dierences between Theorem 1.10 of IUT4 and Corollary 3.12 of IUT3. It is our
hope that doing so will enable creative readers to derive interesting and perhaps unforeseen
consequences Mochizuki's inequality.
Contents
1. Introduction 1
2. Background and Notation 5
3. Fake Adeles, Random Measurable Sets, and Pilot Objects 8
4. Indeterminacies and U 17
5. Global Multiplicative Subspaces, Initial Theta Data, and E11a1 24
つづく