Talk:Exponential map (Riemannian geometry)

Gauss lemma[edit]

In the section on Gauss's lemma, I originally said "The differential of the exponential map at v evaluated on w (more compactly, d(exp_p)_v(w)) is the parallel transport of w along the geodesic from p to exp_p(v). This is again just a reflection of the linearization of M: w in the double-tangent space can be "slid freely" to the origin of T_pM along the straight line determined by v, by virtue of the linear structure of T_pM, and so in the manifold, such a vector will be again "slid along" via parallel transport along the geodesic determined by v. (In fact this is used in the proof the Hopf-Rinow theorem). The crucial point is that the exponential map preserves the normality of vectors based at v. "

This is based on visualization of the situation in 2 dimensions where it is in fact true (it is also true for any vector parallel to v namely a scalar multiple of v, since the exponential map is linear). However I'm not sure if it is true in higher dimensions; the angle has to be preserved but it w could conceivably rotate around the geodesic. Hence I've removed this until I'm sure one way or the other. In the meantime perhaps someone else can confirm (or deny) this. [Hence it's a good demonstration that intuition is a great guide but also can mislead...]

Choni 10:43, 16 October 2005 (UTC)[reply]

Never mind. It's not even true in dimension 2. It's the whole starting point of the study of Jacobi fields.

Choni 05:03, 17 October 2005 (UTC)[reply]

Split in two?[edit]

What do people think about splitting this article into articles two pieces:

This page will then become a disambiguation page (with additional links to exponential function and matrix exponential). I think the material on the relationship between the two concepts would fit better in the Riemannian geometry fork, although we can leave a summary of it in the Lie theory fork as well. -- Fropuff (talk) 03:11, 7 February 2008 (UTC)[reply]

But why would you want to split them? The article is rather short, and the two concepts coincide when a manifold has both a Lie group and a Riemannian structure and the two structures are compatible (at least that's what the article says). To me it looks that the reader will get a better idea about the two concepts and their relationship if they are in the same article. Oleg Alexandrov (talk) 03:59, 7 February 2008 (UTC)[reply]

Primarily because they are different (although related) concepts. It will force editors to link to the correct concept, rather than making readers figure out which one is meant. Secondly, in some cases, the two concepts can differ. If G is a Lie group with a left-invariant metric (but not a bi-invariant one) there will be two distinct exponential maps: the Lie-theoretic one and the Riemannian one. This happens, for example, in the special linear group and many other noncompact Lie groups. The two concepts coincide only when the metric is bi-invariant. Finally, the term "exponential map" can also just mean the exponential function so this page should properly be a disambiguation page. I'm not altogether opposed to not splitting; it just struck me that it might be a good idea. -- Fropuff (talk) 04:29, 7 February 2008 (UTC)[reply]

Note that the two concepts do NOT coincide when the Lie group has a left-invariant structure, which is the usual meaning of the term "compatible" in this context. They coincide in the much more special case of a bi-invariant metric, which is a far less interesting special case. A book that details their differences and interrelationships is "Gromov's almost flat manifolds" by Buser and Karcher. Katzmik (talk) 15:49, 16 April 2008 (UTC)[reply]

If a split is done, the links to this page need to be disambiguated.

My own take is that since the concepts are very related, things should be like now: one section to one concept, another section to the other one, and a section describing when the two notions coincide.

But I am not a differential geometer, and don't feel strongly about it. As long as somebody is willing to do a good job at splitting the page, and fixing the links to point to the right article, I would be happy. Oleg Alexandrov (talk) 04:59, 17 April 2008 (UTC)[reply]

Splitting in two seems like a good idea to this geometer for reasons given above. Lost-n-translation(talk)

I definitely agree it should be split. Although they occasionally coincide, they are conceptually different, and both extremely important. Each deserves an article longer than this one.--76.121.187.193 (talk) 10:38, 27 March 2012 (UTC)[reply]

The consensus seems clear (the article to split) and accordingly I carried out the splitting. -- Taku (talk) 00:28, 6 December 2014 (UTC)[reply]

Moved unrelated material[edit]

I moved the material on discrete dynamical systems to a new article exponential map (discrete dynamical systems) because it is unrelated to the topic of the current article. Sławomir Biały (talk) 15:36, 2 July 2009 (UTC)[reply]

Shouldn't the Chaos Theory template also be moved to the exponential map (discrete dynamical systems) article? 93.223.155.227 (talk) 12:07, 12 March 2014 (UTC)[reply]

Expert Needed[edit]

I had to place the {{expert}} template on this page, because it's in such bad shape. It doesn't seem at all coherent. I came to the article hoping to learn how to explicitly calculate the flow of a vector field using the exponential map. There's only passing mention to his, and no examples given at all. The problem seems to be that the exponential map turns up in so many different guises that each editor's contribution is made from a different theoretical point of view. It all needs to be brought together. This article should be a key priority; the exponential is a well known and well used object. I don't know enough about it myself; that's why I put {{expert}}. I do, however, know enough about Wikipedia and editing to be able to help anyone that might need any help. Let's hope we can get this article up to scratch. — Fly by Night (talk) 19:38, 22 November 2010 (UTC)[reply]

Well, I'm not an expert neither, but the part about Lie algebras and groups seems correct to me and there are examples too. Concerning the Riemannian geometry and the case of a general manifold with affine connection, I agree that some examples would be nice.. Franp9am (talk) 22:06, 27 August 2011 (UTC)[reply]

I removed the expert tag, and then looked here, at this talk page. I agree that this article is thin, lacking in details. But the same could be said for the vast majority of all articles in math. When we even have an article for the topic ... Conversely, I saw nothing factually incorrect in this article. Normally, when I see the "expert" tag, I recoil, and think "uh oh, there is something wrong with this article". There is nothing I could see wrong here. And one does not need to be an "expert" to flesh out this article: any reasonably competent student studying this topic should be able to expand this article in several ways.linas (talk) 16:27, 13 July 2012 (UTC)[reply]