[논문 리뷰] On 'categories' of quantum field theories

Yuji Tachikawa|arXiv (Cornell University)|2017. 12. 26.

Algebraic structures and combinatorial models참고 문헌 26인용 수 3

한 줄 요약

이 논문은 시공간 기하학으로 구성된 양자장론(QFT)에 대한 범주론적 프레임워크를 제안하여 물리학의 깊은 수학적 추측을 통합된 언어로 표현할 수 있도록 한다. 다양한 구조(예: 리만, 등각)에 대한 QFT의 범주를 도입하고, 점 연산자와 상관 함수를 정의하며, $ \mathcal{M}_{\text{Higgs}} $ 및 $ \mathbb{VOA} $와 같은 함자들을 통해 초카이저 콘과 정점 연산자 대수에 연결함으로써, $ G = \mathrm{SU}(3N), \mathrm{SU}(4N), \mathrm{SU}(6N) $에 대해 $ X_G $와 $ \mathbb{V}_G $에 대한 정밀한 추측을 이끌어내며, 명시적인 특성 다항식과 $ E_6, E_7, E_8 $ W대수와의 연결 고리를 제공한다.

ABSTRACT

We give a rough description of the 'categories' formed by quantum field theories. A few recent mathematical conjectures derived from quantum field theories, some of which are now proven theorems, will be presented in this language.

연구 동기 및 목표

• 양자장론(QFT)을 고립된 대상이 아니라 상호관계와 구조적 성질을 포착하는 범주로서 형식화하기.
• 최근 QFT에서 다루는 이중성과 이중성 체인과 같은 추측의 기원을 명확히 하는 수학적 언어 제공.
• 함자 $ \mathcal{M}_{\text{Higgs}} $ 및 $ \mathbb{VOA} $를 통한 QFT, 초카이저 콘 $ X_G $, 정점 연산자 대수 $ \mathbb{V}_G $ 간의 정밀한 추측적 관계 수립.
• 새로운 함자 $ Z_{\text{Nek}} $를 사용하여 순간자 모듈리 공간의 코homology가 단순 루트형 단순 리군 유형의 W대수 작용을 갖는다는 연결.
• 홀-리틀우드 다항식과 맥도날드 이론을 사용하여 $ X_G $ 및 $ \mathbb{V}_G $에 대한 명시적 특성 다항식 제시.

제안 방법

• 시공간 기하학적 구조 $ \mathcal{S} $를 가진 다양체 위의 QFT 범주 $ \mathcal{Q}^d_\mathcal{S} $ 정의 (예: 리만, 등각, 스핀 구조 포함).
• 각 QFT $ Q $에 대해 점 연산자 공간 $ \mathcal{V}_Q $ 할당하며, 군 작용(예: $ \mathrm{SO}(d) $, $ \mathrm{Spin}(d) $, $ \mathrm{SO}(d+1,1) $)과 불변 부분공간 $ \mathcal{V}_Q^{\text{inv}} $ 포함.
• 다양체 $ M $ 위의 점 연산자에 대한 복소수 진폭으로서 상관 함수 $ Z_Q(M; \varphi_1(x_1)\cdots\varphi_n(x_n)) $ 구성.
• 등각 QFT에서 상태-연산자 대응 $ \mathcal{V}_Q \simeq \mathcal{H}_Q(S^{d-1}) $ 를 사용하여 구면 위의 상태와 연산자 연결.
• QFT를 기하적·대수적 대상으로 매핑하는 함자 $ \mathcal{M}_{\text{Higgs}}: \mathcal{Q}^d_\mathcal{S} \to \text{초카이저 콘} $ 및 $ \mathbb{VOA}: \mathcal{Q}^d_\mathcal{S} \to \text{VOAs} $ 정의.
• 홀-리틀우드 다항식과 맥도날드 측도 적분을 사용하여 $ X_G = \mathcal{M}_{\text{Higgs}}(T_G) $ 및 $ \mathbb{V}_G = \mathbb{VOA}(T_G) $의 특성 다항식 유도.

실험 결과

연구 질문

• RQ1 QFT 간의 상호관계는 어떻게 범주론적 프레임워크 안에서 형식화될 수 있는가?
• RQ2 점 연산자 공간 $ \mathcal{V}_Q $ 와 그 회전 또는 등각군 작용에 대한 불변 부분공간의 정밀한 수학적 구조는 무엇인가?
• RQ3 $ \mathcal{M}_{\text{Higgs}} $ 및 $ \mathbb{VOA} $ 함자들이 QFT를 초카이저 콘과 정점 연산자 대수로 각각 어떻게 매핑하는가?
• RQ4 $ T_G = S_{G,0,3} $에 대응하는 초카이저 콘 $ X_G $ 와 정점 연산자 대수 $ \mathbb{V}_G $에 대한 명시적 특성 다항식은 무엇인가?
• RQ5 새로운 함자 $ Z_{\text{Nek}} $를 통해 순간자 모듈리 공간 $ \mathcal{M}_{G,n}^{\text{inst}} $ 의 코homology가 단순 루트형 리군 유형의 W대수 작용을 갖는다는 것을 증명할 수 있는가?

주요 결과

• 초카이저 콘 $ X_G = \mathcal{M}_{\text{Higgs}}(T_G) $ 는 $ G = \mathrm{SU}(3N) $ 일 때 $ X_{\mathrm{SU}(3N)}\wr[N^3],[N^3],[N^3] = \mathcal{M}^{\text{inst}}_{E_6,N} $ 를 만족하며, $ E_7 $ 및 $ E_8 $ 에 대해서도 유사한 항등식이 성립한다.
• 정점 연산자 대수 $ \mathbb{V}_G = \mathbb{VOA}(T_G) $ 는 $ \mathbb{V}_{\mathrm{SU}(3)} = (\hat{\mathfrak{e}_6})_{-6} $, $ \mathbb{V}_{\mathrm{SU}(4)}\wr[2,2],[1^4],[1^4] = (\hat{\mathfrak{e}_7})_{-8} $, $ \mathbb{V}_{\mathrm{SU}(6)}\wr[3,3],[2,2,2],[1^6] = (\hat{\mathfrak{e}_8})_{-12} $ 를 만족한다.
• $ X_G $의 특성은 $ \mathop{\mathrm{ch}} X_G(z_1,z_2,z_3) = \sum_{\lambda} \frac{\prod_{i=1}^3 K_0(z_i)\underline{H}_\lambda(z_i)}{K_{e_{\text{prin}}} \underline{H}_\lambda(q^\rho)} $ 로 주어지며, 여기서 $ \underline{H}_\lambda $ 는 정규화된 홀-리틀우드 다항식이다.
• $ \mathbb{V}_G $의 특성은 $ \mathop{\mathrm{ch}} \mathbb{V}_G(z_1,z_2,z_3) = \sum_{\lambda} \frac{\prod_{i=1}^3 K_0(z_i)\chi_\lambda(z_i)}{K_{e_{\text{prin}}} \chi_\lambda(q^\rho)} $ 로 주어지며, $ \chi_\lambda $ 는 $ G $ 의 기약 특성이다.
• $ G^4 $ 및 $ S_4 $ 대칭을 갖는 초카이저 콘으로서 $ X_G $ 의 구성은 $ (X_G \times X_G)/\!/\!/G \simeq (T_G \times T_G)\not{\!\!\!\!\!-} G $ 를 통해 실현되며, 이는 $ S_4 $ 대칭을 확인한다.
• $ \mathcal{H}_G = \oplus_n H_G^*(\mathcal{M}_{G,n}^{\text{inst}}) $ 에서 W대수 작용은 함자 $ Z_{\text{Nek}} $ 를 통한 추측이었으나, 기하학적 표현 이론을 통해 이제 증명되었다.