[논문 리뷰] Chiral differential operators via Batalin-Vilkovisky quantization

Vassily Gorbounov, Owen Gwilliam외 1명|arXiv (Cornell University)|2016. 10. 30.

Algebraic structures and combinatorial models참고 문헌 29인용 수 17

한 줄 요약

이 논문은 Batalin-Vilkovisky 양자화, 인수화 대수, 그리고 재규격화를 사용하여 양자 곡면 βγ 이론을 엄밀히 구성한다. 그 결과, 양자 관측가의 인수화 대수가 복소다양체 X 위의 채널 미분 연산자(CDOs)의 층과 동형인 인수화 대수임을 증명한다. 주요 결과는 복소 σ-모델을 통한 정점 대수의 변형 양자화를 수립하며, Gelfand-Fuks 코homology에서의 첫 번째 Pontryagin 클래스와 관련된 위상적 장벽이 존재한다.

ABSTRACT

We show that the local observables of the curved beta gamma system encode the sheaf of chiral differential operators using the machinery of the book "Factorization algebras in quantum field theory", by Kevin Costello and the second author, which combines renormalization, the Batalin-Vilkovisky formalism, and factorization algebras. Our approach is in the spirit of deformation quantization via Gelfand-Kazhdan formal geometry. We begin by constructing a quantization of the beta gamma system with an n-dimensional formal disk as the target. There is an obstruction to quantizing equivariantly with respect to the action of formal vector fields on the target disk, and it is naturally identified with the first Pontryagin class in Gelfand-Fuks cohomology. Any trivialization of the obstruction cocycle thus yields an equivariant quantization with respect to an extension of formal vector fields by the closed 2-forms on the disk. By results in the book listed above, we then naturally obtain a factorization algebra of quantum observables, which has an associated vertex algebra easily identified with the formal beta gamma vertex algebra. Next, we introduce a version of Gelfand-Kazhdan formal geometry suitable for factorization algebras, and we verify that for a complex manifold with trivialized first Pontryagin class, the associated factorization algebra recovers the vertex algebra of CDOs on the complex manifold.

연구 동기 및 목표

• 곡면 βγ 이론의 연산자 대수가 복소다양체 X의 채널 미분 연산자(CDOs)와 동형임이라는 물리적 주장의 수학적 검증.
• Costello-Gwilliam의 재규격화, Batalin-Vilkovisky 형식론, 인수화 대수의 프레임워크를 사용하여 곡면 βγ 이론에 대한 엄밀한 양자장이론의 구성.
• 대상에 대한 형식적 벡터장에 대한 등변 양자화의 장벽을 Gelfand-Fuks 코homology에서의 첫 번째 Pontryagin 클래스로 규명.
• Gelfand-Kazhdan 형식 기하학을 인수화 대수의 맥락으로 일반화하고, 장벽의 단순화가 X 위의 CDOs를 유도함을 보여줌.
• 이론의 무한체적 극한이 헬름홀로픽 βγ 이론을 복원하고, 헬름홀로픽 및 반복합성 섹터로의 채널 분할을 이끌어냄.

제안 방법

• Batalin-Vilkovisky 형식론과 재규격화 기법을 사용하여 복소다양체 X를 대상으로 하는 리만 곡면 위의 곡면 βγ 이론에 대한 양자장이론을 구성.
• 행동 함수수를 $ S_{IVL}(f,B) = \int_S \mathrm{ev}(d_+f \wedge B) $ 로 정의하며, 이는 무한체적 극한에서 헬름홀로픽 및 반복합성 부분을 분리시킨다.
• 장의 복소화를 통해 미분 $ d_+ $ 를 $ \overline{\partial}_{V^{1,0}} + \partial_{V^{0,1}} $ 로 분해함으로써 이론의 채널 분할을 가능하게 한다.
• BV 양자화로부터 유도된 양자 관측가의 인수화 대수를 구성하며, 이는 X 위의 CDO 층을 코딩한다.
• 인수화 대수의 맥락에 맞게 조정된 Gelfand-Kazhdan 형식 기하학의 버전을 도입하여 형식 디스크 위의 국소 모델을 가능하게 한다.
• Gelfand-Fuks 코hom로의 장벽 코chain의 단순화는 $ \mathrm{W}_n $ 에 대한 $ \widehat{\Omega}^2_{\mathrm{cl}} $ 의 확장에 대한 등변 양자화를 유도하며, 이는 CDO 정점 대수로 이어진다.

실험 결과

연구 질문

• RQ1 현대 양자장이론 도구인 BV 형식론과 인수화 대수를 사용하여 곡면 βγ 이론을 어떻게 엄밀히 양자화할 수 있는가?
• RQ2 곡면 βγ 이론의 양자 관측가의 정확한 수학적 구조는 무엇이며, 채널 미분 연산자와의 관계는 어떻게 되는가?
• RQ3 형식 디스크 위에서 βγ 이론의 등변 양자화를 방해하는 첫 번째 Pontryagin 클래스의 역할은 무엇인가?
• RQ4 Gelfand-Kazhdan 형식 기하학은 인수화 대수의 맥락으로 어떻게 일반화되며, 이는 복소다양체 위의 CDOs를 기술하는 데 어떻게 기여하는가?
• RQ5 βγ 이론의 무한체적 극한을 사용하여 헬름홀로픽 βγ 이론과 그에 수반된 정점 대수를 복원할 수 있는가?

주요 결과

• 곡면 βγ 이론의 양자 관측가의 인수화 대수는 복소다양체 X 위의 채널 미분 연산자(CDOs)의 층과 동형이다.
• 대상 디스크 위의 형식적 벡터장 $ \mathrm{W}_n $ 에 대한 등변 양자화의 장벽은 자연스럽게 Gelfand-Fuks 코homology에서의 첫 번째 Pontryagin 클래스로 식별된다.
• 이 장벽 코심플리스의 단순화는 $ \mathrm{W}_n $ 과 $ \widehat{\Omega}^2_{\mathrm{cl}} $ 의 확장에 대한 등변 양자화를 유도하며, 이는 CDO 정점 대수로 이어진다.
• 양자 관측가의 관련 정점 대수는 형식적 βγ 정점 대수로 식별된다.
• 첫 번째 Pontryagin 클래스가 단순화된 복소다양체 X에 대해, 구성된 인수화 대수는 CDO 정점 대수 $ \mathrm{CDO}_{X,\alpha} $ 를 복원한다.
• 복소화된 이론의 채널 분할은 작용을 헬름홀로픽 및 반복합성 섹터로 분리하며, 헬름홀로픽 부분은 CDO의 구조를 코딩한다.