[論文レビュー] Traces and Differential Operators over Beilinson Completion Algebras

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

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

ひとこと要約

この論文は、完全体上の完備局所代数であり、残留体が高次元局所体であるBeilinson完備化代数（BCA）の双対性理論を導入する。各BCA Aに対して双対モジュール K(A) を構成し、この双対性が微分作用素を保存することを示す：BCA-加群 M から N への連続な微分作用素 D: M → N は、双対作用素 Dual_A(D): Dual_A(N) → Dual_A(M) を誘導する。これにより、有限型 k-スキーム上でのGrothendieck留数複体の構成が可能になる。

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.

研究の動機と目的

• 完全体上の完備局所代数であり、残留体が高次元局所体であるBeilinson完備化代数（BCA）の双対性理論を構築すること。
• 各BCA Aに対して双対モジュール K(A) を定義し、それらが準同型に関して反変的、強化に関して共変的となるようにすること。
• 半位相的 A-加群の間で、K(A) への連続な Hom を用いて双対作用素を定義し、微分作用素と整合性を持つようにすること。
• 有限型 k-スキーム上でのGrothendieck留数複体 K_X^• の構成に向けた基盤を築くこと。

提案手法

• BCA 間のホモーモルフィズムの2つのクラスを導入する：残留有限局所ホモーモルフィズム（モルフィズム）と、局所化の形式である強化（intensifications）。
• 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-スキーム上でのGrothendieck留数複体の構成を行う。

実験結果

リサーチクエスチョン

• RQ1 完全体上の完備局所代数であり、残留体が高次元局所体であるBeilinson完備化代数（BCA）に対して、どのように双対性理論を構築できるか？
• RQ2 BCA A に付随する双対モジュール K(A) の性質は何か？ そして、モルフィズムや強化に関してどのように変化するか？
• RQ3 BCA 上の加群における双対作用素は、微分作用素の構造を保存できるか？
• RQ4 この双対性枠組みは、有限型 k-スキーム上でのGrothendieck留数複体の構成をどのように支援するか？
• RQ5 この文脈において、連続なホモーモルフィズムが双対モジュールおよび双対微分作用素の定義に果たす役割は何か？

主な発見

• 任意のBeilinson完備化代数 A は、モルフィズムに関して反変的、強化に関して共変的である、標準的な双対モジュール K(A) を持つ。
• 任意の半位相的 A-加群 M に対して、Dual_A(M) := Hom_A^cont(M, K(A)) として定義される双対モジュールは、well-defined であり、A の位相的・代数的構造を尊重する。
• 双対作用素は微分作用素を保存する：連続な微分作用素 D: M → N が与えられれば、双対作用素 Dual_A(D): Dual_A(N) → Dual_A(M) が存在する。
• K(A) の構成と双対性枠組みは、有限型 k-スキーム上でのGrothendieck留数複体 K_X^• の後続的構成の基盤をなす。
• 理論は、飽和的点の鎖に沿った代数的 k-多様体の構造層の完備化として構成される。これは BCA の原型的例である。
• 結果として、BCA を通じて、高次元局所体へのトレースおよび双対性理論の拡張を体系的に行うための方法が得られる。