20/04/27 22:33:23.55 KIlC6vob.net
ちなみに、p進体の標数は0なので、標数が0だからといって有理数体の話がでてくるとは限らない
また、perfectoid体は完備非アルキメデス付値体に限った話なので、有理数体と直接の関係はない
【参考】Perfectoid空間論の基礎 (Algebraic Number Theory and Related Topics 2014)
URLﾘﾝｸ(repository.kulib.kyoto-u.ac.jp)
>定義3.1. K を完備非アルキメデス付値体とする。剰余標数を p とする。このとき、
> K がperfectoid体である とは、 K の値群が離散的でなく、フロベニウス写像 \Phi : K^{o}/p!
> K^{o}/p が全射になることとする。