¿Qué es la inter-universal de la geometría?

Question

Me pregunto qué Mochizuki del inter-universal de la geometría y su generalización de anabelian la geometría es, por ejemplo, por qué el ABC-conjetura implica anidada inclusiones de conjuntos como dejó entrever en las diapositivas, o por qué tal inclusión estructuras debería ser más fácil si están entre las categorías lo que se refiere a F_1. A mí me parece que su idea básica es que la geometría algebraica en general tiene un tipo de semántica de comentarios, lo que suena muy bonito, si fuera cierto. Su punto de vista de Grothendieck/Deligne la idea de utilizar la sección de conjetura, de forma indirecta, demostrando la finitud declaraciones a mí me parece como si fuera a decir "La primera parte de que es sólo el primer salto en los comentarios".

Edit: Un buen link se adentra dado en: Mochizuki de la prueba y Siegel ceros

Edit: Una relativamente nueva encuesta

Edit: Mochizuki' informe sobre el estado de revisión. Alguien me dijo que puede haber un seminario en Harvard en este próximo año.

Edit: Nueva encuesta corta por Ivan Fesenko :" Este texto se espera para ayudar a sus lectores a tener una visión general de la teoría y de una cierta orientación en él, así como ver varios enlaces entre ella y las teorías existentes. Junto con varios matemáticos, esperamos organizar un taller en Europa, así como una conferencia internacional en Kyoto, en el verano de 2016. Siéntase libre de contactar conmigo si usted está interesado en estudiar seriamente este trabajo."

Answer 1

En una declaración de la investigación, dice:

"La esencia de la aritmética geometría no radica en los diversos planes específicos que se producen en un determinado aritmético-geométrico, sino más bien en el resumen los patrones combinatorios, junto con la combinatoria de los algoritmos que describen estos patrones, que rigen la dinámica de tales esquemas específicos."

Sobre esto, entonces él habla acerca de cómo sus principales motivaciones son monoids, Galois categorías, y de doble gráficos de los degenerados estable en las curvas, lo que le lleva a hablar de su geometría de las categorías de cosas, y luego a "absoluta anabelian la geometría". Él, a continuación, los enlaces a un montón de papeles que supongo que elaborar un poco en ella. Entonces va a hablar acerca de la extensión de Teichmuller Teoría.

En general, su declaración de la investigación es bastante legible (y considerar la posibilidad de que soy mucho más que un no especialista en la aritmética de nada) y parece unir a las cosas con más detalles.