Black Hole Thermodynamic Ensembles, Euclidean Action and Legendre Transformation

In thermodynamics, a Legendre transformation of the free energy provides a mapping between different statistical ensembles. In this work, we demonstrate that performing a Legendre transformation of the black hole on-shell action is equivalent to imposing different boundary conditions on the fields. Consequently, the choice of ensemble must be consistent with, and cannot contradict, the imposed boundary conditions. From this perspective, it follows that for four-dimensional dyonic black holes, the on-shell action can only be expressed either as a function of the electric charge and the magnetic potential, or alternatively as a function of the magnetic charge and the electric potential. Inspired by the Legendre transformation of the Maxwell field, we argue that for purely gravitational theories whose metric geometries admit a (U(1)) fiber bundle structure, i.e.\ rotating, boosted, or Kaluza-Klein monopole configurations, one can similarly introduce appropriate Legendre terms, in the sense of dimensional reduction, to modify the thermodynamic ensemble of the black hole. Within the dimensional reduction framework, we study the on-shell action of black holes in five-dimensional minimal supergravity with a Chern-Simons term, analyze the corresponding Legendre transformation procedure, and show how the resulting formulation remains consistent with the Wald formalism.

💡 Research Summary

The paper investigates the deep relationship between Legendre transformations of black‑hole on‑shell actions and the choice of boundary conditions for the fields. Starting from the well‑known fact that in ordinary thermodynamics a Legendre transform changes the ensemble by swapping conjugate variables, the authors argue that in gravitational systems the same operation corresponds to adding a total‑derivative term to the action, which modifies the variational principle and thus the boundary conditions imposed on the fields.

Using Einstein‑Maxwell theory as a pedagogical example, the authors first review the covariant phase‑space (Wald) formalism. They show that electric charge and its potential are naturally defined as
(Q_e = \frac{1}{16\pi}\int_{\Sigma} *F), (\Phi_e = i_\xi A)
and that, in four dimensions, magnetic charge and its potential can be defined via the scalar (\Psi) satisfying (\mathcal{L}\xi *F = d\Psi):
(Q_m = \frac{1}{16\pi}\int{\Sigma} F), (\Phi_m = \Psi).
These definitions lead directly to the first law
(\delta M = T\delta S + \Phi_e\delta Q_e + \Phi_m\delta Q_m + \Omega_H\delta J).

The Euclidean on‑shell action, after adding the Gibbons‑Hawking‑York term and appropriate counterterms, yields the thermodynamic free energy. The authors point out that the Maxwell sector is already finite, and that adding a total‑derivative term
(I_\gamma = -\frac{1}{16\pi}\int A\wedge *F)
is precisely the Legendre transform that switches from a canonical ensemble (fixed (Q_e)) to a grand‑canonical one (fixed (\Phi_e)). An analogous term with the dual potential implements the magnetic Legendre transform. Crucially, one cannot simultaneously fix both ((Q_e,\Phi_e)) and ((Q_m,\Phi_m)); doing so would contradict the variational principle and break the first law. Hence for dyonic black holes only two mutually exclusive ensembles are admissible: ((Q_e,\Phi_m)) or ((Q_m,\Phi_e)).

The paper then generalises the idea to metrics possessing a (U(1)) isometry (rotating, boosted, or Kaluza‑Klein monopole spacetimes). By performing a Kaluza‑Klein reduction, the higher‑dimensional metric yields a four‑dimensional effective theory with a vector field (A_\mu). Adding the appropriate Legendre term in the reduced action changes the boundary condition for the angular momentum–angular velocity pair ((J,\Omega_H)) in exactly the same way as for the electromagnetic pair.

The authors apply this framework to five‑dimensional minimal supergravity, whose action contains a Chern‑Simons term (\propto A\wedge F\wedge F). The Chern‑Simons piece is not gauge‑invariant at the level of the action; it shifts by a total derivative under a gauge transformation. This leads to ambiguities in the definition of electric charge within the Wald formalism and in the evaluation of the on‑shell action. By choosing a gauge in which the Maxwell potential is regular at all degenerate points (e.g., the rotation axis) and by adding a suitable Legendre term, the authors obtain a consistent definition of the electric charge that matches the one derived from the equations of motion. Consequently, the Euclidean free energy derived from the on‑shell action satisfies the first law together with the Wald entropy.

The paper also treats rotating black holes with one or multiple angular momenta. For each angular momentum, a separate Legendre term can be introduced, allowing one to work either in an ensemble with fixed angular momenta or in one with fixed angular velocities. The authors verify that the resulting thermodynamic potentials are related by Legendre transformations and that the Wald entropy remains unchanged.

In the final sections the authors discuss subtle issues such as the need for an appropriate gauge choice in Chern‑Simons theories to avoid singularities at degenerate points, and they demonstrate that once this is respected, the Euclidean action and Wald formalism are fully compatible.

Overall, the paper establishes that Legendre transformations in black‑hole thermodynamics are not merely algebraic re‑expressions but are physically implemented by changing the boundary conditions through total‑derivative (Legendre) terms in the action. This insight holds for pure Einstein‑Maxwell systems, for rotating spacetimes with a (U(1)) fiber, and even for theories with Chern‑Simons couplings, ensuring that the on‑shell action, the Wald formalism, and the first law of black‑hole mechanics are all mutually consistent.