20/04/24 07:52:44 9m+2fnQ5.net
>>294 補足
「宇宙」説明追加
URLリンク(www.kurims.kyoto-u.ac.jp)
INTER-UNIVERSAL TEICHMULLER THEORY IV:LOG-VOLUME COMPUTATIONS AND SET-THEORETIC FOUNDATIONS
Shinichi Mochizuki April 2020
(抜粋)
Introduction
P6
one typically encounters new schemes, which give rise to new
Galois categories, hence to new Galois or ´etale fundamental groups, which may
only be constructed if one allows oneself to consider new basepoints, relative to new
universes.
In particular, one must continue to extend the universe, i.e., to modify
the model of set theory, relative to which one works. Here, we recall in passing
that such “extensions of universe” are possible on account of an existence axiom
concerning universes, which is apparently attributed to the “Grothendieck school”
and, moreover, cannot, apparently, be obtained as a consequence of the conventional ZFC axioms of axiomatic set theory [cf. the discussion at the beginning of §3 for more details].
we wish to obtain algorithms for
constructing various objects that arise in the context of the new schemes/universes
discussed above ? i.e., at distant Θ±ellNF-Hodge theaters of the log-theta-lattice
? that make sense from the point of view of the original schemes/universes that
occurred at the outset of the discussion. Again, the fundamental tool that makes
this possible, i.e., that allows one to express constructions in the new universes in
terms that makes sense in the original universe is precisely
the species-theoretic formulation ? i.e., the formulation via settheoretic formulas that do not depend on particular choices invoked
in particular universes ? of the constructions of interest
? cf. the discussion of Remarks 3.1.2, 3.1.3, 3.1.4, 3.1.5, 3.6.2, 3.6.3. This is
the point of view that gave rise to the term “inter-universal”.
つづく