Vector Volume in Spacetime

• Vector volume is an invariant construction that quantifies the growth of spacetime volume via divergence-free vector fields.
• It is computed as a conserved flux through hypersurfaces, simplifying to closed-form expressions in Kerr–Schild and stationary spacetimes.
• Its applications bridge geometric measures and black hole thermodynamics by recovering Parikh’s and Kodama’s volumes in various settings.

Searching arXiv for the primary paper and closely related uses of “vector volume.” arxiv_search query: "ti:\"The Vector Volume and Black Holes\" OR (Ballik et al., 2013)" Vector volume is an invariant way to associate a finite, physically meaningful volume with a spacetime region by measuring how its invariant $D$-volume grows when the region is flowed along a divergence-free vector field $v^\alpha$. In the formulation introduced in "The Vector Volume and Black Holes" (Ballik et al., 2013), it is simultaneously a growth rate, a conserved flux, and, in black-hole applications, a framework that recovers Parikh’s stationary volume, the geometric volume used in extended black hole thermodynamics, and Hayward’s Kodama-based volume in spherical symmetry. The same construction also yields a natural null-generator volume and a local relation $$\kappa=\mathcal V_{\mathcal C}/\mathcal V_{\mathcal N}$$ between canonical stationary volume, null-generator volume, and surface gravity (Ballik et al., 2013).

1. Definition through growth and flux

Let $(M,g_{\alpha\beta})$ be a $D$-dimensional spacetime and let $R\subset M$ be an oriented region with piecewise-smooth boundary $\partial R$. Its invariant $D$-volume is

$$\mathcal V(R)\equiv \int_R \sqrt{|g|}\,\mathrm d^D x,$$

with $g=\det(g_{\alpha\beta})$. The key hypothesis is that the vector field satisfy

$v^\alpha$0

All Killing vectors satisfy this, and in spherical symmetry the Kodama vector does as well.

The vector volume of $v^\alpha$1 with respect to $v^\alpha$2 is defined by flowing a hypersurface $v^\alpha$3 along the congruence of integral curves of $v^\alpha$4, parameterized by $v^\alpha$5 so that

$v^\alpha$6

If $v^\alpha$7 is the subregion reached after parameter distance at most $v^\alpha$8, then

$v^\alpha$9

In adapted coordinates with $$\kappa=\mathcal V_{\mathcal C}/\mathcal V_{\mathcal N}$$0 and $$\kappa=\mathcal V_{\mathcal C}/\mathcal V_{\mathcal N}$$1, one obtains

$$\kappa=\mathcal V_{\mathcal C}/\mathcal V_{\mathcal N}$$2

An equivalent definition is the flux formula

$$\kappa=\mathcal V_{\mathcal C}/\mathcal V_{\mathcal N}$$3

where $$\kappa=\mathcal V_{\mathcal C}/\mathcal V_{\mathcal N}$$4 intersects each integral curve of $$\kappa=\mathcal V_{\mathcal C}/\mathcal V_{\mathcal N}$$5 exactly once and $$\kappa=\mathcal V_{\mathcal C}/\mathcal V_{\mathcal N}$$6 is the directed surface element. If $$\kappa=\mathcal V_{\mathcal C}/\mathcal V_{\mathcal N}$$7 and $$\kappa=\mathcal V_{\mathcal C}/\mathcal V_{\mathcal N}$$8 bound a slab $$\kappa=\mathcal V_{\mathcal C}/\mathcal V_{\mathcal N}$$9, then

$(M,g_{\alpha\beta})$0

so the flux is independent of the choice of $(M,g_{\alpha\beta})$1. A differential-forms version uses the $(M,g_{\alpha\beta})$2-form $(M,g_{\alpha\beta})$3, with $(M,g_{\alpha\beta})$4 the volume $(M,g_{\alpha\beta})$5-form (Ballik et al., 2013).

2. Structural properties and conditions of validity

The vector volume is linear with respect to the choice of vector $(M,g_{\alpha\beta})$6. If $(M,g_{\alpha\beta})$7 and $(M,g_{\alpha\beta})$8 are divergence-free and $(M,g_{\alpha\beta})$9, then

$D$0

provided the boundary of $D$1 has normal everywhere orthogonal to both fields and the chosen hypersurface intersects both congruences once. Scaling gives

$D$2

up to orientation reversal for $D$3. The normalization of the flow parameter is therefore fixed by the normalization of $D$4, not by $D$5 alone.

The construction depends on several geometric hypotheses. The field $D$6 is assumed smooth, at least $D$7, and divergence-free. The region $D$8 must have boundary whose normal is everywhere orthogonal to $D$9, so that there is no net flux through $R\subset M$0. The hypersurface $R\subset M$1 must intersect each integral curve of $R\subset M$2 exactly once, excluding caustics or foldings across $R\subset M$3. If $R\subset M$4, the flux depends on the choice of $R\subset M$5. If $R\subset M$6 crosses the boundary, boundary flux contributions must be included or the region must be restricted. Non-smooth regions can be handled piecewise but require the usual measure-theoretic caution (Ballik et al., 2013).

These hypotheses are not ancillary. They are precisely what make the rate-of-growth and flux definitions equivalent, and they identify vector volume as a conserved throughput of invariant $R\subset M$7-volume along the flow of $R\subset M$8.

3. Stationary axisymmetry and Kerr–Schild simplifications

In stationary, axisymmetric spacetimes with timelike Killing vector $R\subset M$9 and axial Killing vector $\partial R$0, the axial contribution drops out for an axisymmetric region whose boundary normal is orthogonal to both fields. In adapted coordinates with $\partial R$1 and $\partial R$2, and with $\partial R$3 cyclic,

$\partial R$4

so

$\partial R$5

For black holes, the vector volume computed with the stationary field $\partial R$6 therefore equals that computed with the horizon generator $\partial R$7.

A second structural simplification occurs in Kerr–Schild geometries. If

$\partial R$8

with $\partial R$9 null with respect to both $D$0 and $D$1, then the Matrix Determinant Lemma yields

$D$2

Hence the full spacetime’s volume element equals that of the background spacetime. The vector volume computed in the full spacetime equals that computed in the background, in the same coordinates, for any divergence-free $D$3. In the flat-background case this reduces many black-hole volume integrals to Euclidean volumes of the corresponding spatial regions (Ballik et al., 2013).

This Kerr–Schild determinant equality is the main computational shortcut of the formalism. It explains why Schwarzschild, Kerr, and Kerr–(A)dS volumes take elementary closed forms despite their nontrivial spacetime geometry.

4. Black-hole interior volume and the null-generator volume

For black holes, one choice is the canonical stationary volume: take $D$4, the timelike Killing field, and let $D$5 be the black-hole interior. In $D$6, the resulting expressions are explicit.

Spacetime	Horizon	Canonical stationary volume
Schwarzschild	$D$7	$D$8
Kerr	$D$9	$$\mathcal V(R)\equiv \int_R \sqrt{|g|}\,\mathrm d^D x,$$0
Kerr–(A)dS	$$\mathcal V(R)\equiv \int_R \sqrt{|g|}\,\mathrm d^D x,$$1	$$\mathcal V(R)\equiv \int_R \sqrt{|g|}\,\mathrm d^D x,$$2

For Kerr in Boyer–Lindquist coordinates, $$\mathcal V(R)\equiv \int_R \sqrt{|g|}\,\mathrm d^D x,$$3 with $$\mathcal V(R)\equiv \int_R \sqrt{|g|}\,\mathrm d^D x,$$4, so

$$\mathcal V(R)\equiv \int_R \sqrt{|g|}\,\mathrm d^D x,$$5

Geometrically, in the flat background, this is the Euclidean volume of an oblate spheroid with semi-axes $$\mathcal V(R)\equiv \int_R \sqrt{|g|}\,\mathrm d^D x,$$6. In Schwarzschild Kerr–Schild coordinates the same logic gives

$$\mathcal V(R)\equiv \int_R \sqrt{|g|}\,\mathrm d^D x,$$7

A second black-hole volume is the null-generator volume. Let $$\mathcal V(R)\equiv \int_R \sqrt{|g|}\,\mathrm d^D x,$$8 be the horizon generator, with surface gravity $$\mathcal V(R)\equiv \int_R \sqrt{|g|}\,\mathrm d^D x,$$9 defined by

$g=\det(g_{\alpha\beta})$0

Define $g=\det(g_{\alpha\beta})$1. The null-generator volume is

$g=\det(g_{\alpha\beta})$2

In stationary spacetimes,

$g=\det(g_{\alpha\beta})$3

This yields the local relation

$g=\det(g_{\alpha\beta})$4

A stated consequence is that driving $g=\det(g_{\alpha\beta})$5 quasi-statically requires $g=\det(g_{\alpha\beta})$6, that is, infinite advanced time (Ballik et al., 2013).

5. Relation to thermodynamic volume

In extended black-hole thermodynamics, the cosmological constant is treated as pressure,

$g=\det(g_{\alpha\beta})$7

and the first law takes the form

$g=\det(g_{\alpha\beta})$8

The thermodynamic volume is related to the $g=\det(g_{\alpha\beta})$9-conjugate $v^\alpha$00 by

$v^\alpha$01

Within this literature, Cvetič et al. showed that a natural geometric volume equals Parikh’s stationary volume and obeys

$v^\alpha$02

with $v^\alpha$03 the horizon area. In rotating spacetimes,

$v^\alpha$04

Thus the thermodynamic volume differs from the geometric, vector-volume notion by an angular-momentum-dependent term. In spherical symmetry, where all $v^\alpha$05,

$v^\alpha$06

The distinction is therefore precise. The vector volume coincides with the geometric or Parikh volume, and it matches the thermodynamic volume whenever rotation is absent. With rotation, the thermodynamic volume incorporates global thermodynamic structure beyond the purely geometric flux or growth-rate interpretation carried by $v^\alpha$07 (Ballik et al., 2013).

6. Scope of the term and related literatures

The expression “vector volume” also appears in several other mathematical and physical literatures, but with different meanings. On oriented Riemannian surfaces and 3-manifolds, the volume of a unit vector field is the Sasaki volume of its graph in the unit tangent bundle, with

$v^\alpha$08

in dimension $v^\alpha$09 and

$v^\alpha$10

in dimension $v^\alpha$11. Calibration methods are used to characterize minimal-volume fields, including Hopf vector fields on $v^\alpha$12 and meridian-type fields on punctured spheres (Albuquerque, 2021, Albuquerque, 2021, Albuquerque, 2022, Brito et al., 2017, Brito et al., 2014, Brito et al., 2011).

For geodesible and Reeb vector fields on closed, oriented odd-dimensional manifolds, a vector-field-determined volume is defined by

$v^\alpha$13

where $v^\alpha$14 and $v^\alpha$15. In that setting the quantity depends only on the vector field, not on the particular choice of characteristic $v^\alpha$16-form, and it is tied to basic cohomology, Seifert Euler numbers, and global surfaces of section (Geiges, 2020).

In dynamical systems and geometric numerical integration, “vector volume” refers to Lebesgue measure preserved by divergence-free flows. Liouville’s formula gives

$v^\alpha$17

so $v^\alpha$18 implies exact volume preservation. This is the setting for explicit volume-preserving splitting methods for polynomial divergence-free vector fields and for analyses of Runge–Kutta and exponential integrators that preserve phase-space volume for structured classes of vector fields (Xue et al., 2012, Bader et al., 2015, Wang et al., 2018, Prasad, 2022).

A further terminological reuse appears in echocardiographic flow reconstruction, where a “vector volume” denotes a full $v^\alpha$19-dimensional volume populated by $v^\alpha$20-component velocity vectors over time. In $v^\alpha$21D-iVFM, this is reconstructed from triplane color Doppler by enforcing mass conservation and free-slip boundary conditions within a constrained least-squares problem (Vixège et al., 2021).

These usages are not equivalent definitions. They indicate that “vector volume” is a polysemous term whose meaning depends on whether the primary object is a spacetime region, a unit vector field, a divergence-free flow, or a volumetric vector-valued dataset. In the black-hole context, however, the term retains a distinctive content: the conserved rate of growth, or equivalently flux, of invariant spacetime volume along a divergence-free vector field (Ballik et al., 2013).