[논문 리뷰] Batalin-Vilkovisky formalism in locally covariant field theory

Kasia Rejzner|arXiv (Cornell University)|2011. 11. 22.

Noncommutative and Quantum Gravity Theories참고 문헌 10인용 수 22

한 줄 요약

이 논문은 국소적으로 공변적인 양자장 이론 내에서 Batalin-Vilkovisky (BV) 형식주의의 완전히 공변적인 표현을 제시하며, 무한차원 미분기하학과 범주론을 통해 고전적 및 양자적 측면을 통합한다. 이는 경로적분에 의존하지 않는 양자장 이론의 섭동적 대수적 구조 프레임워크를 수립하여, 재규격화된 시간순서곱의 결합법칙을 증명하고, 마스터 워드 항등식을 통해 재규격화된 양자 마스터 방정식을 정의한다.

ABSTRACT

The present work contains a complete formulation of the Batalin-Vilkovisky (BV) formalism in the framework of locally covariant field theory. In the first part of the thesis the classical theory is investigated with a particular focus on the infinite dimensional character of the underlying structures. It is shown that the use of infinite dimensional differential geometry allows for a conceptually clear and elegant formulation. The construction of the BV complex is performed in a fully covariant way and we also generalize the BV framework to a more abstract level, using functors and natural transformations. In this setting we construct the BV complex for classical gravity. This allows us to give a homological interpretation to the notion of diffeomorphism invariant physical quantities in general relativity. The second part of the thesis concerns the quantum theory. We provide a framework for the BV quantization that doesn't rely on the path integral formalism, but is completely formulated within perturbative algebraic quantum field theory. To make such a formulation possible we first prove that the renormalized time-ordered product can be understood as a binary operation on a suitable domain. Using this result we prove the associativity of this product and provide a consistent framework for the renormalized BV structures. In particular the renormalized quantum master equation and the renormalized quantum BV operator are defined. To give a precise meaning to theses objects we make a use of the master Ward identity, which is an important structure in causal perturbation theory.

연구 동기 및 목표

• 고전적 및 양자장 이론에서 Batalin-Vilkovisky 형식주의의 완전히 공변적이고 개념적으로 우아한 표현을 개발하는 것.
• 함수와 자연변환의 구조를 사용하여 범주론적 방법으로 일반 상대성 이론과 같은 미분형식 불변 이론에 적용 가능한 BV 프레임워크를 일반화하는 것.
• 경로적분 형식주의에 의존하지 않는 BV 양자화를 위한 섭동적 대수적 양자장 이론(pAQFT) 프레임워크를 구축하는 것.
• 적절한 정의역에서 재규격화된 시간순서곱의 결합법칙을 증명하여 재규격화된 BV 구조의 일관성을 확보하는 것.
• 마스터 워드 항등식을 사용하여 알제브라적 아디아바틱 극한 내에서 재규격화된 양자 마스터 방정식과 양자 BV 연산자를 정의하는 것.

제안 방법

• 고전적 장 이론에 대해 잔여다발과 그레이드 다양체 위에서 무한차원 미분기하학을 사용하여 BV 복합체를 형식화하는 것.
• 모든 공변성을 보장하기 위해 전역적으로 초구형 시공간의 범주 위에서 BV 형식주의를 함의론적 구성으로 표현하는 것.
• Koszul-Tate 해법을 통한 일반 상대성 이론에서의 미분형식 불변 물리적 양의 호모로지적 해석을 도입하는 것.
• 재규격화된 시간순서곱을 마이크로카우잘 함수류 위의 이항 연산으로 정의하고, 마스터 워드 항등식을 통해 그 결합법칙을 증명하는 것.
• 섭동적 대수적 양자장 이론 프레임워크 내에서 재규격화된 양자 BV 연산자와 양자 마스터 방정식을 구성하는 것.
• 알제브라적 아디아바틱 극한을 사용하여 재규격화된 양자 마스터 방정식에 정확한 의미를 부여하고 인과적 섭동 이론과의 일관성을 확보하는 것.

실험 결과

연구 질문

• RQ1 국소적으로 공변적인 장 이론 내에서 Batalin-Vilkovisky 형식주의를 완전히 공변적으로 어떻게 표현할 수 있는가?
• RQ2 함수와 자연변환과 같은 범주론적 구조를 사용하여 일반 상대성 이론과 같은 고전적 중력 이론에 BV 형식주의를 일반화할 수 있는가?
• RQ3 경로적분 형식주의에 의존하지 않고 BV 양자화를 어떻게 일관적으로 표현할 수 있는가?
• RQ4 마스터 워드 항등식은 pAQFT 내에서 재규격화된 양자 마스터 방정식을 정의하는 데 어떤 역할을 하는가?
• RQ5 재규격화된 시간순서곱의 결합법칙을 엄밀하게 증명하여 BV 구조의 일관성을 보장할 수 있는가?

주요 결과

• 무한차원 미분기하학을 사용하여 BV 복합체가 완전히 공변적으로 구성되었으며, 이는 고전 이론의 개념적으로 명확하고 우아한 표현을 제공한다.
• 자연변환을 사용한 함의론적 프레임워크로 BV 형식주의가 일반화되어, 고전적 중력과 미분형식 불변 이론에의 적용이 가능해졌다.
• Koszul-Tate 해법을 통한 일반 상대성 이론 내에서의 미분형식 불변 물리적 양에 대한 호모로지적 해석이 확립되었다.
• 재규격화된 시간순서곱의 결합법칙이 엄밀히 증명되었으며, 이는 양자 이론 내에서 일관된 재규격화된 BV 구조의 기초를 형성한다.
• 마스터 워드 항등식을 사용하여 섭동적 대수적 양자장 이론 내에서 재규격화된 양자 마스터 방정식과 양자 BV 연산자가 정의되었다.
• 이 프레임워크는 경로적분 없이도 양자화를 수행할 수 있으며, 인과적 섭동 이론과 알제브라적 아디아바틱 극한과의 호환성을 유지한다.