# Variation formula of a metric [closed]

In Terry Tao's notes on the Poincare Conjecture, he makes a jump I can't understand.

From differentiating the identity $g^{\alpha \beta}g_{\beta \gamma} = \delta^\alpha_\gamma$ we obtain the variation formula $\frac{d}{dt}g^{\alpha \beta} =-g^{\alpha \gamma}g^{\beta \delta}\dot{g}_{\gamma \delta}$.

But I don't understand this leap. Can anyone show me what I'm supposed to be doing? I'm familiar with tensors and the variational calculus but putting the two together is hard for me.

-

## closed as off-topic by Chris Gerig, Stefan Waldmann, Stefan Kohl, Yemon Choi, Willie WongNov 24 '14 at 13:29

This question appears to be off-topic. The users who voted to close gave this specific reason:

• "MathOverflow is for mathematicians to ask each other questions about their research. See Math.StackExchange to ask general questions in mathematics." – Chris Gerig, Stefan Waldmann, Stefan Kohl, Willie Wong
If this question can be reworded to fit the rules in the help center, please edit the question.

Ever heard that if a matrix-valued function $t\mapsto A(t)$ takes non-singular values, then $\frac{d}{dt}A(t)^{-1}=-A^{-1}\frac{dA}{dt}A^{-1}$ ? This is a calculus exercise. – Denis Serre Mar 1 '12 at 21:22
And this is done most easily using implicit differentiation of $A A^{-1} = I$. – Deane Yang Mar 1 '12 at 21:40
It's also worth noting that the two comments above are equivalent to just differentiating $g^{\alpha\beta}g_{\beta\gamma} = \delta^\alpha_\gamma$ with respect to the variation parameter and then solving for $\dot{g}^{\alpha\beta}$ by multiplying the differentiated equation by $g^{\eta\alpha}$. – Deane Yang Mar 2 '12 at 17:35
Ok so it was a lot simpler than I thought. – Peadar Coyle Mar 3 '12 at 11:03
This question has been answered easily in the comments – Yemon Choi Nov 24 '14 at 12:37

As mentioned in the comments, once you're comfortable with indices, this is just an exercise in calculus. Differentiating both sides of the identity $g^{\alpha\gamma}g_{\gamma\zeta} = \delta^{\alpha}_{\zeta}$ with respect to the parameter $t$, we see that
Replacing the index $\zeta$ by the index $\delta$, you get precisely the expression you were looking for. I refrained from using $\delta$ as an index to avoid confusion with the expressions involving $\delta$ in the first and penultimate lines.
{"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0}