Inter-universal geometry と ABC予想 (応援スレ) 49

[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 49 (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

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

553: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2020/10/18(日) 12:54:44.43 ID:ZLSkSSTT

>>552
つづき

Then, from the
point of view of the length two substring 01 on the left, the digit “1” of this substring
may be specified by means of its “coordinate relative to this substring”, namely, as the
symbol to the far right of the substring 01. In a similar vein, from the point of view of
the length two substring 10 on the right, the digit “1” of this substring may be specified
by means of its “coordinate relative to this substring”, namely, as the symbol to the far
left of the substring 10. On the other hand,
neither of these specifications via “substring-based coordinate systems”
is meaningful to the opposite length two substring; that is to say, only the
solitary abstract symbol “1” is simultaneously meaningful, as a device
for specifying the digit of interest, relative to both of the “substring-based
coordinate systems”.
Finally, in passing, we note that this discussion applies, albeit in perhaps a somewhat
trivial way, to the isomorphism of Galois groups ΨηX : GK?→ GK induced by the
Frobenius morphism ΦηX in Example 2.6.1, (i): That is to say, from the point of view
of classical ring theory, this isomorphism of Galois groups is easily seen to coincide with
the identity automorphism of GK. On the other hand, if one takes the point of view
that elements of various subquotients of GK are equipped with labels that arise from
the isomorphisms ρ or κ of Example 2.6.1, (ii), (iii), i.e., from the reciprocity map of
class field theory or Kummer theory, then one must regard such labelling apparatuses
as being incompatible with the Frobenius morphism ΦηX . Thus, from this point
of view, the isomorphism ΦηX must be regarded as a “mysterious, indeterminate
isomorphism” [cf. the discussion of §2.7, (iii)].

つづく

http://rio2016.5ch.net/test/read.cgi/math/1600350445/553

554: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2020/10/18(日) 12:55:01.21 ID:ZLSkSSTT

>>553

つづき

Ｐ50
(i) Types of mathematical objects: In the following discussion, we shall often
speak of “types of mathematical objects”, i.e., such as groups, rings, topological
spaces equipped with some additional structure, schemes, etc. This notion of a “type
of mathematical object” is formalized in [IUTchIV], §3, by introducing the notion of
a “species”. On the other hand, the details of this formalization are not so important
for the following discussion of the notion of multiradiality. A “type of mathematical
object” determines an associated category consisting of mathematical objects of this
type ? i.e., in a given universe, or model of set theory ? and morphisms between such
mathematical objects. On the other hand, in general, the structure of this associated
category [i.e., as an abstract category!] contains considerably less information than the
information that determines the “type of mathematical object” that one started with.
For instance, if p is a prime number, then the “type of mathematical object” given by
rings isomorphic to Z/pZ [and ring homomorphisms] yields a category whose equivalence
class as an abstract category is manifestly independent of the prime number p.

つづく

http://rio2016.5ch.net/test/read.cgi/math/1600350445/554

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

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

ぬこの手ぬこTOP 0.035s