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

[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 44 (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

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

525: １３２人目の素数さん [sage] 2020/04/28(火) 13:23:30 ID:Oig1Nv2X

>>523
念のために指摘しておくと、改行の位置が悪かったかもしれないけど、
"residue characteristic"は専門用語で、日本語では「剰余標数」と呼ばれているらしい(>>502)

なお、>>505の後に発表されたショルツの文献では、もう少しわかりやすい形で定義されている
（多分同じことを別の表現で書いているだけだと思うけど、もし違ったらごめん）
記号のコピペミスを直すのは面倒なので正確にはpdfを見てね

>Note that perfectoid fields can be of characteristic 0 or p.

ということらしい

Perfectoid Spaces and their Applications
https://www.math.uni-bonn.de/people/scholze/ICM.pdf

>Definition 3.1. A perfectoid field is a complete topological field K, whose topology comes from a nonarchimedean norm | · | : K → R≥0 with dense image, such
>that |p| < 1 and, letting OK = {x ∈ K | |x| ≤ 1} be the ring of integers, the
>Frobenius map Φ : OK/p → OK/p is surjective.

>Examples include the completions of Qp(p1/p∞), Qp(µp∞), Qp and Fp((t))(t1/p∞),
>Fp((t)). Note that perfectoid fields can be of characteristic 0 or p. In the first case,

>they contain Qp naturally, as |p| < 1. Note that Qp is not a perfectoid field (although Zp/p = Fp has a surjective Frobenius map), because | · | : Qp → R≥0 has
>discrete image 0 ∪ pZ ⊂ R≥0. In characteristic p, perfectoid fields are the same
>thing as perfect complete nonarchimedean fields.
>By a construction of Fontaine, one can take any perfectoid field K, and produce
>a perfectoid field K[ of characteristic p, called the tilt of K. First, one defines
>OK[ = lim←−ΦOK/p, and then defines K[ as the fraction field of OK[ . It comes with
>a natural norm, with respect to which OK[ ⊂ K[is the ring of integers. In fact,
>one has the following alternative description of K[.

http://rio2016.5ch.net/test/read.cgi/math/1586655469/525

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

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

ぬこの手ぬこTOP 0.169s*