IUTを読むための用語集資料集スレ

[過去ﾛｸﾞ] IUTを読むための用語集資料集スレ (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

594: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2020/10/25(日) 09:23:32.03 ID:eIdDsFH8

>>593
つづき

§ 2.10. Inter-universality: changes of universe as changes of coordinates
One fundamental aspect of the links [cf. the discussion of §2.7, (i)] − namely, the
Θ-link and log-link − that occur in inter-universal Teichm¨uller theory is their incompatibility with the ring structures of the rings and schemes that appear in their
domains and codomains. In particular, when one considers the result of transporting
an ´etale-like structure such as a Galois group [or ´etale fundamental group] across such
a link [cf. the discussion of §2.7, (iii)], one must abandon the interpretation of such
a Galois group as a group of automorphisms of some ring [or field] structure [cf.
[AbsTopIII], Remark 3.7.7, (i); [IUTchIV], Remarks 3.6.2, 3.6.3], i.e., one must regard
such a Galois group as an abstract topological group that is not equipped with any
of the “labelling structures” that arise from the relationship between the Galois group
and various scheme-theoretic objects. It is precisely this state of affairs that results in
the quite central role played in inter-universal Teichm¨uller theory by results in
[mono-]anabelian geometry, i.e., by results concerned with reconstructing
various scheme-theoretic structures from an abstract topological group that “just
happens” to arise from scheme theory as a Galois group/´etale fundamental group.

つづく

http://rio2016.5ch.net/test/read.cgi/math/1592654877/594

595: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2020/10/25(日) 09:23:50.10 ID:eIdDsFH8

>>594
つづき

In this context, we remark that it is also this state of affairs that gave rise to the term
“inter-universal”: That is to say, the notion of a “universe”, as well as the use of
multiple universes within the discussion of a single set-up in arithmetic geometry, already
occurs in the mathematics of the 1960’s, i.e., in the mathematics of Galois categories
and ´etale topoi associated to schemes. On the other hand, in this mathematics of the
Grothendieck school, typically one only considers relationships between universes − i.e.,
between labelling apparatuses for sets − that are induced by morphisms of schemes, i.e.,
in essence by ring homomorphisms. The most typical example of this sort of situation
is the functor between Galois categories of ´etale coverings induced by a morphism of
connected schemes. By contrast, the links that occur in inter-universal Teichm¨uller
theory are constructed by partially dismantling the ring structures of the rings in their
domains and codomains [cf. the discussion of §2.7, (vii)], hence necessarily result in
much more complicated relationships between the universes − i.e., between the labelling apparatuses for sets − that are adopted in the Galois categories that occur in the domains and codomains of these links, i.e., relationships that do not respect the various labelling apparatuses for sets that arise
from correspondences between the Galois groups that appear and the respective
ring/scheme theories that occur in the domains and codomains of the links.

つづく

http://rio2016.5ch.net/test/read.cgi/math/1592654877/595

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.038s