[论文解读] Deformation Quantization in Algebraic Geometry

Amnon Yekutieli|ArXiv.org|Oct 24, 2003

Homotopy and Cohomology in Algebraic Topology参考文献 17被引用 6

一句话总结

本文建立了 Kontsevich 形式性定理的代数几何类比，证明在特征零域上，任意光滑 $\mathcal{D}$-仿射代数簇 $X$ 上的正式泊松结构均存在形变量子化，且在规范等价意义下唯一。该结果通过微分几何代数结构与 Hochschild 上同调，将形变量子化从光滑流形推广至代数几何领域。

ABSTRACT

We study deformation quantizations of the structure sheaf O_X of a smooth algebraic variety X in characteristic 0. Our main result is that when X is D-affine, any formal Poisson structure on X determines a deformation quantization of O_X (canonically, up to gauge equivalence). This is an algebro-geometric analogue of Kontsevich's celebrated result.

研究动机与目标

• 将 Kontsevich 的形变量子化结果从光滑流形推广至特征零域上的光滑代数簇。
• 解决由于缺乏全局函数与向量丛截面而在代数设定下产生的障碍。
• 在 $\mathcal{D}$-仿射簇上建立正式泊松结构与形变量子化之间的规范等价意义下的唯一对应关系。
• 阐明规范等价在代数语境下对量子化唯一性的作用。

提出的方法

• 将正式泊松结构视为 $\Gamma(X, \bigwedge^2_{\mathcal{O}_X} \mathcal{T}_X)[[\hbar]]$ 中的元素，满足 Schouten-Nijenhuis 条件 $[\alpha, \alpha] = 0$。
• 应用微分几何代数结构与 Hochschild 上同调来建模形变与规范等价关系。
• 通过结合代数结构的正式形变，在 $\mathcal{O}_X[[\hbar]]$ 上构造星积。
• 利用 Hochschild-Kostant-Rosenberg 同构及其归一化版本，将多向量场与 Hochschild 上链联系起来。
• 利用归一化 Hochschild 复形与多向量场复形之间的同构，建立形式性。
• 通过 DG 李代数的同构，证明在规范等价下微分与非微分星积之间的等价性。

实验结果

研究问题

• RQ1 在何种条件下，光滑代数簇上的正式泊松结构存在形变量子化？
• RQ2 在代数设定下，规范等价如何对形变量子化进行分类？
• RQ3 $\mathcal{D}$-仿射性在保证给定泊松结构存在量子化中的作用是什么？
• RQ4 在不依赖解析结构或全局函数假设的前提下，泊松结构与星积之间的经典对应关系能否推广至代数设定？
• RQ5 在代数形变量子化语境下，微分与非微分星积之间存在何种关系？

主要发现

• 在特征零域上，任意光滑 $\mathcal{D}$-仿射代数簇上的正式泊松结构均存在形变量子化，且在规范等价意义下唯一。
• 当且仅当 $\mathrm{H}^1(X, \mathcal{D}_X) = 0$ 时，形变量子化存在，而该条件对 $\mathcal{D}$-仿射簇成立。
• 星积的规范等价类与正式泊松结构的规范等价类之间存在双射关系。
• 从星积到非微分星积的映射在规范等价类上诱导双射，表明在光滑代数设定下，微分与非微分量子化是等价的。
• 该结果为泊松流形的 Kontsevich 形式性定理提供了完整的代数几何类比。
• 对于存在到 $\mathbf{A}^n$ 的 étale 映射的仿射簇，量子化与齐次坐标环结构相容，如 Artin 对 $\mathbf{P}^2$ 的猜想所示。