[论文解读] Traces and Differential Operators over Beilinson Completion Algebras

Amnon Yekutieli|arXiv (Cornell University)|Feb 26, 1995

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

一句话总结

本文为贝林森完备化代数（BCAs）提出了一套对偶理论，BCAs 是在完美域上、其剩余域为高维局部域的完备局部代数。该文为每个 BCA A 构造了一个对偶模 K(A)，并证明该对偶性保持微分算子结构：任意连续微分算子 D: M → N 在半拓扑 A-模之间诱导出一个对偶算子 Dual_A(D): Dual_A(N) → Dual_A(M)，从而使得在有限型 k-概形上构造格罗滕迪克留数复形成为可能。

ABSTRACT

A Beilinson completion algebra (BCA) A is a complete semilocal algebra over a perfect field k, whose residue fields are high dimensional local fields. In addition A is a semi-topological algebra. The completion of the structure sheaf of an algebraic k-variety along a saturated chain of points is the prototypical example of a BCA. We single out two kinds of homomorphisms between BCAs: morphisms and intensifications. The first kind includes residually finite local homomorphisms, whereas the second kind is a sort of localization. We prove that every BCA A has a dual module K(A), and these dual modules are contravariant w.r.t. morphisms and covariant w.r.t. intensifications. For any semi-topological A-module M we define its dual Dual_{A} M := Hom_{A}^{cont}(M, K(A)). This duality operation has the remarkable property of respecting differential operators: given a continuous DO D : M --> N, there is a dual DO Dual_{A}(D) : Dual_{A} N --> Dual_{A} M. The results above are used (in a subsequent paper) to construct the Grothendieck residue complex K_{X}^{.} on any finite type k-scheme X, and to derive many of its properties.

研究动机与目标

• 为贝林森完备化代数（BCAs）建立对偶理论，BCAs 是在完美域上、其剩余域为高维局部域的完备局部代数。
• 为每个 BCA A 定义一个对偶模 K(A)，使其在同态下反变，在强化下协变。
• 通过连续 Hom 映射到 K(A) 的方式，在半拓扑 A-模上建立对偶运算，确保与微分算子的相容性。
• 为在有限型 k-概形上利用此对偶框架构造格罗滕迪克留数复形 K_X^• 奠定基础。

提出的方法

• 引入 BCA 之间两类同态：同态（剩余有限局部同态）与强化（一种局部化形式）。
• 将 BCA A 的对偶模 K(A) 定义为一个典范对象，其在同态下反变，在强化下协变。
• 对任意半拓扑 A-模 M，定义其对偶为 Dual_A(M) := Hom_A^cont(M, K(A))，使用连续的 A-模同态。
• 证明对偶运算保持微分算子：给定一个连续微分算子 D: M → N，存在一个对偶算子 Dual_A(D): Dual_A(N) → Dual_A(M)。
• 利用 BCA 作为沿饱和点链的结构层的完备化这一结构，将理论建立在几何背景之上。
• 在后续工作中应用此对偶框架，以在有限型 k-概形上构造格罗滕迪克留数复形。

实验结果

研究问题

• RQ1 如何为贝林森完备化代数建立对偶理论，这些代数是完美域上、其剩余域为高维局部域的完备局部代数？
• RQ2 与 BCA A 关联的对偶模 K(A) 的本质是什么？它在同态与强化下如何变换？
• RQ3 BCA 上模的对偶运算能否保持微分算子的结构？
• RQ4 此对偶框架如何促进在有限型 k-概形上构造格罗滕迪克留数复形？
• RQ5 连续同态在此设定中定义对偶模与对偶微分算子时起什么作用？

主要发现

• 每个贝林森完备化代数 A 都有一个典范对偶模 K(A)，其在同态下反变，在强化下协变。
• 对任意半拓扑 A-模 M，其对偶模 Dual_A(M) := Hom_A^cont(M, K(A)) 是良定义的，并保持 A 的拓扑与代数结构。
• 对偶运算保持微分算子：每个连续微分算子 D: M → N 都诱导出一个对偶算子 Dual_A(D): Dual_A(N) → Dual_A(M)。
• K(A) 的构造与对偶框架是后续在有限型 k-概形上构造格罗滕迪克留数复形 K_X^• 的基础。
• 该理论适用于代数 k-簇的结构层沿饱和点链的完备化，这是 BCA 的典型例子。
• 结果为通过 BCAs 将迹与对偶理论系统性地推广到高维局部域提供了方法。