Obstructions to Deformation Quantization of Bundles

技術的要約：束の変形量子化における障害

問題設定
本論文は、滑らかな代数多様体または複素多様体（シンプレクティック形式または正則形式 $\omega$ を備えたもの）上のベクトル束 $E$ の、有限次 $k$ からより高い次数 $\ell$ ($\ell > k$) への変形量子化の拡張問題を扱う。具体的には、次数 $k$ の量子化 $E_k$（量子化された構造層 $\mathcal{O}_\hbar / \hbar^{k+1}\mathcal{O}_\hbar$ 上の局自由層としての加群）が与えられたとき、これを次数 $\ell$ の量子化 $E_\ell$ へと拡張できるかどうかのコホモロジー的な障害を調査する。研究では、「アーベル的（abelian）」な範囲（$k+1 \leq \ell \leq 2k+1$）と、「非アーベル的（non-abelian）」な範囲（$\ell \geq 2k+2$、これには無限次のケース $\ell = \infty$ も含まれる）を区別している。

手法
著者らは、**ハリス・チャンドラ・トースター（Harish-Chandra torsors）と形式ダルブーの定理（formal Darboux theorems）**に基づく幾何学的アプローチを採用している。

1. 局所的な自明化とトースター： 形式ダルブーの補題（定理7）を利用して、局所的にペア $(\mathcal{O}_\hbar, E_k)$ は、標準的なペアである形式的ヴェイユ代数 $D$ と自由加群 $M_k = (D/\hbar^{k+1}D)^{\oplus e}$ の組と同型になることを確立する。これらの局所的な同型の集まりは、$M$ 上の構造群 $F_k = \text{Aut}(D, M_k)$ を持つ $M$ 上のトースター $P(k)$ を形成する。
2. ハリス・チャンドラ構造： このトースターは、ペア $(F_k, \mathfrak{g}_k)$ 上の推移的なハリス・チャンドラ・トースターへと格上げされる。ここで $\mathfrak{g}_k$ は、ペアの無限小自己同型のリー代数である。この構造により、随伴するベクトル束には平坦な代数的接続が備わる。
3. リー代数の拡大： 量子化の拡張問題は、トースター $P(k)$ を、拡張されたハリス・チャンドラ対上のトースター $P(\ell)$ へと持ち上げる問題へと翻訳される。これには、リー代数の拡大 $\mathfrak{g}_k \to \mathfrak{g}_\ell$ の解析が含まれる。
   • $k+1 \leq \ell \leq 2k+1$ の場合、拡大の核（kernel）はアーベル的であり、標準的な $H^2$ におけるコホモロジー的障害を導く。
   • $\ell \geq 2k+2$ の場合、核は非アーベル的である。著者らは、リフトの存在のための必要条件（「アーベル的な影（abelian shadow）」）を導き出すために、交換子部分代数を商集合として取り除くことで核をアーベル化する。
4. ゲルファント・フックス写像： 著者らは、ゲルファンド・フックス写像を用いて、リー代数コホモロジー類（拡大のコサイクルを表す）を、$M$ 上の随伴平坦束のド・ラム・コホモロジー類に関連付ける。
5. フェデソフ接続： 正則な場合には、ジェット束上のフェデソフ型の接続を用いて結果を再解釈し、これにより障害類の具体的な微分幾何学的実現を提供する。

主要な貢献と結果

• 定理1（アーベル的範囲）： $k+1 \leq \ell \leq 2k+1$ において、著者らは層 $\text{End}(E)^{(k, \ell]}$（$E_k$ の自己同型の商）を定義する。彼らは以下を証明する：

  • $\text{End}(E)^{(k, \ell]}$ における障害類 $H^2(M, \text{End}(E)^{(k, \ell]})$ が存在する。
  • この類が消滅することと、拡張 $E_\ell$ が存在することは同値である。
  • もし障害が消滅する場合、そのような拡張の同型類の集合は $H^1(M, \text{End}(E)^{(k, \ell]})$ 上のトースターとなる。
  • この結果は、拡張コサイクルがゲルファンド・フックス写像の下で消滅することによって確立される。

• 定理2（非アーベル的範囲）： $\ell \geq 2k+2$ において、著者らは拡張のアーベル化された核に関連する層 $\text{End}^+_{\mathcal{O}_\hbar}(E_k)$ を定義する。彼らは以下を証明する：

  • 拡張 $E_\ell$ の存在は、$H^2(M, \text{End}^+_{\mathcal{O}_\hbar}(E_k))$ における障害類の消滅を意味する。
  • この条件は必要条件であるが、十分条件ではない。なぜなら、完全な問題は非アーベル・コホモロジーに関わるからである。

• 定理8： 量子化 $E_k$ と、ハリス・チャンドラ・トースター $P(k)$ に随伴するベクトル束の平坦切断の層との間の同値性を確立する。これは、量子化層と随伴束のド・ラム複体との間の準同型（quasi-isomorphism）を与える。

• 存在と一意性に関する系：

  • $H^2(M, \text{End}(E)) = 0$ である場合（例：$M$ が2つのアフィン開集合の和集合である場合）、次数 $k$ の任意の量子化は、すべての次数 $\ell \geq k+1$ へと拡張可能である。
  • $H^1(M, \text{End}(E)) = 0$ である場合（例：$M$ がアフィンである場合）、その拡張は一意的である。
  • $M$ がアフィンであり、$E$ が自明である場合、次数 $k \geq 1$ の任意の量子化は自明である。

• 射の持ち上げ（セクション7）： 本論文は、射 $\phi_k: E_k \to F_k$ を次数 $\ell$ へと持ち上げる解析を拡張する。障害 $O \in H^1(M, \text{Hom}_{\mathcal{O}_\hbar}(E_s, F_s))$ が特定される。著者らは、たとえ $O$ が消滅しない場合でも、ターゲットとなる量子化 $E_\ell$ および $F_\ell$ の選択（$H^1$ の元を加えることによる）を調整することで、障害を消滅させ、射を持ち上げることが可能であることを示す。

意義と主張
本論文は、「アーベル的」な範囲（$\ell \leq 2k+1$）において、ベクトル束の変形量子化を拡張するための障害を完全に特徴付けることを主張している。この範囲では、障害は必要かつ十分条件である。より複雑な非アーベル的な範囲については、アーベル化を通じて必要条件を特定するための厳密な枠組みを提供している。

著者らは、ハリス・チャンドラ・トースターと平坦接続の観点から変形量子化の障害の研究を統一するアプローチを強調しており、これにより、関連する幾何学的データから量子化された束を系統的に回収できることを示している。本研究は、構造層の量子化に関する先行研究をベクトル束へと一般化し、障害層のコホモロジーを解析するためのスペクトル系列の手法を提供している。本論文は、非アーベル的な存在性の問題を完全な一般性において解決すると主張しているのではなく、解が存在するために消滅しなければならないアーベル的な障害を分離して提示している。