[논문 리뷰] Renormalisation and the Batalin-Vilkovisky formalism

Kevin J. Costello|ArXiv.org|2007. 06. 11.

Homotopy and Cohomology in Algebraic Topology참고 문헌 24인용 수 43

한 줄 요약

이 논문은 Batalin-Vilkovisky 형식론을 사용하여 컴act 다양체 위의 양자장론에 대한 재규격화 절차를 제시한다. 열핵 방법과 점근 전개를 활용하여 유한한 효과적 작용을 정의한다. 이는 Chern-Simons 이론의 대칭을 유지하는 재규격화를 달성하며, 리 대수 값의 다양체의 코homology 위에 고차원 루프 $L_\infty$-구조를 유도한다.

ABSTRACT

This paper gives a way to renormalise certain quantum field theories on compact manifolds. Examples include Yang-Mills theory (in dimension 4 only), Chern-Simons theory and holomorphic Chern-Simons theory. The method is within the framework of the Batalin-Vilkovisky formalism. Chern-Simons theory is renormalised in a way respecting all symmetries (up to homotopy). This yields an invariant of smooth manifolds: a certain algebraic structure on the cohomology of the manifold tensored with a Lie algebra, which is a "higher loop" enrichment of the natural Lie-infinity structure.

연구 동기 및 목표

• Batalin-Vilkovisky 프레임워크 내에서 컴act 다각체 위의 양자장론에 대한 체계적인 재규격화 방법을 개발하기 위해.
• 특히 Chern-Simons과 같은 위상장론에서, 재규격화가 호모토피를 통해 모든 게이지 대칭을 유지하도록 보장하기 위해.
• 절단을 포함한 열핵 적분의 점근 전개를 통해 효과적 작용을 유한하게 정의하기 위해.
• 다양체의 코homology 위에 불변의 대수적 구조를 구성하여, 고전적 $L_\infty$-구조를 고차원 루프로 일반화하기 위해.
• 미분 연산자와 형식적 지수 사상에 의해 유한 차원 경로 적분의 엄밀한 무한 차원 해석을 제공하기 위해.

제안 방법

• 양성 타원형 두 번째 순서 연산자인 $H = [Q, Q^{GF}]$를 만족하는 홀수 자기수반 미분 연산자 $Q^{GF}$를 이용한 게이지 고정 조건을 사용한다.
• 프로파게이터를 $P(\varepsilon, \infty) = \int_\varepsilon^\infty (Q^{GF} \otimes 1) K_t \, dt$로 정의한다. 여기서 $K_t$는 $H$의 열핵이며, $\mathscr{E} \otimes \mathscr{E}$의 분포적 완비화에서 다룬다.
• 함수류 대수 $\mathscr{O}(\mathscr{E})$ 위의 미분 연산자를 사용하여 분할 함수를 $Z(S, \hbar, a) = \lim_{\varepsilon \to 0} \exp(\hbar \partial_{P(\varepsilon, \infty)}) \exp(S / \hbar)(a)$로 표현한다.
• 피카르 도식의 적분에 대해 점근 분석을 적용하고 스케일 계층에 따라 영역을 분할하여 $\varepsilon \to 0$에서의 특이성을 통제한다.
• 열핵 특이성에서 유래하는 로그 및 거듭제곱 법칙 항을 포함한 $\varepsilon$에 대한 점근 함수 공간 $\mathscr{A}$를 사용하여 발산을 흠모한다.
• 피카르 도식 매개변수 공간의 적분에 대해 $\varepsilon$와 $T$가 작을 때의 점근 전개를 확립하여, 보정항의 수렴성과 국소성을 보장한다.

실험 결과

연구 질문

• RQ1 Batalin-Vilkovisky 형식론을 사용하여 컴act 다각체 위의 양자장론에 대해, 대칭을 유지하면서도 유한한 재규격화를 어떻게 정의할 수 있는가?
• RQ2 Chern-Simons 이론과 같이 비자명한 게이지 대칭을 가진 이론에서 효과적 작용의 구조는 어떠한가?
• RQ3 단거리에서의 열핵 특이성이 재규격화 절차에 어떻게 영향을 미치며, 이를 체계적으로 통제할 수 있는가?
• RQ4 재규격화된 분할 함수는 국소 보정항을 가진 $\hbar$에 대한 형식적 멱급수로 표현될 수 있는가?
• RQ5 재규격화 이후 다양체의 코homology 위에 어떤 대수적 구조가 나타나며, 이는 고전적 $L_\infty$-구조를 어떻게 고차원 루프로 일반화하는가?

주요 결과

• 재규격화된 효과적 작용 $\hbar \log Z(S, \hbar, a)$는 $\mathscr{A}[[\hbar]]$에서의 작은 $\varepsilon$에 대한 점근 전개를 가지며, 계수들은 $\mathscr{E}$ 위의 연속 선형 함수류이다.
• 프로파게이터 적분 $P(\varepsilon, \infty)$의 점근 전개는 스케일 영역으로의 분해를 통해 통제되며, $\varepsilon \to 0$에서 잘 정의된 극한을 가진다.
• 효과적 작용의 보정항은 국소 함수류이며, 다양체 위의 밀도에 대해 다항 미분 연산자의 적분으로 구성되어 있어 재규격화 가능성을 보장한다.
• Chern-Simons 이론의 경우, 재규격화된 이론은 $H^\bullet(M, \mathfrak{g}) \otimes \Omega^\bullet(\Delta^d)$ 위에 고차원 루프 $L_\infty$-구조를 유도하며, 고전적 $L_\infty$-대수를 일반화한다.
• BV 형식론과 대칭적 게이지 고정을 사용함으로써, 원래 이론의 모든 대칭이 호모토피를 통해 유지되며, 게이지 불변성도 보존된다.
• 이 방법은 4차원 양-밀스 이론, 임의의 차원의 Chern-Simons 이론, 그리고 주어진 기하학적 및 해석적 조건을 만족하는 복소 Chern-Simons 이론에 대해 유효하다.