# Recent progress on the verification of Mochizukis proof of the abc conjecture? [closed]

Apparently in preparation for the upcoming workshop on "Interuniversal Teichmüller Theory" in Kyoto in two weeks, which is intended to bring more light into Mochizukis proposed proof of the $abc$ conjecture and the new theory it comes with, there has appeared some new paper from Mochizuki titled The Mathematics of mutually alien copies: from gaussian integrals to inter-universal Teichmüller theory. Is there any progress on the matter connected with this work? For example, it seems that among other things one of the concepts introduced is something like a generalised Frobenius morphism that works for all primes. Can anyone comment on this? (There have been already questions here along that line, however that was before the new paper from July 2016).

## closed as off-topic by Will Jagy, user21574, Michael Zieve, Lucia, Chris WuthrichJul 6 '16 at 8:29

This question appears to be off-topic. The users who voted to close gave this specific reason:

• "This question does not appear to be about research level mathematics within the scope defined in the help center." – Will Jagy, Community, Michael Zieve, Lucia, Chris Wuthrich
If this question can be reworded to fit the rules in the help center, please edit the question.

• The theta link (and the arithmetic Kodaira-Spencer morphism, which are kind of related) is a kind of Frobenius for the function field case. You can see this as a descent data over the field of one element (I think this is not written anywhere, though). There's the point of view of p-adic Teichmuller theory, where the log-link is the analogous of a Frobenius. About the verification of the theory, there are some comments in kurims.kyoto-u.ac.jp/~motizuki/… – user40276 Jul 5 '16 at 20:45
• I'm sorry but I voted to close since I'm tired of the same Mochizuki questions. When he writes something comprehensible, I'm sure people will be able to comment. Maybe something will happen from the Kyoto meeting (based on past experience, I am not optimistic). But until the dust clears (if it does), questions on the Mochizuki papers don't seem to go anywhere. – Lucia Jul 6 '16 at 7:34
• I see your point, actually my question was if the dust clears. So you say in essence you know that the dust has not cleared. Is this an opinion or is it based on reasoning? – Rudi_Birnbaum Jul 6 '16 at 8:46
• Having taken a brief look at the cited paper, I think it is at least very badly written down. -- Unless the other works of Mochizuki on the abc conjecture show much cleaner argumentation, I find it hard to believe that they give a hundreds-of-pages-long proof without very substantial errors. – Stefan Kohl Jul 6 '16 at 9:39
• Maybe you can edit your question to ask something more specific and not just about the progress (which is too polemic and will lead nowhere). For instance, the analogy with the Frobenius morphism would be a good question. I would like to see a clean explanation of this and how to relate the KS morphism (which gives another F_1) with the theta-link in a formal way. Maybe Minhyong Kim or other people more acquainted with anabelian stuff will know this. – user40276 Jul 6 '16 at 21:31