Alphabeta Math
PostulateStatement: AI-adaptedProof: Not applicable
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.

Adopted classical gravitational action and variational field law

Physical scope

Adoption of the action formulation of the classical gravitational field law: the Einstein-Hilbert action of the smooth Lorentzian metric with cosmological parameter Lambda, the supplied scalar-field matter action (dust and perfect-fluid sectors use the separate direct-equation presentation), the Hilbert convention for the matter stress-energy tensor, and the variational principle as the field law of the model. Excludes quantum gravity and quantum fields, non-smooth and distributional sources, boundaries and junction conditions, gravity-mediated matter self-force corrections, and any claim that an action principle or a particular matter model describes nature. The adopted fields, constants and equations are model input; deductions from them are conditional on this adoption.

Postulate

Adopt as physical assumptions of the classical gravitational framework, for models whose geometric data satisfy Adopted spacetime model and classical domain of the gravitational framework and whose matter sector satisfies Adopted matter-content assumptions: fields, equations, stress-energy and energy conditions, the following statements. All symbols c,GN,Λ,κ are those of SI unit and coordinate conventions of the classical gravitational framework.

(i) Oriented models. The spacetime of a model in this formulation carries, in addition to (M,g,N), an orientation (Oriented smooth manifolds and oriented charts); the metric volume form volg of The metric volume form, current flux through 3-faces and finite-chain charges and its integrals are understood with respect to it. A model without a chosen orientation, or with a nonorientable M, requires the density formulation of the action, which is not developed here and is outside the scope of this postulate.

(ii) Einstein-Hilbert action density. The Einstein-Hilbert action density of a smooth Lorentzian metric g′ of signature (−,+,+,+) on M is the smooth 4-form

ℓEH(g′):=c316πGN(Sg′−2Λ)volg′,

where Sg′ is the scalar curvature of g′ (The Riemann curvature operator and the derived Ricci, scalar and Einstein tensors) and Λ∈R is a constant parameter of dimension m−2. For two metrics whose difference is supported in a compact set, the action difference ΔSEH:=∫M[ℓEH(g′)−ℓEH(g)] is a real number. Only such differences are used; no value of the total action of a noncompact spacetime is asserted. The coupling

κ:=8πGNc4

has dimension m−1 kg−1 s2.

(iii) Matter sectors and available presentations. A model adopting this action presentation uses the supplied scalar-field action in sector (1). Sectors (2) and (3) are described here only to distinguish the alternative direct-equation presentation; they do not adopt this variational postulate. The three sector descriptions use the units of SI unit and coordinate conventions of the classical gravitational framework:

  1. a scalar-field sector, specified by the data (φ,V,K) of The scalar-field matter model of the classical gravitational framework with the physical readings: φ dimensionless, V a geometric potential with values in m−2, and K>0 in J m−1. Length coordinates give ∂aφ dimension m−1, so the kinetic term and V have matching dimensions; the physical potential energy density is KV in J m−3. The sector's action differences are those defined there, and its stress-energy tensor is the candidate tensor of that definition;
  2. a dust sector, specified by (ρ,u) of The dust matter model: rest density, four-velocity, stress-energy and dust system, whose unit-tangent coefficient is the rest energy density ε:=ρ in J m−3; the rest-mass density is ρm=ε/c2 in kg m−3 and the physical four-velocity is U=cu with g(U,U)=−c2. Its stress-energy tensor Tab=ρuaub=ρmUaUb is prescribed by the model and its matter equations are the dust system of that definition;
  3. a perfect-fluid sector, specified by (ε,p,n) (with optional equation of state) of The perfect-fluid matter model: rest energy density, pressure, four-velocity and stress-energy with ε,p in J m−3, whose stress-energy tensor is prescribed by the model and whose matter equations are the fluid equations of that definition.

In sectors (2) and (3) no matter action is supplied: the model prescribes T and the matter equations directly and adopts the direct-equation presentation, with its consistency conditions. Clause (iv) does not apply to these sectors. In sector (1) the matter action is the scalar action of The scalar-field matter model of the classical gravitational framework; its metric variation is required to be represented by its stress-energy tensor in the Hilbert convention

δSm=−12c∫MTab δgab volgoff shell in matter variables,

which is the content of The Hilbert stress-energy tensor of a metric-dependent action clause (b) for that action; for the scalar action this representation is a proved property of the model, recorded in First variation, Hilbert tensor and conservation of the scalar-field model clause (b), and is adopted here as the reading of T in the framework's units.

(iv) Variational field law. For the supplied scalar-field action, the classical field law adopted for the model is: the metric g is stationary for the total action difference ΔStot:=ΔSEH+ΔSm under every jointly smooth metric family with compactly supported variation as defined in The Hilbert stress-energy tensor of a metric-dependent action clause (a), and the model's matter configuration satisfies its matter equations of motion. This variational principle is the adopted field law of the action presentation; the displayed field equation it is equivalent to is derived, not adopted a second time, in Stationarity of the adopted total action is equivalent to the Einstein equation with the framework's coupling.

(v) Alternative presentation. The direct-equation presentation of the same field law is adopted separately in Adopted Einstein field equation in the direct-equation presentation. A model adopts exactly one of the two presentations; they are alternative presentations of one classical field law and are never combined as two independent premises.

(vi) Status and scope. Clauses (i)-(v) are adopted assumptions. No geometry, symmetry principle or observation derives them; the action formulation is not claimed to be selected by nature, and no numerical value of c, GN or Λ is asserted. The smooth-branch exclusions of Adopted spacetime model and classical domain of the gravitational framework and Adopted matter-content assumptions: fields, equations, stress-energy and energy conditions apply verbatim: lower-dimensional or distributional sources, boundaries with junction conditions, and non-smooth fields require mathematics and physical assumptions not supplied here, and the comparison of any model prediction with data tests the combined model, including this postulate, rather than proving it.

Status, scope and limitations

  • Deductions are conditional. Every quantity derived from this postulate — the field equations, conservation identities and consistency conditions — is a logical consequence of these adopted assumptions and the mathematics of the framework, not a statement about nature.

  • Choices inside the formulation. The cosmological parameter may be fixed to zero for a restricted branch of a model; the matter sector is a model input; an equation of state in the fluid sector is a further assumption of that model. Different choices give different models of the same framework.

  • No boundary terms are adopted. Nonzero variations of the metric on a boundary are not covered by clause (iv); their treatment requires additional boundary terms that this framework does not supply.

Depends on

Dependency tree · 2 levels

Sources