Microlocal Hadamard Condition

• Microlocal Hadamard condition is a spectral constraint on two-point functions that ensures ultraviolet singularities match the Minkowski vacuum while respecting causality.
• It extends Radzikowski’s framework using wavefront sets and generalized broken bicharacteristics to analyze singularities in curved spacetimes and near boundaries.
• The condition underpins robust quantization in algebraic QFT for scalar, Dirac, and gauge fields, facilitating consistent renormalization and state propagation.

The microlocal Hadamard condition is a microlocal spectral constraint on the two-point functions of quantum fields, ensuring the correct ultraviolet singularity structure for physically admissible quantum states in curved spacetime. Originating from Radzikowski's reformulation of the Hadamard condition using the wavefront set of two-point distributions, this framework now underpins the construction and characterization of states in algebraic quantum field theory (AQFT), including highly nontrivial settings such as manifolds with boundaries and gauge field systems. Its generalization—encompassing the b-cotangent bundle and generalized broken bicharacteristics—enables precise singularity analysis in the presence of boundaries (notably asymptotically anti-de Sitter [AdS] manifolds and half-space models), and facilitates robust extension to quantum fields with constraints or additional algebraic structure.

1. Fundamentals of the Microlocal Hadamard Condition

The core of the microlocal Hadamard condition is the requirement that the two-point distribution $\omega_2$ of a quantum field theory (QFT)—a bi-distribution on $M \times M$ for a spacetime $M$—has singularities restricted to pairs of points that are joined by null geodesics, and covectors lying along the future light-cone. Explicitly, in the absence of boundary, the condition takes the form

$$WF(\omega_2) = \{(x, k_x; y, -k_y)\in T^*M^2 \setminus 0 \mid (x, k_x)\sim(y, k_y),\; k_x \ \textrm{future-directed null}\}$$

where $(x, k_x)\sim(y, k_y)$ means $x, y$ are joined by a null geodesic and $k_y$ is the parallel transport of $k_x$ along this geodesic. This precisely captures the singularity content of Minkowski vacuum two-point functions in curved spacetimes and ensures quantum states respect causality, spectral positivity, and the physical commutation relations (Stottmeister et al., 2013, Moretti, 2021, Fewster, 16 Mar 2025).

2. Wavefront Sets, Propagation of Singularities, and Operator Theory

The wavefront set $WF(u)$ of a distribution $u$ is a closed conic subset of $T^*M \setminus 0$ encoding the location and cotangent directions of its singularities. For two-point distributions, the microlocal Hadamard condition imposes a highly structured, two-slot restriction on $WF(\omega_2)$. Microlocal analysis, together with propagation of singularities theorems for normally hyperbolic and Dirac-type operators, implies that singularities of solutions to $P u = 0$ (for hyperbolic P) propagate along the bicharacteristic flow, i.e., null geodesics in cotangent space.

When extended to manifolds with boundary, as in AdS or half-space models, singularity propagation is described not just by interior bicharacteristics but by generalized broken bicharacteristics (GBBs) which include reflection law at the boundary (Gannot et al., 2018, Wrochna, 2016, Costeri et al., 30 Sep 2025). The boundary-sensitive b-cotangent wavefront set $WF_b$ and associated pseudodifferential calculus become essential.

3. Microlocal Hadamard Condition in Manifolds with Boundary: Holographic Hadamard and GBBs

For spacetimes with (timelike) boundary, such as asymptotically AdS spacetimes or half-Minkowski space, the singularity structure of two-point functions is controlled by the b-wavefront set in the b-cotangent bundle ${}^bT^*X$, refined to account for singularities approaching or reflected off the boundary. The holomorphic Hadamard (or holographic Hadamard) condition states that the distributional kernel $\Lambda^\pm$ or operator $\omega_2$ must satisfy

$$Op(\Lambda^{\pm}) \subset \dot{N}^{\pm} \times \dot{N}^{\pm}$$

where $\dot{N}^\pm$ are the positive/negative energy sheets of the compressed (rescaled) characteristic variety for the rescaled metric $x^2 g$, and the pairs are joined by (possibly broken) null bicharacteristics that can reflect at the boundary. This ensures singularities propagate consistently with both the bulk and reflected rays, extending Radzikowski’s microlocal condition (Gannot et al., 2018, Wrochna, 2016, Costeri et al., 30 Sep 2025).

In this setting, two-point functions with prescribed b-wavefront structure are unique modulo smoothing operators and parametrices with specified operatorial b-wavefront are characterized accordingly.

4. Structure of the Hadamard Parametrix and Local Singularities

Locally, Hadamard two-point distributions admit an explicit parametrix expansion near the diagonal: $$\omega_2(x, x') \sim \frac{U(x, x')}{\sigma(x, x')} + V(x, x')\ln|\sigma(x, x')| + W(x, x')$$ where $\sigma(x, x')$ is the squared geodesic distance (Synge function), $U,V$ are determined by recursive transport equations, and $W$ is smooth. In domains intersecting the boundary (e.g., half-Minkowski), reflected singularities are captured by adding terms involving the "reflected" Synge function $\sigma_{-}(x, x')$ (Costeri et al., 30 Sep 2025). The coefficients satisfy transport equations with appropriate boundary conditions, e.g., Robin or Dirichlet, to enforce compatibility with boundary reflection and transmission.

The microlocal Hadamard condition guarantees that the singular part—punctually and directionally—matches the Minkowski vacuum, generalized to encompass boundary-induced effects (Moretti, 2021).

5. Generalized Hadamard Condition for Non-Scalar and Gauge Fields

The microlocal Hadamard condition generalizes seamlessly to vector-valued fields, Dirac fields, and gauge theories. For Dirac-type operators, the Hadamard spectrum condition reads

$$WF(w_2) = \{(X,Y;k_X,-k_Y)\mid (X, k_X)\sim (Y, k_Y),\;k_X > 0\}$$

where $w_2$ denotes the covariances or two-point function on the spin bundle, with singularities supported on null geodesics in the cotangent bundle (Capoferri et al., 2022).

Gauge-theoretical avatars (e.g., linearized Yang-Mills or Proca fields) require compatibility with subsidiary conditions/gauge constraints. The Hadamard property, then, is imposed on Cauchy-surface two-point operators constructed via pseudodifferential calculus and adapted projections, with microlocal cutoff techniques ensuring exact gauge invariance and positivity on physical subspaces (Gérard et al., 2014, Fewster, 16 Mar 2025).

Recent generalizations encompass decomposable Green-hyperbolic operators: the Hadamard property is characterized via the inclusion of the wavefront set of the two-point function in $(V^+ \times V^-)$, where $V^\pm$ encode the relevant (possibly non-metric) bicharacteristics, recovering standard results for Klein-Gordon and Dirac operators as special cases (Fewster, 16 Mar 2025).

6. Stability, Background Independence, and Covariant Formulation

The propagation of singularities theorem ensures that initial imposition of the microlocal Hadamard condition on a neighborhood (Cauchy slice or boundary) propagates throughout globally hyperbolic spacetimes and is stable under the time-slice property and deformation arguments. The condition can be formulated in a background-independent manner by considering the wavefront sets of the corresponding initial data; in particular, on $M = \mathbb{R} \times \Sigma$, the combined wavefront set of all initial data is precisely the conormal bundle of the diagonal in $\Sigma \times \Sigma$, making the constraint independent of the ambient Lorentzian metric (Stottmeister et al., 2013). This flexibility is essential in quantization schemes that lack a fixed background, such as loop quantum gravity or algebraic quantum field theory.

Covariant functoriality under pullbacks and pushforwards (via regular Green-hyperbolic morphisms) ensures that the Hadamard property is preserved under spacetime embeddings and reductions, establishing a robust state space in locally covariant QFT (Fewster, 16 Mar 2025).

7. Boundary, Null-Boundary, and Characteristic Cauchy Problem Formulations

Boundary value problems require boundary-specific microlocal conditions. In null initial value (characteristic) problems, e.g., on the light cone, a "boundary microlocal spectrum condition" is imposed on the two-point kernels on the boundary (such as the future light-cone), dictating their wavefront sets avoid "forbidden" regions (negative frequencies) and are diagonal in the remainder. The resulting bulk states, constructed by propagation from boundary data via the causal propagator, then automatically satisfy the standard microlocal Hadamard condition in the interior (Gérard et al., 2014).

In summary, the microlocal Hadamard condition provides a universal, robust, and flexible spectral constraint underpinning the physical admissibility of quantum states on curved spacetimes, including complex geometries and gauge-theoretic systems. It guarantees the ultraviolet singularity structure necessary for renormalization, stability under dynamical evolution, and coalescence with established constructions in the flat-space limit. The framework admits systematic extension to boundaries, characteristic initial value problems, and general Green-hyperbolic operators, contributing centrally to the mathematical foundations of quantum field theory in nontrivial geometric settings (Gannot et al., 2018, Wrochna, 2016, Stottmeister et al., 2013, Costeri et al., 30 Sep 2025, Moretti, 2021, Fewster, 16 Mar 2025, Capoferri et al., 2022, Gérard et al., 2014, Gérard et al., 2014).