[論文レビュー] Deformation Quantization in Algebraic Geometry

Amnon Yekutieli|ArXiv.org|Oct 24, 2003

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

ひとこと要約

この論文は、コンツェビッチの形式的定理の代数幾何的類似を確立し、特性0の体上の滑らかで$$\mathcal{D}$$-アフィンな多様体$X$上の任意の形式的ポアソン構造が、ゲージ同値を除いて一意に定まる変形量子化をもつことを証明する。この結果は、DG リ代数とホッフハルド・コhomology を用いて、滑らかな多様体から代数幾何学への変形量子化の拡張を実現する。

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.

研究の動機と目的

• 特性0の体上の滑らかな代数多様体へ、コンツェビッチの変形量子化結果を滑らかな多様体から拡張すること。
• グローバル関数やバンドルのセクションの欠如に起因する代数的設定における障害を扱うこと。
• $\mathcal{D}$-アフィン多様体上の形式的ポアソン構造と変形量子化との間の一意的対応を確立すること。
• ゲージ同値性の役割と代数的文脈における量子化の一意性を明確にすること。

提案手法

• 形式的ポアソン構造を$\Gamma(X, \bigwedge^2_{\mathcal{O}_X} \mathcal{T}_X)[[\hbar]]$の元として扱い、シュアウトエン・ニーレンハイス条件$[\alpha, \alpha] = 0$を満たすものとする。
• 変形とゲージ同値性をモデル化するため、DG リ代数とホッフハルド・コhomology を適用する。
• $\mathcal{O}_X[[\hbar]]$上での星積の構成を、結合代数構造の形式的変形によって行う。
• ホッフハルド＝コスタント＝ローゼンバーグの準同型とその正規化版を用いて、多ベクトル場とホッフハルド・チェインの関係を確立する。
• 正規化ホッフハルド複体と多ベクトル場複体の間の準同型を用いて、形式的定理を確立する。
• DG リ代数の準同型を介して、微分的および非微分的星積の間の同値性を証明する。

実験結果

リサーチクエスチョン

• RQ1 滑らかな代数多様体上の形式的ポアソン構造が、いつ変形量子化をもつか。
• RQ2 ゲージ同値性は代数的文脈における変形量子化をどのように分類するか。
• RQ3 $\mathcal{D}$-アフィン性が、与えられたポアソン構造に対する量子化の存在を保証する役割を果たすのはどのような場合か。
• RQ4 解析的またはグローバル関数の仮定なしに、ポアソン構造と星積の古典的対応を代数的文脈へ拡張できるか。
• RQ5 代数的変形量子化の文脈において、微分的および非微分的星積の関係は何か。

主な発見

• 特性0の体上の$\mathcal{D}$-アフィンな滑らかな代数多様体上の任意の形式的ポアソン構造は、ゲージ同値を除いて一意に定まる変形量子化をもつ。
• 変形量子化の存在は、$\mathrm{H}^1(X, \mathcal{D}_X) = 0$であるときに限り保証され、これは$\mathcal{D}$-アフィン多様体で成立する。
• 星積のゲージ同値類は、形式的ポアソン構造のゲージ同値類と双対的に一対一対応する。
• 星積から非微分的星積への写像は、ゲージ同値類上で双対写像を誘導し、滑らかな代数的文脈において微分的および非微分的量子化が同値であることを示している。
• この結果は、ポアソン多様体に対するコンツェビッチの形式的定理の完全な代数幾何的類似を提供する。
• $\mathbf{A}^n$へのエタール写像をもつアフィン多様体では、量子化は同次座標環の構造と整合的であり、Artin の$\mathbf{P}^2$に関する予想が示されている。