Global harmonic analysis for $\Phi^4_3$ on closed Riemannian manifolds

Technical Summary: Global Harmonic Analysis for $\Phi^4_3$ on Closed Riemannian Manifolds

Problem Statement
This work addresses the construction of the $\Phi^4_3$ quantum field theory measure on an arbitrary closed, compact Riemannian manifold of dimension 3. While the existence of this measure was established in Euclidean space by Glimm & Jaffe in the 1970s, and more recently recovered in flat space via the theory of regularity structures (Hairer) and paracontrolled calculus (Gubinelli, Imkeller & Perkowski), extending these results to curved backgrounds remains a longstanding open problem in constructive quantum field theory.

The core difficulty lies in the singular nature of the stochastic partial differential equation (SPDE) governing the dynamics:
$$(\partial_t - \Delta + 1)u + u^3 = \xi$$
where $\xi$ is space-time white noise. Due to the low regularity of $\xi$ (belonging almost surely to parabolic Hölder spaces of regularity $-5/2 - \varepsilon$), the non-linear term $u^3$ is ill-defined in the classical sense. A rigorous solution requires renormalization (subtracting infinite counterterms) and a robust analytical framework capable of handling these singularities on manifolds.

Methodology
The paper serves as a foundational technical companion to the authors' previous work [6], where the $\Phi^4_3$ measure was constructed using the dynamical approach. The methodology relies on paracontrolled calculus and microlocal analysis adapted to the setting of smooth, closed Riemannian manifolds.

1. Paraproducts on Manifolds: The authors construct a "simple" and self-contained theory of paraproducts on compact manifolds. Rather than developing a fully intrinsic geometric theory, they utilize local charts and partitions of unity to transfer standard results from $\mathbb{R}^d$ to the manifold setting. This involves defining generalized Littlewood-Paley-Stein projectors and decomposing products of distributions into paraproducts ($\prec, \succ$) and resonant terms ($\odot$).
2. Commutator Estimates: A significant portion of the work is dedicated to establishing commutator estimates between heat operators (and their inverses) and paraproducts. These estimates are crucial for controlling the regularity of solutions to the SPDE and for proving the convergence of renormalized random coefficients.
3. Microlocal Analysis of Propagators: The authors develop a "parabolic calculus" ($\Psi^a_P$) to describe the singularities of the propagators (heat kernels and related Green's functions) appearing in the Feynman amplitudes. They characterize these kernels by their scaling behavior and wavefront sets, specifically analyzing their behavior near the space-time diagonal.
4. Renormalization via Extension: Following the Epstein-Glaser approach, the problem of renormalization is framed as the extension of distributions defined outside the diagonals to the whole space. The microlocal estimates on the kernels allow for the control of these extensions.

Key Contributions and Results

• Construction of Analytical Tools: The paper provides a detailed, self-contained exposition of the necessary harmonic analysis tools (paraproducts, Schauder estimates, commutator bounds) specifically tailored for singular SPDEs on closed manifolds. It bridges the gap between the flat-space paracontrolled calculus and the geometric setting required for curved backgrounds.
• Microlocal Estimates on Kernels: The central result is Theorem 1.1, which establishes precise microlocal estimates for the kernels of the operators $L^{-1}$ (inverse heat operator), $\Delta L^{-1}$, and the resonant product $[\odot_i]$.
  • The authors prove that these kernels belong to specific functional spaces $S^a_\Gamma(U)$ characterized by scaling exponents $a$ and wavefront sets $\Gamma$.
  • Specifically, the kernel of the resonant term $[\odot_i]$ is shown to have a scaling exponent of $-6$ and a wavefront set concentrated on the deepest diagonal $\{x=y=z\} \subset M^3$.
• Regularity of Random Coefficients: Using the developed tools, the authors prove Theorem 3.13, which establishes the convergence in probability of the random coefficients appearing in the reformulated SPDE (via the Cole-Hopf transform). This includes the convergence of terms like $\nabla \mathcal{X}_r \cdot \nabla v_{ref, r} - b_r(e^{3\mathcal{X}_r} \mathcal{X}_r)$, which are essential for defining the renormalized equation.
• Composition of Calculi: The paper proves a composition theorem (Theorem 4.17) for the parabolic calculus $\Psi^a_P$ and the heat calculus $\Psi^b_H$, showing that their composition yields an operator in the parabolic calculus with a specific scaling exponent. This is vital for analyzing the interaction of different propagators in the renormalization procedure.

Significance and Claims
The authors position this work as a necessary technical infrastructure for the construction of the $\Phi^4_3$ measure on curved manifolds, a problem solved in [6] using the tools presented here.

• Self-Contained Pedagogy: The paper explicitly aims to be more pedagogical and self-contained than previous works (such as those by Bailleul, Bernicot, Frey, or Guillarmou & Poyferré). It provides detailed proofs of commutator estimates and paraproduct properties that are often assumed or sketched in the literature, making the machinery of paracontrolled calculus more accessible to non-experts.
• Generality vs. Simplicity: The authors acknowledge a trade-off: their approach is less general than metric measure space approaches (as it relies on smooth manifolds and local charts) and the objects defined are not fully geometrically intrinsic (they depend on the choice of charts and partitions of unity). However, they argue this "loss" in covariance is compensated by a "gain" in simplicity and flexibility, allowing them to leverage classical pseudo-differential analysis on $\mathbb{R}^d$ to obtain explicit expressions for counterterms.
• Broader Applicability: While motivated by the $\Phi^4_3$ model, the authors claim these results provide a useful toolbox for any SPDE approach using first-order paracontrolled expansions on manifolds. They suggest the techniques could be applied to the Anderson model in dimensions $\le 3$ and other paradifferential approaches to $\Phi^4_3$ (e.g., those by Catellier-Chouk, Mourrat-Weber, etc.).

In summary, this paper does not construct the measure itself but rather builds the "harmonic and microlocal analysis tools" required to prove the existence and non-triviality of the $\Phi^4_3$ Gibbs measure on closed Riemannian manifolds, thereby resolving a key technical bottleneck in constructive quantum field theory on curved backgrounds.