Alphabeta Math
LemmaStatement: AI-adaptedProof: AI-generatedprecheck pass
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 (M,g,N)=(R4,η,∂0) be the flat model with its inertial chart (The flat model spacetime: the Minkowski metric on R^4 and its inertial chart), let (n,s) be an observer and propagation direction and let p, h, Σ(n,s), Πn,s 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 V:=R4 and let S be the space of symmetric covariant 2-tensors on V. Then:

(a) Projections. p and h are linear endomorphisms of V with p2=p, h2=h, ker⁡p=span⁡{n,s}, im⁡p=Σ(n,s), ker⁡h=Rn, im⁡h=n⊥; both are η-self-adjoint, η(pu,v)=η(u,pv) and η(hu,v)=η(u,hv) for all u,v. Moreover h−p=s⊗s♭, that is hab−pab=sasb.

(b) Ranks and traces. rank⁡p=dim⁡Σ(n,s)=2, paa=2, rank⁡h=3, haa=3.

(c) TT projection. Πn,s is a linear endomorphism of S with Πn,s2=Πn,s; for every A∈S the tensor Πn,s(A) is TT with respect to (n,s) 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 Πn,s(A)=A exactly when A is TT. The TT tensors form the two-dimensional linear subspace Tn,s={B∈S:B(n,⋅)=B(s,⋅)=0, ηabBab=0}, so dim⁡Tn,s=2.

(d) Orthogonal projection and amplitudes. Let ⟨A,B⟩:=hachbdAabBcd on the subspace of tensors spatial with respect to n. This is a positive definite inner product, and for every spatial A and every TT B, ⟨A−Πn,s(A),B⟩=0; so Πn,s restricted to the spatial tensors is the orthogonal projection onto Tn,s (The orthogonal projection PWv is the W-component in V=W⊕W⊥, For a subspace W of a finite-dimensional inner product space, V=W⊕W⊥). With respect to an ordered η-orthonormal screen basis (e1,e2) a TT tensor is

B=B11(e1⊗e1−e2⊗e2)+B12(e1⊗e2+e2⊗e1),

so B is determined by the pair (A+,A×)=(B11,B12), 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 Tn,s→R2, B↦(A+,A×), is a linear isomorphism.

Facts & Assumptions

Given: The flat model with inertial chart, an observer n and propagation direction s as in The wave screen of an observer and propagation direction, and the transverse-traceless projection of a symmetric two-tensor, and the endomorphisms p, h and the map Πn,s defined there.

[L1]

The orthogonal complement n⊥ of a unit timelike n is three-dimensional, the restriction of η to it is positive definite, and the vectors of n⊥ orthogonal to the unit spacelike s form a two-dimensional positive definite subspace Σ(n,s) (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).

[L3]

Components of tensors in an ordered basis determine the tensor, and a tensor identity that holds in one basis holds in every basis; δab 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).

[L4]

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 dim⁡FV; infinite-dimensional means having no finite basis).

[L5]

The addition formulas sin⁡(α+β)=sin⁡αcos⁡β+cos⁡αsin⁡β and cos⁡(α+β)=cos⁡αcos⁡β−sin⁡αsin⁡β hold, and the derivatives of sin⁡ and cos⁡ are cos⁡ and −sin⁡; the Euclidean inner product of R2 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 ⟨x,y⟩=∑k<nxkyk on Rn).

Proof

technique · direct; choose an adapted orthonormal basis, evaluate all tensor formulas in that basis, and use basis independence
1.1L1L2

(Adapted basis.) Set e0:=n, e3:=s. By [L1] the space Σ(n,s) is a two-dimensional positive definite subspace of V; by [L2] it has an orthonormal basis (e1,e2). Then (e0,e1,e2,e3) is an η-orthonormal basis with η(eA,eB)=diag⁡(−1,1,1,1)AB, and span⁡{e1,e2}=Σ(n,s), span⁡{e1,e2,e3}=n⊥.

2.1L3algebra

(Components of the projectors.) In the basis of step 1.1 the components of n and s are nA=δ0A, nA=−δA0 and sA=δ3A, sA=δA3, so pAB=δAB+nAnB−sAsB=diag⁡(0,1,1,0)AB,hAB=δAB+nAnB=diag⁡(0,1,1,1)AB. Indeed nAnB is the endomorphism u↦nAη(n,u), which has the single nonzero entry −1 in position (0,0); sAsB likewise has the single entry +1 in position (3,3). As symmetric component matrices, pAB=ηACpCB=diag⁡(0,1,1,0)AB and hAB=diag⁡(0,1,1,1)AB.

3.1L3L4step 2.1algebra

(Clauses (a) and (b).) From the diagonal forms of step 2.1, squaring gives p2=p and h2=h; p kills e0 and e3 and fixes e1,e2, while h kills e0 and fixes e1,e2,e3. Hence im⁡p=span⁡{e1,e2}=Σ(n,s) and im⁡h=span⁡{e1,e2,e3}=n⊥, while ker⁡p=span⁡{e0,e3}=span⁡{n,s} and ker⁡h=Re0=Rn. By [L4] the ranks are the dimensions of the images, rank⁡p=2 and rank⁡h=3. Since pAB and hAB are symmetric matrices, η(pu,v)=∑A,BpABuAvB=η(u,pv) and likewise for h; and subtracting the two diagonal forms gives hAB−pAB=diag⁡(0,0,0,1)AB=sAsB. All these are tensor identities, hence hold in every basis by [L3]. This proves (a) and (b).

3.2step 2.1algebra

(The TT projection.) Let A∈S have components AAB in the basis of step 1.1. By step 2.1, (Πn,sA)AB=pACpBDACD−12pAB pCDACD, and since pCD=pCD=diag⁡(0,1,1,0)CD, the only nonzero components of Πn,sA are (Πn,sA)11=12(A11−A22),(Πn,sA)22=−12(A11−A22),(Πn,sA)12=(Πn,sA)21=A12. Thus Πn,sA is supported on Σ(n,s), is symmetric there, and has vanishing screen trace: it is TT. Applying the same display to A′=Πn,sA, whose components satisfy A11′=−A22′ and A12′=A21′, leaves them unchanged, so Πn,s2=Πn,s; and if A is TT then A11=−A22, A12=A21 and all other components vanish, so Πn,sA=A. Conversely Πn,sA=A forces the displayed form, which is TT. The displayed parametrization shows that Tn,s consists exactly of the symmetric matrices with A11=−A22, A12=A21 and all other components zero; these form a two-dimensional space. This proves (c).

4.1L2L5step 3.2algebra

(Orthogonality and amplitudes.) For spatial symmetric A,B define ⟨A,B⟩=hachbdAabBcd; in the adapted basis this is ∑i,j=13AijBij. It is bilinear and symmetric, and ⟨A,A⟩=A112+A222+A332+2A122+2A132+2A232, which is nonnegative and vanishes exactly when all spatial entries vanish; because A(n,⋅)=0, this is exactly A=0. Thus it is a positive definite inner product. For a TT tensor B only B11=−B22 and B12=B21 can be nonzero. By step 3.2, the screen block of A−Πn,sA is 12(A11+A22)diag⁡(1,1) and its off-diagonal screen entries vanish; its remaining spatial entries pair with zero entries of B. Therefore ⟨A−Πn,sA,B⟩=12(A11+A22)(B11+B22)=0. Since Πn,sA∈Tn,s by step 3.2, [L2] identifies the restriction of Πn,s to the spatial tensors as the orthogonal projection onto Tn,s. Finally, a TT tensor is B=B11(e1⊗e1−e2⊗e2)+B12(e1⊗e2+e2⊗e1), its amplitudes are (A+,A×)=(B11,B12), and the map is linear and bijective onto R2 by the parametrization of step 3.2. If (e1′,e2′) 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 A+′=B(e1′,e1′)=B11(cos⁡2θ−sin⁡2θ)+2B12sin⁡θcos⁡θ=B11cos⁡2θ+B12sin⁡2θ, A×′=B(e1′,e2′)=−B11sin⁡2θ+B12cos⁡2θ, using the addition formulas of [L5] at 2θ=θ+θ. This proves (d).

5.1step 3.1step 3.2step 4.1L3∎

(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 Πn,s uses the trace of the two-dimensional screen, pcdpcd=2. For an η-self-adjoint idempotent q of rank r the combination qacqbdAcd−12qabqcdAcd has trace (1−r2)qcdAcd, which vanishes when r=2 or qcdAcd=0, and for nonzero input trace vanishes exactly when r=2; applying the same half-trace formula to the rank-three projector h (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 Tn,s depends on the pair (n,s), not on the null covector alone: the screen is the orthogonal complement of span⁡{n,s}, and different observers n 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

Dependency tree · 2 levels

Sources