[論文レビュー] Fréchet Modules and Descent

Oren Ben-Bassat, Kobi Kremnizer|arXiv (Cornell University)|Feb 26, 2020

Commutative Algebra and Its Applications被引用数 4

ひとこと要約

本稿は、バナッハ環上のインダ・バナッハ加群について、核性、可測性、および導来降下を介して関数解析と代数幾何学を統合するホモロジー的枠組みを構築する。核性および可測性を満たす加群が可算極限と射影テンソル積に関して可換であることを確立し、バナッハ代数幾何学における準正則加群の降下理論を可能にするとともに、アーキメデス的および非アーキメデス的設定下でシュタイン代数とダガー代数の同値性を示す。

ABSTRACT

We study several aspects of the study of Ind-Banach modules over Banach rings thereby synthesizing some aspects of homological algebra and functional analysis. This includes a study of nuclear modules and of modules which are flat with respect to the projective tensor product. We also study metrizable and Fréchet Ind-Banach modules. We give explicit descriptions of projective limits of Banach rings as ind-objects. We study exactness properties of projective tensor product with respect to kernels and countable products. As applications, we describe a theory of quasi-coherent modules in Banach algebraic geometry. We prove descent theorems for quasi-coherent modules in various analytic and arithmetic contexts.

研究の動機と目的

• 複素バナッハ空間におけるホモロジー代数の技法を一般のバナッハ環へ拡張し、関数解析と代数幾何学の統合を可能にする。
• 射影テンソル積が可算極限と可換となる加群を特徴づけ、可測性および核性を主要な条件として特定する。
• 特に解析的および算術的文脈において、バナッハ代数幾何学における準正則加群の降下理論を構築する。
• 極限構成を用いて、アーキメデス的および非アーキメデス的設定下におけるシュタイン代数およびダガー代数の定式化の一致を確立する。
• マイヤーやプロスマンズ＝シュナイダーズの結果を、非アーキメデス的ケースを含む任意のバナッハ環へ一般化する。

提案手法

• バナッハ環 R 上のインダ・バナッハ加群の圏を用い、古典的バナッハ空間論を一般の基底環へ一般化する。
• 準アーベル圏論および相対ホモロジー代数を適用し、この文脈における導来関手およびテンソル積を定義する。
• 定義 4.9 を用いて核性を導入し、厳密な完全系列における「三つのうち二つが成り立てば三つ目も成り立つ」ルールなどの永続性性質を証明する。
• 定義 5.5 による可測性を定義し、可測加群が射影テンソル積と標準的に極限と可換であることを証明する。
• バナッハ環の射影極限をインダ対象として構成し、核性および可測性の下で、このような極限が射影テンソル積と可換であることを証明する。
• 定理 7.9 の降下定理を適用し、アーキメデス的および非アーキメデス的両設定下で、シュタイン／ダガー代数の極限上の加群の圏が同値であることを示す。

実験結果

リサーチクエスチョン

• RQ1 射影テンソル積と可算積または極限が可換となる条件は何か？
• RQ2 核性および可測性を用いて、バナッハ環の文脈における良好なホモロジー的性質を示す加群をどのように特徴づけられるか？
• RQ3 この枠組みを用いて、解析的および算術的文脈における準正則加群の降下定理を確立できるか？
• RQ4 導来圏において、アーキメデス的および非アーキメデス的定式化のシュタイン代数およびダガー代数はどの程度一致するか？
• RQ5 一般のバナッハ環上のインダ・バナッハ加群の文脈で、導来テンソル積と平坦性はどのように相互作用するか？

主な発見

• 核性加群は、補題 4.19 で示されるように、射影テンソル積に関して平坦である。
• 射影テンソル積が可算積と可換であるのは、加群が可測であるときかつそのときに限り成り立つ。これは補題 5.18 および 5.19 で証明された。
• バナッハ環の系の射影極限は、インダ・バナッハ加群の圏におけるインダ対象として記述できる。
• 補題 8.5 で示されるように、$\underset{r<1}{\lim}\ \underset{l\in\mathbb{N}}{\operatorname{colim}}^\leq 1\mathbb{Z}\{\left(\frac{x}{r}\right)^{\frac{1}{l}}\}$ は $\mathbb{Z}$ 上平坦である。
• 補題 8.6 で確立されたように、導来テンソル積 $\left(\underset{l\in\mathbb{N}}{\operatorname{colim}}^\leq 1\mathbb{Z}_{p}\{\left(\frac{x}{r}\right)^{\frac{1}{l}}\}\right)\widehat{\otimes}^\mathbb{L}_{\mathbb{Z}}R$ は $\underset{r<1}{\lim}\ \underset{l\in\mathbb{N}}{\operatorname{colim}}^\leq 1R\{\left(\frac{x}{r}\right)^{\frac{1}{l}}\}$ に同型である。
• 付録で示されるように、シュタイン／ダガー代数のアーキメデス的および非アーキメデス的極限上の加群の圏は同値である。