[論文レビュー] A Ring-Theorist's Description of Fedosov Quantization

Daniel R. Farkas|ArXiv.org|Apr 11, 2000

Homotopy and Cohomology in Algebraic Topology参考文献 7被引用数 3

ひとこと要約

本稿は、シンプレクティック多様体の変形量子化のフェドソフの幾何的構成を代数的・環論的に再定式化する。フェドソフ接続と曲率を、普遍包あらゆる代数、接続、アフィンシンプレクティック領域上のホモロジー代数を用いて解釈することにより、特性がゼロの体上の正則アフィンシンプレクティック代数に対して、形式的変形量子化（すなわちスター積）の存在を確立する。

ABSTRACT

We present a formal, algebraic treatment of Fedosov's argument that the coordinate algebra of a symplectic manifold has a deformation quantization. His remarkable formulas are established in the context of affine symplectic algebras.

研究の動機と目的

• フェドソフの変形量子化の幾何的構成を、完全に代数的・環論的な記述で与えること。
• 特性がゼロの体上の正則アフィンシンプレクティック領域に対して、ナーブな量子化（そしてしたがって変形量子化）の存在を確立すること。
• 微分幾何学におけるフェドソフの方法を、シンプレクティックポアソン構造をもつ可換アフィン代数の設定に一般化すること。
• ケーラー微分と普遍包あらゆる代数を用いて、代数的文脈における接続、曲率、ホモトピー逆元の役割を明確にすること。
• フェドソフの主要な公式が、完成化されたウェイル型代数における反復的構成によって代数的に導出可能であることを示すこと。

提案手法

• Lie代数 $Ah \oplus \operatorname{Der} A$ の普遍包あらゆる代数 $U$ を構成する。ここで $h$ は中心的であり、導分 $X,Y$ に対して $[X,Y] = h\omega(X,Y)$ が成り立つ。
• $U$-値微分形式上の接続 $\nabla$ を定義し、$\Omega$-複体上の次数付き接続を用いて外微分 $d$ を拡張する。
• 曲率作用素 $R \in W_2 \otimes \Omega^2$ を導入し、条件 $\nabla^2 X = \frac{1}{h}[R,X]$ を用いて曲率とポアソン構造を関連付ける。
• $\gamma \in \overline{\sum}_{p \geq 3} W_p \otimes \Omega^1$ に対する反復的解法により、形式的接続 $\nabla - \delta + \frac{1}{h} \operatorname{ad} \gamma$ を構成する。
• ヴァンイッシングの定理を用いて、修正された接続が二乗がゼロであることを示し、フェドソフ接続の存在を示す。
• 導分 $D = \nabla - \delta + \frac{1}{h} \operatorname{ad} \gamma$ の固定環と量子化代数との同型を活用する。

実験結果

リサーチクエスチョン

• RQ1 フェドソフの変形量子化の幾何的構成は、シンプレクティック代数に対して完全に代数的表現に再定式化可能か？
• RQ2 特性がゼロの体上の任意の正則アフィンシンプレクティック領域は、形式的変形量子化をもつのか？
• RQ3 普遍包あらゆる代数と微分形式を用いて、フェドソフ接続と曲率を代数的に構成できるか？
• RQ4 ポアソン括弧は、代数的文脈における導分とケーラー微分の間の双対性をどのように誘導するか？
• RQ5 主な恒等式 $\nabla^2 = \frac{1}{h}[R, \cdot]$ は、完成化されたウェイル代数における平坦接続を定義するために代数的に一般化可能か？

主な発見

• 本稿は、特性がゼロの体上の正則アフィンシンプレクティック領域が、スター積を用いた変形量子化と同値であるナーブな量子化をもつことを証明する。
• 反復的構成により $\gamma \in \overline{\sum}_{p \geq 3} W_p \otimes \Omega^1$ を得ることで、接続 $\nabla - \delta + \frac{1}{h} \operatorname{ad} \gamma$ が二乗がゼロであることを代数的に確立し、フェドソフ接続の存在を示す。
• 曲率 $R$ は $\delta R = 0$ および $\nabla R = dT(R)$ を満たし、これらは接続とヴァンイッシングの定理の整合性に不可欠である。
• 中心的要素 $T(R)$ は、$R$ の対称化写像による像として生じ、ヴァンイッシングの定理における $\beta = 0$ の条件が、修正された接続の平坦性を確認する。
• 導分 $D = \nabla - \delta + \frac{1}{h} \operatorname{ad} \gamma$ の固定環は、量子化代数と同型であり、望ましい変形量子化を与える。
• 微分複体とケーラー微分のモジュール間のホモトピー逆関係に依拠し、幾何的双対性を代数的文脈に一般化する。