Polarisation sets of Green operators for normally hyperbolic equations

Motivated by quantum field theory on curved spacetimes, this paper computes the polarisation sets of the kernel distributions for advanced, retarded, and difference Green operators of normally hyperbolic operators on vector bundles, thereby extending these results to related equations like the Proca equation and correcting a gap in recent literature.

The Gist

Imagine you are trying to listen to a faint radio signal coming from a distant, stormy planet. The signal is clear in some places but gets distorted, garbled, or completely lost in others. In the world of physics, specifically Quantum Field Theory on Curved Spacetimes, scientists are trying to understand how particles (like electrons or photons) behave when the "fabric" of space and time itself is warped by gravity.

To do this, they use mathematical tools called Green operators. Think of these as the "universal translators" or "messengers" of the universe. If you poke the universe at one point (create a disturbance), the Green operator tells you exactly how that ripple travels through space and time to reach other points.

However, these ripples aren't always smooth. Sometimes they hit "rough patches" or singularities—places where the math breaks down or becomes infinitely sharp. Physicists need to know exactly where these rough patches are and, more importantly, what direction the sharpness is pointing.

The Problem: The Old Map Was Incomplete

For a long time, physicists used a tool called the Wavefront Set to map these rough patches.

• The Analogy: Imagine the Wavefront Set is a map that tells you where a storm is happening on the planet. It says, "There is turbulence at coordinates X, Y."
• The Limitation: But a storm isn't just a location; it has wind direction, intensity, and specific patterns. The old map didn't tell you which way the wind was blowing at that storm. In the language of physics, it missed the "polarization" or the internal "spin" of the singularity.

Recently, a group of researchers (Moretti, Murro, and Volpe) tried to draw a better map for a specific type of particle called a Proca particle (a heavy, spinning particle like the W and Z bosons). They made a mistake in their logic, assuming that because the wind was blowing in a certain way, the map would be simple. They missed a hidden complexity, leaving a "gap" in their understanding.

The Solution: The "Polarisation Set"

This paper, written by Christopher Fewster, introduces a more advanced tool called the Polarisation Set.

• The Analogy: If the Wavefront Set is a map showing where the storm is, the Polarisation Set is a 3D hologram that shows where the storm is, how strong it is, and crucially, which way the wind is blowing (the fiber-directional information).

Fewster proves that for a broad class of equations (called "normally hyperbolic" equations, which describe how things propagate at the speed of light or slower), we can calculate this detailed 3D hologram perfectly.

How It Works: The "Parallel Transport" Metaphor

The paper explains that the "wind direction" of these singularities doesn't change randomly. It follows a strict rule called parallel transport.

• The Metaphor: Imagine you are walking along a winding mountain path (a geodesic) carrying a long, rigid pole (the polarization). As you walk, you must keep the pole pointing in the exact same direction relative to the ground, even if the path curves.
• The Discovery: Fewster shows that the "roughness" of the Green operators travels along these paths, and its "direction" is preserved by a specific mathematical connection (the Weitzenböck connection). By knowing this connection, you can predict exactly how the singularity will look at any point in the universe, just by knowing how it started.

Fixing the Gap: The Proca Particle

The paper applies this new, high-resolution tool to the Proca equation (the math for massive spin-1 particles).

1. The Mistake: The previous researchers thought the "wind" of the Proca particle's singularities was simple. They assumed the map was empty in certain areas.
2. The Correction: Fewster uses his new Polarisation Set to show that the map is not empty. The "wind" is actually blowing in a very specific, complex way that the old tools couldn't see.
3. The Result: He fills the gap in their paper, proving that the singularities exist exactly where the new math predicts. This confirms that the "Hadamard condition" (a rule for what counts as a physically realistic quantum state) is consistent for these heavy particles.

Why Does This Matter?

You might ask, "Why do we need to know the direction of a mathematical singularity?"

• Real-World Physics: This isn't just abstract math. It helps us understand the early universe, black holes, and the behavior of fundamental particles.
• Quantum States: In quantum physics, we need to define "vacuum states" (the lowest energy state). If our map of singularities is wrong, we might think a state is physical when it's actually nonsense (like infinite energy).
• The "Hologram" Effect: By using the Polarisation Set, physicists can now be 100% sure that their descriptions of the universe are mathematically sound, even in the most extreme environments where gravity is strong.

Summary

Think of this paper as upgrading the GPS for the universe's quantum signals.

• Old GPS: "You are at a rough patch."
• New GPS (This Paper): "You are at a rough patch, the turbulence is moving North-East, and it is caused by a specific type of spin."

By providing this extra layer of detail, the author fixes a recent error in the scientific community and gives physicists a powerful new tool to explore the quantum nature of gravity and particles.

Technical Summary

1. Problem Statement

The paper addresses a specific gap in the microlocal analysis of quantum field theory (QFT) on curved spacetimes, particularly concerning the Hadamard condition for physical states.

• Context: In QFT, the singularity structure of the two-point function (Wightman function) of a state is crucial. For a state to be "physical" (Hadamard), its wavefront set must satisfy specific conditions related to the causal structure of the spacetime (specifically, it must lie on the null cone with future-pointing covectors).
• The Gap: While the wavefront set ($WF$) is well-understood for normally hyperbolic operators (like the scalar Klein-Gordon equation), many physically important equations (e.g., Proca, Dirac, Maxwell) are not normally hyperbolic. Their solution theory often relies on relating them to an auxiliary normally hyperbolic operator via a differential operator $R$.
• The Specific Issue: A recent paper by Moretti, Murro, and Volpe (MMV) attempted to define Hadamard states for the Proca field (massive spin-1 particles) by directly constraining the wavefront set of the advanced-minus-retarded Green operator ($E_P$). They claimed $WF(E_P) = R$ (the set of null-related points). However, their proof relied on an incorrect assertion that a certain operator $R$ was non-characteristic. In reality, $R$ is characteristic on the null cone, rendering standard wavefront set calculus insufficient to determine $WF(E_P)$.
• Goal: The author aims to compute the polarisation set ($WF_{pol}$) of the Green operators for normally hyperbolic equations. The polarisation set is a refinement of the wavefront set that captures not just where singularities occur in phase space, but also their fibre-directional information (vector/tensor components). This allows for the rigorous determination of the wavefront sets of related operators (like the Proca operator) where standard methods fail.

2. Methodology

The paper employs advanced microlocal analysis techniques, specifically the theory of polarisation sets developed by Nils Dencker.

• Polarisation Sets ($WF_{pol}$): For a vector-valued distribution $u$, $WF_{pol}(u)$ is a subset of the pullback bundle $\pi^*B$ over the cotangent bundle. It describes the directions in the fibre (vector space) in which the distribution is singular.
  • Definition: $WF_{pol}(u) = \bigcap \{(x, \xi; w) : w \in \ker \sigma(A)(x, \xi)\}$, where the intersection is over pseudodifferential operators $A$ that smooth out $u$.
• Propagation of Polarisation: The core tool is Dencker's theorem on the propagation of polarisation for systems of real principal type. This theorem states that if an operator $P$ has real principal type, the polarisation set of a solution propagates along Hamilton orbits (bicharacteristic strips) determined by a partial connection on the bundle.
• Normally Hyperbolic Operators: The author considers operators $P$ on a vector bundle $B$ over a globally hyperbolic spacetime $(M, g)$, which can be written in Weitzenböck form:
  $$P = \square_B + V$$
  where $\square_B$ involves a specific connection $\nabla_B$ (the Weitzenböck connection) and $V$ is a zero-order term.
• Green Operators: The analysis focuses on the advanced ($E_+$), retarded ($E_-$), and difference ($E = E_- - E_+$) Green operators. The kernels of these operators are distributions on $M \times M$.
• Composition Rules: The paper derives a corollary allowing the calculation of the wavefront set of a composed operator $Q E_P R$. If the principal symbols of $Q$ and $R$ do not annihilate the polarisation set of $E_P$, the wavefront set of the composition is preserved.

3. Key Contributions and Results

A. Main Theorem (Theorem 1.1)

The paper establishes the polarisation sets for the Green operators of any normally hyperbolic operator $P$ on a vector bundle $B$:

1. Structure of $WF_{pol}(E_\pm)$: The polarisation set consists of the identity kernel plus a set $R^\pm_{pol}$.
2. Parallel Transport: The non-trivial part of the polarisation set is spanned by the parallel transport operator $\Pi_{x', k'}^{x, k}$ associated with the Weitzenböck connection $\nabla_B$ along the unique null geodesic connecting $x'$ to $x$.
   $$WF_{pol}(E_\pm) = R^\pm_{pol} \cup WF_{pol}(\text{id})$$
   where $R^\pm_{pol}$ contains elements $(x, k; x', -k'; w)$ such that $w$ is in the image of the parallel transport of the fibre at $x'$.
3. Wavefront Set Recovery: As a consequence, the standard wavefront set is recovered as the projection of the polarisation set, confirming $WF(E) = R$ (the set of null-related points). This provides an alternative proof to previous results that relied on scaling limits or Riesz distributions.

B. Corollary 1.2 (Composition Rule)

If an operator $T$ can be written as $T = Q E_P R$ (where $P$ is normally hyperbolic), and the principal symbols of $Q$ and $R$ do not annihilate the parallel transport vectors defined in Theorem 1.1, then:
$$WF(T) = R$$
This is the critical tool for handling non-normally hyperbolic operators.

C. Application to the Proca Field (Section 5)

The paper applies these results to the Proca equation (describing massive spin-1 particles):

• The Gap Closed: The Proca operator $P = -\delta d + m^2$ is related to the normally hyperbolic 1-form Klein-Gordon operator $K^{(1)}$ by $E_P = E_{K^{(1)}} \circ R$, where $R = 1 - m^{-2}d\delta$.
• Resolution: The operator $R$ is characteristic on the null cone, so standard wavefront calculus failed in the MMV paper. Using Corollary 1.2, Fewster proves that the principal symbol of $R$ does not annihilate the polarisation set of $E_{K^{(1)}}$.
• Result: It is rigorously proven that $WF(E_P) = R$, closing the gap in the MMV paper and validating their definition of Hadamard states for the Proca field.

D. Detailed Polarisation Set for Proca (Theorem 5.2)

Beyond just the wavefront set, the author computes the full polarisation set for the Proca advanced-minus-retarded operator:
$$WF_{pol}(E_P) = \{(x, k; x', -k'; w) \in R : w \in \mathbb{C} k \otimes (k')^\sharp \}$$

• Significance: The polarisation vectors are strictly proportional to $k \otimes (k')^\sharp$.
• Physical Interpretation: This result is "geometrically natural" but counter-intuitive. The Proca field has three physical degrees of freedom (polarisations). However, the polarisation set of the Green operator is dominated by the constraint ($\delta A = 0$) that removes the unphysical scalar mode. The "physical" polarisations are masked by the constraint term in the operator composition. This highlights a limitation of the polarisation set: it captures the strongest singularity (the constraint) rather than the propagating degrees of freedom.

4. Significance and Impact

1. Rigorous Foundation for Proca QFT: The paper resolves a technical inconsistency in recent literature regarding the Hadamard condition for massive spin-1 fields, ensuring that the definition of physical states for Proca fields is mathematically sound.
2. Generalization to Other Fields: The methodology (Corollary 1.2) is applicable to other non-normally hyperbolic systems, such as the Dirac equation and linearised gravity, where solution theories involve characteristic operators.
3. Refinement of Microlocal Tools: The work demonstrates that while the wavefront set is often sufficient, the polarisation set is necessary when dealing with operators that are characteristic on the relevant singular support. It provides a mechanism to "see through" characteristic operators to determine the true singularity structure of the resulting composite operator.
4. Insight into Constraints: The analysis of the Proca field reveals a subtle interplay between constraints and propagation. The polarisation set reflects the constraint structure ($\delta A = 0$) more strongly than the physical spin-1 modes, suggesting that for constrained systems, the polarisation set of the Green operator may not directly map to the physical polarisation states of the field.
5. Future Applications: These results are foundational for the companion papers [7, 8] which extend the Hadamard condition to charged Proca fields in external electromagnetic fields and coupled Proca-scalar systems, and for the study of measurement in QFT.

In summary, Fewster provides a rigorous microlocal framework using polarisation sets to handle the singularity structure of Green operators for constrained field theories, successfully closing a gap in the definition of Hadamard states for massive vector fields and offering new insights into the relationship between constraints and physical degrees of freedom in QFT.