24
$\begingroup$

Here is an updated formulation of the question, which is more precise and I think completely correct:

Suppose $M$ is a Riemannian manifold. Pick a point $p$ in $M$ and let $U$ be a neighborhood of the origin in $T_p M$ on which $exp_p$ restricts to a diffeomorphism. Let $X$ and $Y$ be tangent vectors in $T_p M$, and let $V$ be the intersection of $U$ and the plane spanned by $X$ and $Y$. Let $c(t)$ be a piecewise smooth simple closed curve in $V$. I claim that for any vector $Z$ in $T_p M$,

$R(X,Y)Z=(P_c(Z)−Z)Area(c)+o(Area(c))$

where $R$ is the Riemannian curvature tensor, $P_c$ is parallel transport around the image of $c$ under $exp_p$, and $Area(c)$ is the area enclosed by the image of $c$ under $exp_p$.

Can anyone refer me to a proof of this statement or something similar? I am fairly sure the argument has something to do with integrating the curvature 2-form over the embedded surface obtained by restricting $exp_p$ to the region enclosed by $c$, but I am having trouble with the estimates. Unfortunately I can't find anything in Kobayashi and Nimazu.

Thanks in advance!

Paul

$\endgroup$
5
  • $\begingroup$ Should the lefthand side be $R(X,Y)Z$? If not, what is $Z$? $\endgroup$ Mar 2, 2010 at 13:49
  • $\begingroup$ And, in addition to Harald's question which I was about to ask too, shouldn't the definition of \gamma be linked to the vectors X, Y, Z somehow? In my experience formulas like this can always be derived using Jacobi fields and, in particular, using an appropriately defined $1$-parameters family of constant speed geodesic segments, $\Gamma: [0,1] \times [0,1] \rightarrow M$. Here, you probably want $\Gamma(\cdot, t)$ to be a constant geodesic for each $t$, $\Gamma(0,\cdot) = p$, and $\Gamma(1,\cdot) = \gamma$. $\endgroup$
    – Deane Yang
    Mar 2, 2010 at 14:02
  • $\begingroup$ @Paul: Please edit this question to include any improvements from here: mathoverflow.net/questions/17004/… $\endgroup$ Mar 4, 2010 at 0:02
  • $\begingroup$ (Also, thanks for asking this - I'd be very interested in an answer) $\endgroup$ Mar 4, 2010 at 0:09
  • $\begingroup$ Done. I'm glad others are interested! Also, thanks everyone for helping me clarify the statement and figure out how to use this website! $\endgroup$ Mar 4, 2010 at 1:25

5 Answers 5

22
$\begingroup$

It appears to me that one reason why nobody has proved the formula yet is that the formula is still wrong. First, the formula has to depend on $X$ and $Y$. If you rescale $X$ and $Y$, the left side of the formula scales but the right side stays constant. That can't be. Second, the two sides of the equation do not scale the same under a constant scaling of the metric.

Warning: I wrote this up very quickly and did not check for typos and errors. It's possible that my final formula is still not right, but I am confident that my argument can be used to obtain a correct formula. I also did not provide every last detail, so, if you're unfamiliar with an argument like this, you need to do a lot of work making sure that everything really works. The key trick is pulling everything back to the unit square, where elementary calculus can be used. I'm sure this trick can be replaced by Stokes' theorem on the manifold itself, but that's too sophisticated for my taste.

Holonomy calculation

ADDED:

The correct formula, if you assume $|X\wedge Y| = 1$, is

$P_\gamma Z - Z = Area(c) R(X,Y)Z$

This scales properly when you rescale the metric by a constant factor. Notice that the left side is invariant under rescaling of the metric.

I recommend looking at papers written by Hermann Karcher, especially the one with Jost on almost linear functions, the one with Heintze on a generalized comparison theorem, and the one on the Riemannian center of mass. I haven't looked at this or anything else in a long time, but I have the impression that I learned a lot about how to work with Jacobi fields and Riemann curvature from these papers.

Finally, don't worry about citing anything I've said or wrote. Just write up your own proof of whatever you need. If it happens to look very similar to what I wrote, that's OK. I consider all of this "standard stuff" that any good Riemannian geometer knows, even if they would say it differently from me.

EVEN MORE: There are similar calculations in my paper with Penny Smith: P. D. Smith and Deane Yang Removing Point Singularities of Riemannian Manifolds, TAMS (333) 203-219, especially in section 7 titled "Radially parallel vector fields". In section 5, we attribute our approach to H. Karcher and cite specific references.

$\endgroup$
5
  • $\begingroup$ This is pretty much exactly what I needed - I've honestly never really seen this kind of calculation before. I am indeed a student and I needed this result in a small but crucial part of a paper I am writing (not for publication). I thought at first I only needed the result in some simpler cases which I was able to work out, but I was wrong. I think I will be able to extract what I need from what you wrote. In my paper I had made certain normalizing assumptions on X and Y which I omitted in this question, explaining the problem with the statement. It should be fixed now. Thanks! $\endgroup$ Mar 4, 2010 at 22:12
  • $\begingroup$ Oops, my normalizing assumptions aren't quite enough to fix the problem. I'll need to think about what statement I am really aiming for... $\endgroup$ Mar 4, 2010 at 22:18
  • $\begingroup$ One more question... assuming your assistance helps me settle this matter, is there specific protocol for properly citing help one gets over the internet in this fashion? $\endgroup$ Mar 4, 2010 at 22:25
  • $\begingroup$ Is it also true that your computations (more or less translated word by word) give the same result for general connections on vector bundles? $\endgroup$
    – Mircea
    Feb 2, 2011 at 16:15
  • $\begingroup$ Mircea, to be honest I've never done it for a vector bundle, but it certainly sounds plausible to me. You should try to work it out in detail. $\endgroup$
    – Deane Yang
    Feb 2, 2011 at 20:19
2
$\begingroup$

These matters are discussed in great detail in lecture 19 of the book "Differential geometry" by Postnikov. The original Russian edition is reviewed in [MR0985587 (90h:53002)]; there is also French edition, but I am not aware of an English one.

$\endgroup$
2
  • $\begingroup$ I might be able to read the French edition if I can find it, but I suppose this gives yet another reason why I should just learn Russian. However, following up on the author, I found a book entitled "Geometry VI: Riemannian Geometry" by Postnikov on Amazon. According to the table of contents, section 2 of chapter 36 is called "Computation of Parellel Translation Along a Loop", which is highly promising. I'll check it out as soon as I can get to a library - thanks for the help! $\endgroup$ Mar 4, 2010 at 2:51
  • $\begingroup$ I doubt "Geometry VI: Riemannian Geometry" is going to help you; I own Russian edition of the book and it does not cover what you need. $\endgroup$ Mar 4, 2010 at 3:22
2
$\begingroup$

Your formula for $R(X,Y)Z$ seems to be identical to the formula on page 256 of Peter Petersen, "Riemannian Geometry", second edition, Springer 2006. Petersen gives a sketch of a proof, and calls the formula "Cartan's characterization of the curvature".

$\endgroup$
1
$\begingroup$

I believe, this is called Ambrose-Singer theorem. For the proof - you may introduce some coordinates (s,t) in the exp-image of plane spanned by X and Y, and define V(s,t) to be parallel along, say s-coordinate lines. Then compute how the derivative of V in t-direction changes along s-coordinate lines: it is D_s D_t V = R(X,Y)V since D_t D_s V \equiv 9, and s, t coordinate vectors commute - then integral of D_t V (s,t) = \int R(X,Y)V - D_t V(0,t) which is your parallel transport ... it may be something about this in doCarmo Riemannian geom, or Milnor Morse theory ...

$\endgroup$
4
  • 1
    $\begingroup$ I agree that this should be basically the right idea; this seems to give the correct argument when the curve in question is a small parallelogram, for example. But I can't get all the details to work out, nor can I see where the area enclosed by the curve will come from. Can you elaborate further? $\endgroup$ Mar 4, 2010 at 1:21
  • $\begingroup$ Also, I've combed through both Do Carmo and Milnor's Morse theory, as well as Helgason's books and a few others. I can't find anything. $\endgroup$ Mar 4, 2010 at 1:22
  • $\begingroup$ The area enters because coordinate vectors may be not unit and not normal, but in the formula R(X,Y) they are - after you "normalize" coordinate vectors, say S and T - you have S\wedge T in the integral equals X\wedge Y \times area. After you prove this for small parallelogram - just note that both parallel operator - holonomy around small loop - and integral are additive - if you divide big area in two (many pieces) the formula for small pieces gives the same formula for big film. $\endgroup$
    – valeri
    Mar 4, 2010 at 8:09
  • $\begingroup$ math.univ-lyon1.fr/~frabetti/GEO-M2/Codogni-Storch.pdf here is a self-contained proof of Ambrose-Singer, taken by students from Kobayashi-Nomizu and Nomizu. (beware: maybe it's too general to really help you!) $\endgroup$
    – Mircea
    Feb 2, 2011 at 16:14
1
$\begingroup$

I would put this in a comment if I had enough reputation points, but something's wacky about your formula. From the definitions you gave, the RHS has no dependence on X and Y explicitly, but the LHS is tensorial in X, Y. If you replace X and Y by 2X and -Y, the plane spanned by them will be the same, and so the domain V is the same. So the RHS doesn't change and the LHS becomes -2 of what it is.

While I can see the problem with the sign-change associated to swapping X and Y be taken care of if you used the signed area, I think you need to clarify some of your definitions for the formula to make sense.

To be more precise, the second term on the RHS is small o, so we will ignore it. The first term is the area times a holonomy element. By definition of parallel transport, $\|P_cZ - Z\| \leq 2 \|Z\|$ by the triangle inequality, so for a fixed Z the RHS is $\lesssim Area(c)$, which if you can make arbitrarily small. The left hand side for fixed $X,Y$ is, well, fixed.

$\endgroup$
1
  • $\begingroup$ You are quite right. In the context where this problem came up I imposed some specific normalizing assumptions on X and Y and there is a specific kind of curve $c$ under consideration, but I'll have to think about exactly what statement those assumptions salvage. $\endgroup$ Mar 4, 2010 at 22:22

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.