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

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

IUTを読むための用語集資料集スレ - 暇つぶし2ch204:4] and [20]). On the other hand, given a padic field K1, the Jarden-Ritter Theorem (see [8]) provides a characterization of all p-adic fields K2 such that one has a topological isomorphism GK2 ' GK1 of their absolute Galois groups and it is well-known that for every prime p, pairs of fields with this property always exists. Mochizuki’s anabelian reconstruction yoga (see [22] and its references) provides, starting with the topological group G ' GK, the reconstruction amphora of G (see [6, 5, 7, 20, 21, 22] and its references for the contents of the reconstruction amphora; in [9] I introduced this term as a convenient short-form and memory-aid) which contains all quantities related to K which are reconstructed from the topological group G such as the prime p, the topological monoids O^*K (the group of units of the ring of integers OK of K) and OΔK the multiplicative monoid of non-zero elements of OK (this notation is due to Mochizuki). However the ring OK is not contained in the reconstruction amphora of G. Moreover Mochizuki’s Reconstruction yoga also asserts that if one has an isomorphism of topological groups GK1 ～＝ GK2 then an isomorphism of the topological monoids OΔK1 ～＝ OΔK2 may also be reconstructed from it (see [6, Section 2]). つづく

次ページ

続きを表示

1を表示