[논문 리뷰] Berezin-Toeplitz quantization asssociated with higher Landau levels of the Bochner Laplacian

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

Geometry and complex manifolds참고 문헌 29인용 수 5

한 줄 요약

이 논문은 고차 랑드우 수준을 고려한 보흐너 라플라시안의 고유공간을 이용하여 컴act 심플렉틱 다양체 위에서 베레진-토플리츠 쟁점화의 가족을 구성한다. 리만 기하학적 계량이 보흐너 라플라시안의 국소 모델에서 랑드우 수준이 일정하도록 되어 있을 조건 하에서 스펙트럼은 점점 $ 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.

연구 동기 및 목표

• 최저 랑드우 수준을 초월한 보흐너 라플라시안의 고유공간에 기반한 새로운 베레진-토플리츠 쟁점화 가족을 개발하기 위해.
• 적절한 리만 기하학적 계량 조건을 통해 거의-카일러 쟁점화를 고차 랑드우 수준으로 일반화하기 위해.
• 고차 전문선다이브러의 텐서 거듭제곱 위에서 보흐너 라플라시안의 스펙트럼 클러스터 위에 토플리츠 연산자 계산법을 수립하기 위해.
• 유도된 연산자 가족이 베레진-토플리츠 쟁점화의 공리, 특히 파아손 괄호와의 점근적 호환성과 함께 만족하는지 증명하기 위해.

제안 방법

• 보흐너 라플라시안의 국소 모델이 일정한 고유값 $ 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 $ 에 대해 $ p\Lambda $ 근처에 크기가 $ \mathcal{O}(p^{3/4}) $ 인 클러스터로 점점 분리됨을 보인다.
• 스펙트럼 클러스터에 대응하는 고유공간에 대한 스펙트럼 프로젝션 $ 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 $ 근처에 클러스터로 분리되도록 하기 위한 리만 기하학적 계량의 기하학적 조건은 무엇인가? 여기서 $ \Sigma $ 는 랑드우 수준의 집합이다.
• RQ3 보흐너 라플라시안의 고정된 스펙트럼 클러스터 위에서 토플리츠 연산자 계산법이 일致한 베레진-토플리츠 쟁점화를 제공하는가? 이는 필요한 점근적 곱셈 및 교환자 법칙을 만족하는가?
• RQ4 이 일반화된 쟁점화와 고전적 거의-카일러 쟁점화 사이의 관계는 무엇인가? 특히 최저 랑드우 수준의 경우에 대해.
• RQ5 랭드우 수준의 다중도가 1일 경우, 토플리츠 계산법으로 형식적 스타곱을 구성할 수 있는가?

주요 결과

• 보흐너 라플라시안 $ \Delta^{L^p \otimes E} $ 의 스펙트럼은 국소 자기장 고유값 $ a_j $ 가 다양체 전반에 걸쳐 일정하다는 조건 하에서 점점 $ 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 $ 의 역수의 거듭제곱에 대한 점근 전개가 확립되었으며, 주요 항들은 모델 연산자와 스펙트럼 프로젝션에 의해 결정되며, 이는 전체 연산자 계산법의 구축을 가능하게 한다.