20/04/12 13:21:52 hAg37Ryy.net
>>23
つづき
Background
In March 2018 Peter Scholze and Jacob Stix travelled to Japan to visit Shinichi Mochizuki to discuss with him his claimed proof of the abc conjecture.
In documents released in September 2018, Scholze?Stix claimed the key Lemma 3.12 of Mochizuki’s third Inter-Universal Teichmuller Theory (IUTT) paper reduced to a trivial inequality under certain harmless simplifications, invalidating the claimed proof.2 Mochizuki agreed with the conclusion that under the given simplifications the result became trivial,
but not that the simplifications were harmless. However, Scholze and Stix were not convinced by the arguments as to why their simplifications drastically altered the theory, and we stand at an impasse.
The documents released by both sides3 include two versions of a report by Scholze?Stix, titled Why abc is still a conjecture, each with an accompanying reply by Mochizuki, as well as a 41-page article,
Report on discussions, held during the period March 15 ? 20, 2018, concerning Inter-Universal Teichmuller Theory (IUTCH).
This latter document, which shall be be referred to as ‘the Report’, is written in a style consistent with Mochizuki’s IUTT papers, and his other documents concerning IUTT.
As such, it can be difficult (at least for me) to extract concrete and precisely-defined mathematical results that aren’t mere analogies or metaphors. Rather than analogies,
one should strive to express the necessary ideas or objections in as precise terms as possible, and I argue that one should use category theory to clean up the parts of the arguments that are not actual number theory or arithmetic geometry.
つづく