コンテンツにスキップ

英文维基 | 中文维基 | 日文维基 | 草榴社区

パーフェクトイド空間

出典: フリー百科事典『ウィキペディア(Wikipedia)』

数学パーフェクトイド空間[注釈 1](パーフェクトイドくうかん、: perfectoid space)とは、p 進数体に代表される混標数英語版の上での数論幾何学の研究に用いられる、アディック空間英語版の一種である。

パーフェクトイド体とは、階数(高さともいう)1の非離散付値から誘導された位相を持つ完備な位相体 K であって、K°/p 上のフロベニウス自己準同型 Φ が全射であるもののことである。ここで K° は冪有界元全体のなすである。

パーフェクトイド空間は混標数の状況を等標数の状況と比較するために用いられる。またこのことを目的として創始された。この比較を数学的に行うための技術的な道具立てが傾同値と概純定理である。ペーター・ショルツェによって2012年に創始された[2]

傾同値

[編集]

任意のパーフェクトイド体 K に対して、チルト[定訳なし](tilt)と呼ばれる有限な標数 p のパーフェクトイド体 K が定まる。集合としては、これは次の式

で定義される。つまり、K の元の無限 (x0, x1, x2, ...) であって xi = xp
i+1
を満たすもの全体が K である。K の乗法は項別に定義されるが、加法の定義の仕方は複雑である。K の標数が有限であれば KK が成り立つ。Kp完備化であれば、Kt 進完備化である。

パーフェクトイド体 K 上のパーフェクトイド代数パーフェクトイド空間とは、おおまかにいって上の代数スキームの類似物である。チルトを取る操作はこれらにも拡張される。パーフェクトイド体 K 上のパーフェクトイド空間 X に対して、K 上のパーフェクトイド空間 X を定めることができる。傾同値(tilting equivalence)とは、チルトを取る関手 (-)K 上のパーフェクトイド空間の圏と K 上のパーフェクトイド空間の圏の間の圏同値を誘導するという定理である。同型ではないパーフェクトイド体がチルトを取ると同型な有限標数のパーフェクトイド体になることがある。その場合、それらの上のパーフェクトイド空間の圏は同値になることもこの定理は意味している。

概純定理

[編集]

射の性質の中にはこの圏同値で保たれるものがある。スキームの射の性質の多くはアディック空間の射に対しても同様のものが定義される。パーフェクトイド空間に対する概純定理(almost purity theorem)とは、有限エタール射に関連するもので、p 進ホッジ理論におけるファルティングスの概純定理の一般化である。定理の名前が暗示しているように、証明には概数学英語版[訳語疑問点]が用いられる。また、古典的な分岐跡の純性英語版[訳語疑問点]とも間接的にではあるが関係している[3]

K をパーフェクトイド体とする。概純定理とは次の2つの主張のことである。

  • XYK 上のアディック空間の有限エタール射で Y がパーフェクトイドだったとする。このとき、X もパーフェクトイドである。
  • K 上のパーフェクトイド空間の射 XY が有限エタールであることと、そのチルト XYK 上有限エタールであることは同値である。

体の場合の有限エタール写像とは有限次分離拡大のことなので、任意のパーフェクトイド体 K に対して K絶対ガロア群K のそれは同型であることを概純定理は意味する。

関連項目

[編集]

脚注

[編集]

注釈

[編集]
  1. ^ 亜完全空間と呼ばれることもある[1]

出典

[編集]
  1. ^ 今井 2020, p. 36.
  2. ^ Scholze, Peter (2012). “Perfectoid spaces”. Publ. Math. Inst. Hautes Études Sci. 116: 245–313. arXiv:1111.4914. doi:10.1007/s10240-012-0042-x. ISSN 0073-8301. Zbl 1263.14022. 
  3. ^ Peter Scholze. “Why is Faltings' "almost purity theorem" a purity theorem?”. 2017年12月6日閲覧。

参考文献

[編集]

外部リンク

[編集]