IndisputableMonolith.Gravity.StressEnergyTensor
The StressEnergyTensor module defines the stress-energy tensor T_mu nu in local coordinates via the variational derivative of the matter action. It supplies the abstract symmetric tensor source term for the Einstein equations in the RS gravity setting. Researchers deriving conservation laws or extending the vacuum solutions to include matter would cite this module. The module consists of definitions with supporting properties and no internal proofs.
claimThe stress-energy tensor is given by $T_{mu nu} = - (2 / sqrt(-g)) delta S_matter / delta g^{mu nu}$, represented as a symmetric (0,2)-tensor field on the local coordinate patch.
background
This module works in the local coordinate setting where the metric is a smooth map from R^4 to 4x4 matrices, as set out in the Connection module. It relies on the Ricci tensor, scalar curvature, and Einstein tensor G_mu nu constructed in the RicciTensor module, which already shows G is symmetric and divergence-free. The Constants module supplies the RS time quantum tau_0 = 1 tick that fixes the native units throughout.
proof idea
This is a definition module, no proofs.
why it matters in Recognition Science
The module supplies the matter source term required by sibling declarations such as efe_with_source and conservation_from_efe_and_bianchi. It completes the gravity sector by adjoining T_mu nu to the vacuum case while preserving the divergence-free property of G_mu nu. In the Recognition Science framework it enables the step from pure geometry to sourced equations without altering the contracted Bianchi identity.
scope and limits
- Does not derive explicit component forms of T for concrete matter models such as perfect fluids.
- Does not prove conservation of T independently of the Einstein equations.
- Does not incorporate RS-specific quantities such as phi or the phi-ladder.
- Does not treat global manifold structure or abstract connections.