[논문 리뷰] Deformation quantization of a Kaehler-Poisson structure vanishing on a Levi nondegenerate hypersurface

Alexander Karabegov|ArXiv.org|2006. 08. 02.

Advanced Topics in Algebra참고 문헌 10인용 수 3

한 줄 요약

이 논문은 리만 비퇴화 초표면에서 0이 되고 나머지 곳에서는 비퇴화인 켈러-파아송 구조를 지닌 복소다양체 위에서 분리 변수를 가진 변형 양자화의 존재에 대한 간단한 증명을 제공한다. 올림 공간 위에서의 형식적 변형을 통해 스타 곱을 구성하고 이를 다시 투사함으로써, 저자는 초표면의 보완부에서의 표준 스타 곱을 전체 다양체로 확장하며, 분리 변수 성질을 유지하고 특이점에서의 매끄러움을 보장한다.

ABSTRACT

We give an elementary proof of the result by Leichtnam, Tang, and Weinstein that there exists a deformation quantization with separation of variables on a complex manifold endowed with a Kaehler-Poisson structure vanishing on a Levi nondegenerate hypersurface and nondegenerate on its complement.

연구 동기 및 목표

• 켈러-파아송 다양체에서 파아송 구조가 리만 비퇴화 초표면에서 0이 되고 나머지 곳에서는 비퇴화일 경우, 분리 변수를 가진 변형 양자화의 존재에 대한 간단하고 자그레인 증명을 제공하는 것.
• 초표면의 비퇴화 보완부에서의 표준 스타 곱을 전체 다양체로 확장하여 특이점에서의 매끄러움과 일관성을 보장하는 것.
• 이전 연구에서 레이히트남, 반그, 웨인슈타인에 의해 사용된 파라-켈러 리 대수다발과 같은 고급 도구에 의존하지 않고도 이러한 양자화를 구성할 수 있음을 보여주는 것.
• 지역적 성질을 존중하고 군 작용에 대한 불변성을 허용하는 전역적 구성법을 수립하는 것. 이는 CP^n의 예에서 설명된다.

제안 방법

• 초표면 S의 정의 함수 ψ를 사용하여 국소적으로 다양체를 $\tilde{U} = U \times \mathbb{C}^\times$ 로 올림하여 새로운 좌표 u를 도입한다.
• ψ의 이阶도 도함수로부터 헤르미트 행렬 Γ를 정의하고, 그의 가역성을 가정하여 $\tilde{U}$ 위에 의사-켈러 구조를 구성한다.
• 올림된 공간 위에서 표준적인 분리 변수를 가진 형식적 변형 양자화를 사용하여 $\mathcal{F}(\tilde{U})$ 위의 형식적 로렌트 급수 공간에 스타 곱 *를 정의한다.
• $(\frac{h}{u\bar{u}})$의 비음수 거듭제곱을 포함하는 부분대수 $\mathcal{F}_{\geq 0}(\tilde{U})$를 정의하고, $\sigma(\sum_r (\frac{h}{u\bar{u}})^r f_r) = \sum_r N_r(\nu) \psi^r f_r$ 를 통해 $C^\infty(U)[[\nu]]$ 로의 투사 $\sigma$ 를 정의한다. 여기서 $N_r(\nu)$ 는 정규화 계수이다.
• 스타 곱 * 를 $\sigma$ 를 통해 당겨옴으로써, U 위에서 새로운 스타 곱 $\star$ 를 정의한다. 이 곱은 $U \setminus S$ 에서 원래의 표준 곱과 일치하며, S를 넘어서도 매끄럽게 연장된다.
• 국소 정의 함수 $\psi$ 가 $M \setminus S$ 에서 의사-켈러 형식 $\omega$ 의 잠재함수로 $\log|\psi|$ 를 만족하도록 하여, 겹치는 차트들 간의 호환성을 확보함으로써 구성의 전역화를 수행한다.

실험 결과

연구 질문

• RQ1 켈러-파아송 다양체에서 파아송 구조가 리만 비퇴화 초표면에서 0이 되고 나머지 곳에서는 비퇴화일 경우, 분리 변수를 가진 변형 양자화를 구성할 수 있는가?
• RQ2 비퇴화 보완부에서의 표준 스타 곱이 전체 다양체로 매끄럽게 확장되어 분리 변수 성질을 유지하는가?
• RQ3 이러한 확장은 이전 연구에서 사용된 파라-켈러 리 대수다발과 같은 고급 기하 도구 없이도 달성 가능한가?
• RQ4 기저 다양체에서의 스타 곱을 더 높은 차원의 공간으로 올려, 파아송 구조가 비퇴화가 되게 하여 구성적 확장을 가능하게 할 수 있는 표준적인 방법이 존재하는가?
• RQ5 이러한 양자화는 CP^n의 경우처럼 군 작용에 대해 불변이 되도록 전역적으로 정의될 수 있는가? (예: SU(n,1) 대칭성)

주요 결과

• 켈러-파아송 다양체 M 위에서 파아송 구조가 리만 비퇴화 초표면 S에서 0이 되더라도, 의사-켈러 다양체 $M \setminus S$ 에서의 표준 변형 양자화와 분리 변수 성질을 가진 스타 곱이 전체 다양체 M 위로 잘 정의된 변형 양자화로 확장된다.
• 확장은 올림 공간 $\tilde{U} = U \times \mathbb{C}^\times$ 위에서의 형식적 스타 곱에서의 투사 $\sigma$ 를 통해 이루어지며, 결과적으로 U 위에서의 곱 $\star$ 가 매끄럽고 $U \setminus S$ 에서 원래의 곱과 일치함을 보장한다.
• 스타 곱 전개에서의 이차미분 연산자 $C_r(f,g)$ 는 S 위에서 $f \star g - fg = 0$ 을 만족함으로써, 곱이 특이점에서 일계수로 0이 됨을 확인한다. 이는 요구 조건을 충족한다.
• 이 구성은 국소적이며 겹치는 차트들 간에 호환 가능하며, $\log|\psi|$ 가 $M \setminus S$ 에서 의사-켈러 형식 $\omega$ 의 국소 잠재함수임을 조건으로 하여 전역적 확장을 가능하게 한다.
• 이 방법은 [LTW]에서 사용된 파라-켈러 리 대수다발 접근법에 비해 더 단순한 대체 방법을 제공하며, 형식적 급수와 좌표 올림 기법에만 의존한다.
• CP^n과 단위 구면 S의 경우, 이 구성은 $\mathbb{C}^n \setminus S$ 에서 표준 분리 변수 곱과 일치하는 전역적 $SU(n,1)$-불변 스타 곱을 도출한다. 이는 대칭 설정에서 이 방법의 효과성을 보여준다.