Mathematics Asked on January 1, 2022

Let $(M,g)$ be a Riemannian manifold of dimension $N$ with (Levi-Civita) connection $nabla$.

**I have seen the following definition of Christoffel symbols:** For a given smooth

**I have seen the following definition for sub-manifolds $Msubset mathbb R^a$, $ainmathbb N$:** They are defined (locally) as the unique smooth functions $Gamma_{n,m}^k$ such that $$left(frac{partial^2 f}{partial x^n x^m}right)^top=Gamma_{n,m}^k frac{partial f}{partial x^k}$$ for all $1le n,mle N$, where $f:Omegato M$ is a local parametrization of $M$ with an open set $Omegasubsetmathbb R^N$ and $^top$ denotes the tangential projection onto the tangent space of $M$.

**Why are these two definitions compatible?**

**My attempt:** Let $Msubsetmathbb R^a$ be an $N$-dimensional smooth manifold that inherits the Riemannian metric from $mathbb R^a$ by restriction. Let $f=(f^1,f^2,dots,f^N)$ be a local parametrization around $pin M$. Take the local frame $A_k=frac{partial f}{partial x^k}$ and let $nabla^top$ be the connection that $M$ inherits from $mathbb R^a$, i.e. if $X$ and $Y$ are two tangential vector fields to $M$, then $nabla^top_X Yoverset{text{Def.}}=(nabla_{widetilde X}widetilde Y)|_M^top$, where $widetilde X$ and $widetilde Y$ are any smooth extensions of $X,Y$ to an open subset of $mathbb R^n$, and $nabla$ is defined by $$nabla_v widetilde Y = v^jfrac{partial widetilde Y^i}{partial x^j} left.frac{partial}{partial x^i}right|_pin Tmathbb R^a_p$$ for any tangent vector $vin Tmathbb R^a_p$. I want to show that $nabla_{A_n} A_m=left(frac{partial^2 f}{partial x^npartial x^m}right)^top$. For this, fix $n,min{1,dots, N}$ and let $X=A_n=frac{partial f}{partial x^n}, Y=A_m=frac{partial f}{partial x^m}$. I computed:

begin{split}

X_p(Y^i)=frac{partial f^j}{partial x^n}(p)cdot frac{partialleft(frac{partial f^i}{partial x^m}right)}{partial x^j}(p)=frac{partial f^j}{partial x^n}(p)cdotfrac{partial^2 f^i}{partial x^mpartial x^j}(p).

end{split}

But shouldn’t I get $$X_p(Y^i)=frac{partial^2 f^i}{partial x^npartial x^m}(p)$$ for the definitions to work out? Where did I go wrong?

Recall that in your formula, you're writing $v=sum v^j A_j$ (with $A_j = partial f/partial x^j$), so in the case of the vector field $v=X=partial f/partial x^n$, you will have $v^j = delta^j_n$.

Answered by Ted Shifrin on January 1, 2022

Get help from others!

Recent Answers

- Jon Church on Why fry rice before boiling?
- Lex on Does Google Analytics track 404 page responses as valid page views?
- haakon.io on Why fry rice before boiling?
- Peter Machado on Why fry rice before boiling?
- Joshua Engel on Why fry rice before boiling?

Recent Questions

- How can I transform graph image into a tikzpicture LaTeX code?
- How Do I Get The Ifruit App Off Of Gta 5 / Grand Theft Auto 5
- Iv’e designed a space elevator using a series of lasers. do you know anybody i could submit the designs too that could manufacture the concept and put it to use
- Need help finding a book. Female OP protagonist, magic
- Why is the WWF pending games (“Your turn”) area replaced w/ a column of “Bonus & Reward”gift boxes?

© 2024 TransWikia.com. All rights reserved. Sites we Love: PCI Database, UKBizDB, Menu Kuliner, Sharing RPP