>>59
>simplificationの経緯を⑴から⑷の4つ

なるほどね
下記だね

（(参考)）
https://ncatlab.org/nlab/files/why_abc_is_still_a_conjecture.pdf Date: August 23, 2018
Why abc is still a conjecture
PETER SCHOLZE AND JAKOB STIX

P4
2. Hodge theaters and Frobenioid prime strips2.1. Glossary: IUTT-terminology and how we may think of these objects.
The IUTTpapers introduce a large amount of terminology. To facilitate the discussion, we will describe(only) the notions that are strictly relevant to explain what we regard as the error.
This willinvolve certain radical simplifications, and it might be argued that such simplifications stripaway all the interesting mathematics that forms the core of Mochizuki’s proof.
Towards thisobjection we can offer four excuses:
(1) During our discussion in Kyoto, Mochizuki agreed that some of these simplifications areOK, for example regarding the critical notion of F ×μ-prime strips below.
(2) Generally, the discussions in Kyoto were at a level only slightly more sophisticated thanwhat is reflected in the simplifications below, and Mochizuki agreed that this does notresult in an essential obfuscation of the ideas. We also discussed the deeper parts ofthe theory, and Mochizuki agreed that we had a good understanding of the substantialmathematical content.
(3) When it comes to the more drastic simplifications indicated below, such as merely iden-tifying the choice of a Hodge theater with the choice of a curve abstractly isomorphic toX, or simply identifying identical objects along the identity, these are inessential to thepoint we are making, and Mochizuki was not able to convince us during the week whysuch a simplification was not allowed.
(4) We are certain that even with all subtleties restored, the issue we are pointing outwill prevail, and it is easier to point to the key issue with these surrounding subtletiesremoved.

つづく