[論文レビュー] On commutative nonarchimedean Banach fields

Kiran S. Kedlaya|arXiv (Cornell University)|Feb 29, 2016

Advanced Topics in Algebra参考文献 15被引用数 3

ひとこと要約

本稿は、可換で非アルキメデス的なバナッハ環であり、代数的に体である（バナッハ体と呼ばれる）ものについて、特定の条件下、特に一様バナッハ環およびペルフェクトイド環の場合に、乗法的ノルムによって位相を入れることで非アルキメデス体にできると確立している。主な結果は、非アルキメデス幾何学における基礎的問題を解決し、任意のペルフェクトイド環が体であるならば、それは必然的にペルフェクトイド体であることを示している。

ABSTRACT

We study the problem of whether a commutative nonarchimedean Banach ring which is algebraically a field can be topologized by a multiplicative norm. This can fail in general, but it holds for uniform Banach rings under some mild extra conditions. Notably, any perfectoid ring whose underlying ring is a field is a perfectoid field.

研究の動機と目的

• 可換で非アルキメデス的なバナッハ環であり、代数的に体である（バナッハ体と呼ばれる）ものに、乗法的ノルムを導入することで非アルキメデス体にできるかどうかを特定すること。
• 初期位相が乗法的ノルムによって誘導されていない場合を含め、そのようなバナッハ体が非アルキメデス体であるための条件を調査すること。
• ペルフェクトイド理論における基礎的問題を解決する：底辺の環が体であるペルフェクトイド環は、必然的にペルフェクトイド体であるか。
• 非アルキメデス関数解析における環の代数的構造とその位相的性質の関係を明確化すること。
• 一様バナッハ環およびペルフェクトイド環の理論を拡張し、特定のクラスのバナッハ体が必然的に非アルキメデス体であることを示すこと。

提案手法

• 一様バナッハ環の理論と有界な乗法的セミノルムの存在を用いて、やや弱い条件（例えば、非離散値）のもとでバナッハ体が非アルキメデス体であることを示す。
• ペルフェクトイドの傾き対応を適用し、特徴が0の問題を特徴がpの場合に還元する。この場合、完全性と一様性から乗法的ノルムの存在が導かれる。
• 作用素ノルムの構成を用いてノルムを正規化し、|1| = 1となるようにし、位相的同値性を保ちつつ解析を簡略化する。
• 写像 x ↦ x^p を通じたペルフェクトイド環の逆極限構造を用いて、要素およびその逆元の傾き過程における振る舞いを分析する。
• Ax–Sen–Tateの定理を適用して、ペルフェクトイド環内の可能な部分体を制限し、Q_p またはその有限拡大のみが基本体として可能であることを示す。
• Q_p(μ_{p^∞}) および Q_p(p^{1/p^∞}) の完備化と同型な商をもつペルフェクトイド環の具体的な例を構成し、このような環がペルフェクトイド体上のバナッハ代数ではないことを示す。

実験結果

リサーチクエスチョン

• RQ1 任意の可換で非アルキメデス的なバナッハ体は、乗法的ノルムによって位相を入れられ、すなわち非アルキメデス体であると見なされるべきか？
• RQ2 一様バナッハ環で、底辺の環が体である場合、どのような条件下で乗法的ノルムが存在するか？
• RQ3 底辺の環が体であるペルフェクトイド環は、必然的にペルフェクトイド体であるか？
• RQ4 その商が異なるp進拡大の完備化と同型である場合、ペルフェクトイド環がペルフェクトイド体上のバナッハ代数であることは可能か？
• RQ5 傾き同値性は、特徴がpから特徴が0への性質の移行において、ペルフェクトイド環で果たす役割は何か？

主な発見

• 特徴がpの非離散値をもつ、底辺の環が体である一様バナッハ環は、定理3.7で示されるように、必然的に非アルキメデス体である。
• 任意のペルフェクトイド環が体であるならば、それはペルフェクトイド体である。これはシュールツェの元々の定義における基礎的問題を解決する（定理4.2）。
• 乗法的ノルムでない部分乗法的ノルムに関する完備化は、体でないことがある。これは、乗法的ノルム条件が本質的であることを示している（例2.15）。
• 傾き対応により、特徴が0の問題を特徴がpの問題に還元でき、この場合完全性と一様性から乗法的ノルムの存在が導かれる。
• 具体的な構成により、一部のペルフェクトイド環は、Q_p(μ_{p^∞}) および Q_p(p^{1/p^∞}) の完備化と同型な商をもつが、それらはいかなるペルフェクトイド体上のバナッハ代数でもないことが示された。
• ペルフェクトイド環の極大イデアルによる商はバナッハ体であり、商が特徴がpのとき、それはペルフェクトイド体である。しかし、特徴が0の場合は追加の仮定がなければ成り立たない。