https://twitter.com/lumidek/status/1369875540992290820
Lubo? Motl　
I am far from 100% certain about the validity of Mo?izuki's proof of the abc conjecture but I am ~99% certain that he is right that the German men's criticism is plain idiotic. They misunderstand usefulness of redundant structures (like in gauge theory): http://kurims.kyoto-u.ac.jp/~motizuki/Essential%20Logical%20Structure%20of%20Inter-universal%20Teichmuller%20Theory.pdf
午後1:59 ・ 2021年3月11日・Twitter Web App
(引用終り)

下記だね

http://www.kurims.kyoto-u.ac.jp/~motizuki/Essential%20Logical%20Structure%20of%20Inter-universal%20Teichmuller%20Theory.pdf
＜PRIMS出版記念論文＞
[9] On the Essential Logical Structure of Inter-universal Teichmuller Theory in Terms of Logical AND "∧"/　Logical OR "∨" Relations: Report on the Occasion of the Publication of the Four Main Papers on Inter-universal Teichmuller Theory. PDF NEW!! (2021-03-06)
P41
§3.1. One-dimensionality via identification of RCS-redundant copies
In more technical language, this sort of decomposition into unit groups and
value groups may be seen in the F ×μ-prime-strips that appear in the Θ-link
of inter-universal Teichm¨uller theory. Thus, if one thinks in terms of such F ×μprime-strips, then inter-universal Teichm¨uller theory may be summarized as follows:
(2-Dim) The main content of inter-universal Teichm¨uller theory is an explicit
description, up to certain relatively mild indeterminacies, of the Θintertwining on the [two-dimensional!] F ×μ-prime-strips that appear in the Θ-link in terms of the q-intertwining on these F ×μ-primestrips by means of the log-link and various types of Kummer theory
that are used to relate Frobenius-like and ´etale-like structures.

つづく
https://twitter.com/5chan_nel (5ch newer account)