[논문 리뷰] Formal distribution algebras and conformal algebras

Victor G. Kač|ArXiv.org|1997. 09. 17.

Algebraic structures and combinatorial models참고 문헌 15인용 수 90

한 줄 요약

이 논문은 연산자 곱 전개(OPE)의 푸리에 변환으로 유도된 $\lambda$-곱을 사용하여, 국소성과 함께 리 대수와 결합 대수를 연구하기 위한 우아하고 명확한 대수적 구조를 제공하는 형식적 프레임워크를 제안한다. 주요 기여는 균일한 코homological 이론을 통한 conformal 대수의 통합적 접근이며, 바이라소로 및 커런트 대수의 명시적 계산을 통해 게르파인드-푸흐 코homology와 리 대수 코homology와의 연결 고리를 드러낸다.

ABSTRACT

Conformal algebra is an axiomatic description of the operator product expansion (or rather its Fourier transform) of chiral fields in a conformal field theory. This is a review of recent developments in the subject.

연구 동기 및 목표

• OPE의 푸리에 변환인 $\lambda$-곱을 사용하여 conformal 대수의 체계적 대수적 프레임워크를 개발함으로써 국소 대수의 구조를 단순화하고 명확화한다.
• 클래식한 리 대수 코homology를 conformal 설정으로 일반화하여 리 conformal 대수에 대한 코homological 이론을 수립하고, 확장과 중심 확장을 포함한 응용을 다룬다.
• 유한 conformal 대수와 그 표현을 분류하며, 특히 $\mathrm{Cend}_N$, $gc_N$, $W_n$에 초점을 맞추고 다항식 모듈러스 위에서의 작용과 그 구조를 이해한다.
• 형식적 분포 대수에 $\Gamma$-국소 및 $\Gamma$-틀어진 구조를 도입하고, 푸리에 변환과 미분 연산자를 통해 conformal 대수와의 관계를 설정함으로써 이론을 확장한다.
• 바이라소로 대수와 커런트 대수와 같은 주요 예제의 코homology 군을 계산하여, 게르파인드-푸흐 및 리 대수 코homology와 같은 고전 이론과의 연결 고리를 드러낸다.

제안 방법

• 일변수 또는 이변수에 대한 $U$-값을 가진 형식적 분포를 정의하고, 계수를 추출하기 위해 잔류 사상(residue map)을 사용하여 라우렌트 급수로 분포를 표현한다.
• 잔류 작용의 생성 함수로 형식적 $\delta$-함수 $\delta(z-w)$를 도입하고, 조건 $(z-w)^N a(z,w) = 0$이 큰 $N$에 대해 성립함으로써 국소성을 정의한다.
• OPE 표현을 수립: 국소 형식적 분포 $a(z,w)$는 유일한 전개 $\sum_j c^j(w) \partial_w^{(j)} \delta(z-w)$를 가지며, 여기서 $c^j(w)$는 OPE 계수이다.
• $\lambda$-곱을 형식적 푸리에 변환을 통해 정의한다: $a(w)_{\lambda}b(w) = \Phi^\lambda_{z,w}(a(z)b(w)) = \sum_j \lambda^{(j)} (a_{(j)}b)(w)$로, 이는 $j$-번째 곱을 생성한다.
• 비대칭성과 $\partial$-등변성 조건을 만족하는 $\mathbb{C}[\lambda_1,\dots,\lambda_n] \otimes M$ 값을 가진 코chains의 기본 복합체를 구성하고, 미분 $d$를 계량화된 라이프니츠 법칙으로 정의한다.
• 이미지 $\partial$를 몫으로 취하여 감소된 코homology 복합체를 정의하고, 바이라소로 및 커런트 대수와 같은 주요 예제의 코homology 군을 계산한다.

실험 결과

연구 질문

• RQ1 협응장 이론에서 치랄 장들의 연산자 곱 전개(OPE)는 $\lambda$-곱을 통해 어떻게 대수적으로 형식화될 수 있는가?
• RQ2 유한 리 conformal 대수의 구조는 무엇이며, 고전적 리 대수와 그 표현과 어떻게 관련되어 있는가?
• RQ3 코homology 이론은 어떻게 conformal 대수로 일반화될 수 있으며, 이 맥락에서 코homology 군은 무엇을 분류하는가?
• RQ4 $\mathbb{C}[\partial]^N$ 위에서 기하학적으로 기하학적으로 불가약하게 작용하는 $gc_N$의 유한 부분대수는 무엇이며, $W_n$과 같은 알려진 대수와 어떻게 관련되어 있는가?
• RQ5 형식적 분포 대수, $\Gamma$-국소 구조, 그리고 conformal 대수 사이의 관계는 무엇이며, 이를 통해 이론을 어떻게 확장할 수 있는가?

주요 결과

• $\lambda$-곱은 OPE의 깔끔한 생성함수 표현을 제공하여 conformal 대수의 구조를 더 명확하고 대수적으로 다룰 수 있도록 한다.
• 자명 계수를 가진 바이라소로 conformal 대수의 코homology는 $\widetilde{H}^0 = \widetilde{H}^3 = \mathbb{C}$이고 나머지 $n$에 대해 $\widetilde{H}^n = 0$이며, $H^n$은 $n=0,2,3$일 때 1차원이 되어 게르파인드-푸흐 코homology와 연결된다.
• 커런트 대수 $\mathrm{Cur}\mathfrak{g}$의 코호몰로지 $\widetilde{H}^*(R,\mathbb{C})$는 지수 $m_i$를 가진 생성자들에 대한 그라스만 대수와 동형이며, 여기서 $m_i$는 $\mathfrak{g}$의 지수이다. 이는 $H^*(\mathfrak{g},\mathbb{C})$와 일치한다.
• 감소된 코호몰로지 $H^2(R,\mathbb{C})$는 $\mathrm{Cur}\mathfrak{g}$에 대해 1차원이며 중심 확장을 분류하고, $H^1(R,\mathrm{Chom}(N,M))$는 모듈러스의 확장을 분류한다.
• $\mathrm{Cend}_N$과 $gc_N$의 코호몰로지는 표현 이론을 통해 완전히 기술되며, $\mathbb{C}[\partial]^N$ 위에서 기하학적으로 불가약하게 작용하는 유한 부분대수는 [DK]에서 분류되어 있다.
• 형식적 푸리에 변환은 기본 항등식 $\Phi^\lambda_{z,w}\Phi^\mu_{x,w} = \Phi^{\lambda+\mu}_{x,w}\Phi^\lambda_{z,x}$를 만족하며, 이는 OPE의 조합과 $\lambda$-곱의 일관성을 증명한다.