9
$\begingroup$

$\DeclareMathOperator\SL{SL}\DeclareMathOperator\SO{SO}$Crossposted on MSE: https://math.stackexchange.com/questions/4261809/volume-of-a-geodesic-ball-in-sln-son

Question: What is the volume of a geodesic ball of radius $r$ in the symmetric space $\SL(n) / {\SO(n)}$?

Context: Let $M = \SL(n) / {\SO(n)}$. We can view $M$ as the Riemannian manifold of real $n\times n$ positive definite matrices with determinant 1 endowed with the so-called affine-invariant metric: $$g_P(U, V) = \operatorname{trace}(P^{-1} U P^{-1} V)$$ for $P \in M$ and $U, V \in \operatorname{Sym}(n)$ (symmetric $n \times n$ matrices).


Attempts/what I know:

(1) Theorem 2.4 of Gual-Arnau and Naveira - Volume of tubes in noncompact symmetric spaces (screenshot attached) provides a formula for the volume of a geodesic ball for any noncompact symmetric space. However, I am not very familiar with symmetric space theory, so I am unable to parse what this formula says for $\SL(n) / {\SO(n)}$. Example 3.4.6 of the lecture notes Symmetric spaces (Frühlingssemester 2018) give a formula for the roots $\alpha_j$ used in Theorem 2.4, and it is well-known the rank is $q = n-1$. However, I do not understand how to determine the constant $c$. I have an idea what the domain $C_0$ might be (the intersection of a sphere and a Weyl chamber—expressions for the Weyl chambers can be found), but I am not confident if this is correct.

(2) When $n=2$, we know $\SL(n) / {\SO(n)}$ is isometric to the hyperbolic plane of curvature $-1/2$. However, I am looking for a formula for general $n$.

(3) It is well-known that $\SL(n) / {\SO(n)}$ contains a totally geodesic submanifold isometric to a hyperbolic space. This gives us a lower bound on the volume of a ball. However, this is not sufficient for my purposes.

(4) $\SL(n) / {\SO(n)}$ has constant Ricci curvature, so we can use the Bishop–Gromov inequality to get an upper bound on the volume. However, this is not sufficient for my purposes.

Theorem 2.4 from Gual-Arnau and Naveira article

$\endgroup$
7
  • 1
    $\begingroup$ Is Proposition 10 (together with Lemma 9 and Proposition 11) of this paper what you are looking for? $\endgroup$
    – Aurel
    Commented Sep 27, 2021 at 21:15
  • $\begingroup$ Name of this paper referenced by @Aurel: Maire and Page - Codes from unit groups of division algebras over number fields. $\endgroup$
    – LSpice
    Commented Sep 28, 2021 at 3:20
  • $\begingroup$ @Aurel Thanks for the reference! I think this is very close to but not quite what I'm looking for. This seems to give you the volume of a ball in $SL(n)$ but not $SL(n)/SO(n)$. Perhaps there is an easy way to convert the formula from $SL(n)$ to the one for $SL(n) / SO(n)$? $\endgroup$ Commented Sep 28, 2021 at 9:21
  • 1
    $\begingroup$ Yes: take a function $f$ that is $SO(n)$-invariant, and divide by the volume of $SO(n)$! (and check that the Riemannian metric is the same as the one you want, or scale everything accordingly) $\endgroup$
    – Aurel
    Commented Sep 28, 2021 at 20:46
  • 1
    $\begingroup$ I know that I am a bit late, but are you aware of theorem A in this paper? link.springer.com/article/10.1007/s000390050025 $\endgroup$
    – hthi
    Commented Nov 17, 2022 at 20:18

0

You must log in to answer this question.