Question about differential geometry

In summary, the Poincaré lemma states that if a differential form A on an open ball U has a zero derivative at any point, then there exists a similar but differential form B on U such that dB = A.
  • #1
Jip
20
2
Hi, I read in Padmanabhan's book that [itex]\nabla_a J^a=0[/itex] implies that there exists an antisymetric tensor P such that [itex]J^a= \nabla_b P^{ba}[/itex]. What's the name of the theorem? Any reference?
Thanks
 
Last edited by a moderator:
Physics news on Phys.org
  • #2
having trouble reading your latex rendering. Can you fix it?
 
  • #3
jedishrfu said:
having trouble reading your latex rendering. Can you fix it?

[itex]\nabla_a J^a=0 [/itex] implies that there exists an antisymetric tensor [itex] P[/itex] such that [itex]J^a= \nabla_b P^{ba}[/itex]
 
  • #4
Jip said:
Hi, I read in Padmanabhan's book that \nabla_a J^a=0 implies that there exists an antisymetric tensor P such that J^a= nabla_b P^{ba}. What's the name of the theorem? Any reference?
Thanks

It should be the Poincaré's lemma for the codifferential. You might check Nakahara's text.
 
  • #5
Jip said:
Hi, I read in Padmanabhan's book that \nabla_a J^a=0 implies that there exists an antisymetric tensor P such that J^a= nabla_b P^{ba}. What's the name of the theorem? Any reference?
Thanks
Check out appendix B in Wald's "General Relativity" and also problem 5 in chapter 4. It is essentially the converse of the poincare lemma. The lemma itself comes out of a combination of differential and algebraic topology; for its proof you would need to consult a proper text on differentiable manifolds.
 
  • #6
It's not the converse. It's the direct lemma.

http://en.wikipedia.org/wiki/Poincaré_lemma#Poincar.C3.A9_lemma

Because d2 = 0, any exact form is automatically closed. The question of whether every closed form is exact depends on the topology of the domain of interest. On a contractible domain, every closed form is exact by the Poincaré lemma. More general questions of this kind on an arbitrary differentiable manifold are the subject of de Rham cohomology, that allows one to obtain purely topological information using differential methods.
 
  • #7
The result [itex]\partial _{a }v^{a} = 0 \Rightarrow \exists P^{ab} = -P^{ba}:v^{a}=\partial _{b}P^{ab}[/itex] is gotten by applying a consequence of the poincare lemma. The result needed by the OP comes from the fact that if [itex]d\alpha = 0[/itex] then locally [itex]\exists \beta :\alpha = d\beta [/itex]. Maybe converse wasn't the word to use here if that's what you are saying dexter; Wald does use that word but Lee doesn't so I don't know what to say other than that Wald might not be using it in the logical sense but rather in an informal/literal sense of the word (EDIT: Lee proves it and Wald doesn't - for the OP's interest)
 
Last edited:
  • #8
WannabeNewton said:
Check out appendix B in Wald's "General Relativity" and also problem 5 in chapter 4. It is essentially the converse of the poincare lemma. The lemma itself comes out of a combination of differential and algebraic topology; for its proof you would need to consult a proper text on differentiable manifolds.

It seems to me that the converse is just a generalization of the various 3D vector equations:

  • [itex]\vec{\nabla} \times (\vec{\nabla} \Phi) = 0[/itex]
    [itex]\vec{\nabla} \cdot (\vec{\nabla} \times \vec{A}) = 0[/itex]

The converses in the 3D case are:
  • If [itex]\vec{F}[/itex] is a vector field such that [itex]\vec{\nabla} \times \vec{F}= 0[/itex], then [itex]\vec{F} = \nabla \Phi[/itex] for some scalar field [itex]\Phi[/itex].
  • If [itex]\vec{F}[/itex] is a vector field such that [itex]\vec{\nabla} \cdot \vec{F}= 0[/itex], then [itex]\vec{F} = \nabla \times \vec{A}[/itex] for some vector field [itex]\vec{A}[/itex].

I think that these cases follow from Gauss' theorem and
 
  • #9
stevendaryl said:
It seems to me that the converse is just a generalization of the various 3D vector equations:

  • [itex]\vec{\nabla} \times (\vec{\nabla} \Phi) = 0[/itex]
    [itex]\vec{\nabla} \cdot (\vec{\nabla} \times \vec{A}) = 0[/itex]

The converses in the 3D case are:
  • If [itex]\vec{F}[/itex] is a vector field such that [itex]\vec{\nabla} \times \vec{F}= 0[/itex], then [itex]\vec{F} = \nabla \Phi[/itex] for some scalar field [itex]\Phi[/itex].
  • If [itex]\vec{F}[/itex] is a vector field such that [itex]\vec{\nabla} \cdot \vec{F}= 0[/itex], then [itex]\vec{F} = \nabla \times \vec{A}[/itex] for some vector field [itex]\vec{A}[/itex].

I think that these cases follow from Gauss' theorem and

Yeah, the converse is just that [itex]d^2=0[/itex], where d is the exterior derivative. This is of course crucial for establishing the De Rham cohomology.
 
  • #10
Some weeks ago there was a question about this also here. You can check Tomas Ortin's book "Gravity and Strings" on this theorem, it probably states its name.
 
  • #11
I couldn't find it in Ortin (excellent book, btw).
 
  • #12
WannabeNewton said:
Check out appendix B in Wald's "General Relativity" and also problem 5 in chapter 4. It is essentially the converse of the poincare lemma. The lemma itself comes out of a combination of differential and algebraic topology; for its proof you would need to consult a proper text on differentiable manifolds.

I don't use Wald for a mathematical reference. He's picked the 'Poincaré lemma' part from Flanders's text on Differential Forms*. But merely stating that the exterior differential is nilpotent to the second order is not an interesting/difficult result, but rather

<Poincare lemma. Let U be an open ball in E and let A be a differential
form of degree >= 1 on U such that dA = 0. Then there exists a differential
form B on U such that dB = A.>

This is the mathematical standard result picked up from <Serge Lang, Differential Manifolds, Springer Verlag, 1985>.

Let's go to <Spivak, Calculus on Manifolds, Addison-Wesley> Page 94:

<4-11 Theorem (Poincare Lemma). If [itex] A\subset \mathbb{R}^{n} [/itex] is an open
set star-shaped with respect to 0, then every closed form on A
is exact.>

*From Flanders's text, his first words from this preface to the first (1963) edition (quoted by Wald).

<Last spring the author gave a series of lectures on exterior differential
forms to a group of faculty members and graduate students from the Purdue
Engineering Schools. The material that was covered in these lectures is
presented here in an expanded version. The book is aimed primarily at
engineers and physical scientists in the hope of making available to them new
tools of very great power in modern mathematics
.>
 
Last edited:

FAQ: Question about differential geometry

1. What is differential geometry?

Differential geometry is a branch of mathematics that deals with the study of geometric objects using techniques from differential calculus and algebraic geometry. It is used to study curves, surfaces, and higher-dimensional spaces, and has applications in physics, engineering, and computer graphics.

2. How is differential geometry related to differential equations?

Differential geometry is closely related to differential equations as it uses differential equations to describe the shape and curvature of geometric objects. Differential equations are also used to study the behavior of geometric objects under certain conditions, such as in the presence of forces or constraints.

3. What are some applications of differential geometry?

Differential geometry has many applications in various fields, including physics, engineering, computer graphics, and robotics. It is used to study the motion of particles and bodies in space, model the shape of surfaces and objects, and develop algorithms for computer graphics and animation.

4. What are some basic concepts in differential geometry?

Some basic concepts in differential geometry include curves, surfaces, manifolds, tensor fields, and Riemannian geometry. Curves are one-dimensional objects that can be described using differential equations, while surfaces are two-dimensional objects that can be described using partial differential equations. Manifolds are spaces that can be locally described using coordinates, and tensor fields are used to define geometric quantities such as curvature and distance. Riemannian geometry is a branch of differential geometry that deals with the properties of manifolds with a metric, or a way to measure distances.

5. How is differential geometry used in physics?

Differential geometry is used extensively in physics, particularly in the fields of general relativity and classical mechanics. It is used to study the curvature of space-time and the motion of particles and bodies in space. It is also used to develop mathematical models for physical systems and to analyze the behavior of physical systems using differential equations.

Similar threads

Replies
6
Views
1K
Replies
3
Views
2K
Replies
21
Views
2K
Replies
36
Views
4K
Replies
16
Views
2K
Replies
0
Views
1K
Back
Top