Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

If $X$ and $Y$ are smooth vector fields with flows $\phi^{X}$ and $\phi^{Y}$, then starting at some $p\in M$, if we flow with $X$ for time $\sqrt t$, then flow with $Y$ for time $\sqrt t$ and then flow backwards along $X$ and $Y$ for time $\sqrt t$, we arrive at a point $$\alpha(t):=\phi^{X}_{-\sqrt t}\circ \phi^{Y}_{-\sqrt t}\circ \phi^{X}_{\sqrt t} \circ \phi^{Y}_{\sqrt t}.$$ It turns out that $\alpha(t)$ is ussualy not $p$. In Lees'"Manifolds and differential geometry" excercise asks to prove the following statement: $$\frac{d}{dt}\mid_{t=0}\alpha (t)=[X,Y]_{p}$$ I tried to change the variables to get rid of the square root: $$\frac{d}{dt}\mid_{t}\phi^{X}_{-\sqrt t}\circ \phi^{Y}_{-\sqrt t}\circ \phi^{X}_{\sqrt t} \circ \phi^{Y}_{\sqrt t}=\frac{d}{2sds}\mid_{s^{2}}\phi^{X}_{-s}\circ \phi^{Y}_{-s}\circ \phi^{X}_{s} \circ \phi^{Y}_{s}$$ But I made no progress with it and do not know how to attack this problem. I would appreciate any hint.

share|improve this question
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.