[論文レビュー] Foundations for almost ring theory -- Release 7.5

Ofer Gabber, Lorenzo Ramero|arXiv (Cornell University)|Sep 29, 2004

Algebraic Geometry and Number Theory参考文献 5被引用数 57

ひとこと要約

本論文は、特に完遂的およびほとんど完遂的代数に焦点を当て、高度な圏論、トポス論、ホモロジー代数を用いて、ほぼ環論の基礎的道具を確立する。特定の条件下で、イデアルに沿った環の完備化がほとんど完遂的になることを証明し、算術幾何学およびp進ホッジ理論における主要な結果を拡張する。

ABSTRACT

This is release 7.5 of our project, aiming to provide a complete treatment of the foundations of almost ring theory, following and extending Faltings's method of "almost etale extensions". The central result is the "almost purity theorem", for whose proof we adapt Scholze's method, based on his perfectoid spaces. This release provides the foundations for our generalization of Scholze's perfectoid spaces, and reduces the proof of the almost purity theorem to a general assertion concerning the étale topology of adic spaces, whose proof uses previous work by the first author. As usual, this new release is a mix of corrections and various improvements, with a final chapter dedicated to applications; notably, we include a generalization of Y.André's "perfectoid Abhyankar's lemma" which we use to give a proof of a generalization of the "direct summand conjecture", extending André's recent work.

研究の動機と目的

• ほぼ環論の包括的な枠組みを、特に完遂的環と代数の文脈で構築すること。
• p進位相が存在する状況において、可換代数および代数幾何学の古典的結果をほぼ設定へ一般化すること。
• 環の完備化がほとんど完遂的になる条件を確立し、完遂的代数の理論を拡張すること。
• ほぼ代数幾何学の発展を支援するため、スタック、サイト、トポス、およびファイブレーションの体系的取り扱いを提供すること。
• 完遂的テート環に関連する特定の代数が、その整閉包とほとんど同型であり、平坦性および基底変換に関して整合的であることを保証すること。

提案手法

• 2-圏論およびカン拡張を用いて、高次圏的設定における降下および基底変換を形式化する。
• ファイブレーションされたサイトおよびファイブレーションされたトポスを用いて、変化する基底圏上の幾何的対象をモデル化する。
• ホモロジー代数の技法、特にTorファンクターおよび平坦性基準を用いて、ほとんど加群および代数を分析する。
• 忠実平坦な代数のフィルタリングされた系の普遍コロイミットを構成し、ほとんど版の環がその基底に関して忠実平坦であることを示す。
• 局所的分数の計算およびプリスタックの被覆射の形式的枠組みを用いて、群値スタックの定義と研究を行う。
• 関手(−)♮を用いて、完遂的環からその整閉包への構造の上昇を可能にし、ほとんど同型を保存する。

実験結果

リサーチクエスチョン

• RQ1 イデアルに沿った環の完備化が、どのような条件下でほとんど完遂的になるか？
• RQ2 ほとんど同型が代数間で成立するとき、それが終域が元の代数に関して忠実平坦であることを示唆するのはいつか？
• RQ3 スタックおよびトポスの理論を、特に降下およびファイブレーションに関して、ほぼ設定へどのように拡張できるか？
• RQ4 完遂的環の整閉包とそのほとんど完備化との関係は何か？
• RQ5 形式的完遂的環の文脈において、基底変換および局所化の下で、ほとんど完遂的性質が保存されるか？

主な発見

• イデアル $ b $ に沿った環 $ C $ の完備化 $ C^\wedge $ が、$ b $ によって誘導される位相を備えるとき、フロベニウス写像が $ C/bC \to C/b^pC $ にほとんど同型を誘導する限り、ほとんど完遂的基本設定であることが示される。
• 条件 $ \Delta $, $ \pi_n $, および乗法的系 $ S $ が適切に満たされているとき、$ C^a $（$ C $ のほとんど版）は、$ A_0^a $（基底環 $ A_0 $ のほとんど版）に対して忠実平坦である。
• 誘導された準同型 $ ((A^\sharp_0)^\nu)^a \to (A^\nu_0)^a $ は、$ (R_0, m_R)^a $-代数としての同型である。これは、与えられた仮定の下で、整閉包とほとんど完備化が可換であることを示している。
• 忠実平坦 $ A_0^a $-代数 $ D_\gamma^a $ のフィルタリングされた系のコロイミットは、自身が $ A_0^a $-代数として忠実平坦である。これは、環 $ B $ のほとんど版が $ A_0^a $ に対して平坦であることを証明する。
• 写像 $ \Phi_C: C/bC \to C/b^pC $ はほとんど同型である。これは、$ C^\wedge $ がほとんど完遂的条件を満たすことを検証するための重要なステップである。
• 関手 $ \natural $ の構成は、ほとんど同型を保存し、完遂的構造の上昇を可能にし、$ C^a $ のほとんど平坦性の別証明を導く。