[论文解读] On a generalization of affinoid varieties

Federico Bambozzi|arXiv (Cornell University)|Jan 22, 2014

Homotopy and Cohomology in Algebraic Topology参考文献 23被引用 22

一句话总结

本文通过赋范代数的方法，构建了非阿基米德与阿基米德域上解析几何的统一理论，引入了刀形仿射代数作为基础对象。在阿基米德情形下，建立了关键结果如塔特定理的余调和性与格里岑-格劳埃尔定理，并通过贝里科夫风格的全局化方法构造了刀形解析空间，证明了经典复解析范畴在新框架下的完全忠实性。

ABSTRACT

In this thesis we develop the foundations for a theory of analytic geometry over a valued field, uniformly encompassing the case when the base field is equipped with a non-archimedean valuation and the case when it has an archimedean one. Our building blocks are dagger affinoid algebras, i.e. algebras of germs of analytic functions, equipped with their canonical bornology. We obtain results akin to the ones of affinoid algebras and affinoid spaces theory in our context. In particular, we give a generalization of the celebrated Gerritzen-Grauert theorem. Finally, we construct the category of dagger analytic spaces and compare its objects with classical objects from Berkovich geometry, dagger spaces of Grosse-Klonne and complex analytic spaces.

研究动机与目标

• 通过赋范代数在非阿基米德与阿基米德域上发展统一的解析几何。
• 将经典仿射几何推广至同时涵盖阿基米德与非阿基米德情形。
• 建立刀形仿射代数作为解析空间构建块的连贯理论。
• 在阿基米德情形下证明关键定理，如塔特定理的余调和性与格里岑-格劳埃尔定理。
• 构造全局刀形解析空间，并将其与现有理论（包括贝里科夫与格罗塞-克隆内的刀形空间）关联。

提出的方法

• 从零开始引入赋范代数，重点在于系数有界性与赋范收敛性。
• 将刀形仿射代数定义为在多圆柱上解析函数芽代数的商代数，配备系数有界性赋范结构。
• 利用赋范模与谱理论，将经典仿射理论推广至赋范设定。
• 应用克鲁尔交集定理与有界性性质，证明在 $K_n$ 中的理想是赋范闭的。
• 通过网与 ind-对象的贝里科夫式方法构造全局刀形解析空间。
• 将所得的刀形解析空间范畴与经典复解析空间及格罗塞-克隆内的刀形空间进行比较。

实验结果

研究问题

• RQ1 能否通过赋范代数在阿基米德与非阿基米德域上发展统一的解析几何理论？
• RQ2 刀形仿射代数是否满足经典仿射定理的类比，如塔特定理的余调和性与格里岑-格劳埃尔定理？
• RQ3 刀形解析空间与现有理论（尤其是阿基米德情形）的关系如何？
• RQ4 经典复解析空间范畴是否完全忠实嵌入复刀形解析空间范畴？
• RQ5 理想在刀形仿射代数结构中的赋范闭性起什么作用？

主要发现

• 在 $K_n$（即在一点处解析函数芽的环）上，所有理想在系数有界性赋范结构下都是赋范闭的。
• 在 $K_n$ 上，系数有界性赋范结构是使商映射 $\alpha_e: K_n \to K_n / \mathfrak{m}^e$ 有界的最小赋范结构。
• 复刀形解析空间范畴完全忠实包含了经典复解析空间范畴。
• 在阿基米德情形下，格里岑-格劳埃尔定理对刀形仿射代数成立，其证明受特姆金基于贝里科夫方法的启发。
• 塔特定理的余调和性在刀形仿射设定中可推广至刀形有理子域。
• 在 $K_n$ 上的直接极限赋范结构比系数有界性赋范结构更精细，从而提供了更强的拓扑控制。