[論文レビュー] Twisted Deformation Quantization of Algebraic Varieties

Amnon Yekutieli|arXiv (Cornell University)|May 4, 2009

Homotopy and Cohomology in Algebraic Topology参考文献 28被引用数 18

ひとこと要約

本稿は、体 $Π$ に $\mathbb{R}$ を含む滑らかな代数的多様体 $X$ 上の構造層 $ϵ{O}_X$ のねじれた結合的およびポワンソフ変形を導入し、Kontsevich の変形量子化をスタック的・ゲルベ的構造へ一般化する。ねじれたポワンソフ $R$-変形からねじれた結合的 $R$-変形への標準的かつ全単射なねじれた量子化写像を確立し、以前の結果を非自明なスタック的変形に拡張し、完全なゲージ同値類分類を達成する。

ABSTRACT

Let X be a smooth algebraic variety over a field K containing the real numbers. We introduce the notion of twisted associative (resp. Poisson) deformation of the structure sheaf of X. These are stack-like versions of usual deformations. We prove that there is a twisted quantization operation from twisted Poisson deformations to twisted associative deformations, which is canonical and bijective on gauge equivalence classes. This result extends work of Kontsevich, and our own earlier work, on deformation quantization of algebraic varieties.

研究の動機と目的

• Kontsevich の変形量子化を非自明なスタック的（ねじれた）代数的多様体の変形に一般化すること。
• 標準的変形のスタック的一般化として、ねじれた結合的およびポワンソフ $R$-変形を定義し、それらを研究すること。
• ねじれたゲージ同値類におけるポワンソフ変形と結合的変形の間の標準的かつ全単射な量子化写像を確立すること。
• ゲルベ理論的およびコシンプルーシャル降下技術を用いて、代数的幾何的量子化における障害を解消すること。
• 特にシンプレクティックおよびカラビ・ヤウ設定における、ねじれた量子化の幾何学的および代数的性質を探索すること。

提案手法

• クロスタード群ガロアやゲルベに従う $R$-代数の層的スタックとしてねじれた変形を導入する。
• 変形函手を関連付けるために、DG リー代数および $\mathrm{L}_{\infty}$ 同型を用い、特に Kontsevich の普遍的形式性準同型 $\Upsilon$ を用いる。
• コシンプルーシャル形式性および降下データ技術を用いて、局所データからグローバルなねじれた変形を構成する。
• 組合せ的および幾何的降下を用いてねじれた変形を自明化し、それらをリー的および幾何的降下構造に関連付ける。
• 普遍的 $\mathrm{L}_{\infty}$ 形式性準同型 $\Upsilon$ の存在に依存するが、Tamarkin の $\mathbb{Q}$ 上の $\mathrm{L}_{\infty}$ 形式性により $\mathbb{Q}$-に基づく構成へも拡張可能である。
• ねじれた量子化写像は、$\mathbb{R}$ 上の普遍的 $\mathrm{L}_{\infty}$ 形式性準同型 $\Upsilon$ の存在に依存するが、Tamarkin の結果により $\mathbb{Q}$-ベースの構成へも拡張可能である。

実験結果

リサーチクエスチョン

• RQ1 $\mathcal{O}_X$ のシンプレクティックなねじれた結合的 $\mathbb{K}[[\hbar]]$-変形が、本当に非自明（すなわち $X$ 上の代数の層に同値でない）ものとして存在するか？
• RQ2 シンプレクティックなポワンソフ括弧を持つカラビ・ヤウ表面に対して、括弧 $\hbar\alpha$ を持つ形式的ポワンソフ変形 $\mathcal{O}_X[[\hbar]]$ のねじれた量子化は、本当にねじれているのか、それとも自明なスタックにゲージ同値か？
• RQ3 グローテンディーク＝タイヒミュラー群が形式性準同型に作用するとき、それによって得られるねじれた結合的変形の幾何的性質はどのように変化するか？真にねじれた変形を自明なものに変えうるか？
• RQ4 $\mathrm{H}^1(X, \mathcal{T}_X) \neq 0$ である非アフィン多様体に対しても、ねじれた量子化写像を拡張できるか？そして、変形の分類にどのような影響を与えるか？
• RQ5 コhomology $X$ における障害類が、ねじれた量子化の存在および非自明性に与える意味は何か？

主な発見

• 本稿は、ねじれたゲージ同値類におけるポワンソフ変形と結合的 $R$-変形の間の標準的かつ全単射なねじれた量子化写像を確立し、Kontsevich の結果をスタック的設定へ拡張した。
• ねじれた結合的 $R$-変形が、Kashiwara と Schapira の DQ アレブロイドと同値であることが示され、非可換変形の新しい視点が得られた。
• $X = \mathbf{P}^n_{\mathbb{K}}$ の場合、$\mathrm{H}^i(X, \mathcal{O}_X) = \mathrm{H}^i(X, \mathcal{T}_X) = 0$（$i > 0$）であるため、ねじれた量子化定理の条件を満たし、一意的なねじれた量子化の存在が保証される。
• $X$ がアフィンのとき、量子化写像は [Ye1, Theorem 0.1] におけるものと一致し、先行研究と整合性があることが示された。
• $\mathbb{R} \subset \mathbb{K}$ であるという要件は取り除ける。Tamarkin の $\mathbb{Q}$ 上の $\mathrm{L}_{\infty}$ 形式性により、Kontsevich の $\Upsilon$ の代わりに代替が可能であり、主な結果は保たれる。
• 本稿は、ねじれた量子化が形式性準同型の選択に敏感であるような枠組みを提供し、そのような選択が得られる変形の幾何的性質を変える可能性があるかどうかという疑問を提起した。