[論文レビュー] Deformation Quantization of Hermitian Vector Bundles

Henrique Bursztyn, Stefan Waldmann|ArXiv.org|Sep 18, 2000

Algebraic structures and combinatorial models参考文献 33被引用数 7

ひとこと要約

この論文は、順序付き環上の ∗-代数を用いて、ポisson多様体上のヘルミートベクトル束の変形量子化の存在および一意性を確立する。固定されたヘリオメトリックなスター積に対して、ヘルミートベクトル束の切断は等長同値を除いて一意に変形可能であり、対応する変形代数は形式的モリタ同値であることが示され、リエフェルの強モリタ同値を形式的設定に一般化する。

ABSTRACT

Motivated by deformation quantization, we consider in this paper $^*$-algebras $\mathcal A$ over rings $ ing C = ing{R}(i)$, where $ ing R$ is an ordered ring and $i^2 = -1$, and study the deformation theory of projective modules over these algebras carrying the additional structure of a (positive) $\mathcal A$-valued inner product. For $A=C^\infty(M)$, M a manifold, these modules can be identified with Hermitian vector bundles E over M. We show that for a fixed Hermitian star-product on M, these modules can always be deformed in a unique way, up to (isometric) equivalence. We observe that there is a natural bijection between the sets of equivalence classes of local Hermitian deformations of $C^\infty(M)$ and $Γ^\infty(\End(E))$ and that the corresponding deformed algebras are formally Morita equivalent, an algebraic generalization of strong Morita equivalence of $C^*$-algebras. We also discuss the semi-classical geometry arising from these deformations.

研究の動機と目的

• A-値内積を備えた ∗-代数上の射影的加群のための変形量子化フレームワークの構築。
• 形式的変形量子化を、幾何的量子化における量子観測量をモデル化するヘルミートベクトル束を含むように拡張すること。
• C∞(M) と Γ∞(End(E)) の局所的ヘルミート変形の間の自然な全単射の確立。
• ヘルミートベクトル束の切断の変形代数が、滑らかな関数の変形代数と形式的にモリタ同値であることを証明すること。
• 変形の代数的構造を半古典的幾何学およびWKB近似と結びつけること。

提案手法

• 著者たちは、R を順序付き環として C = R(i) 上の ∗-代数の圏内で作業し、形式的GNS型構成を可能にする。
• 行列代数上の強全射射影の定義と研究を行い、非退化な同値バイモジュールを保証する。
• λ に関する形式的べき級数を用いて、内積を保ちながらヘリオメトリック構造を維持する射影的加群の変形を構成する。
• 重要な技術的道具としてトレース条件を用いる：射影 P₀ が強全射であるとは、ある可逆元 τ ∈ A に対して tr(P₀) = (ττ*)⁻¹ となること。
• 等価バイモジュール E = P⋆Aⁿ を用いて形式的モリタ同値を確立し、トレース恒等式を用いて内積の正定値性と全射性を検証する。
• 変形の半古典的幾何は [35] の意味で分析され、形式的変形が古典的極限と結びつく。

実験結果

リサーチクエスチョン

• RQ1 ポアソン多様体上のヘルミートベクトル束は、形式的スター積を用いて、そのヘルミート構造を保ちながら一意に変形可能か？
• RQ2 C∞(M) の局所的ヘルミート変形の同値類の集合と、Γ∞(End(E)) のそれとの間に自然な全単射が存在するか？
• RQ3 ヘルミートベクトル束の切断の変形代数と、底多様体上の滑らかな関数の変形代数は、形式的にモリタ同値のままであるか？
• RQ4 射影の強全射性の概念は、変形におけるモリタ同値の保存とどのように関係するか？
• RQ5 半古典的極限は、これらの変形加群の幾何学において果たす役割は何か？

主な発見

• 任意のポアソン多様体 M 上のヘリオメトリックベクトル束 E → M と、M 上のヘリオメトリックスター積が与えられたとき、滑らかな切断 Γ∞(E) の変形は、等長同値を除いて一意に存在する。
• 命題 3.3 で確立されたように、C∞(M) の局所的ヘルミート変形の同値類の集合と、Γ∞(End(E)) のそれとの間に自然な全単射が存在する。
• 定理 4.4 および推論 4.5 で示されたように、E の切断の変形代数と、M 上の関数の変形代数は形式的にモリタ同値である。
• 強全射射影の変形は、依然として強全射のままであり、これにより得られるバイモジュールは非退化的であり、モリタ同値性が保たれる。
• 形式的モリタ同値性により、C[[λ]] 上の前ヒルバート空間への変形代数の ∗-表現理論が同値であることが示される。
• 変形の半古典的幾何は [35] の形式的枠組みと整合的であり、幾何的量子化およびWKB展開へのより深い関係を示唆する。