Komar Charges in Gravitational Theories

• Komar charges are conserved quantities in diffeomorphism-invariant theories, defined as surface integrals of closed differential forms over (d-2)-surfaces.
• They play a central role in deriving physical properties such as black hole mass, angular momentum, and the formulation of Smarr formulas and the first law of black hole mechanics.
• The generalized Komar prescription extends the classical method to include matter fields and higher-curvature corrections, ensuring on-shell closedness in complex gauge-invariant theories.

Komar charges are conserved quantities in diffeomorphism-invariant field theories—most notably in general relativity and its extensions—which are associated to the symmetries (Killing vectors or reducibility parameters) of a given solution. These charges, constructed as surface integrals of closed differential forms, play a central role in the derivation of black-hole mass, angular momentum, and in establishing Smarr formulas and first laws of black hole mechanics. The modern formulation generalizes Komar’s original approach to encompass generic gauge- and diffeomorphism-invariant theories with higher curvature, matter fields, and nontrivial gauge symmetry content (Ortín et al., 2024).

1. Classical Komar Charges in Vacuum General Relativity

Given a $d$-dimensional metric $g_{\mu\nu}$ and a Killing vector $\xi$ of a vacuum solution (i.e., $\nabla_{(\mu}\xi_{\nu)}=0$ and $R_{\mu\nu}=0$), the Komar $(d-2)$–form is

$K[\xi] = \frac{1}{16\pi G}\,\star d\xi$

where $d\xi$ is the exterior derivative of the Killing 1-form and $\star$ denotes the Hodge dual. On-shell, $dK[\xi]\approx0$, making $g_{\mu\nu}$0 closed. The conserved charge is obtained by integrating $g_{\mu\nu}$1 over a closed $g_{\mu\nu}$2–surface—typically a sphere at spatial infinity: $g_{\mu\nu}$3 This reproduces, for appropriate choices of $g_{\mu\nu}$4, the ADM mass, angular momentum, or linear momentum in asymptotically flat spacetimes (Grant et al., 2021, Peng et al., 2019).

2. Noether–Wald Formalism and the Need for Generalization

In general diffeomorphism-invariant theories, conserved currents and charges are derived using the Noether–Wald formalism. Let $g_{\mu\nu}$5 be a local Lagrangian $g_{\mu\nu}$6-form. Its variation decomposes as

$g_{\mu\nu}$7

where $g_{\mu\nu}$8 are the equations of motion and $g_{\mu\nu}$9 is the presymplectic potential. For an exact symmetry parameterized by a reducibility parameter $\xi$0 (e.g., a Killing vector or gauge symmetry), the Noether current is

$\xi$1

which is off-shell closed, $\xi$2. Locally, one writes

$\xi$3

introducing the Noether–Wald charge $\xi$4–form $\xi$5 (Ortín et al., 2024, Grant et al., 2021).

In pure gravity, $\xi$6 coincides with Komar’s form. However, in the presence of matter, higher-curvature corrections, or nontrivial gauge symmetries, $\xi$7 can fail to be closed on-shell: $\xi$8 Thus the naive Noether–Wald charge is not generally conserved in the presence of matter/gauge fields or when higher curvature is present (Ortín et al., 2024, Ballesteros et al., 2024).

3. Generalized Komar Charge: Algorithmic Construction

The generalized Komar prescription produces a unique on-shell closed $\xi$9–form satisfying: $\nabla_{(\mu}\xi_{\nu)}=0$0 even in the presence of generic matter or gauge couplings. The key steps are:

1. Compute the Noether–Wald $\nabla_{(\mu}\xi_{\nu)}=0$1–form $\nabla_{(\mu}\xi_{\nu)}=0$2 associated to the symmetry $\nabla_{(\mu}\xi_{\nu)}=0$3.
2. Evaluate its on-shell non-closure, which is given by $\nabla_{(\mu}\xi_{\nu)}=0$4.
3. If $\nabla_{(\mu}\xi_{\nu)}=0$5 for some $\nabla_{(\mu}\xi_{\nu)}=0$6–form $\nabla_{(\mu}\xi_{\nu)}=0$7 (the "momentum map" or boundary piece), define

$\nabla_{(\mu}\xi_{\nu)}=0$8

where $\nabla_{(\mu}\xi_{\nu)}=0$9 denotes evaluation on-shell. The result is a closed $R_{\mu\nu}=0$0–form:

$R_{\mu\nu}=0$1

This construction applies precisely when the Lagrangian is exactly diffeomorphism and gauge invariant, i.e., in the absence of Chern–Simons or pseudo-invariance terms (Ortín et al., 2024).

4. Central Definitions and Prototypical Examples

Noether Current and Charge:

$R_{\mu\nu}=0$2

Standard Komar Charge in GR:

$R_{\mu\nu}=0$3

Generalized Komar Charge (form version):

$R_{\mu\nu}=0$4

where $R_{\mu\nu}=0$5.

Example: Einstein–Maxwell in $R_{\mu\nu}=0$6 dimensions:

$R_{\mu\nu}=0$7

On-shell, $R_{\mu\nu}=0$8 with

$R_{\mu\nu}=0$9

where $(d-2)$0 and $(d-2)$1 are Lorentz and Maxwell momentum maps ($(d-2)$2) (Ortín et al., 2024).

5. Generalizations, Special Cases, and Limiting Regimes

• Pure gravity or minimally coupled scalars: $(d-2)$3, so $(d-2)$4 and the generalized Komar charge reduces to the Komar–Wald–Noether form.
• Matter, higher-curvature corrections: $(d-2)$5; $(d-2)$6 exactly cancels the non-closure, ensuring a genuinely closed $(d-2)$7.
• Nontrivial gauge symmetry: the algorithm relies on the existence of momentum maps for every gauge symmetry, an assumption satisfied in theories without Chern–Simons or pseudo-invariant terms.
• The presence of Chern–Simons terms or anomalous gauge invariance: requires additional boundary counterterms and careful handling of total-derivative ambiguities.

This procedure systematically upgrades the naive Wald–Noether charge to a closed, physically meaningful generalization across broad gravitational models, thereby ensuring a consistent definition of mass, angular momentum, and related charges even in the presence of complex gauge/matter interactions (Ortín et al., 2024, Ballesteros et al., 2024).

6. Applications and Physical Significance

Komar charges, both in their original and generalized formulations, provide the linchpin for several key results:

• Black hole thermodynamics: The equality of Komar integrals at infinity and at a horizon underpins the Smarr relation, expressing the mass in terms of entropy, surface gravity, angular velocities, charges, and corresponding potentials. In generalized settings, the correction term $(d-2)$8 enables the appearance of, e.g., nontrivial matter potentials, scalar charges, and conjugate variables associated to dimensionful couplings (Ballesteros et al., 2024, Barbagallo et al., 4 May 2026).
• Quasi-local energy and angular momentum: The closedness of $(d-2)$9 ensures that, in stationary spacetimes, integrals can be evaluated on any homologous $K[\xi] = \frac{1}{16\pi G}\,\star d\xi$0–surface, facilitating quasi-local definitions and analysis of solitonic and black hole solutions.
• No-go theorems: For soliton/boson star solutions without horizons, integrating the generalized Komar form shows the necessity of matter configuration ("generalized symmetry ansatz") for non-trivial mass (Ballesteros et al., 2024).
• Supergravity: In supersymmetric theories, the Komar construction can be extended by incorporating the relevant momentum maps, Killing spinors, and superspace structures, ensuring closure and manifest gauge/supersymmetry invariance. For supersymmetric Killing vectors arising as spinor bilinears, the generalized Komar charge vanishes identically, yielding BPS bounds and central charge saturation (Ortín, 6 May 2026, Bandos et al., 2024, Bandos et al., 2024).
• Extensions to asymptotically AdS, dS, and Kaluza–Klein spaces: Modified Komar forms incorporating higher-derivative or boundary-covariant corrections yield the correct normalization and finiteness properties (e.g., Abbott–Deser–Tekin, KBL superpotentials) (Peng et al., 2020, Barbagallo et al., 18 Jun 2025).
• Dual charges and magnetic mass: The "dual" Komar mass arises via the flux of $K[\xi] = \frac{1}{16\pi G}\,\star d\xi$1 rather than $K[\xi] = \frac{1}{16\pi G}\,\star d\xi$2, capturing NUT/Misner–string charges or, more generally, gravitational magnetic charges. In Riemann–Cartan geometries, local torsion produces genuine magnetic Komar charges (Kol, 2020).

7. Summary of Key Properties and Limitations

Aspect	Classical Komar	Generalized Komar (Ortín–Zatti)	Limitations/Notes
Theory	GR (vacuum)	Generic diffeo/gauge-invariant theory	Excludes Chern–Simons and pseudo-invariant terms
Form degree	$K[\xi] = \frac{1}{16\pi G}\,\star d\xi$3	$K[\xi] = \frac{1}{16\pi G}\,\star d\xi$4	—
On–shell closedness	Yes	Yes	Non-closure always compensated by $K[\xi] = \frac{1}{16\pi G}\,\star d\xi$5
Surface integral/charge	Mass, $K[\xi] = \frac{1}{16\pi G}\,\star d\xi$6, etc.	Mass, $K[\xi] = \frac{1}{16\pi G}\,\star d\xi$7, matter/duality charges	—
Supergravity/SUSY	Not included	Extension with supermultiplet data	Requires Killing supervector formalism, momentum maps
Gauge invariance	Manifest	Manifest (for exact invariance)	Nontrivial for Chern–Simons-like couplings
Physical use	Smarr, 1st law	Smarr, 1st law, BPS, dualities	Black hole mechanics, soliton no-go, duality covariance

Generalized Komar charges thus provide a universal, covariant tool for the rigorous extraction of conserved quantities and the elucidation of integrated structural laws (Smarr, first law) for a wide range of gravitational theories, including matter-coupled, higher-curvature, and supersymmetric models. Their systematic construction via the Noether–Wald approach—augmented by the boundary term $K[\xi] = \frac{1}{16\pi G}\,\star d\xi$8—guarantees on-shell closure and robust applicability so long as the underlying action is diffeomorphism and gauge invariant in the strict sense (Ortín et al., 2024, Ballesteros et al., 2024).