Generalized Komar Integrals Overview

• Generalized Komar integrals are codimension-2 surface integrals that extend classical Komar charges by incorporating matter, higher-curvature corrections, and topological data.
• They use modified 2-forms and generalized currents derived from both Killing and non-Killing vector fields to establish on-shell closed conservation laws and Smarr relations.
• These integrals provide a unified framework applicable from vacuum general relativity to advanced theories like supergravity and effective quantum geometries, enhancing our understanding of black hole thermodynamics and multipole moments.

Generalized Komar integrals are codimension-2 surface integrals that extend the classical Komar construction beyond vacuum general relativity. In the standard setting, a Killing vector $k^\mu$ defines a geometrically natural $(d-2)$-form whose on-shell closedness turns Stokes’ theorem into a conservation law relating charges at infinity to charges on horizons. In generalized settings, the same role is played either by modified $(d-2)$-forms that incorporate matter, higher-curvature terms, couplings, or topological data, or by generalized currents built from vector fields that need not be Killing. Across these constructions, generalized Komar integrals provide a common framework for conserved charges, Smarr relations, first laws, non-existence theorems, multipole moments, and BPS bounds (Ballesteros et al., 2024).

1. Vacuum construction and geometric basis

In four-dimensional general relativity, the Komar 2-form associated with a Killing vector $\xi^\mu$ is

$$\mathbf{K}[\xi]_{\mu\nu}\equiv -\frac{1}{8\pi}\,\nabla_{[\mu}\xi_{\nu]},$$

and the corresponding Komar charge is

$$Q_{\mathrm{Komar}}[\xi] = -\frac{1}{8\pi}\int_S \nabla^\mu\xi^\nu\,dS_{\mu\nu} = \int_S \mathbf{K}[\xi].$$

For a stationary, asymptotically flat vacuum spacetime, the timelike Killing vector gives the Komar mass and the axial Killing vector gives the Komar angular momentum. Because $d\mathbf{K}[\xi]=0$ on shell in vacuum, the integral depends only on the homology class of the integration surface, which is the geometric origin of Komar conservation and of Smarr-type relations (Barbagallo et al., 21 May 2025).

In $D$-dimensional Einstein gravity with vanishing cosmological constant, the standard Komar boundary integral can be rewritten as a volume integral using the Killing identity $\nabla_a\nabla^a\xi^b=-R^b{}_c\xi^c$. In vacuum, $R_{ab}=0$, so the volume term vanishes and the boundary relation yields the usual Smarr formula. For asymptotically flat black holes one obtains

$(d-2)$0

with $(d-2)$1 the surface gravity and $(d-2)$2 the horizon area (0804.1832).

This standard picture already contains the essential structure retained by later generalizations: a symmetry generator, an antisymmetric derivative or Noether 2-form, on-shell closure, and a Stokes-theoretic relation between infinity and interior boundaries.

2. Noether–Wald reformulation and generalized charge algorithms

In theories with matter, gauge fields, or higher-curvature terms, the bare Komar form is generally not closed on shell. A systematic generalization arises from the Noether–Wald formalism. For an exactly gauge- and diffeomorphism-invariant theory with Lagrangian $(d-2)$3-form $(d-2)$4, the Noether current $(d-2)$5 associated with a reducibility parameter $(d-2)$6 satisfies $(d-2)$7, where $(d-2)$8 is the Noether–Wald $(d-2)$9-form. On shell and for reducibility parameters, one has

$(d-2)$0

If the on-shell contraction of the Lagrangian is exact, $(d-2)$1, the generalized Komar charge is defined by

$(d-2)$2

and is on-shell closed, $(d-2)$3 (Ortín et al., 2024).

A closely related construction uses homogeneous transformations of the fields. If a Lagrangian transforms homogeneously under a global transformation, a functional Euler theorem yields an on-shell total derivative,

$(d-2)$4

with $(d-2)$5 determined universally from the presymplectic potential. This gives a solution-independent route to the $(d-2)$6 term needed in generalized Komar constructions and makes explicit the ambiguity associated with adding conserved currents (Cerdeira et al., 16 Jun 2025).

The same literature emphasizes that generalized Komar charges are not unique in an absolute sense: any on-shell closed $(d-2)$7-form may be added to a given generalized Komar form without spoiling conservation. In ordinary asymptotically flat vacuum spacetimes that ambiguity is usually trivial, but in theories with additional gauge sectors, compact directions, or topological data it becomes physically significant (Barbagallo et al., 18 Jun 2025).

3. Matter couplings, higher curvature, and thermodynamic extensions

Once matter is present, generalized Komar forms typically acquire momentum-map terms. In Einstein–Maxwell-type systems these are electric and magnetic momentum maps; in supergravity they are accompanied by Lorentz and fermionic momentum maps; in nonlinear electrodynamics they also involve coupling-constant sectors. The unifying principle is that the gravitational Komar term is supplemented by matter terms so that the full $(d-2)$8-form is on-shell closed.

For generic Einstein–nonlinear electrodynamics in four dimensions, the generalized Komar charge constructed in 2026 has the form

$(d-2)$9

where $\xi^\mu$0 is the nonlinear displacement 2-form, $\xi^\mu$1 is the dual momentum map, and the dimensionful coupling $\xi^\mu$2 is promoted to a field constrained to be constant on shell by a Lagrange multiplier. This yields a Smarr formula with an explicit coupling-constant term,

$\xi^\mu$3

thereby deriving the coupling contribution from the generalized Komar charge rather than from homogeneity arguments alone (Barbagallo et al., 4 May 2026).

For higher-curvature gravity, the same problem appears in a different form: the Einstein Komar integrand no longer has the correct divergence properties. In Einstein gravity with nonzero cosmological constant, Kastor introduced an antisymmetric potential $\xi^\mu$4 satisfying $\xi^\mu$5 and replaced the usual boundary integrand by a modified one involving both $\xi^\mu$6 and $\xi^\mu$7. This cancels the divergent AdS vacuum contribution and yields a finite Komar mass without explicit background subtraction. In pure Lovelock gravity, the corresponding generalized Komar integrands $\xi^\mu$8 are built from one derivative of the Killing vector and $\xi^\mu$9 powers of the Riemann tensor, with divergence proportional to the Lovelock equations of motion (0804.1832).

The same direction was extended to theories “of higher order in the Riemann curvature coupled to simple kinds of matter (scalar and vector fields)”. That work also used the equivalence between $$\mathbf{K}[\xi]_{\mu\nu}\equiv -\frac{1}{8\pi}\,\nabla_{[\mu}\xi_{\nu]},$$0 and Brans–Dicke theories to argue that dimensionful parameters in scalar potentials must be interpreted as thermodynamical variables and to give a general expression for their conjugate potentials (Ortín, 2021).

Minimal $$\mathbf{K}[\xi]_{\mu\nu}\equiv -\frac{1}{8\pi}\,\nabla_{[\mu}\xi_{\nu]},$$1, $$\mathbf{K}[\xi]_{\mu\nu}\equiv -\frac{1}{8\pi}\,\nabla_{[\mu}\xi_{\nu]},$$2 supergravity provides a superspace version of the same idea. There the generalized Komar object is first constructed as a superspace 2-superform involving Lorentz, electric, and magnetic momentum maps together with a generalized Killing spinor; its restriction to spacetime yields an on-shell closed, chiral-duality-invariant generalized Komar 2-form (Bandos et al., 2024).

4. Topology, hypersurfaces, and higher-form modifications

Generalized Komar integrals are especially sensitive to global structure. In Lorentzian Taub–NUT spacetime, the usual horizon-plus-infinity decomposition is incomplete because the relevant spacelike hypersurfaces also have boundaries around Misner strings. The Komar identity therefore includes string terms, and the consistent Smarr relation takes the form

$$\mathbf{K}[\xi]_{\mu\nu}\equiv -\frac{1}{8\pi}\,\nabla_{[\mu}\xi_{\nu]},$$3

where $$\mathbf{K}[\xi]_{\mu\nu}\equiv -\frac{1}{8\pi}\,\nabla_{[\mu}\xi_{\nu]},$$4 are the string chemical potentials and $$\mathbf{K}[\xi]_{\mu\nu}\equiv -\frac{1}{8\pi}\,\nabla_{[\mu}\xi_{\nu]},$$5 are the corresponding Misner charges. A central point of the 2025 analysis is that even when the global spacetime is made stringless by Misner’s patching procedure, every spacelike hypersurface used in the Komar integrals still carries unavoidable string singularities, so the extra terms cannot be discarded without producing thermodynamically inconsistent results (Barbagallo et al., 21 May 2025).

A related but distinct phenomenon arises under Kaluza–Klein boundary conditions. In five-dimensional pure gravity with one compact direction, the naive Komar charge acquires an unwanted scalar-charge contribution. The remedy is to add another conserved $$\mathbf{K}[\xi]_{\mu\nu}\equiv -\frac{1}{8\pi}\,\nabla_{[\mu}\xi_{\nu]},$$6-form associated with a gravitational higher-form symmetry. The resulting generalized Komar charge gives the correct mass at infinity, includes the Kaluza–Klein monopole contribution, and is electric–magnetic duality invariant. In this setting the freedom to add on-shell closed forms is not merely formal; it is required by the boundary conditions and the topology of the compact circle bundle (Barbagallo et al., 18 Jun 2025).

These examples show that generalized Komar charges are not determined solely by local field equations. Bundle structure, nontrivial cycles, string defects, and the choice of spacelike hypersurface can all enter the charge algebraically and thermodynamically.

5. Beyond exact Killing symmetry: dynamical spacetimes and generalized currents

One line of generalization dispenses with Killing vectors altogether. For an arbitrary vector field $$\mathbf{K}[\xi]_{\mu\nu}\equiv -\frac{1}{8\pi}\,\nabla_{[\mu}\xi_{\nu]},$$7, define

$$\mathbf{K}[\xi]_{\mu\nu}\equiv -\frac{1}{8\pi}\,\nabla_{[\mu}\xi_{\nu]},$$8

A key identity is $$\mathbf{K}[\xi]_{\mu\nu}\equiv -\frac{1}{8\pi}\,\nabla_{[\mu}\xi_{\nu]},$$9 for any $$Q_{\mathrm{Komar}}[\xi] = -\frac{1}{8\pi}\int_S \nabla^\mu\xi^\nu\,dS_{\mu\nu} = \int_S \mathbf{K}[\xi].$$0. This yields a generalized Komar energy

$$Q_{\mathrm{Komar}}[\xi] = -\frac{1}{8\pi}\int_S \nabla^\mu\xi^\nu\,dS_{\mu\nu} = \int_S \mathbf{K}[\xi].$$1

which reduces to the usual Komar mass when $$Q_{\mathrm{Komar}}[\xi] = -\frac{1}{8\pi}\int_S \nabla^\mu\xi^\nu\,dS_{\mu\nu} = \int_S \mathbf{K}[\xi].$$2 is a timelike Killing vector. Choosing

$$Q_{\mathrm{Komar}}[\xi] = -\frac{1}{8\pi}\int_S \nabla^\mu\xi^\nu\,dS_{\mu\nu} = \int_S \mathbf{K}[\xi].$$3

with $$Q_{\mathrm{Komar}}[\xi] = -\frac{1}{8\pi}\int_S \nabla^\mu\xi^\nu\,dS_{\mu\nu} = \int_S \mathbf{K}[\xi].$$4 the lapse and $$Q_{\mathrm{Komar}}[\xi] = -\frac{1}{8\pi}\int_S \nabla^\mu\xi^\nu\,dS_{\mu\nu} = \int_S \mathbf{K}[\xi].$$5 the unit normal to a spacelike hypersurface, yields a dynamical generalized Komar energy equal to the ADM mass under asymptotically flat conditions provided

$$Q_{\mathrm{Komar}}[\xi] = -\frac{1}{8\pi}\int_S \nabla^\mu\xi^\nu\,dS_{\mu\nu} = \int_S \mathbf{K}[\xi].$$6

No Killing or asymptotically Killing vector is required (Wang et al., 7 Sep 2025).

A different generalization starts from differential-form operators rather than from Hamiltonian asymptotics. The standard Komar current for a Killing 1-form $$Q_{\mathrm{Komar}}[\xi] = -\frac{1}{8\pi}\int_S \nabla^\mu\xi^\nu\,dS_{\mu\nu} = \int_S \mathbf{K}[\xi].$$7 can be written as $$Q_{\mathrm{Komar}}[\xi] = -\frac{1}{8\pi}\int_S \nabla^\mu\xi^\nu\,dS_{\mu\nu} = \int_S \mathbf{K}[\xi].$$8, and this suggests broader conserved currents built from the degree-preserving operators $$Q_{\mathrm{Komar}}[\xi] = -\frac{1}{8\pi}\int_S \nabla^\mu\xi^\nu\,dS_{\mu\nu} = \int_S \mathbf{K}[\xi].$$9, $d\mathbf{K}[\xi]=0$0, and $d\mathbf{K}[\xi]=0$1. For a generic vector field $d\mathbf{K}[\xi]=0$2, one considers combinations such as

$d\mathbf{K}[\xi]=0$3

together with differential constraints on $d\mathbf{K}[\xi]=0$4. Almost-Killing, conformal Killing, and divergence-free vectors then fit into a unified second-order framework, and higher-order derivative generalizations are also possible (Peng et al., 2019).

These two developments suggest a broader notion of “generalized Komar integral”: either a modified closed surface form adapted to a given field theory, or a conserved current associated with a wider class of vector fields than strict isometries.

6. Black-hole thermodynamics, solitons, boson stars, and effective geometries

Because generalized Komar forms are closed on shell, they are natural tools for Smarr relations. In the 2024 treatment of black holes and boson stars, the generalized Komar charge is presented as the central mechanism by which the same integral evaluated at infinity and at the event horizon yields generalized Smarr formulae in the presence of matter. The same formalism is then applied in the opposite direction: closed $d\mathbf{K}[\xi]=0$5-form charges, including Komar charges and additional matter charges, are used to prove non-existence theorems for gravitational solitons and boson stars under standard symmetry assumptions (Ballesteros et al., 2024).

A distinctive feature of that analysis is the role of generalized symmetric fields. Fields may be invariant not under a pure isometry, but under a combination of an isometry and a global or gauge symmetry. This generalized symmetric ansatz permits certain boson-star and hairy-black-hole configurations to evade the non-existence theorems. In rotating settings it leads to the synchronization condition

$d\mathbf{K}[\xi]=0$6

which aligns the matter phase symmetry with the horizon generator (Ballesteros et al., 2024).

Generalized Komar methods have also been used in quantum-gravity-inspired effective geometries. For the noncommutative Schwarzschild black hole, the Komar energy was computed explicitly and the mass was identified with the asymptotic limit of the Komar energy; the classical identity $d\mathbf{K}[\xi]=0$7 is deformed at order $d\mathbf{K}[\xi]=0$8, and the Smarr formula acquires corresponding corrections (Banerjee et al., 2010). For the charged noncommutative black hole, the Komar energy inside radius $d\mathbf{K}[\xi]=0$9 takes the form

$D$0

with smeared mass and charge profiles $D$1, $D$2; the asymptotic limit identifies $D$3 as the total mass, while the Reissner–Nordström Smarr relation is deformed by explicit $D$4-dependent terms (Larranaga et al., 2012).

In Einstein–nonlinear electrodynamics, the generalized Komar charge has also been used to analyze regular black holes. For the Bardeen solution, the total generalized Komar integral remains $D$5 on every sphere, but the split between the gravitational piece and the matter-plus-coupling piece changes with radius. Near $D$6, the gravitational part vanishes while the nonlinear electromagnetic sector carries the full mass contribution, which clarifies the regularity mechanism inside the event horizon (Barbagallo et al., 4 May 2026).

7. Multipoles, cylindrical fluxes, and supersymmetric limits

Generalized Komar ideas are not restricted to mass and angular momentum. In static spacetimes, the Komar mass can be used as the starting point for a hierarchy of relativistic multipole moments. By rewriting Poisson-like equations for $D$7 or $D$8 as flux integrals, one obtains generalized Komar source integrals for symmetric trace-free moments. In asymptotically Cartesian harmonic coordinates, the conformal-metric version reproduces the Thorne and Geroch multipole moments exactly, while the quotient-metric version reproduces them up to a known factor (Hernandez-Pastora et al., 2016).

In stationary cylindrical systems, each of the three Killing vectors $D$9, $\nabla_a\nabla^a\xi^b=-R^b{}_c\xi^c$0, and $\nabla_a\nabla^a\xi^b=-R^b{}_c\xi^c$1 gives a Komar current, and together they define three Komar flux vectors and six conserved fluxes. This allows one to extract energy, linear momentum, angular momentum, and their fluxes along the cylinder directly from the metric. In the specific case of circularly polarized light beams, the analysis recovers the relation between energy per unit length and angular momentum per unit length, and clarifies the “factor 2” issue: for traceless stress tensors the Tolman–Komar formula gives twice the energy, which the authors interpret as twice the gravitating power rather than twice the inertial energy (Lynden-Bell et al., 2017).

Supersymmetric solutions furnish another limiting case. For supersymmetric Killing vectors constructed as bilinears of Killing spinors, the generalized Komar charge has been shown to vanish identically in several supergravity theories, including ungauged $\nabla_a\nabla^a\xi^b=-R^b{}_c\xi^c$2, ungauged $\nabla_a\nabla^a\xi^b=-R^b{}_c\xi^c$3 coupled to vector multiplets, and pure $\nabla_a\nabla^a\xi^b=-R^b{}_c\xi^c$4 supergravity. Integrated at infinity, this vanishing yields coordinate-independent proofs of BPS bounds such as $\nabla_a\nabla^a\xi^b=-R^b{}_c\xi^c$5 in $\nabla_a\nabla^a\xi^b=-R^b{}_c\xi^c$6 and $\nabla_a\nabla^a\xi^b=-R^b{}_c\xi^c$7 in $\nabla_a\nabla^a\xi^b=-R^b{}_c\xi^c$8 (Ortín, 6 May 2026).

Taken together, these developments show that generalized Komar integrals are best understood not as a single formula but as a geometric paradigm: start from a symmetry generator or symmetry-like vector, construct an on-shell closed codimension-2 form adapted to the full theory, and interpret its surface integrals as conserved charges. Depending on the theory, the resulting object may encode vacuum mass, matter chemical potentials, higher-curvature corrections, coupling-constant thermodynamics, topological charges, multipoles, fluxes, or supersymmetric saturation conditions.