Alphabeta Math
DefinitionDefinition: AI-adaptedProof: 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.

Complex scalar stress tensor with a supplied potential

Definition

Let (M,g,N,o) have the smooth, boundaryless, oriented and time-oriented Lorentzian four-manifold structure, signature (−,+,+,+), metric-selected connection ∇g, and length-coordinate convention of Oriented Lorentzian fields, observers and coordinate conventions. Let A∈Ω1(M) be a supplied smooth real one-form, let e∈R be a fixed real coupling, and let ψ∈C∞(M,C) be a smooth complex-valued function. In the length-coordinate convention, assign dimensionless components to Aa and unit m−1 to e, so eAa has derivative unit m−1; assign ψ an arbitrary fixed unit [ψ]. Define the complex covector

Daψ:=∇agψ−ieAaψ.

Since ψ is a scalar, ∇agψ=∂aψ. Define the real symmetric covariant tensor

Tab[ψ;g,A,e]:=Daψ‾ Dbψ+Dbψ‾ Daψ−gabgcdDcψ‾ Ddψ,

with indices raised using g−1. Its covariant components have unit [ψ]2m−2. This is a mathematical tensor assignment. Its interpretation as a stress-energy tensor, and any field equation or conservation law, require a separate physical model.

Remarks

The definition uses a globally supplied real one-form A and a chosen complex trivialization. It asserts no global-bundle trivialization for a general charged field.

Depends on

Dependency tree · 2 levels

Sources