[論文レビュー] A Formality Theorem for Chains

Vasiliy Dolgushev|arXiv (Cornell University)|Feb 16, 2004

Algebraic structures and combinatorial models参考文献 23被引用数 6

ひとこと要約

この論文は、滑らかな多様体のホッホシュタイン鎖に対してツィガーンの形式的予想を、フェドソフ解体とショイケトの形式的準同型写像（形式的冪級数代数用）を組み合わせることで証明する。主な貢献は、任意のポアンカーマニフォールド上の量子関数代数のトレースを、この形式的枠組みによって完全に記述することにある。

ABSTRACT

We prove Tsygan’s formality conjecture for ordinary Hochschild chains of the algebra of functions on an arbitrary smooth manifold M using the Fedosov resolutions proposed in math.QA/0307212 and the formality quasi-isomorphism for Hochschild chains of R[[y 1,...y d]] proposed in paper math.QA/0010321 by Shoikhet. This allows us to describe traces on the quantum algebra of functions on an arbitrary Poisson manifold. 1

研究の動機と目的

• 滑らかな多様体のホッホシュタイン鎖に対してツィガーンの形式的予想を確立すること。
• 形式的冪級数代数に対する形式的準同型写像を、一般の滑らかな多様体へと拡張すること。
• 任意のポアンカーマニフォールド上の関数の量子代数におけるトレースの完全な記述を提供すること。
• ホッホシュタインホモロジーの文脈において、フェドソフの解体法とショイケトの形式的結果を統合すること。

提案手法

• 多様体上の滑らかな関数の代数のフェドソフ解体を用いて、ホッホシュタイン鎖の解体を構成する。
• 各点の近傍におけるR[[y₁,…,yₙ]]に対するショイケトの形式的準同型写像を、多様体上の各点の形式的近傍に適用する。
• フェドソフ解体を介して、局所的な形式的写像を貼り合わせることで、グローバルな形式的準同型写像を構成する。
• 微分幾何学的およびホモロジー代数的技術を用いて、ポアンカーマニフォールド構造と整合性を保つ。
• ホッホシュタイン鎖 C∞(M) がフェドソフの方法により de Rham複体と準同型であることに依拠する。
• ホッホシュタイン鎖と微分形式の間のチェーンレベルでの形式的同型を確立し、トレースの計算を可能にする。

実験結果

リサーチクエスチョン

• RQ1 既存の解体法を用いて、滑らかな多様体のホッホシュタイン鎖に対してツィガーンの形式的予想を証明できるか？
• RQ2 ショイケトの形式的結果を形式的冪級数から、グローバルな滑らかな多様体へと拡張する方法は何か？
• RQ3 任意のポアンカーマニフォールド上の関数の量子代数におけるトレースの構造は何か？
• RQ4 滑らかな多様体上でのホッホシュタイン鎖と微分形式の間には、自然な形式的準同型写像が存在するか？
• RQ5 フェドソフ解体法を用いて、ポアンカーマニフォールド構造と整合するグローバルな形式的写像を構成できるか？

主な発見

• 論文は、フェドソフ解体を用いて、C∞(M) のホッホシュタイン鎖と de Rham複体の間の形式的準同型写像を確立する。
• 任意の滑らかな多様体 M に対して、ツィガーンの形式的予想がホッホシュタイン鎖に対して証明される。
• この構成により、任意のポアンカーマニフォールド上の関数の量子代数におけるトレースの標準的記述が得られる。
• この方法により、ショイケトの局所的形式的結果がフェドソフ解体を介してグローバルな設定へと拡張される。
• 結果として、微分形式およびポアンカーマニフォールド構造を用いた、トレース写像の完全かつ明示的な記述が得られる。
• この形式的枠組みにより、形式的冪級数に依存せずに、変形量子化におけるトレースの計算が可能になる。