March 06, 2009
Referring to the commutator [Dμ,Dν] is superfluous: The relevant definition of the torsion tensor is correctly given by Eq. (4):
Tλμν =
Γλμν −
Γλνμ
(4)
See Carroll's Lecture Notes on General Relativity p.59, Eq.(3.16). This definition
guaranties that the torsion tensor is antisymmetric in the lower indices μ,ν,
irrespective whatever the connection Γλμν is.
Two cases are of interest:
(a) The connection is symmetric: This is the case if and only if the torsion vanishes.
(b) The connection is asymmetric: This is the case if and only if the torsion is not zero.
Therefore the concluding ''so'' in
Tλμν = − Tλνμ
(5)
so
Γλμν = − Γλνμ
(6)
is the point of flaw: Where is the reasoning for that ''so''???
(1): Eq. (3) contains an index error at the first term on the right hand side. The lower index ρ
should be ν. A slip only? But a slip with consequences:
(2): In Eq. (2) the case μ=ν is specified: This yields the conclusion
Tλμν = 0 and Rλσμν = 0
if μ=ν, which is a well knon consequence of the antisymmetry of
Tλμν and Rλσμν
in μ,ν (see e.g. S.M. Carroll L.N. p.59, Eq.(3.16), p.75, Eq.(3.64)). After Eq. (3.16)
Carroll writes: ''It is clear that the torsion is antisymmetric in its lower indices,
and a connection which is symmetric in its lower indices is known as ''torsion-free''.''
However, due to Evans' ''slip'' in Eq.(3) one could falsly derive the vanishing of the complete
curvature tensor Rλσμρ. Evans: (3):
Evans' '' ''
Since this conclusion (5) => (6) is wrong Evans' complete building of the alleged
''
catastrophic error in the standard model of the twentieth century
'' (which it has nothing to do with;
this is merely most simple differential geometry) breaks down irrespective of what the other
four ''definitive proofs'' will deliver.
2. Further remarks
In an
additional note Evans confirms our supposition: He believes that
Rλσμμ is the ''complete curvature tensor''.
Proof:
''
It remains unclear what shall be proven in the following where Evans considers the appearance
of torsion and curvature tensors in the commutator applied to a (1,0)-tensor.
As shown above, however, it cannot be proven that
''See also the
flowchart 2 of Proof 1.