[논문 리뷰] Non-Locality of Equivariant Star Products on $T*(RP^n)$

Ranee Brylinski|ArXiv.org|2000. 10. 27.

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

한 줄 요약

이 논문은 실수 사영 공간 $T^*(\mathbb{RP}^n)$의 등변 스타 곱의 비국소성에 대해 연구하며, $\lambda = \frac{1}{2}$ 이고 $n$ 이 홀수일 때 스타 곱 $\star_\lambda$의 계수 $C_p^\lambda(\cdot,\cdot)$에 대한 명시적 공식을 유도한다. 이 계수들은 오일러 벡터장 항목의 역수를 통해 비미분 연산자를 포함하며, $\mathbb{CP}^n$ 위의 새로운 $SL_{n+1}(\mathbb{C})$-불변 이미분 연산자 $Z_p$를 통해 표현된다. 이는 $C_p^\lambda$가 $\lambda = \frac{1}{2}$, $p=1$를 제외한 경우에만 이미분적이지 않음을 증명하며, $(E + r)^{-1}$ 항목의 존재로 인해 비국소성이 발생함을 보여준다.

ABSTRACT

Lecomte and Ovsienko constructed $SL_{n+1}(R)$-equivariant quantization maps $Q_λ$ for symbols of differential operators on $λ$-densities on $\RP^n$. We derive some formulas for the associated graded equivariant star products $star_λ$ on the symbol algebra $Pol(T*\RP^n)$. These give some measure of the failure of locality. Our main result expresses (for $n$ odd) the coefficients $C_p$ of $star_λ$ when $λ=\half$ in terms of some new $SL_{n+1}(C)$-invariant algebraic bidifferential operators $Z_p$ on $T*\CP^n$ and the operators $(E+\frac{n}{2}\pm s)^{-1}$ where $E$ is the fiberwise Euler vector field and $s\in\{1,2,...,[\frac{p}{2}]\}$.

연구 동기 및 목표

• Lecomte-Ovsienko 양자화 맵에서 유도된 $\mathrm{Pol}(T^*\mathbb{RP}^n)$의 기호 대수에서의 등변 스타 곱 $\star_\lambda$의 구조를 분석한다.
• 특히 $\lambda = \frac{1}{2}$ 이고 $p \geq 2$일 때 $C_p^\lambda(\cdot,\cdot)$ 계수의 국소성 실패, 즉 비이미분 성격을 이해한다.
• $\lambda = \frac{1}{2}$ 이고 $n$ 이 홀수일 때 $C_p^\lambda$의 비국소적 구조를 캐릭터라이즈하는 새로운 $SL_{n+1}(\mathbb{C})$-불변 대수적 이미분 연산자 $Z_p$를 구성하고 특성화한다.
• $C_p^\lambda(\phi,\psi)$를 $Z_p$와 역 오일러 연산자 $(E + \frac{n}{2} \pm s)^{-1}$의 조합으로 정확한 공식으로 표현함으로써, 비국소성의 대수적 기원을 드러낸다.

제안 방법

• 논문 [L-O, §4.5]의 공식을 활용하여 Lecomte-Ovsienko $SL_{n+1}(\mathbb{R})$-등변 양자화 맵 $\mathcal{Q}_\lambda$ 로부터 스타 곱 $\star_\lambda$를 유도하고, 계수 $C_p^\lambda(\phi,\psi)$를 계산한다.
• 기저 위상에서의 비틀림 오일러 벡터장 $E$를 도입하고, 그 역수 $E + r$ 이 계수에 나타나 비국소성을 유도하는 원인을 분석한다.
• 실수 다르부 좌표의 해석적 계속과 복소화를 통해 $T^*\mathbb{CP}^n$ 위의 새로운 $SL_{n+1}(\mathbb{C})$-불변 이미분 연산자 $Z_p(\phi,\psi)$를 구성한다.
• $\lambda = \frac{1}{2}$, $n$ 이 홀수일 때 $C_p^\lambda(\phi,\psi) = \frac{1}{\prod_{s=1}^{[p/2]} (E' + s)(E' - s + p - d)} Z_p(S_p^{-1}\phi, S_p^{-1}\psi)$ 의 관계를 활용하여 $C_p^\lambda$ 를 $Z_p$ 와 역 오일러 연산자로 표현한다.
• $Z_p$ 의 $SL_{n+1}(\mathbb{C})$-불변성 을 활용하여 연산자를 대수적으로 $T^*\mathbb{CP}^n$ 에로 확장함으로써 전역적으로 잘 정의됨을 보장한다.
• 모멘텀 함수 $\mu^x$ 와 그 양자화를 활용하여 $C_2(\mu^x, \psi)$ 의 명시적 공식을 유도하며, $1/(E'(E'+1))$ 과 4차 미분 연산자 $L^x$ 를 포함함을 보여 비국소성을 증명한다.

실험 결과

연구 질문

• RQ1 왜 $\lambda = \frac{1}{2}$ 이고 $p \geq 2$ 일 때 등변 스타 곱 $\star_\lambda$ 의 계수 $C_p^\lambda(\cdot,\cdot)$ 가 이미분적이지 않은가?
• RQ2 비국소 항목의 대수적 구조는 무엇이며, 이를 체계적으로 묘사할 수 있는가?
• RQ3 $\lambda = \frac{1}{2}$ 이고 $n$ 이 홀수일 때 비국소 계수 $C_p^\lambda(\phi,\psi)$ 는 $\mathbb{CP}^n$ 위의 $SL_{n+1}(\mathbb{C})$-불변 이미분 연산자로 표현될 수 있는가?
• RQ4 역 오일러 연산자 $(E + r)^{-1}$ 이 $C_p^\lambda$ 의 비국소성에 기여하는 방식은 무엇이며, 스타 곱의 구조에서 어떤 역할을 하는가?
• RQ5 비국소 부분을 캐릭터라이즈하는 데 쓰이는 이미분 연산자 $Z_p$ 는 표준적인 방법으로 구성될 수 있으며, 그 총 차수는 얼마인가?

주요 결과

• $\lambda = \frac{1}{2}$ 이고 $p \geq 2$ 일 때 계수 $C_p^\lambda(\cdot,\cdot)$ 는 역 오일러 연산자 $(E + r)^{-1}$ 의 존재로 인해 이미분적이지 않으며, 이는 비국소성을 유도한다.
• $\lambda = \frac{1}{2}$ 이고 $n$ 이 홀수일 때 계수 $C_p^\lambda(\phi,\psi)$ 는 $C_p^\lambda(\phi,\psi) = \frac{1}{\prod_{s=1}^{[p/2]} (E' + s)(E' - s + p - d)} Z_p(S_p^{-1}\phi, S_p^{-1}\psi)$ 로 표현되며, 여기서 $Z_p$ 는 총 차수 $-p$ 인 새로운 $SL_{n+1}(\mathbb{C})$-불변 이미분 연산자이다.
• $Z_2(\phi,\psi)$ 는 명시적으로 계산되었으며, 4차 미분 연산자임을 보였다. $\phi = \mu^x$ 일 때 $C_2(\mu^x, \psi) = \frac{1}{E'(E'+1)} L^x(\psi)$ 를 만족하며, $L^x$ 는 차수 4이고 $n \geq 2$ 일 때 $E' + c$ 형식의 왼쪽 인수를 가지지 않아 비국소성을 증명한다.
• $L^x$ 는 $T^*\mathbb{CP}^n$ 위에 고유하게 확장 가능한 대수적 미분 연산자이며, $n \geq 2$ 일 때 차수 4이며, $n=1$ 일 때는 다른 형태를 띠며 차수 3이다.
• $\phi \in \mathcal{A}^d$ 일 때 공식 $C_p^\lambda(\phi,\psi) = \frac{1}{\prod_{i=1}^{[p/2]} (E' + i)(E' - i + p - d)} L_p^\phi(\psi)$ 가 성립하며, $L_p^\phi$ 는 미분 연산자이고, $\phi \in \mathcal{R}$ (모멘텀 함수로 생성된 대수) 이면 $L_p^\phi$ 는 대수적이다.
• 복소화와 $SL_{n+1}(\mathbb{C})$-불변성에 기반한 $Z_p$ 의 구성은 $Z_p$ 가 포아송 텐서의 거듭제곱이 아니라는 것을 보장한다. 이는 그 총 차수가 이를 해석할 수 있을 만큼 너무 크기 때문이다.