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).
$\begingroup$
$\endgroup$
7
asked Jul 5, 2016 at 20:34
-
5$\begingroup$ 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/… $\endgroup$– user40276Commented Jul 5, 2016 at 20:45
-
10$\begingroup$ 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. $\endgroup$– LuciaCommented Jul 6, 2016 at 7:34
-
4$\begingroup$ 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? $\endgroup$– Raphael J.F. BergerCommented Jul 6, 2016 at 8:46
-
3$\begingroup$ 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. $\endgroup$– Stefan Kohl ♦Commented Jul 6, 2016 at 9:39
-
4$\begingroup$ 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. $\endgroup$– user40276Commented Jul 6, 2016 at 21:31
|
Show 2 more comments