[논문 리뷰] Berezin Quantization From Ergodic Actions of Compact Quantum Groups, and Quantum Gromov-Hausdorff Distance

Jeremy Sain|ArXiv.org|2009. 06. 09.

Advanced Operator Algebra Research참고 문헌 55인용 수 3

한 줄 요약

이 논문은 컴팩트 양자군의 에르고딕 작용으로부터 유도되는 양자 동차공간에 대해 Berezin 측정을 일반화하며, 유한차원 비가환 근사(퍼지 버전)를 구성하여 연속적 필드의 연산자 체계와 Rieffel의 양자 Gromov-Hausdorff 거리에서 고전적 공간으로 수렴한다. 핵심 결과는 Berezin 측정이 $\r^d$-작용에 대해 Rieffel의 변형 측정과 가환성을 보이며, 양자 코스터 공간과 오르비폴드에 대한 퍼지 구성이 가능하게 한다.

ABSTRACT

Over the last 25 years, the notion of "fuzzy spaces" has become ubiquitous in the high-energy physics literature. These are finite dimensional noncommutative approximations of the algebra of functions on a classical space. The most well known examples come from the Berezin quantization of coadjoint orbits of compact semisimple Lie groups. We develop a theory of Berezin quantization for certain quantum homogeneous spaces coming from ergodic actions of compact quantum groups. This allows us to construct fuzzy versions of these quantum homogeneous spaces. We show that the finite dimensional approximations converge to the homogeneous space in a continuous field of operator systems, and in the quantum Gromov-Hausdorff distance of Rieffel. We apply the theory to construct a fuzzy version of an ellipsoid which is naturally endowed with an orbifold structure, as well as a fuzzy version of the $θ$-deformed coset spaces $C(G/H)_{\hbar θ}$ of Varilly. In the process of the latter, we show that our Berezin quantization commutes with Rieffel's deformation quantization for actions of $\R^d$.

연구 동기 및 목표

• 컴 pact semisimple Lie 군의 공대칭 궤도를 초월하여 컴팩트 양자군의 에르고딕 작용으로부터 유도되는 양자 동차공간으로 Berezin 측정을 일반화하는 것.
• 완전한 대칭성을 유지하면서 고전적 공간으로 수렴하는 유한차원 비가환 근사(퍼지 버전)를 양자 동차공간에 대해 구성하는 것.
• 이러한 근사가 Rieffel의 양자 Gromov-Hausdorff 거리 프레임워크에서 수렴함을 증명하여 반고전적 극한에서 거리 구조의 일致성을 확보하는 것.
• Berezin 측정이 $\r^d$-작용에 대해 Rieffel의 변형 측정과 가환성을 보임을 보이며, 변형 하에 구조가 유지됨을 입증하는 것.
• q-변형과 $\theta$-변형된 Lie 군에 대한 양자 공대칭 궤도가 단지 연산자 체계가 아니라 C*-대수임을 확립하는 것.

제안 방법

• 유한차원 연산자 체계와 양자 동차공간 사이의 양성, 단위, 동차적 사상으로서 Berezin 기호와 그 수반을 구성한다.
• Berezin 변환 $\breve{\rho}^n \rho^n$을 사용하여 양자 동차공간 $N^H$의 유한차원 근사 $M^n$의 수열을 정의함으로써, 양자 Gromov-Hausdorff 거리에서의 수렴을 보장한다.
• 양자군 작용으로부터 유도된 리프-노름을 적용하여 고전적 및 양자 근사에 대해 양자 거리 구조를 정의한다.
• Berezin 변환의 강한 극한을 이용하여 $\n \to \n^H$로의 표준 기댓값 $E$를 정의함으로써, 고정점 대수 $\n^H$가 $N^H$에 밀도가 있음을 보여준다.
• Rieffel의 변형 하에서 Berezin 기호와 수반 사상이 본질적으로 변형되지 않음을 입증함으로써, 변형 측정과의 호환성을 보여준다.
• 이 이론을 적용하여 오르비폴드 구조를 가진 타원체와 $\theta$-변형된 코스터 공간 $C(G/H)_{\theta\bar{\theta}}$의 퍼지 버전을 구성하고, 고전적 극한으로의 수렴을 증명한다.

실험 결과

연구 질문

• RQ1 Berezin 측정은 컴팩트 단순 비가환 Lie 군의 공대칭 궤도를 초월하여 컴팩트 양자군의 에르고딕 작용으로부터 유도되는 양자 동차공간으로 일반화될 수 있는가?
• RQ2 양자 동차공간의 유한차원 근사는 Rieffel의 양자 Gromov-Hausdorff 거리에서 고전적 공간으로 수렴하는가?
• RQ3 Berezin 측정은 $\r^d$-작용에 대해 Rieffel의 변형 측정과 가환성을 보이는가?
• RQ4 q-변형 및 $\theta$-변형된 Lie 군에 대한 양자 공대칭 궤도는 단지 연산자 체계가 아니라 자연스럽게 C*-대수인가?
• RQ5 오르비폴드 구조를 가진 양자 공간, 예를 들어 타원체의 퍼지 버전은 이 일반화된 Berezin 측정을 통해 일관되게 구성될 수 있는가?

주요 결과

• Berezin 변환 수열 $\rho^n \breve{\rho}^n$은 강한 연산자 위상에서 표준 기댓값 $E: \n \to \n^H$로 수렴하며, 이는 유한차원 근사가 양자 동차공간 $N^H$로 수렴함을 보장한다.
• Berezin 측정을 통해 구성된 유한차원 근사 $M^n$은 연속적 필드의 연산자 체계를 이룬다. 이는 Rieffel의 양자 Gromov-Hausdorff 거리에서 고전적 양자 동차공간 $N^H$로 수렴한다.
• $\theta$-변형된 코스터 공간 $C(G/H)_{\theta\bar{\theta}}$에 대해 Berezin 측정은 Rieffel의 변형 측정과 가환성을 보이며, 변형 하에서도 구조가 유지된다.
• C(G)_{\theta\bar{\theta}}의 양자 공대칭 궤도는 양자 코스터 공간 $C(G/K)_{\theta\bar{\theta}}$와 동형이며, 이는 그것이 단지 연산자 체계가 아니라 C*-대수임을 보여준다.
• 고전적 동차공간 $C(G/K)$의 정규 함수들은 변형된 양자 동차공간 $C(G/K)_{\theta\bar{\theta}}$에 밀도가 있다. 이는 이 측정이 알려진 변형 결과와 일致함을 확인한다.
• Rieffel의 변형 하에서 Berezin 기호와 그 수반은 본질적으로 변형되지 않으며, 이는 측정 과정이 기저 공간의 거리 및 위상의 변화와 호환됨을 나타낸다.