Skip to main content
added 2000 characters in body
Source Link
Willie Wong
  • 39.1k
  • 4
  • 94
  • 176

In general, I don't think so. If my interpretation is correct (see my comment above), then if you take an Einstein manifold with $Ric = \lambda g$ you immediately see that the best you can expect is $O(r^{2})$. In fact, if you take the standard sphere $\mathbb{S}^n$, the Taylor expansion is precisely $r^2 + \ldots$ which suggests that the Laplacian is exactly $n\neq 0$.

It is late here so I don't feel like doing the computation, but thinking about it a bit more it seems to me that (meaning, I am making an educated guess) what you wrote down should be in fact equal to the scalar curvature at $x$.


The vector $\exp_{y}^{-1}x$ is the vector $v$ at $T_yM$ such that the geodesic with initial position $y$ and initial velocity $v$ reaches $x$ after time 1. Since the geodesic flow is time-symmetric, you see that letting $w = \exp_{x}^{-1} y\in T_x M$, the vector $v$, after parallel transport to $x$ along the geodesic thus generated, is equal to $-w$. Now, in geodesic normal coordinates the radial lines are by definition unit-speed geodesics. So in the local coordinate chart given by the exponential map at $x$, we have that the vector $\exp_{y}^{-1} x$ is the vector $-y$ based at $y$ ($x$ is the origin).

To be even more precise, this means that fixing geodesic normal coordinates at $x$ with $x$ the origin, and identifying $y$ with its image in $T_xM$, we have that the scalar function $Ric_y(\exp_{y}^{-1} x, \exp_{y}^{-1}x)$ can be alternatively expressed as

$$ Ric(y)_{ij} y^i y^j \tag{1}$$

where $Ric(y)_{ij}$ is the components of the Ricci tensor, expressed in this coordinate system, evaluated at the point $y$. The local expression of the Laplacian is

$$ \frac{1}{\sqrt{|g|}} \partial_k g^{kl} \sqrt{|g|} \partial_l = g^{kl}\partial^2_{kl} + O(\partial) $$

where the $O(\partial)$ denotes terms that are first order in derivative. Hitting this to the function in (1) you have exactly that the $O(\partial)$ terms vanish when $y = 0$ since (1) vanishes quadratically. So you have

$$ \triangle_y Ric(y)_{ij} y^i y^j |_{y = 0} = g(y)^{kl} \partial^2_{kl} Ric(y)_{ij} y^i y^j |_{y = 0} $$

Using again the quadratic vanishing you have that both of the derivatives must fall on the $y^i$ and $y^j$ terms, otherwise the expression vanishes if $g$ is smooth. There are two possibilities in terms of order of derivation, so you get

$$ \triangle_y Ric(y)_{ij} y^i y^j |_{y = 0} = \delta^{kl} Ric(0)_{ij} \left( \delta_k^i \delta_l^j + \delta_k^j \delta_l^i\right) = 2 Ric(0)_{ij} \delta^{ij} = 2 S $$

where $S$ is the scalar curvature at $x$.

In general, I don't think so. If my interpretation is correct (see my comment above), then if you take an Einstein manifold with $Ric = \lambda g$ you immediately see that the best you can expect is $O(r^{2})$. In fact, if you take the standard sphere $\mathbb{S}^n$, the Taylor expansion is precisely $r^2 + \ldots$ which suggests that the Laplacian is exactly $n\neq 0$.

It is late here so I don't feel like doing the computation, but thinking about it a bit more it seems to me that (meaning, I am making an educated guess) what you wrote down should be in fact equal to the scalar curvature at $x$.

In general, I don't think so. If my interpretation is correct (see my comment above), then if you take an Einstein manifold with $Ric = \lambda g$ you immediately see that the best you can expect is $O(r^{2})$. In fact, if you take the standard sphere $\mathbb{S}^n$, the Taylor expansion is precisely $r^2 + \ldots$ which suggests that the Laplacian is exactly $n\neq 0$.

It is late here so I don't feel like doing the computation, but thinking about it a bit more it seems to me that (meaning, I am making an educated guess) what you wrote down should be in fact equal to the scalar curvature at $x$.


The vector $\exp_{y}^{-1}x$ is the vector $v$ at $T_yM$ such that the geodesic with initial position $y$ and initial velocity $v$ reaches $x$ after time 1. Since the geodesic flow is time-symmetric, you see that letting $w = \exp_{x}^{-1} y\in T_x M$, the vector $v$, after parallel transport to $x$ along the geodesic thus generated, is equal to $-w$. Now, in geodesic normal coordinates the radial lines are by definition unit-speed geodesics. So in the local coordinate chart given by the exponential map at $x$, we have that the vector $\exp_{y}^{-1} x$ is the vector $-y$ based at $y$ ($x$ is the origin).

To be even more precise, this means that fixing geodesic normal coordinates at $x$ with $x$ the origin, and identifying $y$ with its image in $T_xM$, we have that the scalar function $Ric_y(\exp_{y}^{-1} x, \exp_{y}^{-1}x)$ can be alternatively expressed as

$$ Ric(y)_{ij} y^i y^j \tag{1}$$

where $Ric(y)_{ij}$ is the components of the Ricci tensor, expressed in this coordinate system, evaluated at the point $y$. The local expression of the Laplacian is

$$ \frac{1}{\sqrt{|g|}} \partial_k g^{kl} \sqrt{|g|} \partial_l = g^{kl}\partial^2_{kl} + O(\partial) $$

where the $O(\partial)$ denotes terms that are first order in derivative. Hitting this to the function in (1) you have exactly that the $O(\partial)$ terms vanish when $y = 0$ since (1) vanishes quadratically. So you have

$$ \triangle_y Ric(y)_{ij} y^i y^j |_{y = 0} = g(y)^{kl} \partial^2_{kl} Ric(y)_{ij} y^i y^j |_{y = 0} $$

Using again the quadratic vanishing you have that both of the derivatives must fall on the $y^i$ and $y^j$ terms, otherwise the expression vanishes if $g$ is smooth. There are two possibilities in terms of order of derivation, so you get

$$ \triangle_y Ric(y)_{ij} y^i y^j |_{y = 0} = \delta^{kl} Ric(0)_{ij} \left( \delta_k^i \delta_l^j + \delta_k^j \delta_l^i\right) = 2 Ric(0)_{ij} \delta^{ij} = 2 S $$

where $S$ is the scalar curvature at $x$.

Source Link
Willie Wong
  • 39.1k
  • 4
  • 94
  • 176

In general, I don't think so. If my interpretation is correct (see my comment above), then if you take an Einstein manifold with $Ric = \lambda g$ you immediately see that the best you can expect is $O(r^{2})$. In fact, if you take the standard sphere $\mathbb{S}^n$, the Taylor expansion is precisely $r^2 + \ldots$ which suggests that the Laplacian is exactly $n\neq 0$.

It is late here so I don't feel like doing the computation, but thinking about it a bit more it seems to me that (meaning, I am making an educated guess) what you wrote down should be in fact equal to the scalar curvature at $x$.