数学のパーフェクトイド空間（パーフェクトイドくうかん、）とは、 進数体に代表されるの体の上での数論幾何学の研究に用いられる、の一種である。
パーフェクトイド体とは、階数（高さともいう）1の非離散付値から誘導された位相を持つ完備な位相体 であって、 上のフロベニウス自己準同型 Φ が全射であるもののことである。ここで は冪有界元全体のなす環である。
パーフェクトイド空間は混標数の状況を等標数の状況と比較するために用いられる。またこのことを目的として創始された。この比較を数学的に行うための技術的な道具立てが傾同値と概純定理である。ペーター・ショルツェによって2012年に創始された。
傾同値
任意のパーフェクトイド体 に対して、（tilt）と呼ばれる有限な標数 のパーフェクトイド体 が定まる。集合としては、これは次の式
で定義される。つまり、 の元の無限列
であって
を満たすもの全体が
である。 の乗法は項別に定義されるが、加法の定義の仕方は複雑である。 の標数が有限であれば
が成り立つ。 が
の 進完備化であれば、 は
の 進完備化である。
パーフェクトイド体 上のパーフェクトイド代数やパーフェクトイド空間とは、おおまかにいって体上の代数やスキームの類似物である。チルトを取る操作はこれらにも拡張される。パーフェクトイド体 上のパーフェクトイド空間 に対して、 上のパーフェクトイド空間
を定めることができる。傾同値（tilting equivalence）とは、チルトを取る関手 (-)♭ は
上のパーフェクトイド空間の圏と
上のパーフェクトイド空間の圏の間の圏同値を誘導するという定理である。同型ではないパーフェクトイド体がチルトを取ると同型な有限標数のパーフェクトイド体になることがある。その場合、それらの上のパーフェクトイド空間の圏は同値になることもこの定理は意味している。
概純定理
射の性質の中にはこの圏同値で保たれるものがある。スキームの射の性質の多くはアディック空間の射に対しても同様のものが定義される。パーフェクトイド空間に対する概純定理（almost purity theorem）とは、有限エタール射に関連するもので、 進ホッジ理論におけるファルティングスの概純定理の一般化である。定理の名前が暗示しているように、証明にはが用いられる。また、古典的なとも間接的にではあるが関係している。
をパーフェクトイド体とする。概純定理とは次の2つの主張のことである。
→ が 上のアディック空間の有限エタール射で がパーフェクトイドだったとする。このとき、 もパーフェクトイドである。
上のパーフェクトイド空間の射 → が有限エタールであることと、そのチルト → が 上有限エタールであることは同値である。
体の場合の有限エタール写像とは有限次分離拡大のことなので、任意のパーフェクトイド体 に対して の絶対ガロア群と のそれは同型であることを概純定理は意味する。
関連項目
完全体
脚注
注釈
出典
参考文献
外部リンク
Foundations of Perfectoid Spaces by Matthew Morrow Lean perfectoid spaces. でのパーフェクトイド空間の形式化された定義。