[論文レビュー] All coefficients entering Kontsevich's formality quasi-isomorphism can be replaced by rational numbers

Vasily Dolgushev|arXiv (Cornell University)|Jun 28, 2013

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

ひとこと要約

この論文は、HochschildコホコロジーのKontsevichの形式的準同型のすべての係数を、準同型の恒等式を保ったまま有理数に置き換えられることを証明している。著者らは、有理数上で安定な形式的準同型を構成することで、無理数や超越数の係数が必ずしも必要でないことを確立し、Tamarkinの先行的手法を回避し、形式的写像の代数的構造を単純化した。

ABSTRACT

It is believed that, among the coefficients entering Kontsevich's formality quasi-isomorphism arXiv:q-alg/9709040, there are irrational (possibly even transcendental) numbers. In this note, we prove the existence of a stable formality quasi-isomorphism for Hochschild cochains over rationals. In other words, we show that all the weights which enter Kontsevich's construction arXiv:q-alg/9709040 can be replaced by rational numbers in such a way that all the desired identities still hold. In doing this, we completely bypass Tamarkin's approach arXiv:math/9803025.

研究の動機と目的

• KontsevichのHochschildコホコロジーに対する形式的準同型において、無理数や超越数の係数が本質的であるかどうかという長年の未解決問題を解消すること。
• 有理数上で安定な形式的準同型を構成し、有理数係数が十分であることを示すこと。
• 以前はより複雑なホモトピー論的構成に依存していたTamarkinのアプローチを回避すること。
• 無理数定数への依存を排除することで、形式的写像の代数的構造を単純化すること。

提案手法

• 有理数係数のみを用いてHochschildコホコロジーの形式的準同型を構成すること。
• 準同型に必要なすべての恒等式が、この有理数置換のもとでも成立することを示すこと。
• 安定な変形理論的枠組みを用いて、形式的写像のすべての成分にわたる有理数係数の整合性を保証すること。
• Tamarkinのアプローチに依存しないように、組合せ論的および代数的技法を直接用いて有理数形式的写像を構築すること。
• 形式的恒等式が係数に関して多項式的であるという事実を活用し、構造を保持する有理数置換を可能にすること。

実験結果

リサーチクエスチョン

• RQ1 Kontsevichの形式的準同型におけるすべての係数を、準同型の性質を保ったまま有理数に置き換えられるか？
• RQ2 超越数や無理数定数を用いずに、有理数上で安定な形式的準同型を構成することは可能か？
• RQ3 Tamarkinの方法は依然として必要であるか、それとも直接的な有理数構成で十分か？
• RQ4 形式的写像を定義する恒等式は、有理数係数への置換によっても保持されるか？

主な発見

• Kontsevichの形式的準同型におけるすべての係数を、準同型の恒等式を損なわずに有理数に置き換えられること。
• Hochschildコホコロジーに対して、有理数上で安定な形式的準同型が存在し、有理数係数が十分であることが確認された。
• この構成はTamarkinのアプローチを必要とせず、より直接的で代数的な代替手段を提供する。
• 形式的写像の恒等式は係数に関して多項式的であり、構造を保持する有理数置換が可能である。