Intereting Posts

Use implicit function theorem to show $O(n)$ is a manifold
How to generate random symmetric positive definite matrices using MATLAB?
If a group is $3$-abelian and $5$-abelian, then it is abelian
Does the curvature determine the metric?
Can we rediscover the category of finite (abelian) groups from its morphisms?
What does this theorem in linear algebra actually mean?
Question About Morera's Theorem
Is there a simpler approach to these system of equations?
$\lim_{x \to 0} \dfrac{f(x)-g(x)}{g^{-1}(x)-f^{-1}(x)} = 1$ for any $f,g \in C^1$ that are tangent to $\text{id}$ at $0$ with some simple condition
Sum of Cauchy distributed random variables
Proving $\sum\limits_{l=1}^n \sum\limits _{k=1}^{n-1}\tan \frac {lk\pi }{2n+1}\tan \frac {l(k+1)\pi }{2n+1}=0$
Finding an example of a non-rational p-adic number
Prove $\alpha \in R]$ is a unit iff $a_0 \in R$ is a unit
What is the greatest integer function, and how do you integrate it?
All $k$-regular subgraphs of $K_{n,n}$ have a perfect matching: a proof without Hall's Marriage Theorem?

Here is the definition of affine connection, as appears in Milnor’s book *Morse Theory*.

DEFINITION.Anaffine connectionat a point $p \in \text{M}$ is a function which assigns to each tangent vector $\text{X}_p \in \text{TM}_p$ and to each vector field $\text{Y}$ a new tangent vector$$\text{X}_p \vdash \text{Y} \in \text{TM}_p$$called thecovariant derivativeof $\text{Y}$ in the direction $\text{X}_p$.

- Relationship beween Ricci curvature and sectional curvature
- Most succinct proof of the uniqueness and existence of the Levi-Civita connection.
- Mean curvature in terms of Christoffel symbols
- Gradient of a function restricted to a submanifold
- the Levi-Civita connection on a product of Riemannian manifolds
- How to generalize parallelograms to non-Euclidean spaces?
(Note that our $\text{X} \vdash \text{Y}$ coincides with Nomizu’s $\nabla_\text{X} \text{Y}$. The notation is intended to suggest that the differential operator $\text{X}$ acts on the vector field $\text{Y}$.)

This is required to be bilinear as a function of $\text{X}_p$ and $\text{Y}$. Furthermore, if$$f: \text{M} \to \mathbb{R}$$is a real valued function, and if $f\text{Y}$ denotes the vector field$$(f\text{Y})_q = f(q)\text{Y}_q$$then $\vdash$ is required to satisfy the identity$$\text{X}_p \vdash (f\text{Y}) = (\text{X}_p f)\text{Y}_p + f(p) \text{X}_p \vdash \text{Y}.$$

(As usual, $\text{X}_p$ denotes the directional derivative of $f$ in the direction of $\text{X}_p$.)

I have two questions.

- This definition of affine connection is quite terse here—I’m just seeing text on a page and not really understanding what is going on here. Is it possible somebody could help me parse through/explain what is really being said here with regards to affine connection?
- Could somebody supply their intuitions behind/for affine connections?

Thanks.

- What are the surfaces of constant Gaussian curvature $K > 0$?
- If two Riemannian manifolds can be isometrically immersed in each other, are they isometric?
- What groups can be realized as the isometry group of the two-sphere?
- Any compact embedded $2$-dimensional hypersurface in $\mathbb R^3$ has a point of positive Gaussian curvature
- The number of geodesics of a complete Riemann manifold with non-positive sectional curvature
- Can every curve on a Riemannian manifold be interpreted as a geodesic of a given metric?
- The Riemannian Distance function does not change if we use smooth paths?
- How to go from local to global isometry

There is a lot to be said on the subject, but the least technical point of view (in my opinion) is the following:

Consider first the situation in $\mathbb{R}^n$. Let $X,Y \colon \mathbb{R}^n \rightarrow \mathbb{R}^n$ be vector fields. To define the directional derivative of the vector field $X$ in the direction of the vector field $Y$ at a point $p \in \mathbb{R}^n$, we can mimic usual definition of directional derivative:

$$ (\nabla_Y X)(p) := \lim_{t \to 0} \frac{X(p + tY(p)) – X(p)}{t}. $$

The result $(\nabla_Y X)$ is a vector field on $\mathbb{R}^n$. You can check that the operation $\nabla$ defined as above satisfies the following two properties:

- $\nabla_{fY}(X) = f\nabla_Y X$.
- $\nabla_Y(fX) = (Yf)X + f\nabla_YX$.

Here, $X,Y \colon \mathbb{R}^n \rightarrow \mathbb{R}^n$ are vector fields and $f \colon \mathbb{R}^n \rightarrow \mathbb{R}$ is a scalar function. The function $Yf$ (at a point $p$) is the directional derivative of $f$ at $p$ in the direction $Y(p)$.

Now let us try and mimic the above construction on a general manifold. Given vector fields $X,Y \in \mathfrak{X}(M)$, we try to use the same formula and define

$$ (\nabla_Y X)(p) := \lim_{t \to 0} \frac{X(p + tY(p)) – X(p)}{t}. $$

However, we see that there are two problems. First, the expression $X(p + tY(p))$ is not defined because we don’t have a way of adding a point $p \in M$ to a tangent vector $tY(p) \in T_pM$. This is not so bad because we can actually replace the expression $p + tY(p)$ with any curve “which goes in the direction $Y(p)$” such as the flow $\varphi_t^Y(p)$. The more serious problem is that we need to subtract the tangent vector $X(p) \in T_pM$ from the tangent vector $X(\varphi_t^Y(p)) \in T_{\varphi_t^Y(p)}$ and those are two tangent vectors that belong to different vector spaces. In general, without any extra data, we have no way of identifying tangent spaces at different points of $M$.

To summarize, we see that we can differentiate vector fields along vector fields without any problem on $\mathbb{R}^n$ but we encounter problems when we try and do it on a general manifold. But $\mathbb{R}^n$ is also a manifold so what makes it special? The fact that it is not only a manifold but a vector space and an affine space and so we can add points to vectors and identify tangent spaces at different points using translations. This is something we don’t have on a general manifold.

The definition of an affine connection is meant to supply the manifold $M$ “externally” with an operation $\nabla \colon \mathfrak{X}(M) \times \mathfrak{X}(M) \rightarrow \mathfrak{X}(M)$ which satisfies properties $(1)-(2)$ and so allows us to differentiate vector fields along vector fields. That is, instead of defining the directional derivative of a vector field along a vector field, we require that somebody handles us a mechanism $\nabla$ which satisfies the properties that the familiar derivative satisfied on $\mathbb{R}^n$ and then we will think of it as a directional derivative.

Obviously this raises quite a lot of questions. Does such mechanism always exists? (Yes). It it unique? (No). Is there a natural choice of such differentiation mechanism? (Yes, under certain circumstances). Can we use this mechanism to recover the ability to identify tangent vectors at different points that was necessary to define the regular directional derivative in $\mathbb{R}^n$? (Yes, at least along curves. This leads to the notion of parallel transport). I refer you to the extensive article on the covariant derivative (which is pretty much another name for an affine connection) on wikipedia for further details.

Intuition come from mechanics as usual in differential geometry. Assume you are in a car moving with a law $P(t)$. in your car, there is a compass which gives you the magnetic vector field say $ \vec M$, note that this vector field is globally defined on the earth, but what you see is $ \vec M _{P(t)}$. Now, in your car you see the direction of the compass changing at every time, and you can compute ${d\over dt} \vec M _{P(t)}$. It appears that this vector only depends on the speed ${\vec V}= {d\over dt} P(t)$ you have at the instant $t$. It is written either ${D\over dt} \vec M _{P(t)}$ or $ \nabla _{\vec V}{\vec M}$. In order to prove this you can compute in coordinates, and check that this derivative is nothing else but the orthogonal projection of the usual derivative on the tangent plane. Doing this carefully you will “rediscover” Christoffel symbols, and find all properties of the affine connexion, which is nothing else but the operator which enable you to compute the derivate, called the “covariant” derivative.

- What is so special about $\alpha=-1$ in the integral of $x^\alpha$?
- How much do idempotent ultrafilters generate in terms of semigroups?
- Finding all the group elements of a certain order of a finite group
- $S := \{x \in \Bbb R^3: ||x||_2 = 1 \}$ and $T: S^2 \to \Bbb R$ is a continuous function. Is $T$ injective?
- Dense subset of $C(X)$
- Applications of the Fibonacci sequence
- Count the number of rational canonical form&find similarity classess
- How do you calculate this sum $\sum_{n=1}^\infty nx^n$?
- A high-powered explanation for $\exp U(n)=2\iff n\mid24$?
- How to approximate simple function using step function?
- How to prove periodicity of $\sin(x)$ or $\cos(x)$ starting from the Taylor series expansion?
- Intuition of Addition Formula for Sine and Cosine
- Using Chinese Remainder Theorem to Prove Existence of An Integer
- Functions that are their own inversion.
- Preservation of Limit by Hom: Naturality Question.