[논문 리뷰] Variations on deformation quantization

Simone Gutt|ArXiv.org|2000. 03. 17.

Advanced Topics in Algebra참고 문헌 67인용 수 50

한 줄 요약

이 논문은 리 대수의 쌍대 위에서의 변형 양자화를 다루며, 세 핵심 요소에 초점을 맞춘다: 리 대수의 쌍대 위에서의 보편 스타 곱의 유일성, 심플렉틱 다양체 위에서의 미분 스타 곱의 델리그의 코homological 분류, 그리고 허미션 대칭 공간 위에서 Berezin 유형의 양자화를 통한 수렴성 스타 곱의 구성. 주요 기여는 매개수 k에 대한 점근 전개를 통해 유계 대칭 도메인 위에서 Berezin 유형의 스타 곱이 수렴함을 증명함으로써, 매끄러운 함수 위에 불변성과 공변성을 갖는 형식적 스타 곱을 도출하는 것이다.

ABSTRACT

I have chosen, in this presentation of Deformation Quantization, to focus on 3 points: the uniqueness --up to equivalence-- of a universal star product (universal in the sense of Kontsevich) on the dual of a Lie algebra, the cohomology classes introduced by Deligne for equivalence classes of differential star products on a symplectic manifold and the construction of some convergent star products on Hermitian symmetric spaces. Those subjects will appear in a promenade through the history of existence and equivalence in deformation quantization.

연구 동기 및 목표

• 리 대수의 쌍대 위에서 보편 스타 곱의 유일성(동치를 제외하고)을 확립하기 위해.
• 델리그의 코homology 클래스를 이용하여 심플렉틱 다양체 위의 미분 스타 곱의 동치류를 특성화하기 위해.
• 허미션 대칭 공간 위에서 Berezin 유형의 스타 곱을 구성하고 그 수렴성을 증명하기 위해.
• Berezin 곱의 점근 전개가 매끄러운 함수 위에 결합법칙이 성립하고, 불변성과 공변성을 갖는 형식적 스타 곱을 유도함을 보여주기 위해.

제안 방법

• 리 대수의 쌍대 위에서 모든 보편 스타 곱이 자동형사상에 의해 동치임을 보이는 간단한 방법을 사용하여, 이들이 본질적으로 동일함을 증명한다.
• Čech 코hom로 기법을 적용하여, 델리그의 코homology 클래스를 통해 심플렉틱 다양체 위의 미분 스타 곱의 동치류를 매개수화한다.
• 허미션 대칭 공간 위에서 Berezin 유형의 스타 곱을 구성할 때 매개수 k를 도입하여 기하 양자화에서의 선다발 거듭제곱을 일반화한다.
• 다항식 대수 E의 기호에 대해 Berezin 곱 f*ₖg를 분석하여, 이가 k에 대해 유리함수로 표현되며 k⁻¹에 대한 점근 전개를 갖는다는 것을 보인다.
• 점근 전개의 계수들이 형식적 스타 곱을 위한 코ycle 조건을 만족하는 이중미분 연산자임을 확립한다.
• C∞(𝒟) 위에서 유도된 스타 곱이 결합법칙이 성립하고, 불변성과 공변성을 갖는다는 것을 증명하기 위해, 기호 대수 𝒟가 이중미분 연산자를 결정할 만큼 충분한 함수를 포함하고 있음을 보인다.

실험 결과

연구 질문

• RQ1 리 대수의 쌍대 위에서 모든 보편 스타 곱은 동치인가? 만약 그렇다면 어떤 조건에서인가?
• RQ2 델리그의 코homology 클래스는 심플렉틱 다양체 위의 미분 스타 곱의 동치류를 완전하고 내재적으로 매개수화할 수 있는가?
• RQ3 유계 대칭 도메인 위에서 Berezin 유형의 스타 곱이 k⁻¹에 대한 형식적 급수로서 수렴하는가?
• RQ4 Berezin 곱의 점근 전개가 전체 매끄러운 함수 대수 위에 잘 정의되고 결합법칙이 성립하는 스타 곱을 유도할 수 있는가?

주요 결과

• 모든 리 대수의 쌍대 위에서의 보편 스타 곱은 간단한 방법으로 동치임을 증명하여 강력한 유일성 결과를 확립한다.
• 델리그의 코homology 클래스는 Čech 코hom로를 통해 심플렉틱 다양체 위의 미분 스타 곱의 동치류를 완전하고 내재적으로 매개수화한다.
• 허미션 대칭 공간 위에서의 Berezin 곱 f*ₖg는 k⁻¹의 거듭제곱에 대한 점근 전개를 가지며, 이는 k의 유리함수로 수렴한다.
• 점근 전개의 계수들은 C∞(𝒟) 위에서 불변성과 공변성을 갖는 스타 곱을 정의하는 이중미분 연산자이다.
• 유도된 스타 곱은 코ycle 조건이 이중미분 연산자에 의해 만족되므로 결합법칙이 성립함을 보인다.
• 구성 과정은 복소수 이산 시리즈 표현 위에서 다항식 미분 연산자의 기호 대수가 다양체 위의 전체 스타 곱 구조를 결정함을 보여준다.