5
$\begingroup$

Is there a nice formula/method to find the convexity radius of a matrix Lie group (the manifold can be noncompact) ?

Edited based on comments:

Definition : Convexity Radius (Berger - Panoramic View of Riemannian Geometry) The convexity radius of a Riemannian manifold $M$ is the infimum of positive numbers $r$ such that the metric open ball $B(m,r)$ is convex for every $m ∈ M$.

$\endgroup$
5
  • 2
    $\begingroup$ It might be helpful to spell out the question in a little more detail, including motivation and a background source for the notion of convexity radius. I'm not a specialist in any of this but can easily find on MathSciNet one relevant-looking reference (maybe not what you are looking for and maybe not accessible to you): MR0458335 (56 #16538), Cheeger, Jeff; Ebin, David G., Comparison theorems in Riemannian geometry. North-Holland Mathematical Library,Vol. 9. North-Holland Publishing Co., Amsterdam-Oxford; American Elsevier Publishing Co., Inc., New York, 1975. viii+174 pp. $\endgroup$ Feb 1, 2011 at 14:25
  • 3
    $\begingroup$ @Jim: I have no clue what "convexity radius" is in this context (there is the convexity radius of a function, but not of a space), but a note: Cheeger and Ebin's book has been reprinted by AMS/Chelsea, at a fraction of the NH price. $\endgroup$
    – Igor Rivin
    Feb 1, 2011 at 15:29
  • $\begingroup$ According to Berger (Panoramic View of Riemannian Geometry) 'A set in a Riemannian manifold is (totally) $convex$ if for any pair of points in this set, $every$ segment connecting these two points belongs to this set'. $\endgroup$
    – sam
    Feb 2, 2011 at 1:05
  • 1
    $\begingroup$ The notion of convexity radius of a Riemannian manifold is well estabished, but since there is some confusion I recall that $r$ is the convexity radius if every $r$-ball $B_r(p)$ is convex in the sense that $B_r(p)$ contains the minimizing geodesic between any two points of $B_r(p)$. (This should not be confused with the notion of a totally convex set which is assumed to contain any not necessarily minimizing geodesic between its points). As stated the question makes no sense because a Lie group can admit many different metrics. $\endgroup$ Feb 2, 2011 at 16:42
  • 1
    $\begingroup$ I am not sure about convexity radius but the injectivity radius of symmetric spaces can be found at arxiv.org/abs/math/0703521v1 and arxiv.org/abs/math/0609627v1 and the answer is not simple. $\endgroup$ Feb 2, 2011 at 17:01

1 Answer 1

4
$\begingroup$

For simply connected Lie group with bi-invariant metric it is half of the distance to the cut locus.

$\endgroup$
5
  • 2
    $\begingroup$ So, half the injectivity radius? $\endgroup$
    – Igor Rivin
    Feb 1, 2011 at 18:36
  • $\begingroup$ @ε-δ/Igor Thanks. Do you have some references regarding this. How about for a Lie group with left or right invariant metric? $\endgroup$
    – sam
    Feb 2, 2011 at 1:09
  • $\begingroup$ A simply connected Lie group with bi-invariant riemannian metric is necessarily of the form $K\times\mathbb{R}^n$, with $K$ compact. $\endgroup$
    – BS.
    Feb 2, 2011 at 11:11
  • $\begingroup$ I am also interested in a reference (or a proof) justifying that "for simply connected Lie group with bi-invariant metric it is half of the distance to the cut locus". $\endgroup$ Feb 2, 2011 at 16:44
  • $\begingroup$ I do not have a reference. But the curvature tensor is parallel, so the minimal curvature radius behaves as $\sin{2\pi x/l}$, where $l$ is the injectivity radius... $\endgroup$
    – ε-δ
    Feb 3, 2011 at 23:38

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.