[论文解读] Complex powers of analytic functions and meromorphic renormalization in QFT

Nguyen Viet Dang|arXiv (Cornell University)|Mar 3, 2015

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$ 规范的解析函数复幂次所生成的梅洛波拉函数分布族提供泛函分析基础。
• 利用微局部分析与奇点平权化，系统地发展位置空间中费曼传播子乘积的重整化程序。
• 证明所有费曼振幅奇点均可由具有线性极点与霍洛诺米克奇点的梅洛波拉函数分布族所建模。
• 通过此框架，为凸解析洛伦兹时空上的微扰QFT提供重整化可实现性的新证明。
• 构造一个函子性、协变的重整化映射，其尊重时空范畴的态射，并满足因子分解性质。

提出的方法

• 使用广中平权化定理分析梅洛波拉函数族 $\left(\prod_{j=1}^{p}(f_j + i0)^{\lambda_j}\right)_{\lambda \in \mathbb{C}^p}$ 及其波前集。
• 应用近期关于具有线性极点的梅洛波拉芽胚分解结果，以定义梅洛波拉函数重整化映射。
• 运用 Iagolnitzer 的 $\widehat{+}_i$ 运算处理索伯列夫空间中的乘积，并建立 $u=0$ 定理。
• 引入一个投影算子 $\pi$，作用于具有线性极点的梅洛波拉函数，其通过全纯函数分解，从而实现重整化算子的构造。
• 利用余切丛中锥集的分层、极化与横截性，确保分布乘积的存在性与微局部正则性。
• 定义凸解析洛伦兹时空范畴 $\mathbf{M}_{ca}$，并构造一个满足拉回相容性的协变重整化函子。

实验结果

研究问题

• RQ1 费曼振幅在位置空间中的奇点是否可普遍地由具有线性极点与霍洛诺米克奇点的梅洛波拉函数分布族所建模？
• RQ2 如何利用解析函数的复幂次，将 Epstein–Glaser 重整化程序推广至一般的解析洛伦兹时空？
• 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$ 与 Synge 世界函数 $\Gamma$，从而确认了其几何自然性。