A sufficient condition for integrability of equation ##\nabla g=0##

  • Context: Undergrad 
  • Thread starter Thread starter Jianbing_Shao
  • Start date Start date
  • Tags Tags
    Integrability Metric
Click For Summary
SUMMARY

The discussion centers on the integrability conditions for differential equations as presented in Philippe G. Ciarlet's book 'An Introduction to Differential Geometry'. The key integrability condition is expressed as ##R^i_{jkl} = 0##, which allows for the existence of a global solution ##F_{lj}##. The conversation highlights the compatibility of non-flat metrics ##g_{ab}## with zero curvature connections, specifically the teleparallel/Weitzenböck connection ##\Gamma^{c}_{ab} = {e^c}_{I} \partial_a {e_b}^{I}##. This connection can coexist with non-zero torsion, challenging the conventional understanding of flatness in metric spaces.

PREREQUISITES
  • Understanding of differential geometry concepts, particularly integrability conditions.
  • Familiarity with the teleparallel/Weitzenböck connection and its properties.
  • Knowledge of Riemannian geometry and the Levi-Civita connection.
  • Basic grasp of curvature and torsion in the context of differential equations.
NEXT STEPS
  • Study the integrability conditions in differential geometry, focusing on the implications of ##R^i_{jkl} = 0##.
  • Explore the properties of the teleparallel/Weitzenböck connection and its applications in modern physics.
  • Investigate the relationship between curvature, torsion, and metric compatibility in various geometrical frameworks.
  • Review literature on non-metricity and its implications for connections in differential geometry.
USEFUL FOR

Mathematicians, physicists, and researchers in differential geometry, particularly those interested in the interplay between curvature, torsion, and metric compatibility in gravitational theories.

  • #61
PeterDonis said:
@ergospherical's calculation in post #10 doesn't make that assumption. Indeed, I don't think that assumption is even consistent with his calculation. So your apparent belief that you are just reversing his calculation appears to be wrong.
The difference between me and ergospherical is that he didn't demand the basis field is a coordinate basis, so they assert that there exist some extra terms between a teleparallel connection and Levi-Civita connection. and I demand that the basis should be coordinate basis field, then a teleparallel connection equals a Levi-Civita connection.
 
Physics news on Phys.org
  • #62
PeterDonis said:
So far I haven't seen you give any valid "explanation" of anything. I just see you continuing to show math that leads you to results that are obviously wrong, and refusing to acknowledge that fact. Math that gives obviously wrong results can't be a valid explanation of anything.

If you're looking for a suggestion about one step in your latest "explanation" that looks wrong, see my post #58.
When you say the result from my calculation is wrong. then you should point out where I have made a mistake.
If you are serious , you must know that math is exactly the base of explaination of our world.
 
  • Sad
Likes   Reactions: weirdoguy
  • #63
Jianbing_Shao said:
The difference between me and ergospherical is that he didn't demand the basis field is a coordinate basis
Yes. Now go read my post #58, where I point that out, and then point out something else.

Jianbing_Shao said:
When you say the result from my calculation is wrong. then you should point out where I have made a mistake.
Again, go read my post #58. In particular, the second sentence.
 
  • #64
Jianbing_Shao said:
you must know that math is exactly the base of explaination of our world.
Correct math is the basis for valid physical models of our world, yes. But only correct math.
 
  • #65
PeterDonis said:
@ergospherical's calculation in post #10 doesn't make that assumption. Indeed, I don't think that assumption is even consistent with his calculation. So your apparent belief that you are just reversing his calculation appears to be wrong.
Then why you don't think that assumption is even consistent with his calculation? can you give me some explaination?
 
  • #66
PeterDonis said:
Correct math is the basis for valid physical models of our world, yes. But only correct math.
So where is my wrong? just the conclusion is wrong?
 
  • #67
Jianbing_Shao said:
why you don't think that assumption is even consistent with his calculation?
Because the orthonormal tetrad fields ##e_a## that appear in his calculation don't commute in any spacetime other than flat Minkowski spacetime, which means they can't form a coordinate basis. You can see this in the example he gave for the 2-sphere; the two vector fields of the basis he gave don't commute.
 
  • #68
PeterDonis said:
Because the orthonormal tetrad fields ##e_a## that appear in his calculation don't commute in any spacetime other than flat Minkowski spacetime, which means they can't form a coordinate basis. You can see this in the example he gave for the 2-sphere; the two vector fields of the basis he gave don't commute.
In the original definition of teleparalle connection, ##e_a## should be a holonomic frame(coordinate basis field), It is not necessarily to be orthonormal.
If you demand ##e_a## is orthonormal, and at the same time it is changing, then the basis field is obviously a non-coordinate basis field, It just can prove that in ergospherical's derivation ##e_a## is not orthonormal.
It seemed that you didn't believe a metric field can be compatible with a zero-curvature connection. so you think ##e_a## only can be orthonormal, but if ##e_a## is only a holonomic frame. can we find any problems in ergospherical's derivation? If we can't, then how to explain the result?
 
  • #69
Jianbing_Shao said:
In the original definition of teleparallel connection, ##e_a## should be a holonomic frame(coordinate basis field)
Please give a reference for this claim.

Jianbing_Shao said:
It seemed that you didn't believe a metric field can be compatible with a zero-curvature connection
I have never said any such thing. All I have said is that the Levi-Civita connection has nonzero curvature in any spacetime other than flat Minkowski spacetime. But that in no way rules out the possibility of there being some different connection, such as the teleparallel connection, which is also compatible with the same metric and has zero curvature--but nonzero torsion (whereas the Levi-Civita connection has zero torsion).

Jianbing_Shao said:
so you think ##e_a## only can be orthonormal
That has nothing to do with what connections are compatible with what metrics. It has to do with doing the correct math for the teleparallel connection. At this point I have nothing further to say on that since you keep repeating obviously wrong claims and I can't understand what math you think you're doing. I'll let @ergospherical take another try if he wants to.
 
  • Sad
Likes   Reactions: weirdoguy
  • #70
PeterDonis said:
Please give a reference for this claim.
https://encyclopedia.thefreedictionary.com/Teleparallelism
1757763653076.webp

So I just wonder why you say ##e_a## is orthonormal.
PeterDonis said:
I have never said any such thing. All I have said is that the Levi-Civita connection has nonzero curvature in any spacetime other than flat Minkowski spacetime.
But although GR gave some examples, but no one has proved such a conclusion in mathematics, No one have proved that for all non-flat metric field all the corresponding compatible Levi-Civita connections only have non-zero curvature. I didn't find such a proof of this conclusion. So I just need a counter-example then the conclusion is not right.
PeterDonis said:
I have never said any such thing. All I have said is that the Levi-Civita connection has nonzero curvature in any spacetime other than flat Minkowski spacetime. But that in no way rules out the possibility of there being some different connection, such as the teleparallel connection, which is also compatible with the same metric
So if your conclusion is right, then logically In all cases a telleparallel connection can not be equal to Levi-Civita connection. Can you prve it?
 
  • Sad
Likes   Reactions: weirdoguy
  • #72
Jianbing_Shao said:
although GR gave some examples, but no one has proved such a conclusion in mathematics,
Sorry, this is simply wrong. We can't have a useful discussion if you continue to make wrong claims after repeated corrections.

Thread closed.
 
  • Agree
Likes   Reactions: weirdoguy, ergospherical and renormalize

Similar threads

  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 24 ·
Replies
24
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 62 ·
3
Replies
62
Views
7K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 15 ·
Replies
15
Views
2K