[论文解读] Heat Kernel Renormalization on Manifolds with Boundary

Benjamin I. Albert|arXiv (Cornell University)|Sep 7, 2016

Geometric Analysis and Curvature Flows参考文献 9被引用 3

一句话总结

本文将Costello基于热核正则化的归纳位置空间重整化程序——原本适用于无边界的流形——推广至带边界的流形，建立了局部反项和有效场论构建的严格框架。关键贡献在于：利用热核渐近展开与边界附近的泰勒展开，提出了一种系统性的归纳方法，用于构造局部反项，即使在流形的双重结构上黎曼度量不光滑的情况下也依然有效。

ABSTRACT

In the monograph Renormalization and Effective Field Theory, Costello made two major advances towards the mathematical formulation of quantum field theory. Firstly, he developed an inductive position space renormalization procedure for constructing effective field theories that is based on heat kernel regularization of the propagator. Secondly, he gave a rigorous formulation of quantum gauge theory within effective field theory that makes use of the BV formalism. In this work, we extend Costello's inductive renormalization procedure from manifolds without boundary to a class of manifolds with boundary. In addition, we reorganize the presentation of the preexisting material, filling in details and strengthening the results.

研究动机与目标

• 将Costello的归纳重整化程序——最初针对无边界的流形提出——推广至一类带边界的流形。
• 利用热核正则化，提供在边界存在时局部反项的严格构造。
• 重新组织并强化Costello专著中的基础材料，特别是关于有界区域上费曼图展开与Wick定理的内容。
• 确立流形的光滑双重结构在何种条件下可赋予光滑度量，从而实现全局反项的构造。
• 通过迭代重整化与误差控制，建立在弯曲带边界的流形上构建有效场论的框架。

提出的方法

• 以热核正则化作为核心机制，用于在位置空间中定义费曼权重与反项。
• 将Wick定理应用于限制在能量区间内的场的有限维子空间，将其推广至半直线与有界区间。
• 采用生成树坐标与场泛函的泰勒展开，以分离边界附近的发散贡献。
• 引入流形的双重结构，将局部计算推广至全局计算，通过度量张量的法向导数分析扩展度量的光滑性。
• 通过控制热核与场泛函渐近展开中的误差，实现反项的归纳构造。
• 利用边界为全测地（totally geodesic）且曲率张量的奇数阶法向导数为零的条件，确保双重度量的光滑性。

实验结果

研究问题

• RQ1 Costello的归纳重整化程序如何从无边界的流形推广至带边界的流形？
• RQ2 在何种条件下，带边界的黎曼流形的光滑双重结构可赋予光滑度量？
• RQ3 如何利用热核渐近展开，在边界存在时系统性地构造局部反项？
• RQ4 场泛函的泰勒展开在分离边界附近发散贡献中起什么作用？
• RQ5 在何种几何条件下，可在弯曲带边界的流形上构造全局反项？

主要发现

• 通过热核渐近展开与场泛函的泰勒展开，成功在平坦带边界的流形上实现了局部反项的系统性归纳构造。
• 带边界的黎曼流形的光滑双重结构可赋予光滑度量，当且仅当边界为全测地且所有奇数阶曲率张量法向导数为零。
• 条件 $ abla^{2k+1}_{ abla_{ ext{inward}}} ext{Ricci} = 0$ 对 $k o rac{1}{2}$ 等价于度量张量分量的奇数阶法向导数为零。
• 该方法可通过将热核替换为其渐近级数并利用泰勒展开控制误差，实现弯曲带边界的流形上有效场论的构建。
• 该框架将Costello原始构造推广至包含边界的场景，为在带边界的流形上量子场论的重整化提供了严格路径。
• 本文指出，平行曲率张量的假设对于可双重化是充分但非必要条件，并建议通过测地距离平方的泰勒展开实现推广。