[论文解读] Fréchet Modules and Descent

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

Commutative Algebra and Its Applications被引用 4

一句话总结

本文为巴拿赫环上的 Ind-巴拿赫模发展了同调框架，通过核性、可度量性和导出下降性，统一了泛函分析与代数几何。证明了核性与可度量模在项目张量积下与可数极限可交换，从而在巴拿赫代数几何中建立了拟相干模的下降理论，并证明了在阿基米德与非阿基米德情形下，Stein 代数与 dagger 代数的等价性。

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.

研究动机与目标

• 将同调代数技术从复巴拿赫空间推广至一般巴拿赫环，以实现泛函分析与代数几何的综合。
• 刻画项目张量积与可数极限可交换的模，识别可度量性和核性为关键条件。
• 在巴拿赫代数几何中发展拟相干模的下降理论，尤其在解析与算术情形下。
• 通过极限构造，建立阿基米德与非阿基米德情形下 Stein 与 dagger 代数表述的等价性。
• 将 Meyer 与 Prosmans-Schneiders 的结果推广至任意巴拿赫环，包括非阿基米德情形。

提出的方法

• 使用巴拿赫环 R 上的 Ind-巴拿赫模范畴，将经典巴拿赫空间理论推广至任意基环。
• 应用准阿贝尔范畴理论与相对同调代数，定义此设定下的导出函子与张量积。
• 通过定义 4.9 引入核性，并证明其保持性质，如严格正合列中的“两出三”法则。
• 定义可度量性（定义 5.5），并证明可度量模与项目张量积具有自然的极限相容性。
• 将巴拿赫环的项目极限构造为 ind-对象，并证明在核性与可度量性条件下，此类极限与项目张量积可交换。
• 应用下降定理（定理 7.9），表明在阿基米德与非阿基米德情形下，Stein/dagger 代数极限上的模范畴等价。

实验结果

研究问题

• RQ1 在何种条件下，模的项目张量积与可数积或极限可交换？
• RQ2 如何利用核性与可度量性来刻画巴拿赫环背景下具有良好同调行为的模？
• RQ3 能否在此框架下于解析与算术情形中建立拟相干模的下降定理？
• RQ4 阿基米德与非阿基米德情形下，Stein 与 dagger 代数的表述在导出范畴中在多大程度上一致？
• RQ5 在一般巴拿赫环上的 Ind-巴拿赫模背景下，导出张量积与平坦性如何相互作用？

主要发现

• 核模对项目张量积是平坦的，如引理 4.19 所示。
• 模在项目张量积下与可数积可交换，当且仅当其为可度量模，此结论由引理 5.18 与 5.19 证明。
• 巴拿赫环系统项目的极限可描述为 Ind-巴拿赫模范畴中的 ind-对象。
• 对象 $\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.5 所示。
• 导出张量积 $\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}}\}$，如引理 8.6 所建立。
• 阿基米德与非阿基米德情形下，Stein/dagger 代数极限上的模范畴等价，此结论通过下降与极限同构在附录中证明。