Perfectoid space

For the video game characters, see Tiny Toon Adventures: Buster Busts Loose!

In mathematics, perfectoid objects occur in the study of problems of "mixed characteristic", such as local fields of characteristic zero which have residue fields of characteristic prime p. The notion was introduced by Peter Scholze.

A perfectoid field is a complete topological field K whose topology is induced by a nondiscrete valuation of rank 1, such that the Frobenius endomorphism Φ is surjective on K°/p where K° denotes the ring of power-bounded elements.

Associated to any perfectoid field K there is another K^♭ of characteristic p where the multiplication may be defined as

$K^{\flat }=\varprojlim _{x\mapsto x^{p}}K\ .$

The absolute Galois groups of K and K^♭ are isomorphic.

See also

• perfect field

References

• Scholze, Peter (2012). "Perfectoid spaces". Publ. Math., Inst. Hautes Étud. Sci. 116: 245–313. arXiv:1111.4914. doi:10.1007/s10240-012-0042-x. ISSN 0073-8301. Zbl 06120994.{{cite journal}}: CS1 maint: Zbl (link)

External links

• Mathoverflow.net - includes a post by Scholze