[論文レビュー] Berezin-Toeplitz quantization asssociated with higher Landau levels of the Bochner Laplacian

Yuri A. Kordyukov|arXiv (Cornell University)|Dec 28, 2020

Geometry and complex manifolds参考文献 29被引用数 5

ひとこと要約

この論文は、高次のランダウ準位に対応するボッハナー・ラプラシアンの固有空間を用いて、コンパクトなシンプレクティック多様体上に、ベレジン＝トエプリッツ量論を族として構成する。リーマン計量がボッハナー・ラプラシアンの局所的モデルにおいてランダウ準位が一定になる条件のもと、スペクトルは $ p\Lambda $ のまわりに漸近的にクラスタリングし、得られるトエプリッツ作用素の計算は一貫した量論を提供する。最低ランダウ準位の場合には、ほぼカーラー量論が回復される。

ABSTRACT

In this paper, we construct a family of Berezin-Toeplitz type quantizations of a compact symplectic manifold. For this, we choose a Riemannian metric on the manifold such that the associated Bochner Laplacian has the same local model at each point (this is slightly more general than in almost-Kähler quantization). Then the spectrum of the Bochner Laplacian on high tensor powers $L^p$ of the prequantum line bundle $L$ asymptotically splits into clusters of size ${\mathcal O}(p^{3/4})$ around the points $pΛ$, where $Λ$ is an eigenvalue of the model operator (which can be naturally called a Landau level). We develop the Toeplitz operator calculus with the quantum space, which is the eigenspace of the Bochner Laplacian corresponding to the eigebvalues frrom the cluster. We show that it provides a Berezin-Toeplitz quantization. If the cluster corresponds to a Landau level of multiplicity one, we obtain an algebra of Toeplitz operators and a formal star-product. For the lowest Landau level, it recovers the almost Kähler quantization.

研究の動機と目的

• 最低ランダウ準位を超える、ボッハナー・ラプラシアンの固有空間に基づく、新しいベレジン＝トエプリッツ量論の族の構築。
• 適切なリーマン計量の条件のもとで、高次のランダウ準位を許容することにより、ほぼカーラー量論を一般化すること。
• 高次のテンソルべきの前量子線束上でのボッハナー・ラプラシアンのスペクトルクラスタ上に、トエプリッツ作用素の計算を確立すること。
• 得られる作用素族が、ベレジン＝トエプリッツ量論の公理（ポisson括弧と漸近的整合性を含む）を満たすことを証明すること。

提案手法

• ボッハナー・ラプラシアンの局所的モデルが定数固有値 $ a_j $ を持つようにリーマン計量を導入し、モデル作用素のスペクトルが位置に依存せず、離散的ランダウ準位 $ \Lambda_\mathbf{k} = \sum_{j=1}^n (2k_j+1)a_j $ を形成することを保証する。
• 前量子線束 $ L $ の高次のテンソルべき $ L^p $ を考察し、ボッハナー・ラプラシアン $ \Delta^{L^p \otimes E} $ のスペクトルが、各 $ \Lambda \in \Sigma $ のまわりに $ \mathcal{O}(p^{3/4}) $ のサイズのクラスタに漸近的に分裂することを分析する。
• 1つのランダウ準位 $ \Lambda $ のみを含む小さな区間 $ (p\alpha, p\beta) $ に含まれる固有値に対応するスペクトル射影 $ P_{p,\Lambda} $ を定義し、これにより量子ヒルベルト空間を形成する。
• 滑らかな自己準同型値関数 $ f \in C^\infty(X, \operatorname{End}(E)) $ に対して、スペクトル射影を用いてトエプリッツ作用素 $ T_{f,p} = P_{p,\Lambda} f P_{p,\Lambda} $ を構成する。
• 漸近的積公式 $ T_{f,p}T_{g,p} = T_{fg,p} + \mathcal{O}(p^{-1}) $ および交換子公式 $ [T_{f,p}, T_{g,p}] = i p^{-1} T_{\{f,g\},p} + \mathcal{O}(p^{-1/2}) $ を確立し、ベレジン＝トエプリッツ構造を確認する。
• トエプリッツ作用素の核の完全な非対角展開を用い、モデル作用素と比較することで、$ p^{-1} $ における漸近的展開を導出し、多重度1のランダウ準位の場合には形式的スター積が得られることを示す。

実験結果

リサーチクエスチョン

• RQ1 ボッハナー・ラプラシアンを用いた高次のテンソルべきの前量子線束上での、最低ランダウ準位を超えるベレジン＝トエプリッツ量論の一般化は可能か？
• RQ2 リーマン計量にどのような幾何的条件を課すと、$ L^p \otimes E $ 上のボッハナー・ラプラシアンのスペクトルが $ p\Lambda $ のまわりに $ \Lambda \in \Sigma $ となるクラスタに分裂するか？ここで $ \Sigma $ はランダウ準位の集合である。
• RQ3 ボッハナー・ラプラシアンの固定されたスペクトルクラスタ上でのトエプリッツ作用素の計算は、必要な漸近的積および交換子則を満たす一貫したベレジン＝トエプリッツ量論をもたらすか？
• RQ4 この一般化された量論と古典的ほぼカーラー量論との関係は何か？特に最低ランダウ準位の場合にその関係は？
• RQ5 ランダウ準位の多重度が1の場合、トエプリッツ計算から形式的スター積を構成できるか？

主な発見

• リーマン計量が多様体全体で局所的磁場固有値 $ a_j $ が一定になる条件のもと、ボッハナー・ラプラシアン $ \Delta^{L^p \otimes E} $ のスペクトルは、$ p\Lambda $ のまわりに $ \mathcal{O}(p^{3/4}) $ のサイズのクラスタに漸近的に分裂する。ここで $ \Lambda $ はランダウ準位である。
• トエプリッツ作用素 $ T_{f,p} = P_{p,\Lambda} f P_{p,\Lambda} $ は漸近的積則 $ T_{f,p}T_{g,p} = T_{fg,p} + \mathcal{O}(p^{-1}) $ を満たし、ベレジン＝トエプリッツ量論における役割が確認される。
• トエプリッツ作用素の交換子は $ [T_{f,p}, T_{g,p}] = i p^{-1} T_{\{f,g\},p} + \mathcal{O}(p^{-1/2}) $ を満たし、$ \hbar = p^{-1} $ の半古典的極限において、標準的交換関係が回復される。
• ランダウ準位 $ \Lambda $ が多重度1の場合、トエプリッツ作用素の代数は $ C^\infty(X, \operatorname{End}(E)) $ 上に形式的スター積を導く。これは変形量論の枠組みを拡張する。
• 最低ランダウ準位の場合、この構成は標準的なほぼカーラー量論を回復し、既存の結果と整合性があることを示す。
• トエプリッツ作用素の核の $ p $ の逆数のべきにおける漸近的展開が確立され、主要項はモデル作用素およびスペクトル射影によって決定され、完全な作用素計算の構成が可能になる。