For a finite dimensional Banach space $V$ with strictly convex and smooth norm (outside the origin), there is a natural way to induce a Riemannian structure on the unit sphere $S$ (see Alvarez-Paiva, "Some problems on Finsler Geometry"): consider $L=\|x\|^2/2 $, then $dL$ is a diffeomorphism from $V\backslash0$ to its dual $V^*\backslash0$. Now, for $q\in S$ we get $D_q(dL):T_qV \rightarrow T_qV^*$, and for $u,v\in T_qS$ take $g_q(u,v)=D_q(dL)(u)(v)$. What is known about this structure? What are the geodesics, for instance? What are their lengths?
-
$\begingroup$ I don't know as much about this as I should, but you might be able to find some papers on this topic here: math.poly.edu/research/finsler. This site is maintained by Alvarez-Paiva. $\endgroup$– Deane YangNov 20, 2010 at 5:07
-
$\begingroup$ Do you mean that the Riemann structure gives the usual intrinsic metric on $S$? $\endgroup$– Fedor PetrovNov 20, 2010 at 5:57
-
$\begingroup$ Can you point out more precisely where in Alvarez-Paiva's problem list this construction is discussed? $\endgroup$– Sergei IvanovNov 23, 2010 at 5:06
-
$\begingroup$ The construction is described in section 2 of Alvarez's paper. $\endgroup$– Deane YangDec 4, 2010 at 18:56
1 Answer
Maybe i'm wrong, but isn't $D_q(dL)$ the legendre transform of of the "Lagrangian"? In which case you should get the usual metric back. See for example Sternberg's book on differential geometry (the chapter on calculus of variations) or (i know, it sounds strange but) Mackey's Mathematical Foundations of Quantum Mechanics (the first chapter). If my memory doesn't fail me Abraham, Marsden should have something on that specific example too.
Edit: This applies in the common case where the norm is induced by an inner product.
-
$\begingroup$ What is the "usual metric" ? This riemannian metric is something like the second fundamental form of $S$. $\endgroup$– BS.Nov 20, 2010 at 10:18
-
$\begingroup$ Well, $dL(q)=\langle q,−\rangle$ which is linear in q so $D_q(dL)=dL$, meaning $g_q(u,v)=\langle u,v\rangle$, which when restricted to the tangent bundle of the sphere gives you the metric you would usually put on it $\endgroup$– SkyNov 20, 2010 at 11:00
-
3$\begingroup$ The norm $\| \|$ is not a Hilbert norm ($L$ isn't quadratic). $\endgroup$– BS.Nov 20, 2010 at 11:42
-
$\begingroup$ I'm sorry, i was of the impression that the OP just cared of the fact that there was a natural (almost physical) way to get the metric in the usual case where the V is a Hilbert space, which lead to a very cool way to get the associated connection on S. I will edit the post to specify that. $\endgroup$– SkyNov 20, 2010 at 15:19