[논문 리뷰] Representation of small conformal algebra

D.M. Belov|ArXiv.org|2002. 10. 21.

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

한 줄 요약

이 논문은 스트링 필드 이론의 $\kappa$-기저에서 작은 conformal 대칭 대수 생성자 $L_{-1}, L_0, L_1$가 핵자(operator)가 아니라 차분 연산자(difference operator)로 표현됨을 밝혀, 이전에 존재했던 정의되지 않은 문제를 해결한다. 주요 결과는 스chwartz 함수 위에서 작용하는 $L_0$와 $L_{\pm1}$에 대한 명시적인 적분 표현을 제공하며, 이는 복소수 이동과 $\kappa$의 제곱근을 포함하고 있으며, 연속 기저에서 바르세로 대칭 대수의 구조를 유지한다.

ABSTRACT

In hep-th/0202087 it was argued that the operator L_0 is bad defined in kappa-basis as a kernel operator. Indeed, we show that L_0 is a difference operator. We also find a representation of L_1 and L_{-1} in a class of difference operators.

연구 동기 및 목표

• 이전에 hep-th/0202087에서 지적한 lin $L_0$가 $\kappa$-기저에서 핵자로 정의되지 않는 문제를 해결하기 위해.
• 차분 연산자를 사용하여 $\kappa$-기저에서 작은 conformal 대칭 대수 $\{L_{-1}, L_0, L_1\}$에 대해 잘 정의된 표현을 구성하기 위해.
• 스chwartz 함수 위에서 작용하는 $L_0$, $L_1$, $L_{-1}$에 대한 명시적인 함수 표현을 제공하여 바르세로 대칭 대수 관계와의 일致성을 확보하기 위해.
• 연산자가 복소수 $\kappa$-평면에서 $-2 < \Im\kappa < 2$ 영역의 해석적 함수 위에서 정의되며, $i2^{-}$ 표기법을 통해 폴로의 제어된 접근을 보여주기 위해.

제안 방법

• Fock 공간의 작용을 스chwartz 공간으로 옮기기 위해 관계식 $[L_0, a^\dagger(f)] = a^\dagger(L_0[f])$를 이용해 $L_0$의 작용을 1-입자 상태에서 유도한다.
• 연산자 $L_0$의 역을 취해 그린 함수 $G_0$를 정의하고, 고유벡터 생성 함수의 경로 적분을 통해 그 핵자(kernel)를 계산한다.
• 복소해석학을 이용해 핵자 $G_0(\kappa, \kappa')$를 평가하며, $\pm i$에 위치한 로그 분岐점 주위의 경로를 변형하고, $\text{csch}$ 및 $\tanh$를 포함한 알려진 적분 항등식을 적용한다.
• 식 $\int_{-\infty}^\infty \mathscr{P}\frac{1}{\sinh 2u} e^{i\beta u} du = \pi i \tanh(\pi\beta/4)$를 사용해 유도된 적분을 평가한다.
• $L_1$과 $L_{-1}$을 동일한 전략으로 구성하며, 그들이 단일 생성/소멸 연산자 성질을 가지므로 $[L_{\pm1}, a^\dagger(f)] = a^\dagger(L_{\pm1}[f])$를 통해 그 작용을 정의한다.
• 유도된 연산자가 연속 기저에서 올바른 $[L_{-1}, L_1] = 2L_0$ 및 $[L_0, L_{\pm1}] = \pm L_{\pm1}$ 교환관계를 만족하는지 검증한다.

실험 결과

연구 질문

• RQ1 왜 $L_0$는 $\kappa$-기저에서 핵자로 정의되지 않으며, 일致적인 방식으로 재정의할 수 있는가?
• RQ2 차분 연산자를 사용하여 $\kappa$-기저에서 작은 conformal 대칭 대수 $\{L_{-1}, L_0, L_1\}$를 일치적으로 표현할 수 있는가?
• RQ3 $\kappa$-기저에서 스chwartz 함수 위에서 작용하는 $L_0$, $L_1$, $L_{-1}$의 명시적인 함수 형태는 무엇인가?
• RQ4 연산자는 복소수 $\kappa$-평면에서 특이점과 분岐점, 특히 $\kappa \pm 2i$ 근처에서 어떻게 행동하는가?
• RQ5 제안된 차분 연산자들이 연속 $\kappa$-기저에서 표준 바르세로 대칭 대수 관계를 유지하는가?

주요 결과

• 연산자 $L_0$는 차분 연산자로 작용한다: $L_0[f](\kappa) = \frac{1}{4}\left[\sqrt{\kappa(\kappa + i2^{-})}f(\kappa + i2^{-}) + \sqrt{\kappa(\kappa - i2^{-})}f(\kappa - i2^{-})\right]$로 정의되며, $-2 < \Im\kappa < 2$ 영역의 해석적 함수 위에서 정의된다.
• 연산자 $L_1$은 $L_1[f](\kappa) = -\frac{\kappa}{2}f(\kappa) + \frac{i}{4}\left[\sqrt{\kappa(\kappa + i2^{-})}f(\kappa + i2^{-}) - \sqrt{\kappa(\kappa - i2^{-})}f(\kappa - i2^{-})\right]$로 주어진다.
• 연산자 $L_{-1}$은 $L_{-1}[f](\kappa) = -\frac{\kappa}{2}f(\kappa) - \frac{i}{4}\left[\sqrt{\kappa(\kappa + i2^{-})}f(\kappa + i2^{-}) - \sqrt{\kappa(\kappa - i2^{-})}f(\kappa - i2^{-})\right]$로 주어진다.
• 연산자 $L_0$의 그린 함수 $G_0$는 $G_0(\kappa, \kappa') = \left[\frac{\theta(\kappa)}{\kappa}\right]^{1/2}\left[\frac{\theta(\kappa')}{\kappa'}\right]^{1/2}\frac{1}{4\cosh\left[\frac{\pi}{4}(\kappa - \kappa')\right]}$로 명시적으로 계산되었으며, 여기서 $\theta(\kappa) = 2\tanh(\pi\kappa/4)$이다.
• $L_0$, $L_1$, $L_{-1}$ 연산자들이 스chwartz 함수 위에 작용할 때 바르세로 대칭 대수의 교환관계를 정확히 만족함을 확인하여 일치성이 입증된다.
• 유도 과정을 통해 $L_0$는 분포적 핵자로 표현될 수 없으며, 대신 $\kappa \pm 2i$ 근처의 폴로의 제어된 해석적 행동을 보이는 잘 정의된 차분 연산자임을 확인한다.