Pith. sign in

REVIEW 4 major objections 4 minor 40 references

On Maxwell's Equations on Globally Hyperbolic Spacetimes with Timelike Boundary

T0 review · 4 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read This paper claims that Maxwell's equations on globally hyperbolic spacetimes with timelike boundary can be classified through two boundary-condition-adapted gauge groups, with every gauge class admitting a Lorenz-gauge representative…

desk verdict Solid within-program extension that is honest about its main technical gap: Assumption 16 is not verified for boundary-supported sources, so the central classifications are conditional as written. read the letter →

arxiv 1908.09504 v4 pith:KQZH4GCG submitted 2019-08-26 math-ph hep-thmath.MP

Claudio Dappiaggi , Nicolò Drago , Rubens Longhi This is my paper · ORCID
classification math-phhep-thmath.MP MSC 81T2081T05
keywords MaxwellequationsgloballyhyperbolicspacetimeswithtimelikeboundaryD'Alembert-deRhamoperatoradvancedandretardedGreenoperatorsLorenzgaugetriplesalgebraicquantumfieldtheorydifferentialforms
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

On a spacetime with a timelike boundary, solving Maxwell's equations requires both initial data and boundary conditions, and the gauge group itself must be adapted to those conditions. This paper proves that two distinguished choices — the $\delta\mathrm{d}$-tangential condition (the potential restricts to zero on the boundary) and the $\delta\mathrm{d}$-normal condition (the normal component of the field strength vanishes) — are compatible with Lorenz gauge fixing: every gauge equivalence class of solutions contains a representative satisfying $\delta A'=0$ and $\Box A'=0$. Under the assumption that advanced and retarded Green operators exist for the D'Alembert–de Rham operator with the relevant boundary data, the paper identifies the solution spaces with explicit quotients of compactly supported coclosed forms, and constructs unital $*$-algebras of observables with non-trivial center whenever certain exact spacelike-compact forms are not gauge-trivial. If the assumption holds, this yields a workable quantization scheme for electromagnetism on backgrounds such as anti-de Sitter-type spacetimes, and it shows that a timelike boundary changes the gauge group, not merely the boundary conditions.

What carries the argument

The central objects are the advanced and retarded Green operators $G^\pm_\sharp$ for the D'Alembert–de Rham operator $\Box=\delta d+d\delta$ on $k$-forms, with $\sharp$ running over Dirichlet, $\Box$-tangential, $\Box$-normal, and Robin-type boundary conditions. Assumption 16 postulates their existence on all compactly supported $k$-forms; from them one forms the causal propagator $G_\sharp=G^+_\sharp-G^-_\sharp$, which fits into the exact sequence $0\to\Omega^k_{c,\sharp}(M)\to\Omega^k_c(M)\to\Omega^k_{sc,\sharp}(M)\to\Omega^k_{sc}(M)\to 0$. The mechanism that carries the Maxwell argument is Lemma 23 and Corollary 24: the propagators commute with $d$ and $\delta$ when the source forms satisfy suitable boundary conditions, up to corrections built from auxiliary forms $\beta_\|$ and $\beta_\perp$. These identities let the authors push the Lorenz-gauge condition $\delta A'=0$ through the propagator and read it as coclosedness of the compactly supported initial-data class, which is what produces the quotient isomorphisms. On ultrastatic spacetimes with bounded geometry, the Green operators are constructed using boundary triples, with the boundary conditions encoded as self-adjoint linear relations.

What would settle it

Take half-Minkowski spacetime $\mathbb{R}^{m-1}\times\mathbb{R}_+$ with the flat metric, fix a boundary condition among those in Definition 12, and solve $\Box\psi=\omega$ for a smooth $k$-form source $\omega$ whose compact support meets the boundary $\partial M$; if for some $k$ and some such $\omega$ there is no solution $\psi\in\Omega^k_{sc,\sharp}(M)$ with the required support property, or if two distinct such solutions exist, then Assumption 16 fails and the classification in Propositions 30, 31, and 34 collapses. Conversely, constructing the Green operators for such boundary-touching sources, for instance by proving the reflected-geodesic wavefront set of [GW18], would verify the assumption and complete the paper's program.

Watch

Extended reading notes

Core claim

On a globally hyperbolic spacetime $(M,g)$ with timelike boundary, and for $0<k<m$, the paper establishes that the space $\mathrm{Sol}_t(M)$ of Maxwell solutions $\delta dA=0$ with $tA=0$ modulo the gauge group $d\Omega^{k-1}_t(M)$ is isomorphic, via the causal propagator $G_\|$, to $\Omega^k_{tc,\delta}(M)/\delta d\Omega^k_{tc,t}(M)$; analogously, $\mathrm{Sol}_{nd}(M)$ is isomorphic to $\Omega^k_{tc,n,\delta}(M)/\delta d\Omega^k_{tc,nd}(M)$, and the same holds for the spacelike-compact versions built from compactly supported forms. In both cases every equivalence class admits a Lorenz-gauge representative $A'$ with $\Box A'=0$ and $\delta A'=0$, and the residual gauge freedom is characterized by the spaces $G_t(M)$ and $G_{nd}(M)$. These isomorphisms rely on Assumption 16, the existence of advanced and retarded Green operators for the D'Alembert–de Rham operator with the chosen boundary conditions, which the paper verifies on ultrastatic globally hyperbolic spacetimes with bounded geometry via boundary triples. As an application, the paper constructs unital $*$-algebras of observables $A_t(M)$ and $A_{nd}(M)$ and proves that they have a non-trivial center whenever $d\Omega^{k-1}_{sc,t}(M)$ is strictly contained in $\Omega^k_{sc}(M)\cap d\Omega^{k-1}_t(M)$, or analogously for the normal case, matching the known failure of general local covariance for gauge theories on boundaryless spacetimes.

Load-bearing premise

The load-bearing premise is Assumption 16, that unique advanced and retarded Green operators exist for the D'Alembert–de Rham operator on all compactly supported $k$-forms with the chosen boundary conditions, including forms whose support touches the boundary — the paper only proves existence for interior-supported forms on ultrastatic spacetimes, so if that gap cannot be closed, the classification is conditional.

Editorial extensions

If this is right

  • With Assumption 16 in force, $\mathrm{Sol}_t(M)$ and $\mathrm{Sol}_{nd}(M)$ (and their spacelike-compact versions) are completely described by the quotients $\Omega^k_{tc,\delta}(M)/\delta d\Omega^k_{tc,t}(M)$ and $\Omega^k_{tc,n,\delta}(M)/\delta d\Omega^k_{tc,nd}(M)$, so computing Maxwell solutions reduces to computing compactly supported coclosed forms and exact forms with boundary data.
  • Every gauge equivalence class of Maxwell solutions admits a Lorenz-gauge representative, and the residual gauge freedom is exactly the kernel of the Maxwell operator in the restricted gauge spaces $G_t(M)$ and $G_{nd}(M)$.
  • On ultrastatic globally hyperbolic spacetimes with bounded geometry, the needed Green operators exist for Dirichlet, $\Box$-tangential, $\Box$-normal, and Robin-type boundary conditions with $f$ of definite sign, so the classification is unconditional there.
  • The algebras $A_t(M)$ and $A_{nd}(M)$ have a non-trivial center whenever the inclusion of spacelike-compact exact forms is strict, so the presence of a timelike boundary does not cure the known obstruction to general local covariance in Abelian gauge theories.
  • The presymplectic forms $\sigma_t$ and $\sigma_{nd}$ on the spacelike-compact solution spaces are isomorphic to the forms $\tilde{G}_\|$ and $\tilde{G}_\perp$ on the quotient spaces, giving a phase-space description that can serve as input for quantization.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The paper proves Assumption 16 only for test forms with support in the interior of $M$; until that assumption is proven for supports intersecting the boundary, the classification remains conditional. A plausible route is to show that the Green operators have the reflected-geodesic wavefront set discussed for scalar fields, which would also settle the extension to timelike-compact sources.
  • A consequence worth drawing is that the variational derivation in the paper singles out the $\delta\mathrm{d}$-normal boundary condition as the natural one for ordinary electromagnetism, since it eliminates the boundary term $(t\alpha, ndA)_{\partial M}$ in the variation of the action $\frac{1}{2}(dA,dA)$; the usual gauge group survives only for this condition, and must be restricted for $\delta\m
  • The strict-inclusion condition controlling the center is visible in a concrete example already contained in the paper: in half-Minkowski spacetime with a point removed from the interior, there exists an exact spacelike-compact $1$-form that is not $d$ of a spacelike-compact $0$-form, so the non-trivial center is not a purely abstract possibility.
  • If a generalization of Lemma 23 could be proven for Robin-type Maxwell boundary conditions, the same quotient-and-algebra construction would likely extend to that larger family; the paper explicitly leaves this as an open obstruction.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

4 major / 4 minor

Summary. This paper develops a systematic treatment of Maxwell equations as a theory for smooth k-forms on globally hyperbolic spacetimes with timelike boundary, in the sense of Aké–Flores–Sánchez. The authors first analyze the D'Alembert–de Rham operator □_k, identify boundary conditions (Dirichlet, □-tangential, □-normal, and Robin-type variants) that make it formally self-adjoint via a Green formula, and, under Assumption 16 (existence of advanced and retarded Green operators), derive an exact sequence characterizing its kernel and cokernel. They then study the Maxwell operator δd, introduce δd-tangential and δd-normal boundary conditions with associated gauge equivalence relations, prove that every gauge equivalence class admits a Lorenz-gauge representative, and establish isomorphisms between the solution spaces Sol_t(M), Sol_nd(M) and quotients of compactly supported coclosed forms by gauge transformations. They also define unital ∗-algebras of observables and prove, under strict inclusions of certain spaces of spacelike-compact exact forms, that these algebras have a nontrivial center. Appendix A uses boundary triples on ultrastatic bounded-geometry spacetimes to verify Assumption 16 for a class of boundary conditions, and Appendices B and C contain the technical decomposition and relative cohomology results used in the proofs.

Significance. If established in full, the paper would provide a rigorous classical and algebraic framework for Maxwell k-forms on Lorentzian manifolds with timelike boundary, including anti-de Sitter type settings, with explicit boundary conditions and a clarification of how the gauge group must be adjusted in the presence of a boundary. The algebraic development is clean: the main isomorphisms are derived in a parameter-free manner from Assumption 16, the dependence on the assumption is explicitly acknowledged, and the boundary-triple verification for ultrastatic spacetimes is a substantial technical contribution. The paper also makes a useful observation, in Corollary 41, that the nontrivial center phenomenon known for Maxwell theory on empty-boundary spacetimes persists under natural boundary conditions. The significance is reduced, however, by the fact that the central classification is conditional on an assumption whose verification in Appendix A is narrower than the assumption as stated.

major comments (4)
  1. [Appendix A, Theorem 47 and Remark 49] Assumption 16 is the load-bearing hypothesis for Proposition 20, Propositions 30–31, Proposition 34, and Corollary 41, but the verification in Appendix A covers only test sections with compact support in the interior ˚M: the distributional kernel G in Theorem 47 is built on Γ_c(Λ^kT^*˚M ⊠ Λ^kT^*˚M), condition (58) is asserted for ω ∈ Γ_c(Λ^kT^*˚M), and Remark 49 explicitly defers the extension to supports intersecting ∂M to future work. Since the Maxwell classification in Proposition 34 works with classes in Ω^k_tc,δ(M) and Ω^k_tc,n,δ(M), whose representatives may meet ∂M, the stated ultrastatic verification does not establish Assumption 16 in the form used in the main text. Please either prove the extension, or restate the main theorems with the domain of Assumption 16 narrowed to interior-supported sources and explain how the boundary-supported cases are recovered.
  2. [Appendix A, Proposition 48 vs Assumption 16] Assumption 16 asserts existence for all f ∈ C∞(∂M), but Proposition 48 verifies the Robin-type relations Θ_{f‖} only for f ≥ 0 and Θ_{f⊥} only for f ≤ 0, with the sign needed for non-negativity of S_{Θ_♯}. Thus the proof of Assumption 16 does not cover arbitrary smooth f; the assumption should be restricted accordingly or the missing sign cases established.
  3. [§3.2, Proposition 34, proof for δd-tangential] In the proof that G‖ descends to the quotient, the displayed chain begins with 'G‖δdη = -G‖δdη', which is inconsistent as written and is not a valid step. The intended identity G‖δdη = δdG‖η (or a corrected version using Corollary 24) is essential for the descent to the quotient, so this proof step must be rewritten.
  4. [§3.2, Example 37] Example 37 considers M = R^m_+ \ J(p) with the Minkowski metric. The boundary of this set is not smooth: it contains the null cone of p as well as the hyperplane boundary, and the two meet non-transversally. Hence M is not a globally hyperbolic spacetime with smooth timelike boundary in the sense of Theorem 1 and [AFS18], and the example does not demonstrate the strict inclusion dΩ^{k-1}_sc(M) ⊊ Ω^k_sc(M) ∩ dΩ^{k-1}(M) under the paper's standing geometric hypotheses.
minor comments (4)
  1. [§3.2, Propositions 30, 31, and 34] These propositions are stated for a globally hyperbolic spacetime with timelike boundary without mentioning Assumption 16, although their proofs invoke it through Remark 19 and Lemma 23; the hypotheses should be stated explicitly.
  2. [§3.2, Proposition 40] In the proof of equation (47), the sentence 'since α ∈ Ω^k_c,δ(M) we can choose α = δβ' is imprecise: the argument tests with δβ for arbitrary β, not that every α is δ-exact. Please rephrase to avoid the implication that every coclosed compactly supported form is exact.
  3. [Appendix A, notation after equation (57)] The symbols tδ and nd used in Appendix A are introduced through a 'slight abuse of notation'; a short explicit definition, for example tδω = t∂Σ δΣ ω and ndω = n∂Σ dΣ ω, would improve readability.
  4. [References] The reference [DDF19] is listed as 'to appear in Lett. Math. Phys. (2019)'; since the manuscript is dated 2020, the published version should be cited if available.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity found: the Maxwell classification is a conditional algebraic derivation resting on an explicitly stated existence assumption, whose partial verification gap is a completeness issue rather than a self-referential reduction.

full rationale

The paper's central claims (Propositions 30, 31, 34, 35, 40, 41) are algebraic consequences of Assumption 16, which postulates advanced and retarded Green operators for the D'Alembert-de Rham operator with the listed boundary conditions. This assumption is openly stated in the ledger and not disguised as a derived result; the paper also explicitly says in the introduction that 'it is beyond our current knowledge verifying whether our assumption on the existence of fundamental solutions is always true.' The verification in Appendix A constructs Green operators on ultrastatic spacetimes using boundary triples, following the scalar result of DDF19; Remark 49 acknowledges that the proof covers test sections with compact support in the interior and that extension to supports intersecting the boundary 'will be addressed explicitly in a future work.' That is a gap between the assumed domain and the verified domain, not a circular reduction: the later Maxwell propositions use the assumption as an input, but they do not redefine their conclusions in terms of the assumption, nor do they fit any parameter to the data they then predict. The self-citations to DDF19 are used for a scalar base case and a functional-analytic technique; the boundary-triple theorems themselves are attributed to Grubb and Malamud, and the uniqueness of Green operators is proven in Corollary 18 rather than imported from a same-author uniqueness theorem. No fitted-input-called-prediction pattern is present, since no parameters are fitted. The classification maps in Proposition 34 are derived, not assumed: surjectivity comes from the Lorenz-gauge representatives constructed in Propositions 30 and 31, and injectivity is proven by showing that any class mapped to zero lies in the stated denominator. Consequently, the paper contains no step whose derivation is equivalent to its own input by definition or by a load-bearing self-citation chain.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The central claim rests on a geometric background assumption, a bounded-geometry hypothesis, an explicit existence assumption for Green operators (only partially proven), and standard functional analytic and topological theorems. No numerical fitting or new physical entities are introduced.

assumptions (5)
  • domain assumption (M,g) is a globally hyperbolic spacetime with timelike boundary in the sense of Aké-Flores-Sánchez, with a finite good cover and connected boundary.
    Assumed in Section 2 and used throughout; Theorem 1 from [AFS18] gives the product structure M ≃ R × Σ.
  • domain assumption The Cauchy surface (Σ, h0) is of bounded geometry and ∂Σ is a smooth submanifold of bounded geometry.
    Assumed in Appendix A to construct Sobolev spaces and trace maps needed for the boundary triple and Theorem 47.
  • ad hoc to paper Assumption 16: the existence of unique advanced and retarded Green operators for the D'Alembert-de Rham operator with boundary conditions D, ‖, ⊥, f‖, f⊥ on the full space of compactly supported k-forms.
    This existence is the central unproved hypothesis of the main body; Appendix A proves it only for interior-compact supports on ultrastatic spacetimes, and Remark 49 defers the boundary-support case.
  • standard math Boundary triple theory, the characterization of self-adjoint extensions (Proposition 46 from [Mal92]), and the spectral construction of Green operators following [DDF19, Thm. 30].
    Used in Appendix A to prove Theorem 47; these are established external results in operator theory.
  • standard math Poincaré-Lefschetz duality and the relative de Rham cohomology isomorphisms (Appendix C, Propositions 51 to 53).
    Used in Propositions 40 and Remark 36 to prove separability and non-redundancy of the observable spaces and to identify the degeneracy of the presymplectic forms.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On Maxwell's Equations on Globally Hyperbolic Spacetimes with Timelike Boundary." pith.science (2026). https://pith.science/paper/KQZH4GCG

@misc{pith2026190809504,
  author       = {Pith},
  title        = {Pith review of: On Maxwell's Equations on Globally Hyperbolic Spacetimes with Timelike Boundary},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/KQZH4GCG}},
  note         = {Machine review of arXiv:1908.09504}
}
abstract

We study Maxwell's equation as a theory for smooth $k$-forms on globally hyperbolic spacetimes with timelike boundary as defined by Ak\'e, Flores and Sanchez. In particular we start by investigating on these backgrounds the D'Alembert - de Rham wave operator $\Box_k$ and we highlight the boundary conditions which yield a Green's formula for $\Box_k$. Subsequently, we characterize the space of solutions of the associated initial and boundary value problem under the assumption that advanced and retarded Green operators do exist. This hypothesis is proven to be verified by a large class of boundary conditions using the method of boundary triples and under the additional assumption that the underlying spacetime is ultrastatic. Subsequently we focus on the Maxwell operator. First we construct the boundary conditions which entail a Green's formula for such operator and then we highlight two distinguished cases, dubbed $\delta\mathrm{d}$-tangential and $\delta\mathrm{d}$-normal boundary conditions. Associated to these we introduce two different notions of gauge equivalence and we prove that in both cases, every equivalence class admits a representative abiding to the Lorenz gauge. We use this property and the analysis of the operator $\Box_k$ to construct and to classify the space of gauge equivalence classes of solutions of the Maxwell's equations with the prescribed boundary conditions. As a last step and in the spirit of future applications in the framework of algebraic quantum field theory, we construct the associated unital $*$-algebras of observables proving in particular that, as in the case of the Maxwell operator on globally hyperbolic spacetimes with empty boundary, they possess a non-trivial center.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

40 extracted references · 32 canonical work pages

  1. [1]

    Structure of globally hyperbolic spacetimes with timelike boundary

    Ak\'e L., Flores J.L. , Sanchez M., ``Structure of globally hyperbolic spacetimes with timelike boundary'', arXiv:1808.04412 [gr-qc]

    work page Pith review arXiv

  2. [2]

    Bachelot, ``New boundary conditions on the time-like conformal infinity of the Anti-de Sitter universe'', Comptes Rendus Mathematique, 350 (2012) 359

    A. Bachelot, ``New boundary conditions on the time-like conformal infinity of the Anti-de Sitter universe'', Comptes Rendus Mathematique, 350 (2012) 359

    work page 2012

  3. [3]

    B\"ar C., ``Green-Hyperbolic Operators on Globally Hyperbolic Spacetimes'', Commun.\ Math.\ Phys.\ 333 (2015) no.3, 1585 [arXiv:1310.0738 [math-ph]]

    arXiv 2015

  4. [4]

    In: de Snoo, H.S.V

    Behrndt, J., Langer, M., Elliptic operators, Dirichlet-to-Neumann maps and quasi boundary triples. In: de Snoo, H.S.V. (ed.) Operator Methods for Boundary Value Problems. London Mathematical Society, Lecture Notes, Cambridge University Press, Cambridge (2012), 298p

    work page 2012

  5. [5]

    A C*-algebra for quantized principal U(1)-connections on globally hyperbolic Lorentzian manifolds

    M. Benini, C. Dappiaggi, T. P. Hack and A. Schenkel, ``A C*-algebra for quantized principal U(1)-connections on globally hyperbolic Lorentzian manifolds,'' Commun.\ Math.\ Phys.\ 332 (2014) 477 [arXiv:1307.3052 [math-ph]]

    work page Pith review arXiv 2014

  6. [6]

    Algebraic quantum field theory on spacetimes with timelike boundary

    M. Benini, C. Dappiaggi and A. Schenkel, ``Algebraic quantum field theory on spacetimes with timelike boundary,'' Annales Henri Poincare 19 (2018) no.8, 2401 [arXiv:1712.06686 [math-ph]]

    work page Pith review arXiv 2018

  7. [7]

    Quantized Abelian principal connections on Lorentzian manifolds

    M. Benini, C. Dappiaggi and A. Schenkel, ``Quantized Abelian principal connections on Lorentzian manifolds,'' Commun.\ Math.\ Phys.\ 330 (2014) 123 [arXiv:1303.2515 [math-ph]]

    work page Pith review arXiv 2014

  8. [8]

    Benini M., ``Optimal space of linear classical observables for Maxwell k -forms via spacelike and timelike compact de Rham cohomologies'', J.\ Math.\ Phys.\ 57 (2016) no.5, 053502 [arXiv:1401.7563 [math-ph]]

    work page Pith review arXiv 2016

Show all 40 references
  1. [9]

    ar, N. Ginoux and F. Pf\

    C. B\"ar, N. Ginoux and F. Pf\"affle, Wave equation on Lorentzian manifolds and quantization , European Mathematical Society (2007) 194p

    2007

  2. [10]

    R. Bott, L. W. Tu, Differential forms in algebraic topology, (1982), Springer, 331p

    1982

  3. [11]

    Brunetti, K

    R. Brunetti, K. Fredenhagen and R. Verch, ``The Generally covariant locality principle: A New paradigm for local quantum field theory,'' Commun.\ Math.\ Phys.\ 237 (2003) 31 [math-ph/0112041]

    2003 arXiv

  4. [12]

    ``Fundamental solutions for the wave operator on static Lorentzian manifolds with timelike boundary'', to appear in Lett

    Dappiaggi, C., Drago, N., Ferreira, H. ``Fundamental solutions for the wave operator on static Lorentzian manifolds with timelike boundary'', to appear in Lett. Math. Phys. (2019), arXiv:1804.03434 [math-ph]

    2019 arXiv

  5. [13]

    Dappiaggi and H

    C. Dappiaggi and H. R. C. Ferreira, ``On the algebraic quantization of a massive scalar field in anti-de-Sitter spacetime,'' Rev.\ Math.\ Phys.\ 30 (2018) 0004 [arXiv:1701.07215 [math-ph]]

    2018 arXiv

  6. [14]

    Dappiaggi, H

    C. Dappiaggi, H. R. C. Ferreira and B. A. Jurez-Aubry, ``Mode solutions for a Klein-Gordon field in anti-de Sitter spacetime with dynamical boundary conditions of Wentzell type,'' Phys.\ Rev.\ D 97 (2018) no.8, 085022 [arXiv:1802.00283 [hep-th]]

    2018 arXiv

  7. [15]

    Dappiaggi and B

    C. Dappiaggi and B. Lang, ``Quantization of Maxwell's equations on curved backgrounds and general local covariance,'' Lett.\ Math.\ Phys.\ 101 (2012) 265 [arXiv:1104.1374 [gr-qc]]

    2012 arXiv

  8. [16]

    Dappiaggi and D

    C. Dappiaggi and D. Siemssen, ``Hadamard States for the Vector Potential on Asymptotically Flat Spacetimes,'' Rev.\ Math.\ Phys.\ 25 (2013) 1350002 doi:10.1142/S0129055X13500025 [arXiv:1106.5575 [gr-qc]]

    2013 arXiv

  9. [17]

    Derezi\'nski and D

    J. Derezi\'nski and D. Siemssen, ``An Evolution Equation Approach to the Klein-Gordon Operator on Curved Spacetime,'' Analysis 1 (2019) 215 [arXiv:1709.03911 [math-ph]]

    2019 arXiv

  10. [18]

    Dimock, ``Quantized electromagnetic field on a manifold,'' Rev.\ Math.\ Phys.\ 4 (1992) 223

    J. Dimock, ``Quantized electromagnetic field on a manifold,'' Rev.\ Math.\ Phys.\ 4 (1992) 223

    1992

  11. [19]

    Dybalski and M

    W. Dybalski and M. Wrochna, ``A mechanism for holography for non-interacting fields on anti-de Sitter spacetimes,'' Class.\ Quant.\ Grav.\ 36 (2019) no.8, 085006 [arXiv:1809.05123 [math-ph]]

    2019 arXiv

  12. [20]

    C. J. Fewster and M. J. Pfenning, ``A Quantum weak energy inequality for spin one fields in curved space-time,'' J.\ Math.\ Phys.\ 44 (2003) 4480 [gr-qc/0303106]

    2003 arXiv

  13. [21]

    Gannot and M

    O. Gannot and M. Wrochna, ``Propagation of singularities on AdS spacetimes for general boundary conditions and the holographic Hadamard condition,'' arXiv:1812.06564 [math.AP]

    arXiv

  14. [22]

    Gro e and S

    N. Gro e and S. Murro, ``The well-posedness of the Cauchy problem for the Dirac operator on globally hyperbolic manifolds with timelike boundary'', ArXiv:1806.06544 [math.DG]

    arXiv

  15. [23]

    Gro e and C

    N. Gro e and C. Schneider, ``Sobolev spaces on Riemannian manifolds with bounded geometry: general coordinates and traces'', Math. Nachr. 286 (2013), 1586, ArXiv:1301.2539 [math.FA]

    2013 arXiv

  16. [24]

    Grubb, ``A characterization of the non-local boundary value problems associated with an elliptic operator'', Ann

    G. Grubb, ``A characterization of the non-local boundary value problems associated with an elliptic operator'', Ann. Sc. Norm. Sup. Pisa (3) 22 (1968) 425

    1968

  17. [25]

    T. P. Hack and A. Schenkel, ``Linear bosonic and fermionic quantum gauge theories on curved spacetimes,'' Gen.\ Rel.\ Grav.\ 45 (2013) 877 [arXiv:1205.3484 [math-ph]]

    2013 arXiv

  18. [26]

    Holzegel, J

    G. Holzegel, J. Luk, J. Smulevici and C. Warnick, ``Asymptotic properties of linear field equations in anti-de Sitter space,'' arXiv:1502.04965 [gr-qc]

    arXiv

  19. [27]

    Holzegel ``Well-posedness for the massive wave equation on asymptotically anti-de sitter spacetimes'', Jour

    G. Holzegel ``Well-posedness for the massive wave equation on asymptotically anti-de sitter spacetimes'', Jour. of Hyp. Diff. Eq., 9 (2012), 239, arXiv:1103.0710 [gr-qc]

    2012 arXiv

  20. [28]

    Husem\"oller, Fibre Bundles, (1994), Springer, 356p

    D. Husem\"oller, Fibre Bundles, (1994), Springer, 356p

    1994

  21. [29]

    B. S. Kay, ``The Principle of locality and quantum field theory on (nonglobally hyperbolic) curved space-times,'' Rev.\ Math.\ Phys.\ 4 (1992) no.spec01, 167

    1992

  22. [30]

    Lee Introduction to Smooth Manifolds, 2nd ed

    J.M. Lee Introduction to Smooth Manifolds, 2nd ed. (2013) Springer, 706p

    2013

  23. [31]

    Malamud, ``On a formula for the generalized resolvents of a non-densely defined Hermitian operator,'' Ukr

    M. Malamud, ``On a formula for the generalized resolvents of a non-densely defined Hermitian operator,'' Ukr. Math. J. 44 (1992), 1522

    1992

  24. [32]

    Mathieu, A

    P. Mathieu, A. Schenkel, N. J. Teh and L. Wells, ``Homological perspective on edge modes in linear Yang-Mills theory,'' arXiv:1907.10651 [hep-th]

    1907 arXiv

  25. [33]

    C. R. F. Maunder, Algebraic Topology, (1980) Cambridge University Press, 375p

    1980

  26. [34]

    M. J. Pfenning, ``Quantization of the Maxwell field in curved spacetimes of arbitrary dimension,'' Class.\ Quant.\ Grav.\ 26 (2009) 135017 [arXiv:0902.4887 [math-ph]]

    2009 arXiv

  27. [35]

    Sanders, C

    K. Sanders, C. Dappiaggi and T. P. Hack, ``Electromagnetism, Local Covariance, the Aharonov-Bohm Effect and Gauss' Law,'' Commun.\ Math.\ Phys.\ 328 (2014) 625 [arXiv:1211.6420 [math-ph]]

    2014 arXiv

  28. [36]

    Schwarz, Hodge Decomposition - A Method for Solving Boundary Value Problems, (1995) Springer, 154p

    G. Schwarz, Hodge Decomposition - A Method for Solving Boundary Value Problems, (1995) Springer, 154p

    1995

  29. [37]

    Vasy ``The wave equation on asymptotically anti de sitter spaces'' , Analysis and PDE, 5 (2012) 81

    A. Vasy ``The wave equation on asymptotically anti de sitter spaces'' , Analysis and PDE, 5 (2012) 81

    2012

  30. [38]

    Wrochna, ``The holographic Hadamard condition on asymptotically Anti-de Sitter spacetimes'', Lett

    M. Wrochna, ``The holographic Hadamard condition on asymptotically Anti-de Sitter spacetimes'', Lett. Math. Phys. 107 (2017) 2291, arXiv:1612.01203 [math-ph]

    2017 arXiv

  31. [39]

    Wrochna, J

    M. Wrochna, J. Zahn, ``Classical phase space and Hadamard states in the BRST formalism for gauge field theories on curved spacetime'', Rev. Math. Phys. 29 (04), 1750014, (2017)

    2017

  32. [40]

    Zahn, ``Generalized Wentzell boundary conditions and quantum field theory,'' Annales Henri Poincare 19 (2018) no.1, 163 [arXiv:1512.05512 [math-ph]]

    J. Zahn, ``Generalized Wentzell boundary conditions and quantum field theory,'' Annales Henri Poincare 19 (2018) no.1, 163 [arXiv:1512.05512 [math-ph]]

    2018 arXiv

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.