[논문 리뷰] Flat family of QFTs and quantization of d-algebras

Jae-Suk Park|ArXiv.org|2003. 08. 20.

Homotopy and Cohomology in Algebraic Topology참고 문헌 32인용 수 7

한 줄 요약

이 논문은 양자장론(QFT)의 평탄한 가족을 매개변수화하는 모듈리 공간 $Τ\mathfrak{M}$를 제안하며, 각 점에서의 접공간은 양자 관측가의 공간과 대응된다. Batalin-Vilkovisky(BV) 형식을 통해 이 가족 위에 평탄한 양자 접속을 도입함으로써, 모든 상관 함수를 평탄한 섹션을 통해 계산할 수 있으며, $(d+1)$-다양체 위의代수-미분-위상적 구조를 통해 $d$-대수의 보편적인 양자화 기계를 구축한다.

ABSTRACT

Exploiting the path integral approach al la Batalin and Vilkovisky, we show that any anomaly-free Quantum Field Theory (QFT) comes with a family parametrized by certain moduli space M, which tangent space at the point corresponding to the initial QFT is given by the space of all observables. Furthermore the tangent bundle over M is equipped with flat quantum connection, which can be used to determine all correlation functions of the family of QFTs. We also argue that considering family of QFTs is an inevitable step, due to the fact that the products of quantum observables are not quantum observables in general, which leads to a new "global" perspective on quantum world. We also uncover structure of $d$-algebra in the large class of d-dimensional QFT. This leads to an universal quantization machine for d-algebras decorated by algebro-differential-topology of (d+1)-manifolds as well as a new perspective on differential-topology of low dimensions. This paper is a summary of a forthcoming paper of this author.

연구 동기 및 목표

• 표준 QFT에서 양자 관측가의 곱이 다시 양자 관측가가 되지 않는 문제를 해결하기 위해 이론을 더 큰 QFT 가족에 통합한다.
• 모듈리 공간 위의 평탄한 접속을 통해 모든 상관 함수가 결정되는 기하학적 프레임워크—즉, 평탄한 양자 구조—를 개발한다.
• $(d+1)$-차원 양자장론과 경계가 있는 다양체 위의 BV 양자화를 통해 $d$-대수의 일반화된 변형 양자화를 수행한다.
• $(d+1)$-다양체에서의 대수-미분-위상적 자료를 이용해 $d$-대수의 보편적 양자화 기계를 구축한다.

제안 방법

• 고전적 작용과 게이지 대칭성을 갖는 이론으로부터 양자 약한 호모토피 리 $(-1)$-대수를 BV 형식을 통해 구성한다.
• 모듈리 공간 $\mathfrak{M}$을 양자 마스터 방정식의 해의 동치류 집합으로 정의하며, 기초 QFT를 $\mathfrak{M}$의 기저점 $o\in\mathfrak{M}$으로 삼는다.
• 접공간 $T_o\mathfrak{M}$을 양자 관측가의 공간으로 식별함으로써, 형식적 근방 전개를 통해 곱의 이상을 해결한다.
• 접다발 $T\mathfrak{M}$ 위에 $\hbar$에 대해 형식적인 평탄한 양자 접속을 도입하며, 이에 따라 경로 적분은 평탄한 섹션이 된다.
• 경계가 있는 $(d+1)$-다양체 위의 심플렉틱 $s$-대수로부터 전-양자장론(pre-QFT)을 구성하고, 경계에서 강한 호모토피 리 $d$-대수를 유도한다.
• 구성 공간 위의 두 번째 순서 함수도함수의 극한을 통해 BV 연산자 $\boldsymbol{\Delta}$로 정의된 양자 코보르디즘 프레임워크를 제안한다.

실험 결과

연구 질문

• RQ1 표준 QFT 내에서 양자 관측가의 곱이 닫혀 있지 않은 문제는 어떻게 해결할 수 있는가?
• RQ2 모듈리 공간 위의 QFT 가족에서 모든 상관 함수가 평탄한 접속을 통해 어떻게 결정되는가?
• RQ3 $(d+1)$-다양체의 위상적 자료를 통해 어떻게 $d$-대수를 보편적으로 양자화할 수 있는가?
• RQ4 BV 연산자 $\boldsymbol{\Delta}$는 어떻게 평탄한 양자 구조와 그 완비화 $\overline{\mathfrak{Q}}\to\overline{\mathfrak{M}}$를 정의하는가?
• RQ5 경계가 있는 다양체 위의 BV 형식으로부터 양자 코보르디즘 이론을 구성할 수 있는가?

주요 결과

• 일반적인 QFT에서의 양자 관측가의 공간은 이상이 없는 QFT의 모듈리 공간 $\mathfrak{M}$의 접공간과 대응되며, 양자 이론에 대한 전역적 시각을 가능하게 한다.
• 형식적 $\hbar$에 대해 평탄한 양자 접속이 $T\mathfrak{M}$ 위에 존재하며, 이는 가족의 생성 함수를 지배하고 모든 상관 함수를 평탄한 섹션으로 계산할 수 있게 한다.
• 양자 마스터 방정식의 해 공간이 $\mathfrak{M}$을 정의하며, 그 형식적 근방은 관측가의 곱에 대한 닫힘 문제를 해결한다.
• 경계가 있는 $(d+1)$-다양체 위의 전-양자장론은 경계에서 강한 호모토피 리 $d$-대수를 유도하며, 콘테브리치의 변형 양자화를 일반화한다.
• BV 연산자 $\boldsymbol{\Delta}$는 두 번째 순서 함수도함수의 극한으로 제안되나, 그 보편적 정의는 아직 열려 있는 문제이다.
• 이 프레임워크는 $d$-다양체와 $(d+1)$-다양체의 대수-미분-위상적 불변량을 장식하는 $d$-대수의 보편적 양자화 기계를 시사한다.