Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

The First Law of Black Hole Mechanics for Fields with Internal Gauge Freedom

Kartik Prabhu

TL;DR

This work extends black hole thermodynamics to theories with internal gauge freedom by formulating dynamical fields on a principal bundle and treating diffeomorphisms and gauge transformations as bundle automorphisms. It defines horizon potentials and charges via a Cartan-subalgebra decomposition, establishing a generalized zeroth law and a comprehensive first law that accommodates gauge fields (e.g., Yang–Mills) and fermions (e.g., Dirac) alongside gravity. The results recover and generalize Wald’s entropy framework within a gauge-covariant bundle setting, clarifying ambiguities and topological contributions to entropy and energy. The framework is demonstrated through concrete examples: Palatini-Holst gravity, Einstein-Yang-Mills, and Einstein-Dirac, highlighting how horizon data and infinity data combine in the first law across nontrivial gauge bundles.

Abstract

We derive the first law of black hole mechanics for physical theories based on a local, covariant and gauge-invariant Lagrangian where the dynamical fields transform non-trivially under the action of internal gauge transformations. The theories of interest include General Relativity formulated in terms of tetrads, Einstein-Yang-Mills theory and Einstein-Dirac theory. Since the dynamical fields of these theories have gauge freedom, we argue that there is no group action of diffeomorphisms of spacetime on such dynamical fields. In general, such fields cannot even be represented as smooth, globally well-defined tensor fields on spacetime. Consequently the derivation of the first law by Iyer-Wald cannot be used directly. We show how such theories can be formulated on a principal bundle and that there is a natural action of automorphisms of the bundle on the fields. These bundle automorphisms encode both spacetime diffeomorphisms and gauge transformations. Using this reformulation we define the Noether charge associated to an infinitesimal automorphism and the corresponding notion of stationarity and axisymmetry of the dynamical fields. We define certain potentials and charges at the horizon of a black hole so that the potentials are constant on the bifurcate Killing horizon, giving a generalised zeroth law for bifurcate Killing horizons. We identify the gravitational potential and perturbed charge as the temperature and perturbed entropy of the black hole which gives an explicit formula for the perturbed entropy analogous to the Wald entropy formula. We obtain a general first law of black hole mechanics for such theories. The first law relates the perturbed Hamiltonians at spatial infinity and the horizon, and the horizon contributions take the form of a potential times perturbed charge term. We also comment on the ambiguities in defining a prescription for the total entropy for black holes.

The First Law of Black Hole Mechanics for Fields with Internal Gauge Freedom

TL;DR

This work extends black hole thermodynamics to theories with internal gauge freedom by formulating dynamical fields on a principal bundle and treating diffeomorphisms and gauge transformations as bundle automorphisms. It defines horizon potentials and charges via a Cartan-subalgebra decomposition, establishing a generalized zeroth law and a comprehensive first law that accommodates gauge fields (e.g., Yang–Mills) and fermions (e.g., Dirac) alongside gravity. The results recover and generalize Wald’s entropy framework within a gauge-covariant bundle setting, clarifying ambiguities and topological contributions to entropy and energy. The framework is demonstrated through concrete examples: Palatini-Holst gravity, Einstein-Yang-Mills, and Einstein-Dirac, highlighting how horizon data and infinity data combine in the first law across nontrivial gauge bundles.

Abstract

We derive the first law of black hole mechanics for physical theories based on a local, covariant and gauge-invariant Lagrangian where the dynamical fields transform non-trivially under the action of internal gauge transformations. The theories of interest include General Relativity formulated in terms of tetrads, Einstein-Yang-Mills theory and Einstein-Dirac theory. Since the dynamical fields of these theories have gauge freedom, we argue that there is no group action of diffeomorphisms of spacetime on such dynamical fields. In general, such fields cannot even be represented as smooth, globally well-defined tensor fields on spacetime. Consequently the derivation of the first law by Iyer-Wald cannot be used directly. We show how such theories can be formulated on a principal bundle and that there is a natural action of automorphisms of the bundle on the fields. These bundle automorphisms encode both spacetime diffeomorphisms and gauge transformations. Using this reformulation we define the Noether charge associated to an infinitesimal automorphism and the corresponding notion of stationarity and axisymmetry of the dynamical fields. We define certain potentials and charges at the horizon of a black hole so that the potentials are constant on the bifurcate Killing horizon, giving a generalised zeroth law for bifurcate Killing horizons. We identify the gravitational potential and perturbed charge as the temperature and perturbed entropy of the black hole which gives an explicit formula for the perturbed entropy analogous to the Wald entropy formula. We obtain a general first law of black hole mechanics for such theories. The first law relates the perturbed Hamiltonians at spatial infinity and the horizon, and the horizon contributions take the form of a potential times perturbed charge term. We also comment on the ambiguities in defining a prescription for the total entropy for black holes.

Paper Structure

This paper contains 15 sections, 15 theorems, 196 equations, 1 figure.

Table of Contents

  1. Introduction
  2. Dynamical fields and Lagrangian theories on a principal bundle
  3. The form of the gauge-invariant Lagrangian
  4. Equations of motion, the symplectic potential and symplectic current
  5. Noether current, Noether charge and boundary Hamiltonians
  6. Horizon potentials and charges, and the zeroth law for bifurcate Killing horizons
  7. Temperature and entropy as the horizon potential and charge for gravity
  8. The first law for gauge-invariant Lagrangians
  9. Examples
  10. Palatini-Holst
  11. Yang-Mills
  12. Dirac spinor
  13. Mathematical aside
  14. Principal fibre bundles
  15. Local and covariant functionals on a principal bundle

Key Result

Lemma 2.1

For any Lagrangian of the form specified in eq:L, the symplectic potential $\boldsymbol{\theta}(\psi;\delta\psi)$ can be chosen to be a horizontal form on $P$ of the form with Here would be the equations of motion obtained if the curvature $\boldsymbol{F}^I$ and torsion $\boldsymbol{T}^a$, respectively, are viewed as an independent fields. Similarly would be the equations of motion if the all

Figures (1)

  • Figure 1: Carter-Penrose diagram of the black hole exterior spacetime $(M,g_{\mu\nu})$.

Theorems & Definitions (44)

  • Lemma 2.1: horizontal symplectic potential
  • proof
  • Lemma 2.2: closed symplectic current
  • proof
  • Proposition 2.1: Bianchi identities
  • proof
  • Lemma 2.3: Noether charge
  • proof
  • Lemma 2.4: Form of the Noether charge
  • proof
  • ...and 34 more