The talk at Midnight!

That was not an ordinary talk. I guess it would be that cured a relationship. I don’t expect I could go further from that but at least having a relationship is really good for me at the moment. I would love to write in the past tense because the past means memories and the one whom I want to mention in this post is one of the first people who made me have a crush on.

That is a normal girl. She is my classmate in high school. I realized that I had a crush on her at the end of our high school studies. My feelings for her were as pure as those of other schoolboys at that time. I am not sure whether she was my first love or not but actually she gave me special emotions when I faced or stood by her. No matter how anyone judges her and whatever she wants, in my eyes, she has been always the girl with pure thoughts. Unfortunately, we haven’t been talking for a long time. I don’t remember exactly what happened at that time but I guess it came from my immaturity. After that, I don’t know how to recover our relationship.

Last night, I incidentally saw a story that she posted on her Instagram. It was so surprising that the post is about one of my favorite movies. I thought that was a good chance to restart but I had a little hesitation. I asked myself how she would think of that and how she would respond. After a couple of seconds, I decided to text her. I seemed to be ready to receive a bunch of bad words from her. Fortunately, there was nothing terrible happening, I felt like she also wants to maintain a good relationship with me. I was able to realize that through how she talked to me. That ‘s so good and beyond my imagination. Then, we continued to discuss the movies and I made some jokes in the hope that it may remind her about what we have experienced before. I am not sure how she thinks but that was a really good night.

I have no idea about how our relationship would become but to be able to maintain it is still a good thing because we used to be friends.

An amazing trick

It ‘s been 2 weeks since I arrived in Hong Kong. I still cannot get used to the lifestyle here. Everything seems to be strange to me. Here I experience for the first time simultaneously loneliness, pressure, boredom, etc. Today is boring Sunday again. As usual, I get up and go to the library. I think it ‘s the best place that I can come to at the moment. Recently, I have tried to read a well-known Hamilton’s paper that my advisor provided me. It ‘s really difficult paper for those who have just started to study Riemannian Geometry like me. I cannot virtually get anything from the paper these days. Fortunately, during the time I have struggled to understand the paper, I found a great trick that may help us reduce considerably our computation in terms of “tensorial” quantities. Walk on the campus and think about the paper, I thought it ‘s better to note something on my blog.

First of all, I would like to mention the motivation of this post. Suppose M is a Riemannian manifold, we concern about several geometric flows that derive from evolution equations like

\frac{\partial g}{\partial t} = v(t)

where g(t)‘s is a family of Riemannian metric and v(t)‘s is a family of some symmetric to tensor. In local coordinate, we may write equations as \frac{\partial g_{ij}}{\partial t} = v_{ij} where g=g_{ij} \mathrm{d}x^{i} \otimes \mathrm{d}x^{j} and v=v_{ij} \mathrm{d}x^{i} \otimes \mathrm{d}x^{j}. In several cases, we may be interested in finding the rate of change of Christoffel symbols \Gamma_{ij}^{k} (t) ‘s.

To understand this post, readers need to have some basic background on Riemannian Geometry. First of all, I would like to introduce a notion called geodesic normal coordinates. The following result states its existence.
Proposition Let (M,g) be a Riemannian manifold. Then at every p \in M, there exists a local coordinate {u_i} at p such that all of the following hold:
1. g_{ij}:=\delta_{ij} for any i,j at the point p ;
2. \Gamma_{ij}^{k}=0 for any i,j,k at p ;
3. \frac{\partial g_{ij}}{\partial u^k} =0 for any i,j,k at p
This local coordinate is called the geodesic normal coordinate

Now return to the main problem. We fix a point and a time (p, t_0). Choose the normal coordinate {u^i} at p respect to the metric g(t_0).Recall that Christoffel symbols given by Levi-Civita connection as

\Gamma_{ij}^{k}=\frac{1}{2} g^{kl}\left(\frac{\partial g_{jl}}{\partial u^i}+\frac{\partial g_{il}}{\partial u^j}-\frac{\partial g_{ij}}{\partial u^l} \right)

differentiating to both sides, we have

\frac{\partial \Gamma_{ij}^{k}}{\partial t} = \frac{1}{2}\left(\frac{\partial g^{hl}}{\partial t} \right) \left( \frac{\partial g_{jl}}{\partial u^i}+\frac{\partial g_{il}}{\partial u^j}-\frac{\partial g_{ij}}{\partial u^l} \right) + \frac{1}{2}g^{kl}\left(\frac{\partial v_{jl}}{\partial u^i}+\frac{\partial v_{il}}{\partial u^j}-\frac{\partial v_{ij}}{\partial u^l} \right) .

That is where the amazing thing comes out. At the point p with the normal coordinate, we can simplify our expression above by the fact that the term \frac{1}{2}\left(\frac{\partial g^{hl}}{\partial t} \right) \left( \frac{\partial g_{jl}}{\partial u^i}+\frac{\partial g_{il}}{\partial u^j}-\frac{\partial g_{ij}}{\partial u^l} \right) vanishes.

Therefore,

\frac{\partial \Gamma_{ij}^{k}}{\partial t} = \frac{1}{2}g^{kl}\left(\frac{\partial v_{jl}}{\partial u^i}+\frac{\partial v_{il}}{\partial u^j}-\frac{\partial v_{ij}}{\partial u^l} \right) .

Also, In the normal coordinate, due to the fact that Christoffel symbols vanish, the partial derivative will turn into the covariant derivative by

\partial_{k} v_{ij} = \frac{v_{ij}}{\partial u^k} - v_{lj}\Gamma_{ki}^{l}-v_{il}\Gamma_{kj}^{l}.

Finally, we get
\frac{\partial \Gamma_{ij}^{k}}{\partial t} = \frac{1}{2}g^{kl}\left(\partial_{i} v_{jl} +\partial_j v_{il}-\partial_l v_{ij} \right) at p.

Now, we can see that the LHS is a (1,2)-tensor because the difference of Levi-Civita connections is actually a tensor ( readers can easily check it out by using the definition of Levi-Civita connection). Meanwhile, the RHS is also a tensor of the same kind as it is the contraction of other tensors. To sum up, the RHS and LHS now are independent of the choice of coordinate charts. Because the point p vary arbitrarily, we eventually obtain that

\frac{\partial \Gamma_{ij}^{k}}{\partial t} = \frac{1}{2}g^{kl}\left(\partial_{i} v_{jl} +\partial_j v_{il}-\partial_l v_{ij} \right) for everywhere.

Similarly, we can also establish variations of more complicated quantities such as (1,3)-, (0,4)-Riemmanian tensors, etc.

If we take v_{ij}=-2R_{ij}, we get celebrated Ricci flow, that was proposed by Hamilton and then used by Perelman to solve famous Poincare conjecture. Such kinds of equalities are really important for analyzing the evolution of curvatures and by that way, Poincare conjecture was solved.