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

0 Asked on August 13, 2020 by user_hello1

3 Asked on August 12, 2020 by yudop

1 Asked on August 12, 2020 by abhijeet-vats

1 Asked on August 11, 2020 by gfr

abstract algebra book recommendation homological algebra reference request

1 Asked on August 8, 2020 by m1996rg

0 Asked on August 7, 2020 by david-warren-katz

0 Asked on August 6, 2020 by yaniv765

1 Asked on August 5, 2020 by roi_saumon

4 Asked on August 5, 2020 by dharmendra-singh

1 Asked on August 4, 2020 by w-mu

differential geometry geodesic riemannian geometry smooth manifolds

1 Asked on August 4, 2020 by hash-man

1 Asked on August 3, 2020 by ifn47

2 Asked on August 3, 2020 by 2132123

1 Asked on August 3, 2020 by user

calculus of variations euler lagrange equation functional analysis reference request

1 Asked on August 2, 2020

cyclotomic polynomials elementary number theory primality test prime numbers

1 Asked on July 31, 2020 by twentyyears

1 Asked on July 30, 2020 by pea-terzi

elementary number theory examples counterexamples prime numbers

2 Asked on July 28, 2020 by lucas

Get help from others!

Recent Answers

- Joshua Engel on Why fry rice before boiling?
- Peter Machado on Why fry rice before boiling?
- 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?

Recent Questions

- 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?
- Does Google Analytics track 404 page responses as valid page views?

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