pith. sign in

arxiv: 2605.30176 · v1 · pith:2JLMOXQCnew · submitted 2026-05-28 · 🧮 math-ph · gr-qc· math.MP

The Fermionic Signature Operator in the Reissner-Nordstr\"om Geometry in Horizon-Penetrating Coordinates

Felix Finster , Christoph Krpoun This is my paper

Pith reviewed 2026-06-29 00:24 UTC · model grok-4.3

classification 🧮 math-ph gr-qcmath.MP
keywords Dirac equationReissner-Nordström geometryfermionic signature operatorfermionic flux operatorHadamard conditionmass decomposition theoremCauchy horizonblack hole geometry
0
0 comments X

The pith

The mass decomposition theorem expresses the spacetime inner product via the fermionic signature and flux operators for Dirac solutions in Reissner-Nordström geometry.

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

This paper proves a mass decomposition theorem for the Dirac equation in the Reissner-Nordström black hole written in horizon-penetrating coordinates that reach the Cauchy horizon. The theorem supplies a covariant representation of the spacetime inner product on the solution space in terms of the fermionic signature operator and the fermionic flux operator. Both operators are shown to be bounded and symmetric, and their spectra are computed explicitly on the space of massive Dirac solutions. The associated fermionic projector state is constructed and verified to satisfy the Hadamard condition. A reader would care because the result supplies a concrete way to define quantum states for fermions in a charged black-hole geometry all the way to the inner horizon.

Core claim

In horizon-penetrating coordinates for the Reissner-Nordström geometry, the spacetime inner product on the solution space of the massive Dirac equation admits a decomposition into terms involving the fermionic signature operator and the fermionic flux operator. Both operators are bounded symmetric operators whose spectra are determined. The fermionic projector state constructed from the signature operator satisfies the Hadamard condition, and the flux operator receives physical interpretations.

What carries the argument

The mass decomposition theorem, which gives a covariant representation of the spacetime inner product in terms of the fermionic signature operator and the fermionic flux operator.

If this is right

  • The fermionic signature operator and fermionic flux operator are bounded symmetric operators on the solution space of the massive Dirac equation.
  • The spectra of both operators can be computed explicitly.
  • The fermionic projector state constructed from them satisfies the Hadamard condition.
  • Physical interpretations are supplied for the fermionic flux operator.

Where Pith is reading between the lines

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

  • The horizon-penetrating coordinate choice suggests the same decomposition could be attempted in other static or slowly evolving black-hole metrics.
  • Explicit spectra would allow direct evaluation of expectation values for local observables near the Cauchy horizon.
  • The boundedness of the operators indicates that the quantum-state construction does not become singular at the inner horizon.

Load-bearing premise

The Dirac equation remains well-posed and the solution space is suitably defined all the way up to the Cauchy horizon when the metric is written in horizon-penetrating coordinates for the exact Reissner-Nordström geometry.

What would settle it

An explicit calculation showing that the fermionic projector fails the Hadamard condition or that one of the two operators is unbounded on the solution space.

Figures

Figures reproduced from arXiv: 2605.30176 by Christoph Krpoun, Felix Finster.

Figure 1
Figure 1. Figure 1: Maximal analytical extension of a Reissner-Nordstr¨om black hole. The green line indicates the constructed Cauchy hyper￾surfaces Nτ . The surface ∂M denotes the boundary constructed to obtain an essential self adjoint Hamiltonian for the spectral analysis. Ψ (orange) denotes an interacting fermionic wave propagating from the Cauchy surface. The event horizon (dark red) lies at r+ and the Cauchy horizon (pu… view at source ↗
read the original abstract

We study the Dirac equation in the Reissner-Nordstr\"om geometry in horizon-penetrating coordinates up to the Cauchy horizon. A mass decomposition theorem is proved, which gives a covariant representation of the spacetime inner product that naturally involves the fermionic signature operator and the fermionic flux operator. We compute their spectra and show that both are bounded symmetric operators on the solution space $\mathcal{H}_m$ of the massive Dirac equation. The corresponding fermionic projector state is constructed and shown to satisfy the Hadamard condition. Lastly, we give some physical interpretations of the fermionic flux operator.

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

2 major / 2 minor

Summary. The paper studies the Dirac equation for massive fermions in the Reissner-Nordström geometry written in horizon-penetrating coordinates that extend through the event horizon to the Cauchy horizon. It proves a mass decomposition theorem expressing the spacetime inner product covariantly in terms of the fermionic signature operator and the fermionic flux operator, computes the spectra of both operators, establishes that they are bounded and symmetric on the solution space H_m, constructs the associated fermionic projector, and verifies that this state satisfies the Hadamard condition. Physical interpretations of the flux operator are also discussed.

Significance. If the central constructions and spectral results hold, the work extends the fermionic signature operator formalism to charged black-hole backgrounds that include an inner horizon. This supplies an explicit covariant representation of the inner product and a Hadamard state that remains well-defined across both horizons, which is relevant for rigorous treatments of quantum fields near Cauchy horizons and for the construction of physically admissible states in singular spacetimes.

major comments (2)
  1. [Definition of H_m and extension to Cauchy horizon] The boundedness and symmetry of the fermionic signature and flux operators on H_m (Abstract and the section defining the solution space) rest on the claim that the Dirac equation remains well-posed and that the sesquilinear form stays non-degenerate up to the Cauchy horizon in horizon-penetrating coordinates. No explicit regularity estimate, mode decomposition, or control of possible boundary terms at the inner horizon is supplied to justify extending the L2 norms and the domain of the operators; this is load-bearing for the spectral claims and the subsequent Hadamard verification.
  2. [Mass decomposition theorem] The mass decomposition theorem (Abstract) is stated to give a covariant representation involving both operators, yet the proof sketch does not address whether the horizon-penetrating coordinate chart introduces additional first-order terms that could affect the symmetry or boundedness when the inner horizon is included; an explicit verification that the resulting operators remain self-adjoint on the chosen domain is required.
minor comments (2)
  1. Notation for the inner product and the precise definition of the domain of H_m should be stated once at the beginning rather than reintroduced in later sections.
  2. The physical-interpretation paragraph would benefit from a short comparison with the corresponding operators in the Schwarzschild case to highlight the effect of the charge.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address the two major comments point by point below. Both concerns can be resolved by adding explicit details and verifications that were only sketched in the original version.

read point-by-point responses

  1. Referee: [Definition of H_m and extension to Cauchy horizon] The boundedness and symmetry of the fermionic signature and flux operators on H_m (Abstract and the section defining the solution space) rest on the claim that the Dirac equation remains well-posed and that the sesquilinear form stays non-degenerate up to the Cauchy horizon in horizon-penetrating coordinates. No explicit regularity estimate, mode decomposition, or control of possible boundary terms at the inner horizon is supplied to justify extending the L2 norms and the domain of the operators; this is load-bearing for the spectral claims and the subsequent Hadamard verification.

    Authors: We agree that the extension of the domain to the Cauchy horizon requires more explicit justification than was provided. The well-posedness follows from the hyperbolic character of the Dirac equation, but we will add a dedicated appendix containing the regularity estimates, a near-horizon mode decomposition, and a direct check that boundary terms at the inner horizon vanish. This will confirm that the sesquilinear form remains non-degenerate and that both operators are bounded and symmetric on the full space H_m. revision: yes

  2. Referee: [Mass decomposition theorem] The mass decomposition theorem (Abstract) is stated to give a covariant representation involving both operators, yet the proof sketch does not address whether the horizon-penetrating coordinate chart introduces additional first-order terms that could affect the symmetry or boundedness when the inner horizon is included; an explicit verification that the resulting operators remain self-adjoint on the chosen domain is required.

    Authors: We acknowledge that the proof sketch in the current manuscript does not explicitly track the effect of the coordinate change on the domain and self-adjointness. In the revised version we will expand the proof of the mass decomposition theorem to include a direct calculation showing that the additional first-order terms arising from the horizon-penetrating chart are of lower order and preserve self-adjointness on the chosen domain. This verification will be carried out both in the exterior and across the inner horizon. revision: yes

Circularity Check

0 steps flagged

No circularity: direct proofs from Dirac equation in fixed background

full rationale

The paper proves a mass decomposition theorem, spectral properties, boundedness of operators, and Hadamard condition for the fermionic projector by direct analysis of the Dirac equation and associated sesquilinear forms in horizon-penetrating coordinates. No steps reduce by definition or construction to fitted parameters, self-referential definitions, or load-bearing self-citations; the derivation chain consists of standard functional-analytic constructions on the solution space H_m that remain independent of the target results. The abstract and reader's summary confirm the work is self-contained against the fixed Reissner-Nordström metric without invoking prior author results as uniqueness theorems or ansatzes.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper rests on standard background assumptions of general relativity and the theory of Dirac operators on Lorentzian manifolds; no new free parameters, ad-hoc axioms, or invented entities are mentioned in the abstract.

axioms (2)
  • standard math The Dirac operator on a Lorentzian manifold yields a well-defined solution space H_m for massive fields.
    Invoked implicitly when defining the operators on H_m.
  • domain assumption Horizon-penetrating coordinates render the metric regular across the event horizon up to the Cauchy horizon.
    Required for the analysis to reach the Cauchy horizon.

pith-pipeline@v0.9.1-grok · 5632 in / 1404 out tokens · 33480 ms · 2026-06-29T00:24:50.132136+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

30 extracted references · 16 linked inside Pith

  1. [1]

    Araki,On quasifree states ofCARand Bogoliubov automorphisms, Publ

    H. Araki,On quasifree states ofCARand Bogoliubov automorphisms, Publ. Res. Inst. Math. Sci. 6(1970/71), 385–442

    1970

  2. [2]

    Bernal and M

    A.N. Bernal and M. S´ anchez,On smooth Cauchy hypersurfaces and Geroch’s splitting theorem, arXiv:gr-qc/0306108, Commun. Math. Phys.243(2003), no. 3, 461–470

    Pith/arXiv arXiv 2003

  3. [3]

    Brunetti, M

    R. Brunetti, M. D¨ utsch, and K. Fredenhagen,Perturbative algebraic quantum field theory and the renormalization groups, arXiv:0901.2038 [math-ph], Adv. Theor. Math. Phys.13(2009), no. 5, 1541–1599

    Pith/arXiv arXiv 2038

  4. [4]

    Chandrasekhar,The Mathematical Theory of Black Holes, Oxford Classic Texts in the Physical Sciences, The Clarendon Press Oxford University Press, New York, 1998

    S. Chandrasekhar,The Mathematical Theory of Black Holes, Oxford Classic Texts in the Physical Sciences, The Clarendon Press Oxford University Press, New York, 1998

    1998

  5. [5]

    Dappiaggi, T.-P

    C. Dappiaggi, T.-P. Hack, and N. Pinamonti,The extended algebra of observables for Dirac fields and the trace anomaly of their stress-energy tensor, arXiv:0904.0612 [math-ph], Rev. Math. Phys. 21(2009), no. 10, 1241–1312

    Pith/arXiv arXiv 2009

  6. [6]

    Henri Poincar´ e12(2011), no

    ,Approximate KMS states for scalar and spinor fields in Friedmann-Robertson-Walker spacetimes, arXiv:1009.5179 [gr-qc], Ann. Henri Poincar´ e12(2011), no. 8, 1449–1489

    Pith/arXiv arXiv 2011

  7. [7]

    Dappiaggi, V

    C. Dappiaggi, V. Moretti, and N. Pinamonti,Rigorous steps towards holography in asymptotically flat spacetimes, arXiv:gr-qc/0506069, Rev. Math. Phys.18(2006), no. 4, 349–415

    Pith/arXiv arXiv 2006

  8. [8]

    Fewster and B

    C.J. Fewster and B. Lang,Pure quasifree states of the Dirac field from the fermionic projector, arXiv:1408.1645 [math-ph], Class. Quantum Grav.32(2015), no. 9, 095001, 30

    Pith/arXiv arXiv 2015

  9. [9]

    Fewster and R

    C.J. Fewster and R. Verch,The necessity of the Hadamard condition, arXiv:1307.5242 [gr-qc], Class. Quantum Grav.30(2013), no. 23, 235027, 20

    Pith/arXiv arXiv 2013

  10. [10]

    Finster,Definition of the Dirac sea in the presence of external fields, arXiv:hep-th/9705006, Adv

    F. Finster,Definition of the Dirac sea in the presence of external fields, arXiv:hep-th/9705006, Adv. Theor. Math. Phys.2(1998), no. 5, 963–985

    Pith/arXiv arXiv 1998

  11. [11]

    Finster, N

    F. Finster, N. Kamran, J. Smoller, and S.-T. Yau,The long-time dynamics of Dirac particles in the Kerr-Newman black hole geometry, arXiv:gr-qc/0005088, Adv. Theor. Math. Phys.7(2003), no. 1, 25–52

    Pith/arXiv arXiv 2003

  12. [12]

    Krpoun,An integral representation for the Dirac propagator in the Reissner- Nordstr¨ om geometry in Eddington-Finkelstein coordinates, arXiv:2302.12555 [math-ph], Lett

    F Finster and C. Krpoun,An integral representation for the Dirac propagator in the Reissner- Nordstr¨ om geometry in Eddington-Finkelstein coordinates, arXiv:2302.12555 [math-ph], Lett. Math. Phys.115(2025), Paper No. 59, 31

    arXiv 2025

  13. [13]

    Finster and O

    F. Finster and O. M¨ uller,Lorentzian spectral geometry for globally hyperbolic surfaces, arXiv:1411.3578 [math-ph], Adv. Theor. Math. Phys.20(2016), no. 4, 751–820

    Pith/arXiv arXiv 2016

  14. [14]

    Finster, S

    F. Finster, S. Murro, and C. R¨ oken,The fermionic projector in a time-dependent external potential: Mass oscillation property and Hadamard states, arXiv:1501.05522 [math-ph], J. Math. Phys.57 (2016), no. 7, 072303

    Pith/arXiv arXiv 2016

  15. [15]

    ,The fermionic signature operator and quantum states in Rindler space-time, arXiv:1606.03882 [math-ph], J. Math. Anal. Appl.454(2017), no. 1, 385–411

    Pith/arXiv arXiv 2017

  16. [16]

    Finster and M

    F. Finster and M. Reintjes,A non-perturbative construction of the fermionic projector on globally hyperbolic manifolds I – Space-times of finite lifetime, arXiv:1301.5420 [math-ph], Adv. Theor. Math. Phys.19(2015), no. 4, 761–803. FERMIONIC SIGNATURE OPERATOR IN REISSNER–NORDSTR ¨OM GEOMETRY 25

    Pith/arXiv arXiv 2015

  17. [17]

    ,A non-perturbative construction of the fermionic projector on globally hyperbolic manifolds II – Space-times of infinite lifetime, arXiv:1312.7209 [math-ph], Adv. Theor. Math. Phys.20 (2016), no. 5, 1007–1048

    arXiv 2016

  18. [18]

    ,The fermionic signature operator and space-time symmetries, arXiv:1708.09643 [math-ph], Adv. Theor. Math. Phys.22(2018), no. 8, 1907–1937

    Pith/arXiv arXiv 2018

  19. [19]

    Finster and C

    F. Finster and C. R¨ oken,Self-adjointness of the Dirac Hamiltonian for a class of non-uniformly elliptic boundary value problems, arXiv:1512.00761 [math-ph], Annals of Mathematical Sciences and Applications1(2016), no. 2, 301—-320

    Pith/arXiv arXiv 2016

  20. [20]

    ,An integral spectral representation of the massive Dirac propagator in the Kerr geometry in Eddington-Finkelstein-type coordinates, arXiv:1606.01509 [gr-qc], Adv. Theor. Math. Phys.22 (2018), no. 1, 47–92

    arXiv 2018

  21. [21]

    Henri Poincar´ e20(2019), no

    ,The fermionic signature operator in the exterior Schwarzschild geometry, arXiv:1812.02010 [math-ph], Ann. Henri Poincar´ e20(2019), no. 10, 3389–3418

    arXiv 2019

  22. [22]

    Fulling, F.J

    S.A. Fulling, F.J. Narcowich, and R.M. Wald,Singularity structure of the two-point function in quantum field theory in curved spacetime. II, Ann. Physics136(1981), no. 2, 243–272

    1981

  23. [23]

    G´ erard and M

    C. G´ erard and M. Wrochna,Hadamard states for the linearized Yang-Mills equation on curved spacetime, arXiv:1403.7153 [math-ph], Commun. Math. Phys.337(2015), no. 1, 253–320

    Pith/arXiv arXiv 2015

  24. [24]

    Goldberg, A.J

    J.N. Goldberg, A.J. Macfarlane, E.T. Newman, F. Rohrlich, and E.C.G. Sudarshan,Spin-sspher- ical harmonics and¯∂, J. Math. Phys.8(1967), 2155–2161

    1967

  25. [25]

    G´ erard and M

    C. G´ erard and M. Wrochna,Construction of hadamard states by pseudo-differential calculus, Com- munications in Mathematical Physics325(2013), no. 2, 713–755

    2013

  26. [26]

    Christian G´ erard and Michal Wrochna,Hadamard states for the linearized yang-mills equation on curved spacetime, 2017

    2017

  27. [27]

    1, 111–149

    Christian G´ erard and Micha l Wrochna,Construction of hadamard states by characteristic cauchy problem, Analysis; PDE9(2016), no. 1, 111–149

    2016

  28. [28]

    Krpoun and O

    C. Krpoun and O. M¨ uller,Solutions to the Dirac equation in Kerr-Newman geometries including the black-hole region, arXiv:2204.05741 [math.AP] (2022)

    arXiv 2022

  29. [29]

    Lawson, Jr

    H.B. Lawson, Jr. and M.-L. Michelsohn,Spin Geometry, Princeton Mathematical Series, vol. 38, Princeton University Press, Princeton, NJ, 1989

    1989

  30. [30]

    O’Neill,The Geometry of Kerr Black Holes, A K Peters Ltd., Wellesley, MA, 1995

    B. O’Neill,The Geometry of Kerr Black Holes, A K Peters Ltd., Wellesley, MA, 1995. F akult¨at f ¨ur Mathematik, Universit ¨at Regensburg, D-93040 Regensburg, Germany Email address:finster@ur.de, christoph.krpoun@mathematik.ur.de

    1995