[Paper Review] Improving the "No-Hair" Theorem for the Proca Field

Eloy Ayón–Beato|ArXiv.org|Oct 1, 2002

Black Holes and Theoretical Physics3 references3 citations

TL;DR

This paper strengthens the 'no-hair' theorem for Proca fields around static black holes by rigorously justifying the use of a standard integration measure on the event horizon, which is a degenerate null hypersurface. By incorporating the Einstein equations to show the horizon contribution vanishes, the proof is made more physically grounded and mathematically consistent, resolving ambiguities in Bekenstein's original integral identity approach.

ABSTRACT

This paper reconsider the problem of a Proca field in the exterior of a static black hole. The original Bekenstein's demonstration on the vanishing of this field, based on an integral identity, is improved by using more natural arguments at the event horizon. In particular, the use of the so-called standard integration measure in the horizon is fully justified. Accordingly, the horizon contribution to the Bekenstein integral identity is more involved and its vanishing can be only established using the related Einstein equations. With the new reasoning the ``no-hair'' theorem for the Proca field now rest on better founded grounds.

Motivation & Objective

• To address the lack of rigorous justification for the integration measure on the event horizon in Bekenstein's original proof of the no-hair theorem for Proca fields.
• To demonstrate that the horizon contribution to the Bekenstein integral identity vanishes only when the Einstein equations are explicitly used, not just matter field equations.
• To provide a more physically and geometrically consistent foundation for the 'no-hair' theorem in the context of massive vector fields in static black hole spacetimes.
• To establish a robust framework applicable to effective Einstein-Proca systems in extended gravity theories, such as metric-affine gravity.
• To lay the groundwork for extending the no-hair argument to more complex systems with dynamically generated masses via spontaneous symmetry breaking.

Proposed method

• Introduces a geometrically natural integration measure on the event horizon by using the null normal vector $\bm{n}$ and the null generator $\bm{l}$, leading to a volume three-form $\bm{\eta_3} = -{}^{*}\bm{n}$.
• Applies Stokes' theorem to derive the boundary integral in Gauss form, with the measure $\mathrm{d}\Sigma_\beta = 2n_{[\beta}l_{\mu]}l^\mu \mathrm{d}\sigma$ on the horizon.
• Uses the Hodge dual and Levi-Civita tensor to relate the boundary form $\bm{\alpha}$ to the vector field $\bm{v}$, ensuring consistency with the integral identity.
• Derives the function $h$ in the boundary integrand via $h = 2{}^{*}\alpha^\rho n_{[\rho}l_{\mu]}l^\mu$, which determines the effective surface measure.
• Incorporates the Einstein equations to show that the horizon contribution to the Bekenstein identity vanishes, correcting the assumption that only matter equations suffice.
• Justifies the use of the standard integration measure on the horizon through geometric and topological arguments in the appendix, confirming its consistency with the spacetime structure.

Experimental results

Research questions

• RQ1 Why does the original Bekenstein proof fail to rigorously justify the horizon contribution in the integral identity for Proca fields?
• RQ2 What is the correct geometrically motivated integration measure on the degenerate null horizon for the Proca field's boundary term?
• RQ3 Can the horizon contribution to the Bekenstein integral identity be shown to vanish without relying solely on matter field equations?
• RQ4 How do the Einstein equations contribute to the vanishing of the horizon term in the no-hair argument for massive vector fields?
• RQ5 To what extent can this improved proof be generalized to more complex field theories with dynamical mass generation?

Key findings

• The horizon contribution to the Bekenstein integral identity vanishes only when the Einstein equations are used, not merely from matter field equations, correcting a foundational assumption in earlier proofs.
• A geometrically justified integration measure on the event horizon is derived using the null normal $\bm{n}$ and generator $\bm{l}$, yielding $\mathrm{d}\Sigma_\beta = 2n_{[\beta}l_{\mu]}l^\mu \mathrm{d}\sigma$.
• The standard integration measure on the horizon is rigorously justified through the use of the Hodge dual and volume forms on degenerate null hypersurfaces.
• The improved proof establishes the 'no-proca-hair' theorem on more solid physical and geometric grounds, removing reliance on ad hoc assumptions about horizon integration.
• The method provides a reliable foundation for extending the no-hair theorem to effective Einstein-Proca systems in theories like metric-affine gravity.
• The framework is adaptable to systems with dynamically generated masses, such as those arising from spontaneous symmetry breaking, enabling broader applications.