pith. sign in

arxiv: 2503.12544 · v2 · submitted 2025-03-16 · 🧮 math-ph · math.MP

Polarisation sets of Green operators for normally hyperbolic equations

Pith reviewed 2026-05-23 00:15 UTC · model grok-4.3

classification 🧮 math-ph math.MP
keywords polarisation setGreen operatorsnormally hyperbolic operatorswavefront setglobally hyperbolic spacetimesProca equationvector bundlesdistributional singularities
0
0 comments X

The pith

Polarisation sets of the kernels for advanced and retarded Green operators of normally hyperbolic equations are computed explicitly.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper computes the polarisation sets of the kernel distributions for the advanced and retarded Green operators of normally hyperbolic operators on vector bundles, together with the polarisation set of their difference. These sets describe both the locations of singularities in phase space and the directions within the fibres of the vector bundle where those singularities point. The work is set on globally hyperbolic spacetimes, where such Green operators exist, and the results are used to obtain polarisation and wavefront sets for operators whose solutions are linked to the normally hyperbolic case. A concrete application fills a gap left in prior analysis of the Proca equation for massive spin-1 fields. A sympathetic reader would care because the extra fibre-directional information in polarisation sets supplies finer control over distributional singularities than the wavefront set alone.

Core claim

For normally hyperbolic operators on vector bundles over globally hyperbolic spacetimes, the polarisation sets of the kernel distributions of the advanced and retarded Green operators and of their difference are computed, thereby permitting the computation of related polarisation and wavefront sets for operators whose solution theory is related to the normally hyperbolic case, with the Proca equation treated as a particular example that closes a gap in earlier work.

What carries the argument

The polarisation set of a vector-valued distribution, which generalises the wavefront set by capturing fibre-directional information about singularities in addition to their phase-space description.

If this is right

  • Related polarisation and wavefront sets become computable for operators whose solution theory is linked to the normally hyperbolic case.
  • The Proca equation receives a complete treatment that closes an identified gap from recent prior work.
  • Singularity propagation can be tracked with fibre-directional precision for a wider class of hyperbolic operators on curved backgrounds.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The explicit sets could be inserted into constructions of products of distributions that arise when defining interacting quantum fields on curved spacetimes.
  • The same geometric approach may extend to other first-order systems or gauge-fixed operators that reduce to normally hyperbolic form after suitable projections.
  • Numerical checks on simple spacetimes such as de Sitter space could test whether the predicted fibre directions match explicit mode expansions.

Load-bearing premise

The operators under consideration are normally hyperbolic on vector bundles over globally hyperbolic spacetimes.

What would settle it

Direct computation of the polarisation set for the retarded Green function of the scalar wave operator on Minkowski space, followed by comparison with the set predicted from the principal symbol and the light-cone geometry.

Figures

Figures reproduced from arXiv: 2503.12544 by Christopher J. Fewster.

Figure 1
Figure 1. Figure 1: (a) The points x, x ′ , y, y ′ and x ′′ along a null geodesic and region N (shaded) and subregions N ± appearing in step 4 of the proof of Theorem 1.1. The unlabelled dotted lines are the Cauchy surfaces Σ±. One has (y, l; y ′ , −l ′ ) ∈ WF(E + P˜ ) at the outset. (b) Propagation of singularities for P˜ ⊗ 1 is used along the geodesic between y and x without meeting y ′ to infer that (x, k; y ′ , −l ′ ) ∈ W… view at source ↗
read the original abstract

The polarisation set of a vector-valued distribution generalises the wavefront set and captures fibre-directional information about its singularities in addition to their phase space description. Motivated by problems in quantum field theory on curved spacetimes, we consider normally hyperbolic operators on vector bundles over globally hyperbolic spacetimes, and compute the polarisation sets of the kernel distributions for their advanced and retarded Green operators and the difference thereof. This permits the computation of related polarisation and wavefront sets for operators whose solution theory is related to the normally hyperbolic case. As a particular example, we consider the Proca equation that describes massive relativistic spin-1 particles, identifying and closing a gap in a recent paper on that subject.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The manuscript computes the polarisation sets of the kernel distributions of the advanced and retarded Green operators (and their difference, the causal propagator) for normally hyperbolic operators acting on sections of vector bundles over globally hyperbolic spacetimes. The computation uses the principal symbol of the operator together with the geometry of the light cone in the cotangent bundle. The Proca operator is treated as a direct application that closes a gap left by a recent paper on that equation.

Significance. If the derivations hold, the explicit polarisation-set formulae supply a concrete microlocal tool for constructing Hadamard two-point functions and controlling singularities in propagators for vector-valued fields on curved backgrounds. The Proca example directly resolves a documented omission in the literature on massive spin-1 fields.

minor comments (3)
  1. [§2.3] §2.3: the definition of the polarisation set WF_p(u) is introduced without an immediate comparison to the scalar wavefront set; adding one sentence relating the two would improve readability for readers coming from the scalar case.
  2. [Theorem 4.2] Theorem 4.2: the statement that the polarisation set is contained in the conormal bundle to the light cone is correct but the proof sketch omits the explicit verification that the fibre component is annihilated by the principal symbol; a one-line reference to the symbol sequence would suffice.
  3. [§5.1] The Proca section (5.1) cites the gap in the earlier work but does not restate the precise missing polarisation component; repeating the missing datum would make the closure of the gap self-contained.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and their recommendation to accept.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The central computation of polarisation sets for the kernels of advanced/retarded Green operators follows directly from the principal symbol of a normally hyperbolic operator together with the standard geometry of the light cone in the cotangent bundle over a globally hyperbolic spacetime. Existence and uniqueness of the Green operators are invoked from classical hyperbolic PDE theory (not derived within the paper). No equations reduce by construction to fitted parameters, self-citations, or ansatzes imported from the authors' prior work; the Proca application is presented as filling an external gap rather than closing an internal loop. The derivation chain is therefore independent of its own outputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the standard existence theory for advanced and retarded Green operators of normally hyperbolic operators on globally hyperbolic spacetimes and on the definition of the polarisation set as a refinement of the wavefront set.

axioms (2)
  • domain assumption Normally hyperbolic operators on vector bundles over globally hyperbolic spacetimes admit unique advanced and retarded Green operators whose kernels are distributions with controlled singularities.
    Invoked as the setting in which the polarisation sets are computed.
  • standard math The polarisation set is well-defined for vector-valued distributions and generalizes the wavefront set by capturing fibre-directional information.
    Stated as the starting point of the work.

pith-pipeline@v0.9.0 · 5630 in / 1287 out tokens · 50910 ms · 2026-05-23T00:15:52.271623+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

26 extracted references · 26 canonical work pages

  1. [1]

    European Mathematical Society (EMS), Z¨ urich (2007)

    B¨ ar, C., Ginoux, N., Pf¨ affle, F.: Wave equations on Lorentzian ma nifolds and quantization. European Mathematical Society (EMS), Z¨ urich (2007)

  2. [2]

    Baum, H., Kath, I.: Normally hyperbolic operators, the Huygens p roperty and conformal geometry. Ann. Global Anal. Geom. 14(4), 315–371 (1996)

  3. [3]

    In: Advances in algebraic quantum field theory, Math

    Benini, M., Dappiaggi, C.: Models of free quantum field theories on cu rved backgrounds. In: Advances in algebraic quantum field theory, Math. Phys. Stud., pp. 75–124. Sp ringer, Cham (2015)

  4. [4]

    Brunetti, R., Fredenhagen, K., Verch, R.: The generally covarian t locality principle: A new paradigm for local quantum physics. Commun. Math. Phys. 237, 31–68 (2003)

  5. [5]

    Dencker, N.: On the propagation of polarization sets for system s of real principal type. J. Functional Analysis 46(3), 351–372 (1982)

  6. [6]

    Duistermaat, J.J., H¨ ormander, L.: Fourier integral operators . II. Acta Math. 128(3-4), 183–269 (1972)

  7. [7]

    In preparation

    Fewster, C.J.: The charged Proca field in an external electromag netic field: Green hyperbolicity, quanti- sation and Hadamard states. In preparation

  8. [8]

    In preparation

    Fewster, C.J.: Hadamard states for decomposable Green-hype rbolic operators. In preparation

  9. [9]

    Fewster, C.J., Pfenning, M.J.: A quantum weak energy inequality fo r spin-one fields in curved spacetime. J. Math. Phys. 44, 4480–4513 (2003)

  10. [10]

    Poincar´ e13, 1613–1674 (2012)

    Fewster, C.J., Verch, R.: Dynamical locality and covariance: Wha t makes a physical theory the same in all spacetimes? Annales H. Poincar´ e13, 1613–1674 (2012)

  11. [11]

    Fewster, C.J., Verch, R.: Algebraic quantum field theory in curve d spacetimes. In: R. Brunetti, C. Dappi- aggi, K. Fredenhagen, J. Yngvason (eds.) Advances in Algebraic Qu antum Field Theory. , Mathematical Physics Studies, pp. 125–189. Springer International Publishing, Springer International Publishing (2015)

  12. [12]

    Fewster, C.J., Verch, R.: Quantum fields and local measurement s. Comm. Math. Phys. 378(2), 851–889 (2020), arXiv:1810.06512

  13. [13]

    Hintz, P.: Resonance expansions for tensor-valued waves on a symptotically Kerr–de Sitter spaces. J. Spectr. Theory 7(2), 519–557 (2017)

  14. [14]

    Hollands, S.: The Hadamard condition for Dirac fields and adiabatic states on Robertson-Walker space- times. Comm. Math. Phys. 216(3), 635–661 (2001)

  15. [15]

    H¨ ormander, L.: Fourier integral operators. I. Acta Math. 127(1-2), 79–183 (1971)

  16. [16]

    I, second edn

    H¨ ormander, L.: The Analysis of Linear Partial Differential Oper ators. I, second edn. Springer Study Edition. Springer-Verlag, Berlin (1990). DOI 10.1007/978-3 -642-61497-2. URL http://dx.doi.org/10.1007/978-3-642-61497-2 . Distribution theory and Fourier analysis

  17. [17]

    III, Grundlehren der Mathematis- chen Wissenschaften [Fundamental Principles of Mathemati cal Sciences], vol

    H¨ ormander, L.: The analysis of linear partial differential opera tors. III, Grundlehren der Mathematis- chen Wissenschaften [Fundamental Principles of Mathemati cal Sciences], vol. 274. Springer-Verlag, Berlin (1994). Pseudo-differential operators, Corrected reprint of t he 1985 original

  18. [18]

    URL https://etheses.whiterose.ac.uk/3156/

    Hunt, D.S.: The quantization of linear gravitational perturbatio ns and the Hadamard condition (2012). URL https://etheses.whiterose.ac.uk/3156/. PhD thesis, University of York

  19. [19]

    Communications in Analysis and Geometry 32, 1811–1883 (2024) arXiv:2012.09767

    Islam, O., Strohmaier, A.: On microlocalization and the construct ion of Feynman propagators for normally hyperbolic operators. Communications in Analysis and Geometry 32, 1811–1883 (2024) arXiv:2012.09767

  20. [20]

    Kay, B.S., Wald, R.M.: Theorems on the uniqueness and thermal pr operties of stationary, nonsingular, quasifree states on space-times with a bifurcate Killing horizon. Phys. Rep. 207, 49–136 (1991)

  21. [21]

    Kratzert, K.: Singularity structure of the two point function o f the free Dirac field on a globally hyperbolic spacetime. Ann. Phys. 9(6), 475–498 (2000)

  22. [22]

    Moretti, V.: On the global Hadamard parametrix in QFT and the sig ned squared geodesic distance defined in domains larger than convex normal neighbourhoods. Lett. Math . Phys. 111(5), Paper No. 130, 19 (2021) 25

  23. [23]

    Moretti, V., Murro, S., Volpe, D.: The quantization of Proca fields on globally hyperbolic spacetimes: Hadamard states and Møller operators. Ann. Henri Poincar´ e 24(9), 3055–3111 (2023)

  24. [24]

    M¨ ullner, D.: Orientation reversal of manifolds. Algebr. Geom. Topol. 9, 2361–2390 (2009)

  25. [25]

    Radzikowski, M.J.: Micro-local approach to the Hadamard condit ion in quantum field theory on curved space-time. Commun. Math. Phys. 179, 529–553 (1996)

  26. [26]

    Sanders, K.: The locally covariant Dirac field. Rev. Math. Phys. 22, 381–430 (2010) 26