[論文レビュー] Rigidity of K-theory under deformation quantization

Jonathan Rosenberg|arXiv (Cornell University)|Jul 16, 1996

Homotopy and Cohomology in Algebraic Topology参考文献 9被引用数 11

ひとこと要約

この論文は、Gabber、Gillet-Thomason、Suslinの技術を活用することで、変形量子化における代数的K理論の剛性を確立する。変形量子化されたコンパクトなシンプレクティック多様体上の関数の代数的K理論に有限係数を適用すると、元の多様体の位相的K理論が回復されることを示し、非可換幾何学における量子化の下での深い不変性を示している。

ABSTRACT

Quantization, at least in some formulations, involves replacing some algebra of observables by a (more non-commutative) deformed algebra. In view of the fundamental role played by K-theory in non-commutative geometry and topology, it is of interest to ask to what extent K-theory remains "rigid" under this process. We show that some positive results can be obtained using ideas of Gabber, Gillet-Thomason, and Suslin. From this we derive that the algebraic K-theory with finite coefficients of a deformation quantization of the functions on a compact symplectic manifold, forgetting the topology, recovers the topological K-theory of the manifold.

研究の動機と目的

• 非可換幾何学における中心的プロセスである変形量子化の下でのK理論の不変性を調査すること。
• シンプレクティック多様体上の可換代数の関数代数が非可換な変形に置き換えられた場合、代数的K理論が安定（剛性）を保つかどうかを特定すること。
• 変形量子化の代数的K理論と元の多様体の位相的K理論との間の明確な関係を確立すること。
• Gabber、Gillet-Thomason、Suslinの技術を含む、代数的K理論の高度な技術を応用して、この剛性を証明すること。

提案手法

• コンパクトなシンプレクティック多様体上の滑らかな関数の可換代数を非可換代数に置き換える変形量子化の枠組みを用いる。
• 変形された代数に対して、有限係数を用いた代数的K理論の理論を適用する。
• GabberのK理論における純粋性と局所化の技術を用いて、ねじれ現象を制御する。
• GilletとThomasonのスキームのK理論およびその変形に関する結果を用い、代数的K理論と位相的K理論を結びつける。
• Suslinの定理（有限特徴量におけるK理論とコホモロジーの同値性）を応用して、有限係数の解析を行う。
• トポロジーを考慮しない状態での変形量子化のK理論が、元の多様体の位相的K理論を回復することを示す。

実験結果

リサーチクエスチョン

• RQ1 シンプレクティック多様体の変形量子化の下で、有限係数を用いた代数的K理論は不変のままであるか？
• RQ2 コンパクトなシンプレクティック多様体の位相的K理論は、その変形量子化の代数的K理論から回復可能か？
• RQ3 非可換な変形は、元の可換代数のK理論的構造をどの程度保存するか？
• RQ4 Gabber、Gillet-Thomason、Suslinの技術——特にそれらの代数的K理論の技術——は、この回復をどのように促進するか？
• RQ5 変形された代数の代数的K理論と多様体の位相的K理論との間に、自然な同型写像が存在するか？

主な発見

• コンパクトなシンプレクティック多様体上の関数の変形量子化の、有限係数を用いた代数的K理論は、多様体の位相的K理論と同型である。
• トポロジー構造を無視しても、この剛性結果は成立し、量子化の下での深い不変性を示している。
• 証明は、有限係数における有限特徴量におけるK理論とコホモロジーの同値性に関するSuslinの定理に強く依存している。
• Gabberの純粋性と局所化技術により、K理論のねじれが変形プロセスの間でも保存されることが保証される。
• GilletとThomasonのスキームのK理論および変形に関する結果が、代数的K理論と位相的K理論の間の必要な橋渡しを提供する。
• この結果により、変形量子化と位相的不変量との間の非自明な関係が確立され、K理論が量子化に対して頑健であることが確認された。