[論文レビュー] A Counter Example of Invariant Deformation Quantization

Xiang Tang|ArXiv.org|Nov 29, 2004

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

ひとこと要約

この論文は、シンプレクティック多様体上のハミルトニアンリー代数的作用が幾何学的に不変なスター積をもつという予想に対して反例を提示する。変形量子化の枠組みにおいて双微分作用素を明示的に計算することで、標準的シンプレクティック形式をもつℝ²上での仮定される不変スター積の構造定数に矛盾が生じることを示し、この作用に対しては幾何学的に不変なスター積が存在し得ないことを証明する。

ABSTRACT

In this note, we will show one example of hamiltonian Lie algebra action which has no invariant star product.

研究の動機と目的

• シンプレクティック多様体上のハミルトニアンリー群または代数的作用が常に不変スター積をもつという長年の予想に反論すること。
• かつて十分であるとされてきた不変シンプレクティック接続の存在が、不変スター積の存在を保証するかどうかを調査すること。
• 不変性に必要な条件がスター積の構造定数に矛盾を引き起こす具体例を構成すること。
• 不変変形量子化の文脈において、ヴァン・ホーヴェのノーゴ theorem に類似した否定的結果を提供すること。

提案手法

• 標準的シンプレクティック形式 dx∧dy をもつℝ²へのリー代数の特定のハミルトニアン作用を構成する。
• 幾何学的に G-不変なスター積の存在を仮定し、局所的双微分作用素 Cʳ をもつ形式的級数 ∑ħʳCʳ(f,g) として表す。
• スター積展開における係数 C¹(f,g) を偏導関数の多重指数記法を用いて分析し、fyygxhx および fxxgyhy を含む項に注目する。
• 結合則 (f⋆g)⋆h = f⋆(g⋆h) を適用して、双微分作用素の構造定数 Cᵢⱼ;ₖₗ を制約する方程式系を導出する。
• 命題 2.1 を用いて、インデックスの順序（例えば i > l ならば Cᵢⱼ;ₖₗ = 0）に基づき特定の項を除外し、非ゼロ係数の数を削減する。
• 必要な反対称性条件 [u,v] = −iħ{u,v} + o(ħ) が C¹₁₀;₀₁ − C¹₀₁;₁₀ = −i を要求するが、インデックス制約により両項がゼロに強制され、ポisson括弧の実現が破れるという矛盾を導出する。

実験結果

リサーチクエスチョン

• RQ1 シンプレクティック多様体上のハミルトニアンリー代数的作用は、常に不変スター積をもつか？
• RQ2 不変シンプレクティック接続の存在は、不変スター積の存在を保証するのか？
• RQ3 特定のリー代数的作用のもとで、標準的シンプレクティック構造をもつℝ²上に幾何学的に不変なスター積を一貫して定義できるか？
• RQ4 不変スター積における双微分作用素の構造定数に生じる矛盾を引き起こす構造的制約は何か？
• RQ5 非退化な不変接続が存在しないことは、一般に不変スター積の非存在を意味するのか？

主な発見

• この論文は、標準的シンプレクティック形式 dx∧dy をもつℝ²上への特定のハミルトニアンリー代数的作用を構成する。
• 双微分作用素の構造定数に矛盾が生じることを示し、この作用に対しては幾何学的に不変なスター積が存在し得ないことを証明する。
• 矛盾は、ポisson括弧を実現するために C¹₁₀;₀₁ − C¹₀₁;₁₀ = −i が必要であるのに対し、インデックス制約により両係数がゼロに強制されることに起因する。
• 条件 i > l により C¹₀₁;₁₀ = 0 および C¹₁₀;₀₁ = 0 が導かれるため、基本的な交換関係が破れる。
• この結果は、不変スター積がハミルトニアン作用に対して常に存在するという予想に対する反例を提供し、ヴァン・ホーヴェのノーゴ定理に類似した役割を果たす。
• 不変シンプレクティック接続の存在が、不変スター積の存在を保証するものではないことが示され、変形量子化における広く信じられていた原則に疑問を呈する。