[論文レビュー] Fedosov quantization in positive characteristic

Roman Bezrukavnikov, D. Kaledin|ArXiv.org|Jan 16, 2005

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

ひとこと要約

本稿は、Frobenius-定数量子化を導入することで、正標数における代数的シンプレクティック多様体へのFedosov量子化の拡張を達成した。Frobenius写像の像が中心に残るという性質を持つ。形式幾何を用いて分類定理を確立し、制限付きDarboux定理をPoisson構造に対して証明することで、正標数における変形量子化の新しい枠組みを提供した。

ABSTRACT

We study the problem of deformation quantization for (algebraic) symplectic manifolds over a base field of positive characteristic. We prove a reasonably complete classification theorem for one class of such quantizations; in the course of doing it, we also introduce a notion of a restricted Poisson algebra -- the Poisson analog of the standard notion of a restrictted Lie algebra -- and we prove a version of Darboux Theorem valid in positive characteristic setting.

研究の動機と目的

• 正標数における代数的シンプレクティック多様体へのFedosovの変形量子化の一般化を図ること。これは、標準的な特徴零時における手法が、Poisson中心が大きいという理由で失敗するためである。
• 正標数においてPoisson構造の中心に含まれるFrobenius像 $\mathcal{O}_X^p$ が量子化に与える影響を扱う。
• Frobenius像 $\mathcal{O}_X^p$ が量子化代数 $\mathcal{O}_h$ の中心的部分代数として保存されるようなFrobenius-定数量子化の理論を構築し、やや弱い仮定のもとで分類可能であることを示す。
• 制限付きPoisson代数を導入・研究し、これは制限付きLie代数のPoisson版として、局所理論に不可欠である。
• 制限付きPoisson代数に対して、正標数におけるDarboux定理の類似を確立し、古典的バージョンがこの設定では成立しないことの理由を明らかにする。

提案手法

• 制限付きPoisson代数の概念を導入し、正標数におけるFrobenius構造を扱うために、制限付きLie代数をPoisson設定に一般化する。
• Frobenius-定数量子化を、$\mathcal{O}_X^p \subset \mathcal{O}_X$ が量子化代数 $\mathcal{O}_h$ においても中心的であるようなものとして定義し、Frobenius自己準同型と整合性を保つ。
• 特徴零時において既に用いられている形式幾何の技法を応用し、量子化代数の局所モデルを構成し、主バンドルおよびgerbeを用いてそれを大域化する。
• $\operatorname{Aut}(D)$-主バンドル $\mathcal{M}_h$ を $X^{(1)}$ 上に構成し、$\mathcal{O}_h$ を関連バンドルとして実現する。
• $\mathcal{O}_h(h^{-1})$ のBrauer類を、ループ群の中心拡大を用いて、形式的完成 $\widehat{X}$ 上のgerbeと関連付ける。
• $H^2(X^{(1)}, \mathcal{O}_X^p) = 0$ の下で、Brauer類が $X^{(1)}$ から $\widehat{X}$ に持ち上がることを証明し、スペクトル系列を用いて大域的分類を可能にする。

実験結果

リサーチクエスチョン

• RQ1 Frobenius写像の中心的役割が顕著な正標数における代数的シンプレクティック多様体に対して、古典的手法が失敗する中で、Fedosov型の量子化を拡張することは可能か？
• RQ2 Frobenius像 $\mathcal{O}_X^p$ が量子化代数において中心的であるための条件は何か？ そして、このような量子化はどのように分類可能か？
• RQ3 Poisson構造に対して正標数におけるDarboux定理の類似は存在するか？ また、古典的バージョンとはどのように異なるか？
• RQ4 形式的完成 $\widehat{X}$ のBrauer群は $X^{(1)}$ のBrauer群とどのように関係するか？ そして、これは量子化代数の大域的構造にどのような含意を持つのか？
• RQ5 Frobenius-定数代数を超えて、K3曲面やアーベル多様体などのコンパクト多様体を含む正標数における量子化手続きを拡張することは可能か？

主な発見

• Frobenius-定数量子化は、シンプレクティック多様体 $X$ に対してやや弱い仮定のもとで存在し、完全に分類可能である。
• 制限付きPoisson代数に対して、制限付きDarboux定理が確立された。これは、局所的には古典的Darboux定理に類似した標準形をとることを示しており、正標数では古典的バージョンが成立しないことの理由を明らかにした。
• $\mathcal{O}_h$ は、$X^{(1)}$ 上の $\operatorname{Aut}(D)$-主バンドル $\mathcal{M}_h$ に関連するバンドルとして実現され、この主バンドルはエタール位相において局所的に自明である。
• $H^2(X^{(1)}, \mathcal{O}_X^p) = 0$ の下で、$\mathcal{O}_h(h^{-1})$ のBrauer類は $X^{(1)}$ から形式的完成 $\widehat{X}$ に持ち上がることを保証し、大域的整合性を確保した。
• $\overline{\operatorname{Br}([\mathcal{O}_h])}$ は $\operatorname{Br}(\overline{X})$ 内にあり、これは $\mathcal{O}_{\widehat{X}}^*$ によって束ねられたgerbeとして生じる。このgerbeは、$\widehat{\sf G}$ の中心拡大の存在により $\widehat{X}$ に拡張可能である。
• $\mathcal{O}_h(h^{-1})$ のAzumaya代数は、代数として $\widehat{X}$ に自然に拡張できないが、そのBrauer類は持ち上がることを示した。これは、ループ群における極大パラボリック部分群の間の埋め込みが存在しないことによる。