Deriving Connection-Metric Relation from Palatini Formalism

Click For Summary

Discussion Overview

The discussion revolves around the derivation of the connection-metric relation using the Palatini formalism in the context of general relativity. Participants explore the implications of treating the connection and metric as independent variables, the variations of the gravitational action, and the resulting equations.

Discussion Character

  • Exploratory
  • Technical explanation
  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • One participant questions how the variation of the gravitational action leads to the connection-metric relation as stated in Landau and Lifgarbagez.
  • Another participant highlights the difference between varying with respect to the metric and the connection, indicating confusion about the variational approach.
  • A participant explains that varying the Lagrangian with independent variables leads to separate conditions for the metric and connection, resulting in the Einstein equations and a relation for the connection.
  • Discussion includes the definition of connections and their independence from metrics, with references to affine connections and conditions under which they coincide with metric connections.
  • Participants reference D'Inverno's work to illustrate how variation with respect to the connection leads to the condition that the covariant derivative of the metric vanishes.
  • There is mention of a modification needed in D'Inverno's proof to align with the results shown in Landau and Lifgarbagez.
  • A participant introduces the Palatini equation and suggests that a modification of this equation could aid in deriving the metric connection.
  • Another participant discusses the relationship between the metric action and the Palatini action, emphasizing the order of variations and their implications.
  • One participant expresses difficulty in progressing from their steps towards the desired variation with respect to the connection, indicating a lack of clarity on how to proceed.

Areas of Agreement / Disagreement

Participants express varying levels of understanding and confusion regarding the derivation process, with no consensus reached on the clarity of the connection-metric relation or the steps involved in the variation process.

Contextual Notes

Some participants note limitations in their understanding of the variational principles and the specific mathematical steps required to derive the connection-metric relation, indicating unresolved aspects of the discussion.

luckyboots
Messages
2
Reaction score
0
Hey all, making my way through Landau and Lifgarbagez classical theory of fields and i had a specific question on the Einstein equations. Following the palatini approach, we assume that the connection and metric are independent variables and are not related a priori. In the footnote, they say by calculating the variation of the gravitational action and requiring that it vanish,
[itex]\delta S_g=\int\left(R_{jk}-\frac{1}{2}g_{jk}R\right)\delta g^{jk}\sqrt{-g}d^4x[/itex]
we are supposedly able to determine the relation between the two. However, i am at a loss as to how they make this leap from what is given above.
 
Physics news on Phys.org


I have read that article, and others like it but still do not understand the reasoning. I can recover the Einstein equations but the second equation (#3 in the article that was posted [itex]\nabla_\lambda(\sqrt{-g}f'(R)g^{\mu\nu})=0[/itex]) , the one obtained by varying with respect to the connect, still eludes me. To be honest i have only a vague idea of what this variational is and do not understand the difference between varying with respect to the metric and the connection.
 


Is your question about the concepts or about the algebra? The concept, as you already stated, is that you vary L treating gμν and Γσμν as independent variables. What you get is of the form δL = ∫ (Aμν δgμν + Bσμν δΓσμν) dV = 0. This implies that the coefficients of δgμν and δΓσμν must vanish separately. Aμν = 0 is the Einstein equations and Bσμν = 0 gives Γσμν in terms of gμν and its derivatives.

How do you actually do it? For example, the first term in R√-g is gμν√-g Γσμν,σ. Integrate by parts to isolate Γ, getting -(gμν√-g) Γσμν. This is linear in Γ, so the variation of this wrt Γσμν is just the factor in front, namely -(gμν√-g).

Some of the other terms are quadratic in Γ, so when you take the variation of these you'll get a term from each of the two factors of Γ. Like from gμν√-g Γσμν Γτστ you'll get gμν√-g Γτστ from varying the first Γ.
 


Connections are general objects and are defined in the absense of a metric (refered to as affine connections). A manifold can be given an affine connection and a metric at the same time with their respective geodesics not coinciding. Under certain conditions however the connection is given in terms of the metric (then called the metric connection), more precisely:

"If [itex]\nabla_a[/itex] denotes the covariant derivative with respect to the affine connection, the necessary and sufficient condition for the covariant derivative of the metric to vanish is that the connection is the metric connection."

The geodesics then coincide. Setting the covariant derivative of the metric to zero has the physical meaning that the length of a parallel propagated vector is preserved.

In Ray D'Inverno's book, pages 152-153 he proves that variation with respect to the connection leads to the condition that the [itex]\nabla_c g_{ab} = 0[/itex], identifying the affine connection with the metric connection, and giving results that are equivalent to the equations derived from the, original, purely metric formulation.

In the Palantini approach, variation with respect to the densitized inverse metric give the vacuum field equations, [itex]R_{ab} = 0[/itex] directly, all be it in terms of the affine connection. Basically, varing the connection in order to minamize the action then gives the metric connection. This condition can be substituted into the the field equations, recovering the same answer you get from varying the original metric action - see D'Inverno on this.
 
Last edited:


Just noticed that in Landau and Lifgarbagez they show the Einstein tensor is zero instead of the Ricci tensor. You'll have to modify what is in D'Inverno to get out [itex]\nabla_c g_{ab} = 0[/itex].
 


The key equation in getting the result from the variation of the connection comes from the Palantini equation:

[itex]\delta R_{bd} = \nabla_a (\delta \Gamma^a_{bd} - \nabla_d (\delta \Gamma^a_{ba})[/itex]

(see D'Inverno page 145 for simple derivation). A simple modification of this should help derive the metric connection in the calculation of Landau and Lifgarbagez.
 
Last edited:


The relationship between the metric action and the Palantini action?...with Palantini do the connection variation first, get the metric connection, hold this 'constant' as you make your further variation. When you consider the variation of the metric action instead you are implicitly keeping the metric connection 'constant' (b/c that's just the convention of the metric formulation) - this is just made explcit, and taken advantage of, in the Palantini approach.
 
Last edited:


The relationship between Landau and D'Inverno is:

[itex]\sqrt{-g} G_{ab} \delta g^{ab} = \delta (\sqrt{-g} g^{ab}) R_{ab}[/itex]

The proof that the connection is the metric connection goes through the same regardless of which 'metric' variable you vary.
 
Last edited:
  • #10


what if one wants to get to the variation with respect to the connection?I did the following steps but I cannot go further more.

[itex]\delta[/itex] S= [itex]\int[/itex] d[itex]^{4}[/itex] x g[itex]^{\mu \nu}[/itex]
[[itex]\nabla[/itex] [itex]_{\lambda}[/itex]([itex]\sqrt{-g}[/itex] F [itex]\delta[/itex] [itex]\Gamma[/itex] [itex]^{\lambda}_{\mu \nu}[/itex] )
-[itex]\delta[/itex] [itex]\Gamma[/itex] [itex]^{\lambda}_{\mu \nu}[/itex] [itex]\nabla[/itex] [itex]_{\lambda}[/itex] ([itex]\sqrt{-g}[/itex] F)
- [[itex]\nabla[/itex] [itex]_{\nu}[/itex]([itex]\sqrt{-g}[/itex] F [itex]\delta[/itex] [itex]\Gamma[/itex] [itex]^{\lambda}_{\lambda \mu}[/itex] )
+[itex]\delta[/itex] [itex]\Gamma[/itex] [itex]^{\lambda}_{\mu \lambda}[/itex] [itex]\nabla[/itex] [itex]_{\nu}[/itex] ([itex]\sqrt{-g}[/itex] F)]

but it does not go further!
And I have no idea what to do to get it into the famous equation which has been stated in
equation (16) of arXiv:0805.1726v4 [gr-qc] 4 Jun 2010
too.
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 8 ·
Replies
8
Views
1K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
5K
  • · Replies 14 ·
Replies
14
Views
3K
  • · Replies 50 ·
2
Replies
50
Views
4K
  • · Replies 3 ·
Replies
3
Views
5K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 4 ·
Replies
4
Views
1K