[논문 리뷰] Null Vectors in Logarithmic Conformal Field Theory

Michael Flohr|ArXiv.org|2000. 09. 18.

Advanced Differential Equations and Dynamical Systems인용 수 11

한 줄 요약

이 논문은 유리 conformal field theory에서의 영벡터 개념을, 분해불가능 표현이 제로 셀을 가진 임의의 표현을 포함하는 로그 conformal field theory(LCFT)로 일반화한다. 로그 필드를 포함하는 상관함수는 로그 영벡터로 인해 비동차 미분방정식을 만족하며, 이는 LCFT에서 고차원 상관함수를 이러한 비동차 방정식의 점진적 해법을 통해 체계적으로 계산할 수 있음을 보여준다.

ABSTRACT

The representation theory of the Virasoro algebra in the case of a logarithmic conformal field theory is considered. Here, indecomposable representations have to be taken into account, which has many interesting consequences. We study the generalization of null vectors towards the case of indecomposable representation modules and, in particular, how such logarithmic null vectors can be used to derive differential equations for correlation functions. We show that differential equations for correlation functions with logarithmic fields become inhomogeneous.

연구 동기 및 목표

• 유리 CFT에서의 영벡터 형식을 분해불가능 표현이 제로 셀을 가진 LCFT로 확장하는 것.
• 바이아소로 알제브라의 랭크-2 제로 셀 맥락에서 로그 영벡터가 어떻게 유도되는지 이해하는 것.
• LCFT에서 상관함수에 대한 미분방정식을 유도하여, 로그 구조로 인해 비동차가 되는 이유를 보여주는 것.
• 더 낮은 차수의 로그 필드를 가진 conformal block으로 환원함으로써 n점 함수를 점진적으로 계산하는 프레임워크를 수립하는 것.
• 표준 BPZ 융합 규칙 접근법이 로그 필드를 포함하는 비영인 OPE로 인해 LCFT에서는 수정되어야 한다는 것을 보여주는 것.

제안 방법

• 비대각(제로 셀) 표현을 포함하는 바이아소로 대칭의 작용을 일반화하여, $ L_0 |h;1\rangle = h|h;1\rangle + |h;0\rangle $ 및 $ L_0 |h;0\rangle = h|h;0\rangle $ 를 만족하는 표현을 정의한다.
• 로지필드의 conformal map 하에서의 변환 법칙을 유도: $ \phi_h(z) = \left(\frac{\partial f}{\partial z}\right)^h \left(1 + \log(\partial_z f) \delta_h\right) \phi_h(f(z)) $, 이는 비1차 필드 성질을 반영한다.
• 바이아소로 모드에 대한 워드 항등식을 사용하여 상관함수에 작용하는 미분 연산자를 도출하며, 비대각 작용 $ \delta_h \Psi_h = \Phi_h $ 를 통합한다.
• 로지필드 $ \Psi_h $ 의 수준-2 영상상자( descendant )를 구성하여, 이가 무게 $ h+2 $ 의 1차 필드를 생성함을 보여준다: $ [L_{-n}, \Psi_h(z)] = z^n \left( (n+1)h + z\partial \right) \Psi_h(z) $.
• 두 로지필드의 OPE를 분석하여, $ \Psi_h \times \Psi_h $ 가 항등원의 로그 필드 $ \tilde{\mathbb{I}} $ 를 생성할 수 있음을 보이며, 이는 OPE에 로그 항을 유도한다.
• LCFT에서 n점 함수의 계층적 해법이 비동차 미분방정식에 의해 해결되며, 그 비동차항은 더 적은 수의 로그 필드를 가진 상관함수의 conformal block으로서 나타남을 보여준다.

실험 결과

연구 질문

• RQ1 분해불가능 표현이 존재하는 로그 conformal field theory에서 영벡터는 어떻게 일반화되는가?
• RQ2 LCFT에서 로그 필드를 포함하는 상관함수를 지배하는 미분방정식은 무엇인가?
• RQ3 LCFT에서 상관함수는 왜 유리 CFT에서와 같이 동차 방정식이 아니라 비동차 방정식이 되는가?
• RQ4 LCFT에서 로그 필드의 OPE는 1차 필드의 OPE와 어떻게 다른가?
• RQ5 표준 BPZ 융합 규칙 접근법은 LCFT로 확장될 수 있는가? 만약 가능하면 융합 규칙은 어떻게 수정되는가?

주요 결과

• 로그 필드를 포함하는 LCFT의 상관함수는 로그 영벡터 존재로 인해 비동차 미분방정식을 만족한다.
• 비동차 항은 더 적은 수의 로그 필드를 가진 상관함수의 conformal block에서 기인하며, 이는 점진적 해법 체계를 가능하게 한다.
• 로그 필드 $ \Psi_h $ 의 수준-2 영영상상자( descendant )는 무게 $ h+2 $ 의 최고무게 상태에 비례하는 상태를 생성하며, 이는 숨겨진 1차 구조를 나타낸다.
• 두 로그 필드의 OPE $ \Psi_h \times \Psi_h $ 는 로그 항등원 필드 $ \tilde{\mathbb{I}} $ 를 포함하며, 이는 $ \tilde{\mathbb{I}}(z)\tilde{\mathbb{I}}(w) \sim -2\log(z-w)\tilde{\mathbb{I}}(w) $ 를 통해 로그 항을 생성한다.
• LCFT에서 바이아소로 대칭의 표현 이론은 제로 셀을 요구하며, 이는 로그 파트너 간의 두 점 함수는 비영이 되고, 1차 필드 간의 두 점 함수는 영이 된다는 것을 의미한다.
• 두 반대칭 스칼라 필드를 사용한 $ c = -2 $ LCFT의 구성은 영모드가 로그 항을 생성하는 역할을 함을 확인하며, $ \tilde{\mathbb{I}}(z) = -\frac{1}{2}\epsilon_{\alpha\beta} :\theta^\alpha\theta^\beta: (z) $ 라는 표현을 제공한다.