Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: Not applicablePipeline-generatedverified 2026-10-22 (gpt-6.1-sol)
How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

  • Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
  • AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
  • AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

Scalar test-wave stress and multiplier current

Physical scope

A mathematical stress tensor and multiplier current for a real test scalar on a fixed Lorentzian background; it is not coupled matter stress-energy and does not evolve the metric.

Definition

Assume the axiom of countable choice ACω for the smooth tangent-bundle conventions. Let (M,g,N) be a time-oriented smooth Lorentzian four-manifold of signature (−,+,+,+) with metric-selected connection ∇ and inverse metric gab. Let U⊆M be open, let ψ∈C∞(U,R) be a real scalar field, and let X be a smooth vector field on U. Define the wave operator □gψ:=gab∇a∇bψ and the symmetric covariant tensor

Qab[ψ]:=(∇aψ)(∇bψ)−12gabgcd(∇cψ)(∇dψ).

Define the multiplier covector by JaX[ψ]:=Qab[ψ]Xb. The associated energy-current vector is jXa[ψ]:=−gabJbX[ψ]; this sign convention makes its flux through a future spacelike slice equal to the density QabnaXb when n is the future unit normal. The test-wave equation is □gψ=0 on U. These objects are defined on the fixed background g; Q is not automatically an SI matter stress-energy tensor, is not inserted into an Einstein equation here, and does not evolve g.

If ψ is dimensionless and the coordinates have length units, the components of Q have units of inverse length squared. This dimensional fact does not identify Q with a physical stress tensor without an independently specified field normalization and coupling.

Remarks

This Qab is the stress tensor of a mathematical test scalar on a fixed background. It is not identified with the physical Einstein-matter tensor. The page supplies no gauge-invariant Regge–Wheeler, Zerilli, or Teukolsky master variables, no reconstruction theorem, and no mode exclusions or gravitational boundary conditions. Those definitions and reductions remain prerequisites for any theorem about linear gravitational perturbations. A scalar-wave estimate here is not a gravitational or nonlinear Kerr stability result.

Depends on

Dependency tree · 2 levels

Sources