[논문 리뷰] Complex powers of analytic functions and meromorphic renormalization in QFT

Nguyen Viet Dang|arXiv (Cornell University)|2015. 03. 03.

Algebraic and Geometric Analysis참고 문헌 33인용 수 17

한 줄 요약

이 논문은 복소 함수의 복소 거듭제곱과 히로나카의 특이점 해결을 사용하여 분석적 로렌츠 시공간 위에서 양자장론의 섭동 이론에서 파인만 진폭의 유리형 보정을 위한 엄밀한 수학적 프레임워크를 수립한다. 파인만 진폭이 선형 극을 가지는 유리형 가족의 분포로 모델링되는 헬로노믹 특이점을 지닌다는 것을 증명하고, 인자화와 국소성 조건을 만족하는 함자적이고 공변적인 보정 맵을 구축함으로써 이 설정에서 보정 가능성의 새로운 증명을 제공한다.

ABSTRACT

In this article, we study functional analytic properties of the meromorphic families of distributions $(\prod_{i=1}^p (f_j+i0)^{λ_j})_{(λ_1,\dots,λ_p) \in \mathbb{C}^p}$ using Hironaka's resolution of singularities, then using recent works on the decomposition of meromorphic germs with linear poles, we renormalize products of powers of analytic functions $\prod_{i=1}^p(f_j+i0)^{k_j}, k_j \in \mathbb{Z}$ in the space of distributions. We also study microlocal properties of $(\prod_{i=1}^p (f_j+i0)^{λ_j})_{(λ_1,\dots,λ_p)\in\mathbb{C}^p}$ and $\prod_{i=1}^p (f_j+i0)^{k_j}, k_j \in \mathbb{Z}$. In the second part, we argue that the above families of distributions with \emph{regular holonomic singularities} provide a universal model describing singularities of Feynman amplitudes and give a new proof of renormalizability of quantum field theory on convex analytic Lorentzian spacetimes as applications of ideas from the first part.

연구 동기 및 목표

• 복소 거듭제곱과 $i0$-규칙을 갖는 해석적 함수로부터 유도되는 분포의 가역적 가족에 대한 기능적 해석학적 기초를 제공한다.
• 미세국소 해석학과 특이점 해결을 사용하여 위치 공간에서 파인만 전파함수의 곱에 대한 체계적인 보정 절차를 개발한다.
• 모든 파인만 진폭 특이점이 선형 극을 가지는 유리형 분포와 헬로노믹 특이점을 갖는 것으로 모델링됨을 보인다.
• 이 프레임워크를 통해 볼록 분석적 로렌츠 시공간 위에서 섭동 양자장론의 보정 가능성에 대한 새로운 증명을 수립한다.
• 스pacetime 카테고리의 사상에 대해 존중하고 인자화 성질을 만족하는 함자적이고 공변적인 보정 맵을 구축한다.

제안 방법

• 특이점 해결의 히로나카 기법을 사용하여 유리형 가족 $\left(\prod_{j=1}^{p}(f_j + i0)^{\lambda_j}\right)_{\lambda \in \mathbb{C}^p}$ 과 그 파동 프론트 세트를 분석한다.
• 선형 극을 갖는 유리형 껍질의 최근 결과를 적용하여 유리형 보정 맵을 정의한다.
• 아고론츠너의 $\widehat{+}_i$ 연산을 사용하여 소볼레프 공간 내 곱을 다루고 $u=0$ 정리를 확립한다.
• 선형 극을 갖는 유리형 함수 위에 작용하는 프로젝터 $\pi$ 를 도입하여 해석적 함수를 통해 분해되게 하여 보정 연산자의 구성이 가능하게 한다.
• 코탄제인 배경의 콘 구조의 분할, 극성, 교차성 조건을 사용하여 분포 곱의 존재성과 미세국소 정규성을 보장한다.
• 볼록 분석적 로렌츠 시공간의 카테고리 $\mathbf{M}_{ca}$ 를 정의하고, 당김 호환성을 만족하는 공변 보정 함자로 구성한다.

실험 결과

연구 질문

• RQ1 위상 공간에서의 파인만 진폭 특이점은 선형 극과 헬로노믹 특이점을 갖는 유리형 분포 가족으로 일반적으로 모델링될 수 있는가?
• RQ2 복소 함수의 복소 거듭제곱을 사용하여 일반적인 분석적 로렌츠 시공간으로 에이프스타인-글레이저 보정 프로그램을 어떻게 확장할 수 있는가?
• RQ3 특이점 해결을 통해 구성된 유리형 보정 맵은 보정의 인자화 및 국소성 공리계를 만족하는가?
• RQ4 보정 절차는 시공간 카테고리의 사상에 대해 함자적으로 만들 수 있는가?
• RQ5 파인만 진폭의 파동 프론트 세트가 대각선 외부에서 강한 볼록성을 가지는가? 이는 유일한 보정 맵 존재를 보장한다.

주요 결과

• 유리형 가족 $\left(\prod_{j=1}^{p}(f_j + i0)^{\lambda_j}\right)_{\lambda \in \mathbb{C}^p}$ 는 선형 극을 갖는 분포값 유리형 함수로서 잘 정의되어 있다.
• 곱 분포의 파동 프론트 세트는 엄밀히 극성된 콘 구조에 포함되어 있어, 미세국소 정규성과 곱의 존재성을 보장한다.
• 프로젝터 $\pi$ 를 통해 구성된 보정 맵 $\mathcal{R}_{M^n}$ 은 인자화 성질을 만족한다: $\mathcal{R}_{M^n}(t_n)|_{C_I} = \mathcal{R}_{M^I}(t_I) \mathcal{R}_{M^{I^c}}(t_{I^c}) t_{I,I^c}$.
• 보정 맵은 함자적이다: 임의의 사상 $\Phi: (M',g',G') \to (M,g,G)$ 에 대해 $\mathcal{R}_{(M')^I} \Phi^* t = \Phi^* \mathcal{R}_{M^I} t$ 를 만족하여 공변성을 보장한다.
• 볼록 분석적 로렌츠 시공간 위의 파인만 전파함수의 대각선에서 헬로노믹 특이점을 지닌다. 그 유리형 정규화는 잘 정의되고 국소적으로 유한한 보정을 제공한다.
• 보정 맵은 유일하며 메트릭 $g$ 와 싱게 세계 함수 $\Gamma$ 에만 의존하므로 기하학적 자연성을 확인한다.