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.
The screen and spatial projectors are orthogonal projections of rank two and three, and the TT projection is the orthogonal projection onto the two-dimensional transverse-traceless space
Statement
Let be the flat model with its inertial chart (The flat model spacetime: the Minkowski metric on R^4 and its inertial chart), let be an observer and propagation direction and let , , , and the amplitude terminology be as in The wave screen of an observer and propagation direction, and the transverse-traceless projection of a symmetric two-tensor. Write and let be the space of symmetric covariant -tensors on . Then:
(a) Projections. and are linear endomorphisms of with , , , , , ; both are -self-adjoint, and for all . Moreover , that is .
(b) Ranks and traces. , , , .
(c) TT projection. is a linear endomorphism of with ; for every the tensor is TT with respect to in the sense of The wave screen of an observer and propagation direction, and the transverse-traceless projection of a symmetric two-tensor clause (d); and exactly when is TT. The TT tensors form the two-dimensional linear subspace , so .
(d) Orthogonal projection and amplitudes. Let on the subspace of tensors spatial with respect to . This is a positive definite inner product, and for every spatial and every TT , ; so restricted to the spatial tensors is the orthogonal projection onto (The orthogonal projection is the -component in , For a subspace of a finite-dimensional inner product space, ). With respect to an ordered -orthonormal screen basis a TT tensor is
so is determined by the pair , and under a screen rotation by this pair transforms as in The wave screen of an observer and propagation direction, and the transverse-traceless projection of a symmetric two-tensor clause (c); in particular the map , , is a linear isomorphism.
Facts & Assumptions
Given: The flat model with inertial chart, an observer and propagation direction as in The wave screen of an observer and propagation direction, and the transverse-traceless projection of a symmetric two-tensor, and the endomorphisms , and the map defined there.
The orthogonal complement of a unit timelike is three-dimensional, the restriction of to it is positive definite, and the vectors of orthogonal to the unit spacelike form a two-dimensional positive definite subspace (The observer rest-space decomposition and the spatial projection, Observers, rest spaces and the spatial projection at an event, eta-orthogonality and orthogonal complements in a Lorentz vector space).
Every finite-dimensional real inner product space has an orthonormal basis, and an orthogonal projection onto a subspace is the unique self-adjoint idempotent with that image (Every finite-dimensional real or complex inner product space has an orthonormal basis, The orthogonal projection is the -component in , For a subspace of a finite-dimensional inner product space, , Real and complex inner product spaces, with the inner product linear in the first argument).
Components of tensors in an ordered basis determine the tensor, and a tensor identity that holds in one basis holds in every basis; are the components of the identity endomorphism (Tensor fields of type (r,s) on a Lorentzian four-manifold and their components, The flat model spacetime: the Minkowski metric on R^4 and its inertial chart).
A linear endomorphism of a four-dimensional space has rank equal to the dimension of its image, a linear map is injective exactly when its kernel is trivial, and the rank of an endomorphism presented in a basis is the number of nonzero diagonal entries of its diagonal form (Linear map between vector spaces over the same field, Kernel and image of a linear map, The kernel and image are linear subspaces, and a linear map is injective if and only if its kernel is trivial, Rank and nullity of a linear map with finite-dimensional domain, Finite-dimensional vector space, and its dimension ; infinite-dimensional means having no finite basis).
The addition formulas and hold, and the derivatives of and are and ; the Euclidean inner product of is used for the rotation computation (The addition formulas for sine and cosine, The derivatives of sine and cosine are cosine and minus sine, The Euclidean inner product on ).
Proof
(Adapted basis.) Set , . By [L1] the space is a two-dimensional positive definite subspace of ; by [L2] it has an orthonormal basis . Then is an -orthonormal basis with , and , .
(Components of the projectors.) In the basis of step 1.1 the components of and are , and , , so Indeed is the endomorphism , which has the single nonzero entry in position ; likewise has the single entry in position . As symmetric component matrices, and .
(Clauses (a) and (b).) From the diagonal forms of step 2.1, squaring gives and ; kills and and fixes , while kills and fixes . Hence and , while and . By [L4] the ranks are the dimensions of the images, and . Since and are symmetric matrices, and likewise for ; and subtracting the two diagonal forms gives . All these are tensor identities, hence hold in every basis by [L3]. This proves (a) and (b).
(The TT projection.) Let have components in the basis of step 1.1. By step 2.1, and since , the only nonzero components of are Thus is supported on , is symmetric there, and has vanishing screen trace: it is TT. Applying the same display to , whose components satisfy and , leaves them unchanged, so ; and if is TT then , and all other components vanish, so . Conversely forces the displayed form, which is TT. The displayed parametrization shows that consists exactly of the symmetric matrices with , and all other components zero; these form a two-dimensional space. This proves (c).
(Orthogonality and amplitudes.) For spatial symmetric define ; in the adapted basis this is . It is bilinear and symmetric, and , which is nonnegative and vanishes exactly when all spatial entries vanish; because , this is exactly . Thus it is a positive definite inner product. For a TT tensor only and can be nonzero. By step 3.2, the screen block of is and its off-diagonal screen entries vanish; its remaining spatial entries pair with zero entries of . Therefore . Since by step 3.2, [L2] identifies the restriction of to the spatial tensors as the orthogonal projection onto . Finally, a TT tensor is , its amplitudes are , and the map is linear and bijective onto by the parametrization of step 3.2. If is the rotated screen basis of The wave screen of an observer and propagation direction, and the transverse-traceless projection of a symmetric two-tensor clause (c), then bilinearity gives using the addition formulas of [L5] at . This proves (d).
(Conclusion.) Steps 3.1, 3.2 and 4.1 prove clauses (a)-(d); all computations were performed in one adapted orthonormal basis and are identities between tensors, so they hold in every basis by [L3]. No choice principle, field equation or physical assumption is used.
Remarks
-
The rank-two trace subtraction. The subtraction in uses the trace of the two-dimensional screen, . For an -self-adjoint idempotent of rank the combination has trace , which vanishes when or , and for nonzero input trace vanishes exactly when ; applying the same half-trace formula to the rank-three projector (whose rest space has dimension three also in a curved four-dimensional model) does not in general produce a trace-free tensor. The companion counterexample of the examples page for this material records this failure explicitly.
-
No canonical screen without a frame. The space depends on the pair , not on the null covector alone: the screen is the orthogonal complement of , and different observers with nonzero pairing against the wave covector give different splittings of the same quotient in the gauge-decomposition lemma of this page. The dimension two is the frame-independent content.
Depends on
The wave screen of an observer and propagation direction, and the transverse-traceless projection of a symmetric two-tensor
Observers, rest spaces and the spatial projection at an event
The observer rest-space decomposition and the spatial projection
Every finite-dimensional real or complex inner product space has an orthonormal basis
eta-orthogonality and orthogonal complements in a Lorentz vector space
Real and complex inner product spaces, with the inner product linear in the first argument
The orthogonal projection is the -component in
For a subspace of a finite-dimensional inner product space,
Linear map between vector spaces over the same field
Kernel and image of a linear map
The kernel and image are linear subspaces, and a linear map is injective if and only if its kernel is trivial
Rank and nullity of a linear map with finite-dimensional domain
Finite-dimensional vector space, and its dimension ; infinite-dimensional means having no finite basis
Tensor fields of type (r,s) on a Lorentzian four-manifold and their components
The flat model spacetime: the Minkowski metric on R^4 and its inertial chart
The Euclidean inner product on
The derivatives of sine and cosine are cosine and minus sine
The addition formulas for sine and cosine
Dependency tree · 2 levels
Sources
- S. M. Carroll, Lecture Notes on General Relativity, arXiv:gr-qc/9712019v1 (1997), Ch. 6 (6.55)-(6.57) and the reconstruction (6.53): the projector P = eta - n n, the transverse-traceless projection and the two independent components C_{11}, C_{12}, printed pp. 151-152 (PDF pp. 158-159)
- D. Tong, General Relativity (Cambridge Part III Mathematical Tripos, Michaelmas 2019), section 5.2.1 (5.22): the two polarisation states H_+ and H_x of the transverse-traceless polarisation matrix, printed pp. 211-212 (PDF pp. 218-219)
- H. S. Reall, Part III General Relativity (Cambridge, October 12, 2022 revision), section 7.3 (7.49): the transverse-traceless polarisation matrix with two independent constants H_+ and H_x and the statement that gravitational waves have two polarizations, printed pp. 78-79 (PDF pp. 79-80)