Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory internal-categories k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).

nLab > Latest Changes: IUTT

Bottom of Page

1 to 14 of 14

  1.  
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeSep 19th 2012
    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeSep 19th 2012
    • (edited Sep 19th 2012)

    Hm, ever since I put those pdf-links into IUTT the server that hosts them seems to be down. Or I am being stupid. I could swear I did open the pdf behind these links this morning. But now I just get a server error when I try to. Is this just me? Do I have some typo in the URLs? ?!?

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeSep 19th 2012
    • (edited Sep 19th 2012)

    Ah, never mind. Now I can reach them again. Or can I? Hm, number III) I get now. But number IV) still not.

    • CommentRowNumber4.
    • CommentAuthorTim_Porter
    • CommentTimeSep 19th 2012
    • (edited Sep 19th 2012)

    I found it slow. I called up IUTT III, got it, and changed the III to IV in the URL It then came up without problem. Back on the IUTT entry it then worked. I will clear my Firefox cache and try again. (Edit: It seems to work for me now.)

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeSep 19th 2012

    Okay, thanks for checking!

    • CommentRowNumber6.
    • CommentAuthorzskoda
    • CommentTimeSep 20th 2012

    There are periods when the site with Mochizuki’s web pages is not responsive and the times when everything is OK.

    • CommentRowNumber7.
    • CommentAuthorzskoda
    • CommentTimeSep 20th 2012

    Regarding the model-theoretic content of the page cf. my remarks in the comment 37 in the parallel discussion.

    • CommentRowNumber8.
    • CommentAuthorDavid_Corfield
    • CommentTimeFeb 15th 2015

    Added a reference

    Ivan Fesenko, Arithmetic deformation theory via arithmetic fundamental groups and nonarchimedean theta functions (pdf)

    • CommentRowNumber9.
    • CommentAuthorDavid_Corfield
    • CommentTimeNov 11th 2015
    • (edited Nov 11th 2015)

    Added

    Minhyong Kim, Brief superficial remarks on Shinichi Mochizuki’s Interuniversal Teichmueller Theory (IUTT), version 1, 10/11/2015, (pdf).

    • CommentRowNumber10.
    • CommentAuthorspitters
    • CommentTimeNov 11th 2015

    Since you seem to be following this, is anything more clear about the connection with universe enlargement available?

    • CommentRowNumber11.
    • CommentAuthorDavidRoberts
    • CommentTimeNov 11th 2015

    @spitters, not that I could see in this, nor in another recent Mochizuki document answering questions put to him about the programme.

    • CommentRowNumber12.
    • CommentAuthorDavid_Corfield
    • CommentTimeNov 11th 2015

    I never understood why universe enlargement should be such a big deal. Does it amount to anything more than the book-keeping of ’typical ambiguity’ or ’universe polymorphism’, as Mike explains?

    …as long as you aren’t deliberately perverse, you won’t usually have to worry about universe inconsistencies… in non-formalized mathematics, we are always free to drop into explicit universe polymorphism if it ever seems necessary for clarity. But most of the time, it isn’t.

    Doesn’t sound like a powerful principle to find out new things in number theory.

    • CommentRowNumber13.
    • CommentAuthorspitters
    • CommentTimeNov 11th 2015

    Given the name “Inter Universal”, apparently Mochizuki thinks it is important.

    • CommentRowNumber14.
    • CommentAuthorDavidRoberts
    • CommentTimeNov 11th 2015

    @spitters his appendix to IUTT IV that show why he uses this name is not referred to in a substantial way a single time in the four papers. Also, his use of set theory is very odd, so I think of that appendix as a hack from someone not au fait with foundational issues.

1 to 14 of 14

  1.